Índice de um subgrupo

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]

tal que:

DefiniçãoEditar

Seja   um grupo finito e seja   um subgrupo de  . O número

 

é 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

  1. Engler, Antonio J. «Corpos finitos» (PDF)