UNIVERSIDAD CENTRAL DEL ECUADOR

FACULTAD DE CIENCIAS

INGENIERÍA MATEMÁTICA

ESTRUCTURAS ALGEBRÁICAS

EXPOSICIÓN

INTEGRANTES

EDISON IBARRA
ROY TORRES
KEVIN LLOACANA
JOSELYN LANDETA
Sea (ℳ(2, ℤ), +) el grupo aditivo de las matrices cuadradas con entradas enteras, trataremos
de discernir las funciones que cumplen las condiciones para ser un endomorfismo y
automorfimo de grupo (ℳ(2, ℤ), +) respectivamente.

Intuimos que 𝐸𝑛𝑑(ℳ(2, ℤ)) = {𝜑: ℳ(2, ℤ) → ℳ(2, ℤ), 𝜑: ℎ𝑜𝑚𝑜𝑚𝑜𝑟𝑓𝑖𝑠𝑚𝑜 𝑑𝑒 𝑔𝑟𝑢𝑝𝑜𝑠}

Para que 𝝋 sea un homomorfismo de grupos debe cumplir que:

i. 𝜑(𝐴 + 𝐵) = 𝜑(𝐴) + 𝜑(𝐵) ∀𝐴, 𝐵 ∈ ℳ(2, ℤ)

Deducimos los casos más simples:
𝜑0 : ℳ(2, ℤ) → ℳ(2, ℤ)
𝑥 𝑦 𝑥 𝑦 0 0
( ) → 𝜑0 ( )=( ) ∀𝑥, 𝑦, 𝑤, 𝑧 ∈ ℤ
𝑧 𝑤 𝑧 𝑤 0 0
es claro que cumple con i), así es homomorfismos de grupos y más aún es un
endomorfismo de ℳ(2, ℤ).
𝜑𝑖𝑑 : ℳ(2, ℤ) → ℳ(2, ℤ)
𝑥 𝑦 𝑥 𝑦 𝑥 𝑦
( ) → 𝜑𝑖𝑑 ( )=( ) ∀𝑥, 𝑦, 𝑤, 𝑧 ∈ ℤ
𝑧 𝑤 𝑧 𝑤 𝑧 𝑤
cumple con i), así es homomorfismos de grupos y más aún es un endomorfismo de
ℳ(2, ℤ).
Tenemos también que:
𝜑𝑡𝑟 : ℳ(2, ℤ) → ℳ(2, ℤ)
𝑥 𝑦 𝑥 𝑦 𝑥 𝑧
( ) → 𝜑𝑡𝑟 ( ) = (𝑦 𝑤 ) ∀𝑥, 𝑦, 𝑤, 𝑧 ∈ ℤ
𝑧 𝑤 𝑧 𝑤
𝑥 𝑦 𝑎 𝑏
Sea 𝐴, 𝐵 ∈ ℳ(2, ℤ), con 𝐴 = ( ), 𝐵 = ( ), ∀𝑎, 𝑏, 𝑐, 𝑑 ∈ ℤ, tenemos que:
𝑧 𝑤 𝑐 𝑑
𝑥 𝑦 𝑎 𝑏
𝜑𝑡𝑟 (𝐴 + 𝐵) = 𝜑𝑡𝑟 [( )+( )]
𝑧 𝑤 𝑐 𝑑
𝑥+𝑎 𝑦+𝑏
= 𝜑𝑡𝑟 [( )]
𝑧+𝑐 𝑤+𝑑
𝑥+𝑎 𝑧+𝑐
= (𝑦 + 𝑏 𝑤 + 𝑑) *por un lado

𝑥 𝑦 𝑎 𝑏
𝜑𝑡𝑟 (𝐴)+𝜑𝑡𝑟 (𝐵) = 𝜑𝑡𝑟 ( ) + 𝜑𝑡𝑟 ( )
𝑧 𝑤 𝑐 𝑑
𝑥 𝑧 𝑎 𝑐
= (𝑦 𝑤 ) + ( )
𝑏 𝑑
𝑥+𝑎 𝑧+𝑐
= (𝑦 + 𝑏 𝑤 + 𝑑) *por otro lado
así es homomorfismos de grupos y más aún es un endomorfismo de ℳ(2, ℤ).
Del mismo modo teniendo:

𝜑−𝑖𝑑 : ℳ(2, ℤ) → ℳ(2, ℤ)

𝑥 𝑦 𝑥 𝑦 −𝑥 −𝑦
( ) → 𝜑−𝑖𝑑 ( )=( ) ∀𝑥, 𝑦, 𝑤, 𝑧 ∈ ℤ
𝑧 𝑤 𝑧 𝑤 −𝑧 −𝑤

