Lösbar grupp

Från Wikipedia
Hoppa till: navigering, sök

Inom matematiken, speciellt inom gruppteorin, är en lösbar grupp en grupp som kan konstrueras från abelska grupper genom att använda utvidgningar. I andra ord är en lösbar grupp en grupp vars härledda serie förr eller senare leder till den triviala delgruppen.

Historiskt uppstod ordet "lösbar" från Galoisteorin och beviset av omöjligheten av en generell lösning i radikaler för femtegradens ekvationer. Mer specifikt är en algebraisk ekvation lösbar i radikaler om och bara om den korresponderande Galoisgruppen är lösbar.

Definition[redigera | redigera wikitext]

En grupp säges vara lösbar om den har en sammansättningsserie vars kvotgrupper är alla abelska; i andra ord, om det finns delgrupper så att är normal i och är abelsk för .

Ett ekvivalent krav är att gruppens härledda serie

där varje delgrupp är kommutatordelgruppen av den föregående, förr eller senare når den triviala delgruppen {1} av G. Dessa två definitioner är ekvivalenta, eftersom för varje grupp H och varje normal delgrupp N av H är [kvoten H/N abelsk om och bara om N inkluderar H(1). Det minsta talet n så att kallas för den härledda längden av den lösbara gruppen G.

Exampel[redigera | redigera wikitext]

Alla abelska grupper är trivialt lösbara - ty en subnormal serie är ges helt enkel av gruppen själv och den triviala delgruppen. Men det finns många exempel på icke-abelska lösbara grupper.

Mer allmänt är varje nilpotent grupp lösbar. Speciellt är alla ändliga p-grupper lösbara, emedan de är nilpotenta.

Ett exempel på en lösbar, icke-nilpotent grupp är symmetriska gruppen S3. Faktiskt emedan den minsta enkla icke-abelska gruppen är A5 (alternerande gruppen av grad 5) följer det att varje grupp av ordning mindre än 60 är lösbar.

Feit–Thompsons sats säger att varje ändlig grupp av udda ordning är lösbar.

En ändlig grupp vars alla p-Sylowgrupper är cyklisk är en halvdirekt produkt av två cykliska grupper, och härmed lösbar. Sådana grupper kallas för Z-grupper.

Burnsides sats[redigera | redigera wikitext]

Huvudartikel: Burnsides sats

Burnsides sats säger att om G är en ändlig grupp av ordning

där p och q primtal a och b icke-negativa heltal, då är G lösbart.

Se även[redigera | redigera wikitext]

Källor[redigera | redigera wikitext]

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Solvable group, 5 november 2014.
  • Malcev, A. I. (1949), ”Generalized nilpotent algebras and their associated groups”, Mat. Sbornik N.S. 25 (67): 347–366 
  • Rotman, Joseph J. (1995). An introduction to the theory of groups. Graduate texts in mathematics. "148" (4). Springer. ISBN 978-0-387-94285-8 

Externa länkar[redigera | redigera wikitext]