Fórum de Matemática | DÚVIDAS? Nós respondemos!
https://forumdematematica.org/

Algebra moderna subgrupos homomorfismo como mostrar
https://forumdematematica.org/viewtopic.php?f=8&t=12640
Página 1 de 1

Autor:  caciano-death [ 26 abr 2017, 02:52 ]
Título da Pergunta:  Algebra moderna subgrupos homomorfismo como mostrar

Anexo:
question.jpg
question.jpg [ 19.82 KiB | Visualizado 1333 vezes ]

Autor:  Rui Carpentier [ 26 abr 2017, 17:12 ]
Título da Pergunta:  Re: Algebra moderna subgrupos homomorfismo como mostrar  [resolvida]

Um subconjunto \(C \subset G\) é subgrupo de G se e só se \(a^{-1}b\in C\) para qualquer \(a,b\in C\).
Sejam \(a,b\in C=\{x\in C:f(x)\in H\}\). Sabemos \(f(a^{-1}b)=f(a)^{-1}f(b)\) (pois f é um homomorfismo) e que \(f(a),f(b)\in H\) (por definição de C). Logo \(f(a^{-1}b)=f(a)^{-1}f(b)\in H\) (pois H é subgrupo de J) e portanto \(a^{-1}b\in C\) (o que mostra que C é subgrupo).

Autor:  caciano-death [ 28 abr 2017, 02:45 ]
Título da Pergunta:  Re: Algebra moderna subgrupos homomorfismo como mostrar

muito obrigado

Página 1 de 1 Os Horários são TMG [ DST ]
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/