𝜑𝑑 : ℳ(2, ℤ) → ℳ(2, ℤ)
𝑥 𝑦 𝑥 𝑦 𝑥 0
( ) → 𝜑𝑑 ( )=( ) ∀𝑥, 𝑦, 𝑤, 𝑧 ∈ ℤ
𝑧 𝑤 𝑧 𝑤 0 𝑤
 𝜑−𝑑 : ℳ(2, ℤ) → ℳ(2, ℤ)
𝑥 𝑦 𝑥 𝑦 −𝑥 0
( ) → 𝜑−𝑑 ( )=( ) ∀𝑥, 𝑦, 𝑤, 𝑧 ∈ ℤ
𝑧 𝑤 𝑧 𝑤 0 −𝑤

𝜑𝑡𝑠 : ℳ(2, ℤ) → ℳ(2, ℤ)

𝑥 𝑦 𝑥 𝑦 𝑥 𝑦
( ) → 𝜑𝑡𝑠 ( )=( ) ∀𝑥, 𝑦, 𝑤, 𝑧 ∈ ℤ
𝑧 𝑤 𝑧 𝑤 0 𝑤

𝜑−𝑡𝑠 : ℳ(2, ℤ) → ℳ(2, ℤ)

𝑥 𝑦 𝑥 𝑦 −𝑥 −𝑦
( ) → 𝜑−𝑡𝑠 ( )=( ) ∀𝑥, 𝑦, 𝑤, 𝑧 ∈ ℤ
𝑧 𝑤 𝑧 𝑤 0 −𝑤

𝜑𝑡𝑖 : ℳ(2, ℤ) → ℳ(2, ℤ)

𝑥 𝑦 𝑥 𝑦 𝑥 0
( ) → 𝜑𝑡𝑖 ( )=( ) ∀𝑥, 𝑦, 𝑤, 𝑧 ∈ ℤ
𝑧 𝑤 𝑧 𝑤 𝑧 𝑤

𝜑−𝑡𝑖 : ℳ(2, ℤ) → ℳ(2, ℤ)

𝑥 𝑦 𝑥 𝑦 −𝑥 0
( ) → 𝜑−𝑡𝑖 ( )=( ) ∀𝑥, 𝑦, 𝑤, 𝑧 ∈ ℤ
𝑧 𝑤 𝑧 𝑤 −𝑧 −𝑤

𝜑0𝑦𝑧𝑤 : ℳ(2, ℤ) → ℳ(2, ℤ)

𝑥 𝑦 𝑥 𝑦 0 𝑦
( ) → 𝜑0𝑦𝑧𝑤 ( )=( ) ∀𝑥, 𝑦, 𝑤, 𝑧 ∈ ℤ
𝑧 𝑤 𝑧 𝑤 𝑧 𝑤

𝜑−0𝑦𝑧𝑤 : ℳ(2, ℤ) → ℳ(2, ℤ)

𝑥 𝑦 𝑥 𝑦 0 −𝑦
( ) → 𝜑−0𝑦𝑧𝑤 ( )=( ) ∀𝑥, 𝑦, 𝑤, 𝑧 ∈ ℤ
𝑧 𝑤 𝑧 𝑤 −𝑧 −𝑤

𝜑𝑥𝑦𝑧0 : ℳ(2, ℤ) → ℳ(2, ℤ)

𝑥 𝑦 𝑥 𝑦 𝑥 𝑦
( ) → 𝜑𝑥𝑦𝑧0 ( )=( ) ∀𝑥, 𝑦, 𝑤, 𝑧 ∈ ℤ
𝑧 𝑤 𝑧 𝑤 𝑧 0

𝜑−𝑥𝑦𝑧0 : ℳ(2, ℤ) → ℳ(2, ℤ)

𝑥 𝑦 𝑥 𝑦 −𝑥 −𝑦
( ) → 𝜑−𝑥𝑦𝑧0 ( )=( ) ∀𝑥, 𝑦, 𝑤, 𝑧 ∈ ℤ
𝑧 𝑤 𝑧 𝑤 −𝑧 0
𝜑0𝑦𝑧0 : ℳ(2, ℤ) → ℳ(2, ℤ)
𝑥 𝑦 𝑥 𝑦 0 𝑦
( ) → 𝜑0𝑦𝑧0 ( )=( ) ∀𝑥, 𝑦, 𝑤, 𝑧 ∈ ℤ
𝑧 𝑤 𝑧 𝑤 𝑧 0

𝜑−0𝑦𝑧0 : ℳ(2, ℤ) → ℳ(2, ℤ)

𝑥 𝑦 𝑥 𝑦 0 −𝑦
( ) → 𝜑−0𝑦𝑧0 ( )=( ) ∀𝑥, 𝑦, 𝑤, 𝑧 ∈ ℤ
𝑧 𝑤 𝑧 𝑤 −𝑧 0

