Grupos e Subgrupos

[Renato_RJ]

Olá amigos, estou com um problema que eu não consigo resolver (talvez eu não tenha entendido muito bem o problema), vejam:

Verifique se A ou B é subgrupo do grupo multiplicativo :





Eu acho que somente A é subgrupo, mas gostaria da opinião de vocês, estou certo ?

Abraços,
Renato.

[Elcioschin]

Conjunto Q*

Q = Conjunto dos números RACIONAIS
* = diferentes de zero

Exemplos de números de Q* ----> - 3 ; - 1/3 ; 1; 5/19 , etc

Conjunto A ----> Q (racional) > 0 ----> Exemplos: 1 ; 5/19 etc.

Logo A é subgrupo de Q*


Conjunto B = (1 + 2m)/(1 + 2n) com m, n pertencente a Z ( inteiros quaisquer, positivos negativos ou nulos)

Para m inteiro (1 + 2m) é sempre inteiro diferente de zero. Idem para (1 + 2n)

Logo, B é a razão ente dois inteiros (positivos ou negativos) e diferentes de zero ----> B é racional

B é subgrupo de Q*

[Renato_RJ]

Então B também é subgrupo do grupo multiplicativo ???

Obrigado pela informação...

Abs,
Renato.

[LuizAquino]

Olá Pessoal,

Primeiro, vamos revisar alguns conceitos.

Seja G um conjunto e * uma operação binária definida sobre G, o par ordenado (G,*) é um grupo se são satisfeitas as seguintes propriedades:

• Associatividade: Quaisquer elementos a,b,c pertencentes a G, (a * b) * c = a * (b * c)
• Existência do elemento neutro: Existe um elemento e em G tal que e * a = a * e = a, para todo a pertencente a G.
• Existência do elemento simétrico: Para qualquer elemento a em G, existe outro elemento a' em G, tal que, a * a' = a' * a = e, onde e é o elemento neutro previamente mencionado.

Um subgrupo de um grupo G é um subconjunto H de G que também seja um grupo para a mesma operação.

No exercício, temos o grupo , onde * é a operação de multiplicação. Atenção: Não confundir isso com o conjunto .

Agora, para verificar se A e B são subgrupos de , precisamos mostrar que A e B são subconjuntos de e além disso que e são grupos. Nesse exercício em particular tanto A e B são subgrupos, pois atendem a essas condições.

Em particular, note que o conjunto não é subgrupo de , apesar de C ser um subconjunto de . Isso porque nesse caso não é grupo, pois há um elemento no conjunto que não possui o simétrico da operação dada (note que não há inverso multiplicativo de 0).

[Renato_RJ]

Muito obrigado Luiz !!!

Sua explicação foi muito esclarecedora e eliminou por vez algumas dúvidas bobas que eu estava tendo ao estudar a disciplina....

Grato, muito grato.
Renato.