Seja G um grupo e H G. Prove que o único coset direito de H em G que é um subring de G é o próprio H.

Seja G um grupo e H G. Prove que o único coset direito de H em G que é um subring de G é o próprio H.
Anonim

Responda:

Assumindo a questão (conforme esclarecido pelos comentários) é:

Deixei # G # ser um grupo e #H leq G #. Prove que o único coset direito de # H # em # G # que é um subgrupo de # G # é # H # em si.

Explicação:

Deixei # G # ser um grupo e #H leq G #. Para um elemento #g em G #, o coset direito de # H # em # G # é definido como:

# => Hg = {hg: h em H} #

Vamos supor que #Hg leq G #. Então o elemento de identidade #e em Hg #. No entanto, sabemos necessariamente que #e in H #.

Desde a # H # é um coset direito e dois cosets direitos devem ser idênticos ou disjuntos, podemos concluir #H = Hg #

=================================================

Caso isso não esteja claro, vamos tentar uma prova eliminando os símbolos.

Deixei # G # ser um grupo e vamos # H # ser um subgrupo de # G #. Para um elemento # g # pertencendo à # G #, ligar # Hg # o coset direito de # H # em # G #.

Vamos supor que o coset direito # Hg # é um subgrupo de # G #. Então o elemento de identidade # e # pertence a # Hg #. No entanto, já sabemos que o elemento de identidade # e # pertence a # H #.

Dois cosets corretos devem ser idênticos ou disjuntos. Desde a # H # é um coset certo, # Hg # é um coset direito, e ambos contêm # e #não podem ser disjuntos. Conseqüentemente, # H # e # Hg # deve ser idêntico ou #H = Hg #