O que significa
?
Passo 1
O enunciado pergunta o significado da notação
. Aqui estamos em teoria de grupos e essa seta “
” indica uma relação de subgrupo. Vamos lembrar o que é um subgrupo e como usamos essa notação.
Passo 2
Dizemos que um subconjunto
de um grupo
é um subgrupo (e escrevemos
) se satisfaz três propriedades fundamentais:
-
é não-vazio (em particular contém o elemento neutro de ). - Se
, então (fechamento em relação à operação do grupo). - Se
, então o inverso .