Anello che non è un gruppo ciclico.

Messaggioda paolodocet » 25/01/2015, 18:47

Buona sera a tutti ragazzi.

Sia $T=(Z_3[X])/(x^3+x+2)$

L'esercizio recita:
Si consideri l'insieme $Y=T-{0}$, ossia l'insieme degli elementi non nulli di T. Si chiede per quale motivo $Y$ non è un gruppo ciclico, ossia per quale ragione non esista nessun elemento di $y in Y | Y = {y^n | n in Z}$

Il mio ragionamento è stato il seguente:
Ho verificato se T fosse o meno un campo. Allora per il teorema di Ruffini, si ottiene per $x=2$ che:
$P(X) = 8 + 2 +2 = [12] = [0]_3$
Pertanto sappiamo che P(X) è riducibile in $Z_3$ e T non può essere un campo.

Ora dato che T non è un campo, possiamo ipotizzare che allora $(T,*)$ non è commutativo.
Dunque, dato che un gruppo ciclico è necessariamente abeliano, allora Y non può essere ciclico.

Qualcuno potrebbe aiutarmi a fare chiarezza su questo esercizio?
Grazie a tutti per la disponibilità, buona serata.
paolodocet
Junior Member
Junior Member
 
Messaggio: 62 di 124
Iscritto il: 23/11/2012, 17:36

Messaggioda j18eos » 26/01/2015, 00:39

Dato che \(\displaystyle T\) non è un campo (e nemmanco un dominio di integrità), \(\displaystyle T\setminus\{0\}\) è un gruppo? È un monoide commutativo?
Ipocrisìa e omofobìa,
fuori da casa mia!

Semplicemente Armando. ;)
Avatar utente
j18eos
Moderatore
Moderatore
 
Messaggio: 5213 di 13399
Iscritto il: 12/06/2010, 15:27
Località: Napoli, Trieste, ed ogni tanto a Roma ^_^

Re: Anello che non è un gruppo ciclico.

Messaggioda ficus2002 » 29/01/2015, 14:53

paolodocet ha scritto:Ora dato che T non è un campo, possiamo ipotizzare che allora $(T,*)$ non è commutativo.

L'errore è in questa affermazione: non essere un campo non implica non essere commutativo. In questo caso $T$ non è un campo, ma è commutativo; quello che conta è che $T-\{0\}$ non è un gruppo.
ficus2002
Average Member
Average Member
 
Messaggio: 595 di 640
Iscritto il: 09/02/2006, 17:35


Torna a Algebra, logica, teoria dei numeri e matematica discreta

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite