Em álgebra abstrata, o índice de um grupo
em um subgrupo
se refere ao número de elementos que possuem os conjuntos das classes adjuntas (ou classes laterais), cuja notação é
ou
que estão definidas mediante as relações de equivalência
(Classe lateral a esquerda) e
(Classe lateral a direita), dadas por:[1]
![{\displaystyle x\sim _{H}y\Leftrightarrow x^{-1}y\in H,~\forall x,y\in G}](https://wikimedia.org/api/rest_v1/media/math/render/svg/121c1dbf8913c7c9e1baebac522851b335373e96)
![{\displaystyle x_{H}\sim y\Leftrightarrow xy^{-1}\in H,~\forall x,y\in G}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5693b8aaf6be0fdd4958a29a5b185d74fc57073a)
tal que:
![{\displaystyle G:H=\bigcup _{g\in G}\{gh:h\in H\}=\bigcup _{g\in G}gH}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ddad9c33be2871284302abda182e9765c0252c0f)
![{\displaystyle H:G=\bigcup _{g\in G}\{hg:h\in H\}=\bigcup _{g\in G}Hg}](https://wikimedia.org/api/rest_v1/media/math/render/svg/93b2d76e2faa8b893296510148f534fb753d20d2)
Definição
Seja
um grupo finito e seja
um subgrupo de
. O número
![{\displaystyle i(H,G)=|H:G|=|G:H|=|G|/|H|,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3afc3d3cb50a24a4c8162b4ccc8fcf69c27ff708)
é chamado índice de
em
e se representa por
, de onde se tem utilizado a notação clássica,
, para a ordem de um grupo.
Referências
- ↑ Engler, Antonio J. «Corpos finitos» (PDF)