Gruppo semplice: differenze tra le versioni
Vai alla navigazione
Vai alla ricerca
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
ampliato |
||
Riga 1: | Riga 1: | ||
In [[matematica]], un '''gruppo semplice''' è un [[gruppo (matematica)|gruppo]] non [[gruppo banale|banale]] i cui unici [[sottogruppo normale|sottogruppi normali]] sono il sottogruppo banale e il gruppo stesso. |
|||
{{A|come minimo da contestualizzare|matematica|novembre 2006|[[Utente:Elborgo|<font color="navy"> <small>E</small><b>LB</b>orgo</font>]] <small>[[Discussioni_utente:Elborgo|<font color="gray"><b>(sms)</b></font>]]</small> 12:37, 3 nov 2006 (CET)}} |
|||
In altre parole, i gruppi semplici sono gruppi che contengono il minimo numero di sottogruppi normali. I gruppi semplici sono importanti in [[teoria dei gruppi]], specialmente nella teoria dei [[gruppo finito|gruppi finiti]], perché formano i "blocchi primari" per la costruzione di ogni gruppo finito. |
|||
Sia G un [[gruppo]] con [[operazione interna]] *, esso si dice semplice se e soltanto se i suoi sottogruppi banali sono normali (cfr. [[sottogruppo normale]]); ovvero, oltre a G stesso, il suo unico [[sottogruppo normale]] è il [[gruppo]] unitario {u}. |
|||
== Esempi == |
|||
Ricordo che G e {1} sono i sottogruppi banali di ogni [[gruppo]] G ad [[operazione interna]] *. |
|||
* Un [[gruppo ciclico]] ''G''='''Z'''/''m'''''Z''' è semplice se e solo se ''m'' è [[numero primo|primo]]: infatti tutti i sottogruppi di ''G'' sono normali, e corrispondono ai [[divisore|divisori]] di ''m''. |
|||
* Il gruppo dei [[numeri interi]] '''Z''' non è semplice, perché i numeri pari formano un sottogruppo normale. Più in generale, un [[gruppo abeliano]] è semplice se e solo se è ciclico di ordine primo. |
|||
* Il più piccolo esempio di gruppo semplice nonabeliano è il [[gruppo alternante]] ''A''<sub>5</sub> di ordine 60. |
|||
* Il secondo esempio è il [[gruppo lineare speciale]] proiettivo PSL(2,7), di ordine 168. |
|||
== Classificazione == |
|||
La classificazione dei gruppi semplici finiti fu conclusa nel [[1982]], grazie al contributo di numerosi matematici, tra cui [[John G. Thompson]]. |
|||
[[Categoria:Teoria dei gruppi]] |
|||
[[en:Simple group]] |
|||
[[fr:Groupe simple]] |
|||
[[ko:단순군]] |
|||
[[he:חבורה פשוטה]] |
|||
[[fi:Yksinkertainen ryhmä]] |
Versione delle 11:58, 21 nov 2006
In matematica, un gruppo semplice è un gruppo non banale i cui unici sottogruppi normali sono il sottogruppo banale e il gruppo stesso.
In altre parole, i gruppi semplici sono gruppi che contengono il minimo numero di sottogruppi normali. I gruppi semplici sono importanti in teoria dei gruppi, specialmente nella teoria dei gruppi finiti, perché formano i "blocchi primari" per la costruzione di ogni gruppo finito.
Esempi
- Un gruppo ciclico G=Z/mZ è semplice se e solo se m è primo: infatti tutti i sottogruppi di G sono normali, e corrispondono ai divisori di m.
- Il gruppo dei numeri interi Z non è semplice, perché i numeri pari formano un sottogruppo normale. Più in generale, un gruppo abeliano è semplice se e solo se è ciclico di ordine primo.
- Il più piccolo esempio di gruppo semplice nonabeliano è il gruppo alternante A5 di ordine 60.
- Il secondo esempio è il gruppo lineare speciale proiettivo PSL(2,7), di ordine 168.
Classificazione
La classificazione dei gruppi semplici finiti fu conclusa nel 1982, grazie al contributo di numerosi matematici, tra cui John G. Thompson.