Sidoklass

En sidoklass, biklass eller bimängd är inom gruppteori en mängd element som utmärks av att de kan skrivas som en produkt mellan ett element och en delgrupp.

Eftersom de flesta grupper inte är abelska, så gäller att ordningen i vilken man multiplicerar spelar roll, och varje delgrupp har därmed i allmänhet två olika sidoklasser, kallade vänster- respektive högersidoklass.

Formell definition

Låt G vara en grupp med gruppmultiplikation * och delgrupp S, och a vara ett element i G. Då är $aS\equiv \{a*b:b\in S\}$ och $Sa\equiv \{b*a:b\in S\}$ en vänster- respektive högersidoklass till S med avseende på a.

Egenskaper

Två vänstersidoklasser är antingen identiska eller disjunkta, så mängden av sidoklasser bildar en partition av en grupp G (ett element i G tillhör exakt en sidoklass).

Vänstersidoklasserna kan ses som ekvivalensklasserna som bildas under ekvivalensrelationen x ~ y om och endast om $x^{-1}y\in H$. Motsvarande gäller för högersidoklasserna.

Antalet högersidoklasser är alltid samma som vänstersidoklasserna. Detta tal kallas H:s index i G och betecknas vanligtvis $[G:H]$. Om G och H är ändliga kan man använda Lagranges sats för att komma fram till formeln:

$|G|=[G:H]|H|.\,$

Om aN=Na för alla a i G kallas N en normal delgrupp.

Referenser

• Rotman, Joseph (1995). An Introduction to the Theory of Groups. Springer Verlag. ISBN 3-540-94285-8 
• Beardon, Alan F.. Algebra and Geometry. Cambridge University Press. ISBN 978-0-521-81362-4