Grupa prosta: Różnice pomiędzy wersjami

[wersja nieprzejrzana][wersja nieprzejrzana]
Usunięta treść Dodana treść
Luckas-bot (dyskusja | edycje)
m robot dodaje: ca:Grup simple
MastiBot (dyskusja | edycje)
m Wspomagane przez robota ujednoznacznienie: Przegląd zagadnień z zakresu matematyki - Zmieniono link(i) Wikipedia:Skarbnica Wikipedii/Przegląd zagadnień z zakresu matematyki; zmiany kosmetyczne
Linia 1:
{{spis treści}}
'''Grupa prosta''' – [[grupa trywialna|nietrywialna]] [[grupa (matematyka)|grupa]] nie mająca właściwych [[podgrupa|podgrup]] [[podgrupa normalna|normalnych]], czyli jedynymi grupami normalnymi są w niej [[grupa trywialna|grupa trywialna]] i ona sama.
 
== Przykład ==
* [[Grupa cykliczna]] '''Z<sub>3</sub>''' jest prosta. Jeśli ''H'' jest podgrupą tej grupy, to jej [[rząd (teoria grup)|rząd]] (liczba elementów) musi być dzielnikiem 3 (rzędu ''G''). Ponieważ 3 jest liczbą pierwszą, jej jedynymi dzielnikami są 1 i 3, więc ''H'' jest albo trywialna albo równa ''G''. Przykładem grupy która nie jest prosta jest '''Z<sub>12</sub>'''. Podgrupa składająca się z elementów 0, 4 i 8 jest podgrupą rzędu 3 i jest dzielnikiem normalnym '''Z<sub>12</sub>''', ponieważ jest [[grupa przemienna|przemienna]].
* Podobnie grupa addytywna '''Z''' (wszystkich liczb calkowitych) nie jest prosta – zbiór liczb parzystych jest jej nietrywialną podgrupą normalną.
Linia 8:
* [[Grupy Mathieu]].
 
== Klasyfikacja ==
Klasyfikacja nieprzemiennych grup prostych jest znacznie bardziej skomplikowana. Najmniejszą z takich grup jest [[grupa alternująca]] '''A<sub>5</sub>''' i można pokazać że każda grupa prosta rzędu 60 jest z nią [[izomorfizm|izomorficzna]].
 
Linia 17:
Istnieją różne nieskończone grupy proste: przykładami takich grup są [[prosta grupa Liego|proste grupy Liego]] i [[grupa Thompsona|grupy Thompsona]] ''T'' i ''V''.
 
== Zobacz też ==
* [[Wikipedia:Skarbnica Wikipedii/Przegląd zagadnień z zakresu matematyki|przegląd zagadnień z zakresu matematyki]],
* [[podgrupa charakterystyczna#Grupa elementarna|grupa elementarna]].
 
[[Kategoria:Teoria grup]]