Soma direta: diferenças entre revisões
m Checkwiki + ajustes |
|||
Linha 15: | Linha 15: | ||
: <math>g_1^{k_1} h_2^{k_2} g_3^{k_3} \ldots h_n^{k_n}\,</math> |
: <math>g_1^{k_1} h_2^{k_2} g_3^{k_3} \ldots h_n^{k_n}\,</math> |
||
em que os ''g''s pertencem ao subgrupo isomórfico a ''G'', os ''h''s ao subgrupo isomórfico a ''H''. Esta representação não é única, pois alguns ''g'' e ''h'' podem ser o elemento neutro da soma direta. |
em que os ''g''s pertencem ao subgrupo isomórfico a ''G'', os ''h''s ao subgrupo isomórfico a ''H''. Esta representação não é única, pois alguns ''g'' e ''h'' podem ser o elemento neutro da soma direta. Trocando em miúdos, uma soma direta é uma soma na qual dois espaços vetoriais se ''juntam'' para fazer outro, por isso a intersecção dos dois subespaços só pode ser o vetor nulo. |
||
{{DEFAULTSORT:Soma Direta}} |
{{DEFAULTSORT:Soma Direta}} |
Revisão das 19h51min de 22 de maio de 2012
O conceito de soma direta é recorrente em álgebra, se aplicando a diversas estruturas algébricas, como grupos, anéis e espaços vetoriais. A soma direta é o que, em teoria das categorias, é conhecido por coproduto de estruturas algébricas.
Soma direta de grupos abelianos
Dada uma família de grupos abelianos, definimos a soma direta de , denotada por , como sendo o grupo cujos elementos são -uplas cujas entradas são todas nulas, a menos um de um subconjunto finito de índices em , e cuja soma entre é . Utilizamos aqui a notação aditiva de grupos.
Soma direta de dois grupos
![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/3a/Magnifying_glass_01.svg/17px-Magnifying_glass_01.svg.png)
A soma direta de dois grupos G e H é (pela definição de coproduto) o grupo mais genérico contendo subgrupos isomórficos a G e a H, e em que cada elemento é o produto (finito) de elementos destes subgrupos.
Identificando G e H com os subgrupos da soma direta, temos, por exemplo, que se x for um elemento de G e y um elemento de H, x2y10x-1yx-3 será um elemento da soma direta.
De modo geral, qualquer elemento da soma direta é uma expressão da forma:
em que os gs pertencem ao subgrupo isomórfico a G, os hs ao subgrupo isomórfico a H. Esta representação não é única, pois alguns g e h podem ser o elemento neutro da soma direta. Trocando em miúdos, uma soma direta é uma soma na qual dois espaços vetoriais se juntam para fazer outro, por isso a intersecção dos dois subespaços só pode ser o vetor nulo.