𝜑00𝑧𝑤 : ℳ(2, ℤ) → ℳ(2, ℤ)

𝑥 𝑦 𝑥 𝑦 0 0
( ) → 𝜑00𝑧𝑤 ( )=( ) ∀𝑥, 𝑦, 𝑤, 𝑧 ∈ ℤ
𝑧 𝑤 𝑧 𝑤 𝑧 𝑤

𝜑−00𝑧𝑤 : ℳ(2, ℤ) → ℳ(2, ℤ)

𝑥 𝑦 𝑥 𝑦 0 0
( ) → 𝜑−00𝑧𝑤 ( )=( ) ∀𝑥, 𝑦, 𝑤, 𝑧 ∈ ℤ
𝑧 𝑤 𝑧 𝑤 −𝑧 −𝑤

𝜑𝑥𝑦00 : ℳ(2, ℤ) → ℳ(2, ℤ)

𝑥 𝑦 𝑥 𝑦 𝑥 𝑦
( ) → 𝜑𝑥𝑦00 ( )=( ) ∀𝑥, 𝑦, 𝑤, 𝑧 ∈ ℤ
𝑧 𝑤 𝑧 𝑤 0 0

𝜑−𝑥𝑦00 : ℳ(2, ℤ) → ℳ(2, ℤ)

𝑥 𝑦 𝑥 𝑦 −𝑥 −𝑦
( ) → 𝜑−𝑥𝑦00 ( )=( ) ∀𝑥, 𝑦, 𝑤, 𝑧 ∈ ℤ
𝑧 𝑤 𝑧 𝑤 0 0

𝜑𝑥0𝑧0 : ℳ(2, ℤ) → ℳ(2, ℤ)

𝑥 𝑦 𝑥 𝑦 𝑥 0
( ) → 𝜑𝑥0𝑧0 ( )=( ) ∀𝑥, 𝑦, 𝑤, 𝑧 ∈ ℤ
𝑧 𝑤 𝑧 𝑤 𝑧 0

𝜑−𝑥0𝑧0 : ℳ(2, ℤ) → ℳ(2, ℤ)

𝑥 𝑦 𝑥 𝑦 −𝑥 0
( ) → 𝜑−𝑥0𝑧0 ( )=( ) ∀𝑥, 𝑦, 𝑤, 𝑧 ∈ ℤ
𝑧 𝑤 𝑧 𝑤 −𝑧 0

𝜑0𝑦0𝑤 : ℳ(2, ℤ) → ℳ(2, ℤ)

𝑥 𝑦 𝑥 𝑦 0 𝑦
( ) → 𝜑0𝑦0𝑤 ( )=( ) ∀𝑥, 𝑦, 𝑤, 𝑧 ∈ ℤ
𝑧 𝑤 𝑧 𝑤 0 𝑤
 𝜑−0𝑦0𝑤 : ℳ(2, ℤ) → ℳ(2, ℤ)
𝑥 𝑦 𝑥 𝑦 0 −𝑦
( ) → 𝜑−0𝑦0𝑤 ( )=( ) ∀𝑥, 𝑦, 𝑤, 𝑧 ∈ ℤ
𝑧 𝑤 𝑧 𝑤 0 −𝑤
Es fácil comprobar que estas funciones cumplen las propiedad i), y por lo tanto son
endomorfismos del grupo ℳ(2, ℤ), esas y otras muchas más.

Pero necesitamos saber la forma general de estos endomorfismos, por lo anterior hecho
y extrapolando un poco de lo que sabemos sobre endomorfismos de ℤ, tenemos que:

Se conoce que los endomorfismos de ℤ tienen la forma 𝜑(𝑚) = 𝑘𝑚, para todo 𝑘 ∈ ℤ
fijo pero arbitrario. Con esto se deduce que los endomorfismos del grupo aditivo
𝑥 𝑦 𝑘𝑥 𝑙𝑦
ℳ(2, ℤ), son de la forma 𝜑 ( )=( ), para 𝑘, 𝑙, 𝑚, 𝑛 ∈ ℤ arbitrarios pero
𝑧 𝑤 𝑚𝑧 𝑛𝑤
fijos.
𝒙 𝒚 𝒌𝒙 𝒍𝒚
Así, 𝑬𝑵𝑫(𝓜(𝟐, ℤ)) = {𝝋 ( )=( )}
𝒛 𝒘 𝒎𝒛 𝒏𝒘
De todos estos endomorfismos deduzcamos cuales son biyectivos.

 Es obvio que teniendo que 𝑘 ≠ 0, 𝑙 ≠ 0, 𝑚 ≠ 0, 𝑛 ≠ 0, los endomorfismos son

inyectivos.

Busquemos ahora cuál de todos estos endomorfismos son sobreyectivos.

