Suma directa

A suma directa é unha operación entre estruturas na álxebra abstracta, unha rama das matemáticas. Defínese de forma diferente, pero de xeito análogo, para diferentes tipos de estruturas. Como exemplo, a suma directa de dous grupos abelianos  e  é outro grupo abeliano  constituído polos pares ordenados  onde  e . Para sumar pares ordenados, definimos a suma  como ; noutras palabras, a suma defínese en función das coordenadas. Por exemplo, a suma directa , onde  é o espazo de coordenadas real, é o plano cartesiano, . Pódese usar un proceso similar para formar a suma directa de dous espazos vectoriais ou dous módulos.

Tamén podemos formar sumas directas con calquera número finito de sumandos, por exemplo , sempre que  e  son os mesmos tipos de estruturas alxébricas (por exemplo, todos os grupos abelianos ou todos os espazos vectoriais). Isto descansa no feito de que a suma directa é asociativa ata isomorfismo. É dicir,  para calquera estrutura alxébrica , , e  do mesmo tipo. A suma directa tamén é conmutativa ata isomorfismo, é dicir  para calquera estrutura alxébrica  e  do mesmo tipo.

A suma directa dun número finito de grupos abelianos, espazos vectoriais ou módulos pode ser canonicamente isomorfa ao produto directo correspondente. Non obstante, isto é falso para algúns obxectos alxébricos, como os grupos non abelianos.

No caso de que se combinen infinitos obxectos, a suma directa e o produto directo non son isomorfos, mesmo para grupos abelianos, espazos vectoriais ou módulos. 

 Exemplos 
O plano xy, un espazo vectorial bidimensional, pódese considerar como a suma directa de dous espazos vectoriais unidimensionais, é dicir, os eixos x e y. Nesta suma directa, os eixos x e y córtanse só na orixe (o vector cero). A adición defínese por coordenadas, é dicir , que é o mesmo que a suma vectorial.

Dadas dúas estruturas  e , a súa suma directa escríbese como . Dada unha familia indexada de estruturas , indexados con , pódese escribir a suma directa como . Cada Ai chámase sumando directo de A. No caso dos grupos, se a operación de grupo se escribe como  úsase a frase "suma directa", mentres que se se escribe a operación de grupo  utilízase a frase "produto directo". Cando o conxunto de índices é infinito, a suma directa non é o mesmo que o produto directo xa que a suma directa ten o requisito adicional de que todas as coordenadas, menos un número finito, deben ser cero.

 Sumas directas internas e externas 
Faise unha distinción entre sumas directas internas e externas, aínda que as dúas son isomorfas. Se primeiro se definen os sumandos, e despois a suma directa defínese en termos dos sumandos, temos unha suma directa externa. Por exemplo, se definimos os números reais  e despois definimos  dise que a suma directa é externa.

Se, pola contra, definimos primeiro algunha estrutura alxébrica  e despois escribimos  como suma directa de dúas subestruturas  e , entón dise que a suma directa é interna. Neste caso, cada elemento de  é expresábel unicamente como combinación alxébrica dun elemento de  e un elemento de . Para un exemplo de suma directa interna, considere  (os enteiros módulo seis), cuxos elementos son . Isto é expresábel como unha suma directa interna .

 Tipos de suma directa 

 Suma directa de grupos abelianos 
A suma directa de grupos abelianos é un exemplo prototípico de suma directa. Dados dous grupos deste tipo  e  a súa suma directa  é o mesmo que o seu produto directo. É dicir, o conxunto subxacente é o produto cartesiano  e a operación do grupo  defínese por compoñentes: Esta definición xeneralízase a sumas directas dun número finito de grupos abelianos.

 Suma directa de módulos 
A suma directa de módulos é unha construción que combina varios módulos nun novo módulo.

Os exemplos máis familiares desta construción ocorren cando se consideran espazos vectoriais, que son módulos sobre un corpo. A construción tamén se pode estender aos espazos de Banach e aos espazos de Hilbert.

 Suma directa en categorías 
Unha categoría aditiva é unha abstracción das propiedades da categoría de módulos. Nesta categoría coinciden os produtos finitos e os coprodutos e a suma directa é calquera deles.

Caso xeral:  En teoría de categorías a suma directa é moitas veces, pero non sempre, o coproduto na categoría dos obxectos matemáticos en cuestión. Por exemplo, na categoría de grupos abelianos, a suma directa é un coproduto. Isto tamén é certo na categoría de módulos.

 Sumas directas versus coprodutos en categoría de grupos 
Porén, a suma directa  (definida de forma idéntica á suma directa de grupos abelianos) non é un coproduto dos grupos  e  na categoría de grupos. Polo tanto, para esta categoría, unha suma directa categórica adoita chamarse simplemente coproduto para evitar calquera posible confusión.

 Suma directa de aneis 
Algúns autores falan da suma directa  de dous aneis cando queren dicir o produto directo , pero isto debería evitarseMath StackExchange on direct sum of rings vs. direct product of rings. xa que  non recibe homomorfismos de aneis naturais de  e : en particular, o mapa  enviando  a  non é un homomorfismo de anel xa que non pode enviar 1 a  (asumindo que  en ). Así  non é un coproduto na categoría de aneis e non debe escribirse como unha suma directa. (O coproduto na categoría de aneis conmutativos é o produto tensor de aneis., section I.11 Na categoría de aneis, o coproduto vén dado por unha construción similar ao produto libre de grupos.)

 Suma directa de matrices 
Para calquera matrices arbitrarias  e , a suma directa  defínese como a matriz diagonal de bloques de  e  se ambas as dúas son matrices cadradas. 

 Notas 


 Véxase tamén 

 Bibliografía 
 Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, vol. 211 (Revised third ed.), New York: Springer-Verlag, ISBN 978-0-387-95385-4, MR 1878556, Zbl 0984.00001
 Outros artigos 
 Pruduto directo.
 Ligazóns externas 
 Suma Directa en MathWorld

Categoría:Álxebra abstracta
Categoría:Wikipedia:Páxinas con traducións non revisadas