estensioni quadratiche di un anello

[perplesso]

Oggi ho imparato cos'è un'estensione quadratica di un anello e ho tante domande (certamente banali) che non trovano risposta. Ora provo a farne una ....

Sia $ Z $ l'anello dei numeri interi relativi e sia $ u $ un intero che non sia un quadrato. Domanda: per quali valori di $ u $ l'estensione quadratica $ Z[ \sqrt u ] $ è un anello fattoriale/principale/euclideo ? In altri termini se sappiamo che $ u $ è un intero tale che $ Z[ \sqrt u ] $ è fattoriale/principale/euclideo possiamo dire qualche cosa di $ u $ ??

[Martino]

Ah beh, come prima domanda non c'è male (class number 1 significa anello principale, vedi anche qui). Se n'è parlato anche sul forum, qui.

[perplesso]

Accipicchia. Ho capito solo he dato un dominio di integrità il suo "class number" è l'ordine del suo "Ideal class group" e siccome

The ideal class group is trivial (i.e. has only one element) if and only if all ideals of R are principal.

come hai detto tu "class number 1" significa anello principale. Quindi tutto si riduce alla ricerca degli "imaginary quadratic fields" (che sarebbero le estensioni quadratiche dei razionali ??) che hanno class number 1 ?? I dettagli sono un pò difficilini per me ...

[Martino]

"Imaginary quadratic field" (campo quadratico immaginario) significa un'estensione di \( \displaystyle \mathbb{Q} \) del tipo \( \displaystyle \mathbb{Q}(\sqrt{d}) \) dove \( \displaystyle d<0 \) . Come vedi i campi quadratici immaginari con class number 1 (cioè, il cui anello degli interi è principale) sono stati trovati (cf. qui), ma non si sa ancora quali siano (né quanti siano) quelli reali (cioè quelli con \( \displaystyle d>0 \) : cf. qui).

Insomma, la tua domanda "certamente banale" (come l'hai definita) è un problema aperto

[perplesso]

Grazie, ora ho capito. Provo a fare un'altra domanda molto più facile.

Sia $ A $ un anello e siano $ m,n \in A $ elementi che non siano quadrati. In generale se $ A[ \sqrt m ] $ è isomorfo a $ A [ \sqrt n ] $ allora $ m=n $ ?? Altrimenti in quali anelli questo è vero ? In $ Z $ è vero ?

[Martino]

Non lo so nel caso generale, ma nel caso di \( \displaystyle \mathbb{Z} \) , se \( \displaystyle \mathbb{Z}[\sqrt{n}] \cong \mathbb{Z}[\sqrt{m}] \) con \( \displaystyle n,m \) non quadrati in \( \displaystyle \mathbb{Z} \) allora \( \displaystyle m=n \) . Per dimostrarlo osserva che \( \displaystyle n \mapsto n \) e vai a cercare gli elementi del tipo \( \displaystyle a+b\sqrt{m} \) che elevati al quadrato danno \( \displaystyle n \) , e viceversa.

[perplesso]

mmmh... vediamo se ho capito... Se $ (a+b\sqrt m)^2 = n $ allora $ a=0 $ e $ b^2m=n $ viceversa da $ (c+d\sqrt n)^2 = m $ segue $ c=0 $ e $ d^2n=m $ e quindi $ b^2d^2n=n \rightarrow b^2d^2=1 \rightarrow b=d=\pm 1 $
Solo che al momento non ho capito come mai $ n $ va in $ n $ ?

[Martino]

Solo che al momento non ho capito come mai $ n $ va in $ n $ ?

Perché 1 va in 1 e la somma è preservata.

[perplesso]

ah gia... ( profonda vergogna )...

[perplesso]

In generale sospetto che sia falso perchè se faccio lo stesso ragionamento di prima

Se $ (a+b\sqrt m)^2 = n $ allora $ a=0 $ e $ b^2m=n $ viceversa da $ (c+d\sqrt n)^2 = m $ segue $ c=0 $ e $ d^2n=m $ e quindi $ b^2d^2n=n \rightarrow b^2d^2=1 $

con $ a,b,c,d,m,n $ numeri razionali, ottengo solo che $ m $ e $ n $ devono essere concordi... che è come dire che un campo quadratico reale non è mai isomorfo ad un campo quadratico immaginario