𝑎 𝑏 𝑥 𝑦
Tomando ( ) ∈ ℳ(2, ℤ) arbitrario, buscamos ( ) ∈ ℳ(2, ℤ) tal que:
𝑐 𝑑 𝑧 𝑤
x y kx ly a b
φ( )=( )=( )
z w mz nw c d
x y
para que la matriz ( ) pueda ser calculada es necesario que:
z w

𝐤𝐱 = 𝐚, 𝐥𝐲 = 𝐛, 𝐦𝐳 = 𝐜, 𝐧𝐰 = 𝐝
Esto quiere decir que:

𝐤|𝐚, 𝐥|𝐛, 𝐦|𝐜, 𝐧|𝐝

Esto es posible sólo cuando:

𝐤 = ±𝟏, 𝐥 = ±𝟏, 𝐦 = ±𝟏, 𝐧 = ±𝟏

Sólo para estos valores los endomorfismos son sobreyectivos.

𝒙 𝒚 ±𝒙 ±𝒚
 Así el conjunto de 𝐴𝑈𝑇(𝓜(𝟐, ℤ)) = {𝝋 ( )=( )}, que tiene 16
𝒛 𝒘 ±𝒛 ±𝒘
funciones.
x y x y
φ1 ( )=( )
z w z w
x y −x y
φ2 ( )=( )
z w z w
x y x −y
φ3 ( )=( )
z w z w
x y x y
φ4 ( )=( )
z w −z w
 x y x y
φ5 ( )=( )
z w z −w
x y −x −y
φ6 ( )=( )
z w z w
x y −x −y
φ7 ( )=( )
z w −z w
x y −x −y
φ8 ( )=( )
z w −z −w
x y x −y
φ9 ( )=( )
z w −z −w
x y x y
φ10 ( )=( )
z w −z −w
x y −x y
φ11 ( )=( )
z w z −w
x y x −y
φ12 ( )=( )
z w −z w
x y −x y
φ13 ( )=( )
z w −z w
x y x −y
φ14 ( )=( )
z w z −w
x y −x −y
φ15 ( )=( )
z w z −w
x y −x y
φ16 ( )=( )
z w −z −w
ii. De entre los endomorfismos de grupo buscamos los que satisfagan:
𝜑(𝐴. 𝐵) = 𝜑(𝐴). 𝜑(𝐵) ∀𝐴, 𝐵 ∈ ℳ(2, ℤ)

Tratemos de buscar un modelo de matriz tal que:

𝜑(𝐴2 ) = 𝜑(𝐴). 𝜑(𝐴) = [𝜑(𝐴)]2

La primera que consideraríamos es la matriz unidad:

1 0
A=( )
0 1
Tal que:

1 0 2 1 0 2
𝜑 (( ) ) = [𝜑 ( )]
0 1 0 1

𝒙 𝒚 𝒌𝒙 𝒍𝒚
Esto es, usando que 𝑬𝑵𝑫(𝓜(𝟐, ℤ)) = {𝝋 ( )=( )}:
𝒛 𝒘 𝒎𝒛 𝒏𝒘

𝒌 𝟎 𝟐
( ) = (𝒌 𝟎)
𝟎 𝒏 𝟎 𝒏𝟐
De aquí:

𝒌 = 𝒌𝟐 , 𝒏 = 𝒏𝟐
Es decir, 𝒌 = 𝟎 𝒐 𝒌 = 𝟏, 𝒏 = 𝟎 𝒐 𝒏 = 𝟏

Así los endomorfismos de anillos deben ser de la siguiente forma:

𝑬𝑵𝑫(𝓜(𝟐, ℤ))
𝒙 𝒚 𝒙 𝒍𝒚 𝒙 𝒚 𝟎 𝒍𝒚 𝒙 𝒚
= {𝝋 ( )=( ),𝝋( )=( ),𝝋( )
𝒛 𝒘 𝒎𝒛 𝒘 𝒛 𝒘 𝒎𝒛 𝒘 𝒛 𝒘
𝟎 𝒍𝒚 𝒙 𝒍𝒚
=( ),( )}
𝒎𝒛 𝟎 𝒎𝒛 𝟎
 De aquí es fácil deducir que
𝒙 𝒚 𝒙 𝒍𝒚
𝑨𝑼𝑻(𝓜(𝟐, ℤ)) = {𝝋 ( )=( )}.
𝒛 𝒘 𝒎𝒛 𝒘
De todos los homomorfismos en 𝓜(𝟐, ℤ) , particularizando tenemos:

