Sejam G um grupo e H um subgrupo.
Se K é um corpo, então podemos formar um anel de grupo K(G).
Como K(G) é um anel, temos que K(H) é um subanel seu.
Podemos ainda considerar K(G) como um K(H)-módulo tanto à esquerda quanto à
direita.
*Para F(G) como F(H)-módulo com qualquer lateralidade, mostre que F(G) é
livre e tempo posto [G : H]*
O exercício sugere usar um conjunto completo {gi} como base. Com o indice i
variando dentro das possíveis classes laterais de H, fazendo {g1, g2, ...,
gn} a família de classes latterais e n = [G: H]
--
Esta mensagem foi verificada pelo sistema de antiv�rus e
acredita-se estar livre de perigo.