(Grupo) Simétrico de um composto

**DanielFerreira** em Dom 18 Set 2016, 08:40

Prove que para quaisquer x e y em G, tem-se $(x \ast y)' = y' \ast x'$

**danjr5** em Dom 18 Set 2016, 10:38

$\\ \mathsf{\quad Sabemos ~ da ~ propriedade ~ de ~ elemento ~ neutro ~ que: ~ \forall x \in G, ~ \exists x' \in G} \\ \mathsf{tal ~ que ~ x \ast x' = x' \ast x = e. ~ Com ~ efeito, ~ se ~ y' \ast x' ~ \acute{e} ~ o ~ sim\acute{e}trico ~ de ~ x \ast y,~ ent\~ao:} \\\\ \mathsf{i) \ sim\acute{e}trico ~ \grave{a} ~ direita: x \ast x' = e} \\\\ \mathsf{(x \ast y) \ast (y' \ast x') = e} \\ \mathsf{x \ast (y \ast y') \ast x') = e} \\ \mathsf{(x \ast e) \ast x' = e} \\ \mathsf{x \ast x' = e} \\ \mathsf{e = e \qquad \qquad \qquad \ \blacksquare }$

$\\ \mathsf{i) \ sim\acute{e}trico ~ \grave{a} ~ esquerda: x' \ast x = e} \\\\ \mathsf{(y' \ast x') \ast (x \ast y) = e} \\ \mathsf{y' \ast (x' \ast x) \ast y) = e} \\ \mathsf{(y' \ast e) \ast y = e} \\ \mathsf{y' \ast y = e} \\ \mathsf{e = e \qquad \qquad \qquad \ \blacksquare}$

$\\ \mathsf{Assim, ~ provamos ~ que ~ o ~ sim\acute{e}trico ~ do ~ composto ~ x \ast y ~ \acute{e} ~ y' \ast x'.}$

Palavras-chave: grupos, simetria, elemento composto.

Dom	Seg	Ter	Qua	Qui	Sex	Sab
		1	2	3	4	5
6	7	8	9	10	11	12
13	14	15	16	17	18	19
20	21	22	23	24	25	26
27	28	29	30	31

(Grupo) Simétrico de um composto

(Grupo) Simétrico de um composto

Re: (Grupo) Simétrico de um composto