Se tiene que:
𝜑: (ℳ(2, ℤ), +,∙) ⟼ (ℳ(2, ℤ), +,∙)
𝑥 𝑦 𝑥 𝑦
( ) ⟼ 𝜑( )
𝑧 𝑤 𝑧 𝑤
Con 𝑥, 𝑦, 𝑤, 𝑧 ∈ ℤ, donde:
𝑥 𝑦 𝑎 𝑥 + 𝑎2 𝑦 + 𝑎3 𝑧 + 𝑎4 𝑤 𝑏1 𝑥 + 𝑏2 𝑦 + 𝑏3 𝑧 + 𝑏4 𝑤
𝜑( )=( 1 )
𝑧 𝑤 𝑐1 𝑥 + 𝑐2 𝑦 + 𝑐3 𝑧 + 𝑐4 𝑤 𝑑1 𝑥 + 𝑑2 𝑦 + 𝑑3 𝑧 + 𝑑4 𝑤
De esta manera se va a observar si de manera general cumple con las condiciones de
homomorfismo de anillo:

 𝜑(𝐴 + 𝐵) = 𝜑(𝐴) + 𝜑(𝐵)

 𝜑(𝐴 ∙ 𝐵) = 𝜑(𝐴) ∙ 𝜑(𝐵)
Con 𝐴, 𝐵 ∈ ℳ(2, ℤ). De este modo se sigue que:
𝑥 𝑦 𝑥̂ 𝑦̂
1. 𝜑(𝐴) + 𝜑(𝐵) Donde 𝐴 = ( )y𝐵 = ( ) Se tiene que:
𝑧 𝑤 𝑧̂ 𝑤
̂
𝑥 𝑦 𝑥̂ 𝑦̂
= 𝜑( )+𝜑( )
𝑧 𝑤 𝑧̂ 𝑤
̂
𝑎 𝑥 + 𝑎2 𝑦 + 𝑎3 𝑧 + 𝑎4 𝑤 𝑏1 𝑥 + 𝑏2 𝑦 + 𝑏3 𝑧 + 𝑏4 𝑤
=( 1 )
𝑐1 𝑥 + 𝑐2 𝑦 + 𝑐3 𝑧 + 𝑐4 𝑤 𝑑1 𝑥 + 𝑑2 𝑦 + 𝑑3 𝑧 + 𝑑4 𝑤
𝑎 𝑥̂ + 𝑎2 𝑦̂ + 𝑎3 𝑧̂ + 𝑎4 𝑤 ̂ 𝑏1 𝑥̂ + 𝑏2 𝑦̂ + 𝑏3 𝑧̂ + 𝑏4 𝑤
̂
+( 1 )
𝑐1 𝑥̂ + 𝑐2 𝑦̂ + 𝑐3 𝑧̂ + 𝑐4 𝑤
̂ 𝑑1 𝑥̂ + 𝑑2 𝑦̂ + 𝑑3 𝑧̂ + 𝑑4 𝑤
̂
𝑎 (𝑥 + 𝑥̂) + 𝑎2 (𝑦 + 𝑦̂) + 𝑎3 (𝑧 + 𝑧̂ ) + 𝑎4 (𝑤 + 𝑤̂) 𝑏1 (𝑥 + 𝑥̂) + 𝑏2 (𝑦 + 𝑦̂) + 𝑏3 (𝑧 + 𝑧̂ ) + 𝑏4 (𝑤 + 𝑤
̂)
=( 1 )
𝑐1 (𝑥 + 𝑥̂) + 𝑐2 (𝑦 + 𝑦̂) + 𝑐3 (𝑧 + 𝑧̂ ) + 𝑐4 (𝑤 + 𝑤
̂) 𝑑1 (𝑥 + 𝑥̂) + 𝑑2 (𝑦 + 𝑦̂) + 𝑑3 (𝑧 + 𝑧̂ ) + 𝑑4 (𝑤 + 𝑤
̂)
2. 𝜑(𝐴 + 𝐵)

𝑥 𝑦 𝑥̂ 𝑦̂ 𝑥 + 𝑥̂ 𝑦 + 𝑦̂
= 𝜑 (( )+( )) = 𝜑 ( )
𝑧 𝑤 𝑧̂ 𝑤
̂ 𝑧 + 𝑧̂ 𝑤+𝑤 ̂

