Homomorfismo: diferenças entre revisões

Por exemplo, um grupo é um objeto algébrico consistente de um [[conjunto]] que junto com uma única [[operação binária]], satisfaça certos axiomas. Se <math>(G,*)</math> e <math>(H,*')</math> são grupos, um '''homomorfismo''' de <math>(G,*)</math> até <math>(H,*')</math> é uma função ''ƒ'':&nbsp;<math>(G,*)</math>&nbsp;&rarr;&nbsp;<math>(H,*')</math> de tal modo que

<math>f(g_1 * g_2) = f(g_1) *' f(g_2)</math>

 

Quando uma estrutura algébrica inclui mais do que uma operação, são necessários homomofismos para preservar cada operação. Por exemplo, um anel possui tanto adição quanto multiplicação, e um homomorfismo do anel <math>(R,+,*,0,1)</math> para o anel <math>(R',+',*',0',1')</math> é uma função de tal modo que