Requisito previo: Anillos
Homomorfismo de anillo:
un conjunto con dos operaciones binarias en el conjunto let denotado por y se llama anillo denotado como , si es un grupo abeliano y es un semigrupo, que también siguen las leyes distributivas derecha e izquierda.
para dos anillos y [Tex]\times [/Tex] una aplicación se denomina homomorfismo de anillos si
- , ∀a, segundo ∈ .
- , ∀a, segundo ∈ .
- [Tex]( [/Tex]I R I S , si I R e I S son identidades (si existen que en el caso de Ring con unidad) de operaciones set over y set over respectivamente.
NOTA: El anillo se llama imagen homomórfica del anillo .
Ejemplos:
- Función f(x) = x mod(n) del grupo ( ,+,*) a ( n ,+,*) ∀x ∈ es un grupo de enteros. + y * son operaciones simples de suma y multiplicación respectivamente.
- Función f(x) = x para cualquiera de los dos grupos (R,+,*) y (S,⨁, ) ∀x ∈ R, lo que se denomina homomorfismo de anillos de identidad.
- Función f(x) = 0 para grupos (N,*,+) y (Z,*,+) para ∀x ∈ N.
- Función f(x) = que es un grupo de forma conjugada compleja (C,+,*) consigo mismo, aquí C es un conjunto de números complejos. + y * son operaciones simples de suma y multiplicación respectivamente.
NOTA: Si f es homomorfismo de (R,+,*) y (S,⨁, ) entonces f(O R ) = f(O S ) donde O R y O S son identidades del conjunto R sobre + y el conjunto S sobre ⨁ operaciones respectivamente.
NOTA: Si f es homomorfismo de anillos de (R,+,*) y (S,⨁, ) entonces f : (R,+) → (S,⨁) es homomorfismo de grupos.
Isomorfismo de anillo:
un homomorfismo de uno y otro de anillo a anillo se llama isomorfismo de anillo, y son isomorfos.
Automorfismo de anillos:
Un homomorfismo de un anillo a sí mismo se llama Automorfismo de anillos.
Homomorfismo de campo:
para dos campos y una aplicación se llama homomorfismo de campo si
- , ∀a, segundo ∈ .
- , ∀a, segundo ∈ .
- I F I K , donde I F e I K son identidades de operaciones de reposición y reposición respectivamente.
- O F O K , donde OF y OK son identidades de las operaciones set over y set over respectivamente.
Publicación traducida automáticamente
Artículo escrito por ohiamvaibhav y traducido por Barcelona Geeks. The original can be accessed here. Licence: CCBY-SA