𝑎 (𝑥 + 𝑥̂) + 𝑎2 (𝑦 + 𝑦̂) + 𝑎3 (𝑧 + 𝑧̂ ) + 𝑎4 (𝑤 + 𝑤̂) 𝑏1 (𝑥 + 𝑥̂) + 𝑏2 (𝑦 + 𝑦̂) + 𝑏3 (𝑧 + 𝑧̂ ) + 𝑏4 (𝑤 + 𝑤

̂)
=( 1 )
𝑐1 (𝑥 + 𝑥̂) + 𝑐2 (𝑦 + 𝑦̂) + 𝑐3 (𝑧 + 𝑧̂ ) + 𝑐4 (𝑤 + 𝑤
̂) 𝑑1 (𝑥 + 𝑥̂) + 𝑑2 (𝑦 + 𝑦̂) + 𝑑3 (𝑧 + 𝑧̂ ) + 𝑑4 (𝑤 + 𝑤
̂)
De (1) y (2) se observa que se cumple con la primera condición de homomorfismos por
tanto siempre existirán endomorfismos de grupo en donde solo deben ser biyectivos para
ser automorfismos. Ahora se va a comparar el producto, se tiene que:
3. 𝜑(𝐴) ∙ 𝜑(𝐵)
Para mayor facilidad en la notación se tomará:

 𝑎 = 𝑎1 𝑥 + 𝑎2 𝑦 + 𝑎3 𝑧 + 𝑎4 𝑤
 𝑏 = 𝑏1 𝑥 + 𝑏2 𝑦 + 𝑏3 𝑧 + 𝑏4 𝑤
 𝑐 = 𝑐1 𝑥 + 𝑐2 𝑦 + 𝑐3 𝑧 + 𝑐4 𝑤
  𝑑 = 𝑑1 𝑥 + 𝑑2 𝑦 + 𝑑3 𝑧 + 𝑑4 𝑤
De forma análoga:

 𝑎̂ = 𝑎1 𝑥̂ + 𝑎2 𝑦̂ + 𝑎3 𝑧̂ + 𝑎4 𝑤 ̂
 ̂
𝑏 = 𝑏1 𝑥̂ + 𝑏2 𝑦̂ + 𝑏3 𝑧̂ + 𝑏4 𝑤 ̂
 𝑐̂ = 𝑐1 𝑥̂ + 𝑐2 𝑦̂ + 𝑐3 𝑧̂ + 𝑐4 𝑤
̂
 𝑑̂ = 𝑑1 𝑥̂ + 𝑑2 𝑦̂ + 𝑑3 𝑧̂ + 𝑑4 𝑤 ̂
De este modo:
𝑥 𝑦 𝑎 𝑏
 𝜑( )=( )
𝑧 𝑤 𝑐 𝑑
 𝜑(
𝑥̂ 𝑦̂
) = (̂
𝑎 𝑏̂ )
𝑧̂ 𝑤
̂ 𝑐̂ 𝑑̂
Se sigue que:

𝜑(𝐴) ∙ 𝜑(𝐵) = 𝜑 (
𝑥 𝑦
)∙𝜑(
𝑥̂ 𝑦̂
)=(
𝑎 𝑏
) ∙ (𝑎̂ 𝑏̂ ) = (𝑎 ∙ 𝑎̂ + 𝑏 ∙ 𝑐̂ 𝑎 ∙ 𝑏̂ + 𝑏 ∙ 𝑑̂)
𝑧 𝑤 𝑧̂ 𝑤
̂ 𝑐 𝑑 𝑐̂ 𝑑̂ 𝑐 ∙ 𝑎̂ + 𝑑 ∙ 𝑐̂ 𝑐 ∙ 𝑏̂ + 𝑑 ∙ 𝑑̂
4. 𝜑(𝐴 ∙ 𝐵)

𝑥 𝑦 𝑥̂ 𝑦̂ 𝑥 ∙ 𝑥̂ + 𝑦 ∙ 𝑧̂ 𝑥 ∙ 𝑦̂ + 𝑦 ∙ 𝑤
̂
= 𝜑 (( )∙( )) = 𝜑 ( )
𝑧 𝑤 𝑧̂ 𝑤
̂ 𝑧 ∙ 𝑥̂ + 𝑤 ∙ 𝑧̂ 𝑧 ∙ 𝑦̂ + 𝑤 ∙ 𝑤
̂

Se escribirá de forma separada cada término de la matriz resultante:

 𝑎̇ = 𝑎1 (𝑥 ∙ 𝑥̂ + 𝑦 ∙ 𝑧̂ ) + 𝑎2 (𝑥 ∙ 𝑦̂ + 𝑦 ∙ 𝑤̂) + 𝑎3 (𝑧 ∙ 𝑥̂ + 𝑤 ∙ 𝑧̂ ) + 𝑎4 (𝑧 ∙ 𝑦̂ + 𝑤 ∙ 𝑤
̂)
 ̇𝑏 = 𝑏1 (𝑥 ∙ 𝑥̂ + 𝑦 ∙ 𝑧̂ ) + 𝑏2 (𝑥 ∙ 𝑦̂ + 𝑦 ∙ 𝑤
̂) + 𝑏3 (𝑧 ∙ 𝑥̂ + 𝑤 ∙ 𝑧̂ ) + 𝑏4 (𝑧 ∙ 𝑦̂ + 𝑤 ∙ 𝑤̂)
 𝑐̇ = 𝑐1 (𝑥 ∙ 𝑥̂ + 𝑦 ∙ 𝑧̂ ) + 𝑐2 (𝑥 ∙ 𝑦̂ + 𝑦 ∙ 𝑤
̂) + 𝑐3 (𝑧 ∙ 𝑥̂ + 𝑤 ∙ 𝑧̂ ) + 𝑐4 (𝑧 ∙ 𝑦̂ + 𝑤 ∙ 𝑤
̂)
 𝑑̇ = 𝑑1 (𝑥 ∙ 𝑥̂ + 𝑦 ∙ 𝑧̂ ) + 𝑑2 (𝑥 ∙ 𝑦̂ + 𝑦 ∙ 𝑤̂) + 𝑑3 (𝑧 ∙ 𝑥̂ + 𝑤 ∙ 𝑧̂ ) + 𝑑4 (𝑧 ∙ 𝑦̂ + 𝑤 ∙ 𝑤̂)
