Superlösbar grupp
Inom matematiken säges en grupp vara superlösbar om den har en invariant normal serie där varje faktor är cyklisk. Superlösbarhet är en starkare egenskap än lösbarhet.
Definition redigera
Låt G vara en grupp. G säges vara superlösbar om det finns en normal serie
så att varje kvotgrupp är cyklisk och varje är normal i .
Detta kan jämföras med lösbara grupper, där definitionen kräver att varje kvotgrupp är abelsk. I en annan riktning bör en polycyklisk grupp ha en normal serie där varje kvotgrupp är cyklisk, men grupperna behöver inte vara normala i . Ett exempel på en grupp som är lösbar men inte superlösbar är alternerande gruppen .
Egenskaper redigera
- En superlösbar grupp är alltid polycyklisk och härmed lösbar.
- Varje ändligtgenererad nilpotent grupp är superlösbar.
- Varje metacyklisk grupp är superlösbar.
- Kommutatordelgruppen av en superlösbar grupp är nilpotent.
- Delgrupper och kvotgrupper av superlösbara grupper är superlösbara.
- En ändlig superlösbar grupp har en invariant normal serie där varje faktor är cyklisk av primtalsordning.
- Varje grupp med kvadratfri ordning, och varje grupp vars Sylowdelgrupper är cykliska är superlösbar.
- Varje irreducibel komplex representation av en ändlig superlösbar grupp är monomial, d.v.s. inducerad från en linjär karaktär av en delgrupp. I andra ord är varje ändlig superlösbar grupp en monomgrupp.
- Indexet av varje maximal delgrupp av en superlösbar grupp är ett primtal.
- En ändlig grupp är lösbar om och bara om indexet av varje maximal delgrupp är ett primtal.
- En ändlig grupp är lösbar om och bara om varje maximal kedja av delgrupper har samma längd. Detta är viktigt om man är intresserad av gittret av delgrupper av en grupp, och kallas ibland för Jordan–Dedekinds kedjekrav.
Källor redigera
- Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Supersolvable group, 17 februari 2015.
- Schenkman, Eugene. Group Theory. Krieger, 1975.
- Schmidt, Roland. Subgroup Lattices of Groups. de Gruyter, 1994.