Un sottoanello particolare di $QQ$

[andreadel1988]

Sia $A=ZZ[2/3]$ l’intersezione di tutti i sottoanelli di $QQ$ che contengono sia $ZZ$ che $2/3$. Determinare gli elementi invertibili di $A$.
Allora intanto ho notato che $AsubZZ[1/3]={a/3^n| ainZZ,n>=0}$ per cui i possibili elementi invertibili sono della forma $3^k$ con $kinZZ$, ora c'è da mostrare se sono tutti questi o c'è qualcuno da togliere. Inoltre avevo pensato se $ZZ[2/3]={a*(2/3)^n| ainZZ,n>=0}$ ma non mi sembra funzioni come sottogruppo per la chiusura della somma. Qualcuno riesce a darmi una mano?

[Martino]

Ma una somma di invertibili non è per forza invertibile. Per esempio $1+(-1)=0$.

[Martino]

Ah forse ho frainteso la domanda, osserva che $1/3 = -(2/3-1) in A$ quindi $A=ZZ[1/3]$.

[andreadel1988]

Ah forse ho frainteso la domanda, osserva che $1/3 = -(2/3-1) in A$ quindi $A=ZZ[1/3]$.

A così diretto, non ci avevo pensato che fossero uguali sinceramente ahahahahha. Vabbe allora così è molto più semplice, ora rivedo un po gli altri punti e vedo se c'è qualcosa che non mi torna, grazie

[andreadel1988]

Quindi per come mi hai detto $ZZ[1/3]=ZZ[2/3]$ e quindi rispondere a queste domande diventa molto più facile:

a) Gli elementi invertibili sono della forma $3^k$ con $kinZZ$
b) la funzione $phi(k)=3^k$ è un isomorfismo tra $ZZ$ e $U(A)$
c) se esistesse tale omomorfismo si dovrebbe avere che $3*phi(1/3)=1$ ma $3$ non è invertibile in $ZZ_(/6)$ quindi tale omomorfismo non esiste
d) Pongo $phi(a/3^n)=[5^na]_7$ è un omomorfismo suriettivo da $A$ ad $ZZ_(/7)$
e) Per il teorema fondamentale dell'omomorfismo si ha che $A_(/kerphi)$ è isomorfo a $ZZ_(/7)$ che è un campo perciò $A_(/kerphi)$ è un campo e quindi $kerphi$ è massimale.
f)Se $[5^na]_7=[0]_7$ poichè $ZZ_(/7)$ è un campo necessariamente $[a]_7=[0]_7$, per cui $kerphi$ è l'ideale principale generato dai multipli di $7$ in $ZZ[1/3]$.
Dovrebbe essere tutto corretto

[hydro]

a) Gli elementi invertibili sono della forma $3^k$ con $kinZZ$

$\pm 3^k$

[andreadel1988]

$\pm 3^k$

Eh si pardon

[Martino]

$\pm 3^k$

Eh si pardon

Quindi la risposta a (b) è No.

[andreadel1988]

$\pm 3^k$

Eh si pardon

Quindi la risposta a (b) è No.

Eh si perchè non è suriettiva da $ZZ$ a $U(A)$

[Martino]

Eh si perchè non è suriettiva da $ZZ$ a $U(A)$

No non è per questo. Come fai a dimostrare che $U(A)$ e $ZZ$ non sono isomorfi?

Il tuo argomento non può essere "perché $phi: ZZ to U(A)$, $phi(k)=3^k$ non è isomorfismo". Se $A,B$ sono oggetti algebrici (anelli, gruppi, etc.) l'esistenza di $phi:A to B$ che non è isomorfismo NON implica che $A$ e $B$ non sono isomorfi.