Para que exista igualdad entre (3) y (4) los términos de cada matriz deben ser iguales, de
este modo se sigue que:
5. 𝑎 ∙ 𝑎̂ + 𝑏 ∙ 𝑐̂
= (𝑎1 𝑥 + 𝑎2 𝑦 + 𝑎3 𝑧 + 𝑎4 𝑤)(𝑎1 𝑥̂ + 𝑎2 𝑦̂ + 𝑎3 𝑧̂ + 𝑎4 𝑤
̂)
+ (𝑏1 𝑥 + 𝑏2 𝑦 + 𝑏3 𝑧 + 𝑏4 𝑤)(𝑐1 𝑥̂ + 𝑐2 𝑦̂ + 𝑐3 𝑧̂ + 𝑐4 𝑤
̂)

= 𝑎1 2 𝑥̂ ∙ 𝑥 + 𝑎2 𝑎1 𝑥̂ ∙ 𝑦 + 𝑎3 𝑎1 𝑥̂ ∙ 𝑧 + 𝑎4 𝑎1 𝑥̂ ∙ 𝑤 + ⋯
6. 𝑎̇ = 𝑎1 (𝑥 ∙ 𝑥̂ + 𝑦 ∙ 𝑧̂ ) + 𝑎2 (𝑥 ∙ 𝑦̂ + 𝑦 ∙ 𝑤
̂) + 𝑎3 (𝑧 ∙ 𝑥̂ + 𝑤 ∙ 𝑧̂ ) + 𝑎4 (𝑧 ∙ 𝑦̂ + 𝑤 ∙ 𝑤
̂)
= 𝑎1 𝑥̂ ∙ 𝑥 + 𝑎1 𝑧̂ ∙ 𝑦 + 𝑎2 𝑦̂ ∙ 𝑥 + 𝑎2 𝑤
̂ ∙𝑦+⋯
De (5) y (6) se concluye que 𝜑(𝐴) ∙ 𝜑(𝐵) ≠ 𝜑(𝐴 ∙ 𝐵) por tanto no existen endomorfismos
de anillo con 𝑎𝑖 , 𝑏𝑖 , 𝑐𝑖 y 𝑑𝑖 elementos de los enteros, con 𝑖 = 1, … ,4
Observación: Para que existan endomorfismos los 𝑎𝑖 , 𝑏𝑖 , 𝑐𝑖 y 𝑑𝑖 deben ser involuciones, es
decir deben cumplir que:
𝑎 = 𝑎2
Dentro de esta categoría en los enteros se encuentran {0,1}. A continuación, se notarán los
casos donde existen endomorfismos de anillos:
1) Caso: Todos los coeficientes son cero.

𝜑: (ℳ(2, ℤ), +,∙) ⟼ (ℳ(2, ℤ), +,∙)

𝑥 𝑦 𝑥 𝑦 0 0
( ) ⟼ 𝜑( )=( )
𝑧 𝑤 𝑧 𝑤 0 0
Se verifica que:
𝑥 𝑦 𝑥̂ 𝑦̂ 𝑥 𝑦 𝑥̂ 𝑦̂ 0 0
 𝜑 (( )+( )) = 𝜑 ( )+𝜑( )=( )
𝑧 𝑤 𝑧̂ 𝑤
̂ 𝑧 𝑤 𝑧̂ 𝑤̂ 0 0
𝑥 𝑦 𝑥̂ 𝑦̂ 𝑥 𝑦 𝑥̂ 𝑦̂ 0 0
 𝜑 (( )∙( )) = 𝜑 ( )∙𝜑( )=( )
𝑧 𝑤 𝑧̂ 𝑤
̂ 𝑧 𝑤 𝑧̂ 𝑤 ̂ 0 0

2) Caso: Donde 𝑎1 = 𝑏2 = 𝑐3 = 𝑑4 = 1 y los demás coeficientes son cero.

𝜑: (ℳ(2, ℤ), +,∙) ⟼ (ℳ(2, ℤ), +,∙)

𝑥 𝑦 𝑥 𝑦 𝑥 𝑦
( ) ⟼ 𝜑( )=( )
𝑧 𝑤 𝑧 𝑤 𝑧 𝑤
Se verifica que:
𝑥 𝑦 𝑥̂ 𝑦̂ 𝑥 𝑦 𝑥̂ 𝑦̂ 𝑥 + 𝑥̂ 𝑦 + 𝑦̂
 𝜑 (( )+( )) = 𝜑 ( )+𝜑( )=( )
𝑧 𝑤 𝑧̂ 𝑤
̂ 𝑧 𝑤 𝑧̂ 𝑤̂ 𝑧 + 𝑧̂ 𝑤 + 𝑤 ̂
𝑥 𝑦 𝑥̂ 𝑦̂ 𝑥 𝑦 𝑥̂ 𝑦̂ 𝑥 ∙ 𝑥̂ + 𝑦 ∙ 𝑧̂ 𝑥 ∙ 𝑦̂ + 𝑦 ∙ 𝑤
̂
 𝜑 (( )∙( )) = 𝜑 ( )∙𝜑( )=( )
𝑧 𝑤 𝑧̂ 𝑤
̂ 𝑧 𝑤 𝑧̂ 𝑤 ̂ 𝑧 ∙ 𝑥̂ + 𝑤 ∙ 𝑧̂ 𝑧 ∙ 𝑦
̂ + 𝑤 ∙ 𝑤
̂

3) Caso: Consideramos aquel endomorfismo que mantiene el determinante, es donde

𝑎1 = 𝑑4 = 1 y 𝑐3 = 𝑑4 = −1 con los demás coeficientes son cero.

𝜑: (ℳ(2, ℤ), +,∙) ⟼ (ℳ(2, ℤ), +,∙)

𝑥 𝑦 𝑥 𝑦 𝑥 −𝑦
( ) ⟼ 𝜑( )=( )
𝑧 𝑤 𝑧 𝑤 −𝑧 𝑤
Se verifica que:
𝑥 𝑦 𝑥̂ 𝑦̂ 𝑥 𝑦 𝑥̂ 𝑦̂ 𝑥 + 𝑥̂ −(𝑦 + 𝑦̂)
 𝜑 (( )+( )) = 𝜑 ( )+𝜑( )=( )
𝑧 𝑤 𝑧̂ 𝑤
̂ 𝑧 𝑤 𝑧̂ 𝑤̂ −(𝑧 + 𝑧̂ ) 𝑤+𝑤 ̂
𝑥 𝑦 𝑥̂ 𝑦̂ 𝑥 𝑦 𝑥̂ 𝑦̂
 𝜑 (( )∙( )) = 𝜑 ( )∙𝜑( )=
𝑧 𝑤 𝑧̂ 𝑤̂ 𝑧 𝑤 𝑧̂ 𝑤 ̂
𝑥 ∙ 𝑥̂ + 𝑦 ∙ 𝑧̂ −(𝑥 ∙ 𝑦̂ + 𝑦 ∙ 𝑤 ̂)
( )
−(𝑧 ∙ 𝑥̂ + 𝑤 ∙ 𝑧̂ ) 𝑧 ∙ 𝑦̂ + 𝑤 ∙ 𝑤
̂
Observación: Sin embargo si consideramos otro endomorfismo que mantiene el
determinante, es donde 𝑎1 = 𝑐2 = 𝑏3 = 𝑑4 = 1 con los demás coeficientes son cero:
𝜑: (ℳ(2, ℤ), +,∙) ⟼ (ℳ(2, ℤ), +,∙)
𝑥 𝑦 𝑥 𝑦 𝑥 𝑧
( ) ⟼ 𝜑( ) = (𝑦 𝑤)
𝑧 𝑤 𝑧 𝑤
Se verifica que:
𝑥 𝑦 𝑥̂ 𝑦̂ 𝑥 𝑦 𝑥̂ 𝑦̂ 𝑥 + 𝑥̂ 𝑧 + 𝑧̂
 𝜑 (( )+( )) = 𝜑 ( )+𝜑( )=( )
𝑧 𝑤 𝑧̂ 𝑤
̂ 𝑧 𝑤 𝑧̂ 𝑤 ̂ 𝑦 + 𝑦̂ 𝑤 + 𝑤
̂
𝑥 𝑦 𝑥̂ 𝑦̂ 𝑥 𝑦 𝑥̂ 𝑦̂
 𝜑 (( )∙( )) ≠ 𝜑 ( )∙𝜑( )
𝑧 𝑤 𝑧̂ 𝑤̂ 𝑧 𝑤 𝑧̂ 𝑤 ̂
Se observa que no cumple con la condición de homomorfismo, por tanto, no es
endomorfismo de anillos.