Estructura Algebraica
Estructura Algebraica
Estructura Algebraica
En forma general, una operación binaria definida en un conjunto S no vacío es una función 𝑆 × 𝑆
que relaciona un par de elementos (𝑎, 𝑏) ∀ 𝑎, 𝑏 ∈ 𝑆 con una imagen 𝑐 ∈ 𝑆.
Ejemplo 7.1. Si se considera al conjunto de los números racionales y la suma, se tendrá que dicha
operación asocia a un par de números racionales otro único número racional; es decir, para el par
𝑎
de números racionales � , 𝑐 �, existe un único número denotado como 𝑎 + 𝑐 que se conoce como
𝑏 𝑑 𝑏
𝑑
𝑎 𝑐
la suma de y . El criterio para obtener la suma de dos números racionales es
𝑏 𝑑
𝑎 𝑐 𝑎𝑑+𝑏𝑐
+ =
𝑏 𝑑 𝑏𝑑
Además de las operaciones tradicionales, es posible expresar otras operaciones binarias.
Ejemplo 7.2. La tabla 7.1 especifica la operación binaria AND, que establece una operación lógica
utilizada en la electrónica y la computación
· 0 1
0 0 0
1 0 1
Tabla 7.1. Operación AND.
En este caso, el criterio que se establece para realizar la operación es la misma tabla, y el conjunto
sobre el cual se aplica es {0, 1}; en este caso se tendría:
0·1=0 1·0= 0
1·1=1 0·0= 0
Las operaciones binarias también pueden definirse por medio de reglas de correspondencia, y
haciendo uso de las operaciones binarias tradicionales.
𝑥 ‡ 𝑦 = 𝑥𝑦 ∀ 𝑥, 𝑦 ∈ ℤ
−1 ‡ 6 = (−1)6
Cuyo resultado es 1.
Los niveles y diferentes tipos de estructuras algebraicas están sujetos a la naturaleza de las
propiedades que se cumplen para una operación en un conjunto dado. Así, las estructuras de
grupo, anillo y campo se diferencian por el número de operaciones y las propiedades que éstas
cumplen en un conjunto numérico dado.
Ejemplo 7.4. Si se aplica la suma a los números naturales, el resultado será otro número natural:
𝑚+𝑛 =𝑝 ∀𝑚,𝑛,𝑝∈ℕ
Esto quiere decir que una operación binaria es cerrada; o sea, una operación definida en un
conjunto S da como resultado un elemento de ese conjunto S.
Cerradura
Si el resultado de aplicar una operación binaria (∗) está definido en un conjunto S, entonces se
dice que S es cerrado con respecto a dicha operación binaria; es decir,
𝑎∗𝑏 ∈ 𝑆, ∀ 𝑎,𝑏 ∈ 𝑆
−2 ‡ 3 = (−2)−3
3 ‡ −2 = (−3)−2
1
Que es el número fraccionario ∉ ℤ, ya que es un número racional; por lo tanto, la operación (‡)
9
no es cerrada para el conjunto de los números enteros.
ß ä ö ü
ä ä ö ü
ö ö ö ä
ü ä ö ü
Tabla 7.2. Operación Eszett definida para X.
Al aplicar la operación a una pareja de elementos, se puede observar que la operación es cerrada,
ya que siempre se obtendrá como resultado un elemento del conjunto X.
Asociatividad
Al momento de definir una operación binaria se precisó que sólo podía realizarse con dos
elementos de un solo conjunto; es decir, al tratar de operar tres elementos, primero se debe
realizar la operación con dos de ellos, y después trabajar con el resultado y el tercer elemento.
Este proceso de asociar elementos para operarlos se define como propiedad asociativa.
Para una operación binaria (∗) definida en el conjunto S, la asociación de elementos especifica
que:
(𝑎 ∗ 𝑏) ∗ 𝑐 = 𝑎 ∗ (𝑏 ∗ 𝑐)
(𝑎 + 𝑏) + 𝑐 = 𝑎 + (𝑏 + 𝑐) ∀ 𝑎, 𝑏, 𝑐 ∈ ℤ
Ejemplo 7.8. Para el conjunto X y la operación de la tabla 7.2, la asociación no puede cumplirse ya
que
𝑜̈ ß (𝑜̈ ß 𝑢̈ ) = 𝑜̈ ß 𝑎 ⇒ 𝑜̈
(𝑜̈ ß 𝑜̈ ) ß 𝑢̈ = 𝑜̈ ß 𝑢̈ ⇒ 𝑎
Ejemplo 7.9. Para las matrices de orden 𝑚 × 𝑛 y la operación de suma, es posible asociar
los elementos que se operarán:
(𝐴𝑚×𝑛+𝐵𝑚×𝑛)+𝐶𝑚×𝑛=𝐴𝑚×𝑛+(𝐵𝑚×𝑛+𝐶𝑚×𝑛)
Si se define la operación binaria (∗) dentro del conjunto S, y existe un elemento 𝑒 ∈ 𝑆 tal que
Esto quiere decir que un conjunto dado tendrá, al menos, un elemento neutro si éste es neutro
por la izquierda y por la derecha.
𝐼𝑚𝐴𝑚×𝑛=𝐴𝑚×𝑛
𝐼𝑛𝐴𝑛×𝑚=𝐴𝑛×𝑚
Estas son las propiedades que cumple la matriz identidad y que se estudiaron en el tema de
matrices y determinantes.
Ejemplo 7.11. El elemento neutro para la operación de suma en los números complejos sería el
número 0 + 0𝑖, ya que
(𝑥+𝑦𝑖)+(0+0𝑖)=𝑥+𝑦𝑖 ∀𝑥+𝑦𝑖∈ℂ
Ejemplo 7.12. En el conjunto X del ejemplo 7.6 y la operación de la tabla 7.2, se puede verificar que
existen dos elementos neutros por la izquierda: ä y ü.
Al definir la operación binaria (∗) dentro del conjunto S, y tomando en cuenta la existencia del
elemento neutro 𝑒 ∈ 𝑆, se dice que
Por lo tanto, si el inverso por la izquierda y por la derecha es el mismo, entonces es un elemento
inverso único para a. Además, un conjunto tendrá para cada elemento su correspondiente inverso
en una operación binaria.
Ejemplo 7.13. En la multiplicación de matrices de orden n, y que son no-singulares, se tiene que
𝐼𝑛𝐴𝑛=𝐴𝑛𝐼𝑛⇒𝐴𝑛
Ejemplo 7.14. Cada elemento del conjunto de los números reales tiene un solo inverso definido
para la operación de multiplicación:
𝑥 · 𝑥−1 ∀ 𝑥 ≠ 0 ∈ ℝ
Conmutatividad
Cuando una operación binaria permite que el orden de los elementos no influya en el resultado
que se obtendrá, se dice que la operación permite la conmutación.
Para una operación binaria (∗) definida en el conjunto S, la conmutación especifica que:
𝑎∗𝑏 = 𝑏∗𝑎 ∀ 𝑎, 𝑏 ∈ 𝑆
En cambio, el producto
𝑏 𝑏 𝑎11 𝑎12 𝑏11𝑎11+𝑏12𝑎21 𝑏11𝑎12+𝑏12𝑎22
�11 12 �
𝑏21 11 22 21 21 12 22 22
𝑎 ß 𝑢̈ = 𝑢̈
𝑢̈ß𝑎=𝑎
Ejemplo 7.17. Para las matrices diagonales de orden 3 y la multiplicación se tiene que:
𝑎11𝑐11
� 𝑎22 𝑐22 �
𝑎33𝑐33
Estas cinco propiedades permiten establecer una jerarquía de estructuras, que se vuelven más
completas según la naturaleza de sus elementos, el número de operaciones binarias que se define
en ellos, y las propiedades que cumplen estas operaciones.
Definición de grupo
La estructura algebraica más simple que se estudiará será el grupo. Este define a un conjunto que
posee una operación binaria y se cumplen tres propiedades: asociación, elemento neutro y
elemento inverso.
Sea G un conjunto no vacío con una operación binaria (∗) definida. G es un grupo si cumple que:
1. (𝑎 ∗ 𝑏) ∗ 𝑐 = 𝑎 ∗ (𝑏 ∗ 𝑐)
2. ∃ 𝑒 ∈ 𝐺, 𝑎 ∗ 𝑒 = 𝑒 ∗ 𝑎 ⇒ 𝑎
3. ∃ 𝑎�∈ 𝐺, 𝑎 ∗ 𝑎�= 𝑎�∗ 𝑎 ⇒ 𝑒
Para cualquier 𝑎, 𝑏, 𝑐 ∈ 𝐺.
Ejemplo 7.18. De los conjuntos numéricos conocidos, el primero que posee una estructura de
grupo es el conjunto de los números enteros estableciendo a la suma como su operación binaria:
1. (𝑎 + 𝑏) + 𝑐 = 𝑎 + (𝑏 + 𝑐)
2. ∃ 0 ∈ ℤ, 𝑎 + 0 = 0 + 𝑎 ⇒ 𝑎
3. ∃ − 𝑎 ∈ ℤ, 𝑎 + (−𝑎) = (−𝑎) + 𝑎 ⇒ 0
Los números naturales no poseen este tipo de estructura, ya que no está definido un elemento
neutro para la suma ni mucho menos los elementos inversos.
Ejemplo 7.19. Para el conjunto de los números complejos y la operación definida como
𝑧1 ю 𝑧2 = 𝑧�1�
𝑧�
�
2
𝑧�
�1�
𝑧�
�∈ ℂ
2
Entonces,
=�
𝑧� ��
1 (𝑧
��
2�
𝑧�
�
3
�)
= 𝑧�
1 𝑧2 𝑧3 … (2)
Se constata que (1) y (2) no son iguales; por lo tanto, ℂ bajo la operación ю no es un grupo.
𝑥~𝑦=2𝑥𝑦 ∀𝑥,𝑦≠0∈ℝ
Se verifica que el resultado de la operación será un número real. Además, se observa que
(𝑥~𝑦)~𝑧 = 𝑥~(𝑦~𝑧)
2𝑥𝑦~𝑧 = 𝑥~2𝑦𝑧
2(2𝑥𝑦)𝑧=2𝑥(2𝑦𝑧)
4𝑥𝑦𝑧=4𝑥𝑦𝑧
𝑒~𝑥 = 𝑥
2𝑒𝑥 =
2𝑒 = 1
1
𝑒=
2
Como el elemento neutro e está definido, implica que se cumple esta propiedad.
Finalmente,
𝑥�~𝑥 = 𝑒
1
2𝑥�𝑥 =
2
1
𝑥�=
2𝑥
Y existe un elemento inverso para cada x que pertenezca al conjunto dado. Por lo tanto, los
números reales diferentes de cero forman un grupo con respecto a la operación definida.
Subgrupo
De un grupo G se pueden tomar subconjuntos, que posiblemente puedan formar un grupo
tomando la operación definida para G.
Para poder identificar si 𝐻 ⊂ 𝐺 es un subgrupo para la operación (∗), basta con verificar si
se cumple que
𝑎 ∗ 𝑏 ∈ 𝐻, ∀ 𝑎, 𝑏 ∈ 𝐻
𝑎�∈ 𝐻, ∀ 𝑎 ∈ 𝐻
Ejemplo 7.21. Se sabe que (ℤ, +) es un grupo; sin embargo, los subconjuntos de los números
naturales y los números negativos no pueden ser subgrupos.
𝑚 + 𝑛 ∈ ℕ, ∀ 𝑚, 𝑛 ∈ ℕ
Análogamente,
𝑎 + 𝑏 ∈ ℤ−, ∀ 𝑎, 𝑏 ∈ ℤ−
Sin embargo, al tratar de determinar el elemento inverso para suma, se sabe que los inversos
aditivos para los números naturales se encuentran en el conjunto de los números negativos, y
viceversa. Esto quiere decir, que aunque ℤ es un grupo, sus subconjuntos no necesariamente lo
son.
Grupo abeliano
El grupo abeliano añade la propiedad conmutativa a la definición de grupo.
Se dice que (𝐺,∗) es un grupo abeliano (o conmutativo) si la operación (∗) cumple con
𝑎∗𝑏 = 𝑏∗𝑎 ∀ 𝑎, 𝑏 ∈ 𝐺
+ a b
a a b
b b a
Tabla 7.3. Operación binaria en A.
Asociación:
𝑎 + (𝑎 + 𝑏) = (𝑎 + 𝑎)+𝑏 𝑏 + (𝑎 + 𝑎) = (𝑏 + 𝑎) + 𝑎
𝑎+𝑏=𝑏+𝑎 𝑏+𝑎=𝑏+𝑎
𝑏=𝑏 𝑏=𝑏
𝑎 + (𝑏 + 𝑎) = (𝑎 + 𝑏)+𝑎 𝑏 + (𝑎 + 𝑏) = (𝑏 + 𝑎) + 𝑏
𝑎+𝑏=𝑏+𝑎 𝑏+𝑏=𝑏+𝑏
𝑏=𝑏 𝑎=𝑎
𝑎 + (𝑏 + 𝑏) = (𝑎 + 𝑏)+𝑏 𝑏 + (𝑏 + 𝑎) = (𝑏 + 𝑏) + 𝑎
𝑎+𝑎=𝑏+𝑏 𝑏+𝑏=𝑎+𝑎
𝑎=𝑎 𝑎=𝑎
Además, para los casos en los cuales todos los operandos son iguales, se cumple la propiedad. Por
lo tanto existe la asociación para (𝐴, +).
Elemento neutro:
𝑒+𝑎=𝑎 ⇒ 𝑒=𝑎
𝑒+𝑏=𝑏 ⇒ 𝑒=𝑎
Por lo tanto, existe un único elemento neutro (a); y así, se cumple la propiedad.
Elementos inversos:
𝑎�+ 𝑎 = 𝑎 ⇒ 𝑎�= 𝑎
𝑏�+ 𝑏 = 𝑎 ⇒ 𝑏� = 𝑎
Para este ejemplo, los elementos inversos existen; por lo tanto, la propiedad se cumple.
𝑎+𝑏=𝑏+𝑎
𝑏=𝑏
Y la conmutación también es válida para la operación. Por lo tanto, se concluye que el sistema
(𝐴, +) tiene estructura de grupo abeliano.
Definición de anillo
Conocido el grupo, se puede ampliar esta estructura a una más completa; que pueda abarcar no
sólo nuevas propiedades para una operación binaria, sino que permite definir una nueva
operación dentro del conjunto al cual se asocia la primera operación binaria. Este tipo de criterio
se presenta en los anillos.
Sea A un conjunto no vacío, donde se definen las operaciones (∗) y (⋄). El sistema (𝐴,∗,⋄) es un
anillo, si se cumplen ∀ 𝑎, 𝑏, 𝑐 ∈ 𝐴:
1. La asociación, (𝑎 ∗ 𝑏) ∗ 𝑐 = 𝑎 ∗ (𝑏 ∗ 𝑐)
2. La conmutación, 𝑎 ∗ 𝑏 = 𝑏 ∗ 𝑎
3. La existencia del elemento neutro, 𝑒 ∗ 𝑎 = 𝑎
4. La existencia de elementos inversos
5. La asociación, (𝑎 ⋄ 𝑏) ⋄ 𝑐 = 𝑎 ⋄ (𝑏 ⋄ 𝑐)
6. La distribución por la izquierda sobre la primera operación, 𝑎 ⋄ (𝑏 ∗ 𝑐) = (𝑎 ⋄ 𝑏) ∗ (𝑎 ⋄ 𝑐)
La distribución por la derecha sobre la primera operación, (𝑏 ∗ 𝑐) ⋄ 𝑎 = (𝑏 ⋄ 𝑎) ∗ (𝑐 ⋄ 𝑎)
La primera operación define al grupo abeliano (𝐴,∗). Por lo que un anillo es un grupo abeliano
para la primera operación definida; dicha estructura de grupo se conoce como la estructura
aditiva del anillo.
Un caso peculiar es el elemento neutro de la primera operación, e, que es conocido como el cero
del anillo; se debe hacer hincapié que el término cero no se refiere al número 0, ya que A puede
ser un conjunto no-numérico.
Ejemplo 7.25. El sistema (ℝ, +,·) es un anillo, ya que los números reales cumplen las propiedades
de asociación, existencia de elemento neutro, existencia de elementos inversos y conmutación
para la suma:
(𝑥 + 𝑦) + 𝑧 = 𝑥 + (𝑦 + 𝑧)
𝑥+𝑦=𝑦+ 𝑥
0+𝑥= 𝑥
𝑥 + (−𝑥) = 0
(𝑥 · 𝑦) · 𝑧 = 𝑥 · (𝑦 · 𝑧)
𝑥· (𝑦+𝑧) = (𝑥 · 𝑦) +(𝑥 ·𝑧)
(𝑦+𝑧)·𝑥 = (𝑦·𝑥)+(𝑧 · 𝑥)
Ejemplo 7.26. Dado el grupo abeliano del ejemplo 7.24, la primera operación de la tabla 7.3, y
definiendo ahora (𝐴, +,×), donde la segunda operación se muestra en la tabla 7.4, se
puede determinar si este nuevo sistema es anillo o no.
× a b
a a a
b a a
Tabla 7.4. Segunda operación binaria en A.
Debido a que un anillo contiene a un grupo abeliano para su primera operación, entonces sólo
bastará con probar las propiedades de asociación y distribución para la segunda operación.
Asociación:
𝑎 × (𝑎 × 𝑏) = (𝑎 × 𝑎)×𝑏 𝑏 × (𝑎 × 𝑎) = (𝑏 × 𝑎) × 𝑎
𝑎×𝑎=𝑎×𝑏 𝑏×𝑎=𝑏×𝑎
𝑎=𝑎 𝑎=𝑎
𝑎 × (𝑏 × 𝑎) = (𝑎 × 𝑏)×𝑎 𝑏 × (𝑎 × 𝑏) = (𝑏 × 𝑎) × 𝑏
𝑎×𝑎=𝑎×𝑎 𝑏×𝑎=𝑎×𝑏
𝑎=𝑎 𝑎=𝑎
𝑎 × (𝑏 × 𝑏) = (𝑎 × 𝑏)×𝑏 𝑏 × (𝑏 × 𝑎) = (𝑏 × 𝑏) × 𝑎
𝑎×𝑏=𝑎×𝑏 𝑏×𝑎=𝑏×𝑎
𝑎=𝑎 𝑎=𝑎
𝑎 × (𝑎 + 𝑏) = (𝑎 × 𝑎) + (𝑎×𝑏) 𝑎 × (𝑏 + 𝑏) = (𝑎 × 𝑏) + (𝑎 × 𝑏)
𝑎×𝑏=𝑎+𝑎 𝑎×𝑎=𝑎+𝑎
𝑎=𝑎 𝑎=𝑎
𝑎 × (𝑏 + 𝑎) = (𝑎 × 𝑏) + (𝑎×𝑎) 𝑏 × (𝑎 + 𝑎) = (𝑏 × 𝑎) + (𝑏 × 𝑎)
𝑎×𝑏=𝑎+𝑎 𝑏×𝑎=𝑎+𝑎
𝑎=𝑎 𝑎=𝑎
𝑏 × (𝑎 + 𝑏) = (𝑏 × 𝑎) + (𝑏×𝑏) 𝑏 × (𝑏 + 𝑎) = (𝑏 × 𝑏) + (𝑏 × 𝑎)
𝑏×𝑏=𝑎+𝑏 𝑏×𝑏=𝑏+𝑎
𝑏=𝑏 𝑏=𝑏
Anillo conmutativo
Un anillo conmutativo se define a partir de un anillo. Sea el sistema (𝐴,∗,⋄) un anillo. Si para la
segunda operación definida se cumple
𝑎⋄𝑏=𝑏 ⋄𝑎 ∀𝑎,𝑏 ∈ 𝐴
Ejemplo 7.27. Tomando el ejemplo anterior, donde la estructura (𝐴, +,×) es un anillo, ahora se
verificará el cumplimiento de la conmutatividad para la segunda operación:
𝑎×𝑏=𝑏×𝑎
𝑎=𝑎
𝑓⋄𝑎 =𝑎 ∀𝑎∈ 𝐴
Entonces, el anillo tiene unidad (f). Al igual que el cero del anillo, al decir la unidad del anillo no se
habla precisamente del número 1, sino del elemento neutro para la segunda operación de A.
Ejemplo 7.28. Siguiendo con el anillo (𝐴, +,×) se deberá encontrar el elemento neutro de la
segunda operación:
𝑓×𝑎=𝑎⇒𝑒= 𝑏
𝑓×𝑏=𝑏⇒𝑒= 𝑏
Entonces, el elemento neutro 𝑓 = 𝑏 existe y es único. En consecuencia, el anillo (𝐴, +,×) tiene
unidad.
En este caso, el anillo (𝐴, +,×) cumple las dos propiedades (conmutación y elemento neutro) en la
segunda operación; entonces, este tipo de estructura, que conjunta al anillo conmutativo y al
anillo con unidad, se conoce como anillo conmutativo con unidad.
Dominio entero
Si en un anillo existen elementos que presentan la característica
𝑎 ≠ 𝑒, 𝑏 ≠ 𝑒 → 𝑎 ⋄ 𝑏 = 𝑒
Donde e es el cero del anillo y además 𝑒 ≠ 𝑓, siendo f la unidad del anillo. Se dice entonces, que el
anillo posee divisores propios de cero. Por el contrario, la estructura que no posee este tipo de
elementos se conoce como dominio entero.
𝑎⋄𝑏 =𝑒 ⇒ 𝑒 = 𝑒, 𝑏 = 𝑒
Donde e es el cero del anillo, se dice entonces que (𝐴,∗,⋄) es un dominio entero.
Ejemplo 7.29. El anillo (ℝ, +,·), cuyo cero es 0 y su unidad es 1, es un dominio entero, ya que se
cumple 0 ≠ 1; además, si se tiene 𝑎 · 𝑏 = 0 significa que 𝑎 = 0, 𝑏 = 0 ó 𝑎 = 𝑏 ⇒ 0:
𝑎·𝑏=0
𝑎·𝑏+𝑐=𝑎
𝑎(𝑏 + 1) = 𝑎
𝑏+1=1
𝑏=1−1
𝑏=0
De manera similar se puede demostrar que para este producto a es 0. Por lo tanto, el anillo
(ℝ, +,·) no tiene divisores propios de cero, y es un dominio entero.
0 0�
𝑂=�
0 0
Y su unidad es
𝐼 = �1 0�
0 1
Se verifica inmediatamente que la matriz nula e identidad son diferentes entre sí. Sin embargo,
este anillo si posee divisores propios de cero; es decir,
∃ 𝐴, 𝐵 ≠ 𝑂 ∈ 𝑀, 𝐴 · 𝐵 = 𝑂
Definición de campo
Si a la segunda operación se le agrega la posibilidad de la existencia de elementos inversos, se
obtendrá la estructura algebraica más completa: el campo o cuerpo. Dicha estructura contiene las
propiedades ya estudiadas en el Álgebra Superior al momento de formalizar el conjunto de los
números reales y de los números complejos: cerradura, asociación, conmutación, elemento neutro
y elementos inversos para las operaciones de suma y multiplicación; y la distribución de la
multiplicación sobre la suma. ℚ, ℝ y ℂ son los únicos campos numéricos; esto no quiere decir que
sean los únicos, ya que pueden establecerse operaciones con conjuntos no-numéricos.
Sea K un conjunto no vacío, y sean (∗) y (⋄) dos operaciones binarias definidas sobre K. El sistema
(𝐾,∗,⋄) es un campo, si
1. La asociación, 𝑎 ∗ (𝑏 ∗ 𝑐) = (𝑎 ∗ 𝑏) ∗ 𝑐
2. La conmutación, 𝑎 ∗ 𝑏 = 𝑏 ∗ 𝑎
3. La existencia del elemento neutro, 𝑒 ∗ 𝑎 = 𝑎
4. La existencia de elementos inversos, 𝑎�∗ 𝑎 = 𝑒
5. La asociación, 𝑎 ⋄ (𝑏 ⋄ 𝑐) = (𝑎 ⋄ 𝑏) ⋄ 𝑐
6. La conmutación, 𝑎 ⋄ 𝑏 = 𝑏 ⋄ 𝑎
7. La existencia del elemento neutro, 𝑓 ⋄ 𝑎 = 𝑎
8. La existencia de elementos inversos, 𝑎�⋄ 𝑎 = 𝑓, ∀ 𝑎 ≠ 𝑒
9. La distribución por la izquierda sobre la primera operación, 𝑎 ⋄ (𝑏 ∗ 𝑐) = (𝑎 ⋄ 𝑏) ∗ (𝑎 ⋄ 𝑐)
La distribución por la derecha sobre la primera operación, (𝑏 ∗ 𝑐) ⋄ 𝑎 = (𝑏 ⋄ 𝑎) ∗ (𝑐 ⋄ 𝑎)
Ejemplo 7.31. Los sistemas (ℝ, +,·) y (ℂ, +,·) son campos, ya que en ambos conjuntos, con las
operaciones de suma y multiplicación se cumplen las 9 propiedades de un campo. Además, se
tiene que el cero del campo no tiene inverso en la multiplicación y es diferente de la unidad del
campo; en ambos sistemas éstos últimos elementos pertenecen tanto a los números reales como
a los números complejos.
𝑉 = {(𝑥, 𝑦, 𝑧)|𝑥, 𝑦, 𝑧 ∈ ℝ}
(𝑥1,𝑦1,𝑧1)+(𝑥2,𝑦2,𝑧2)=(𝑥1+𝑥2,𝑦1+𝑦2,𝑧1+𝑧2)(𝑥1,𝑦1,𝑧1)⨁(𝑥2,𝑦2,𝑧2)=(𝑥1𝑥2,𝑦1𝑦2,𝑧1𝑧2)
Se debe verificar si la estructura (𝑉, +,⊕) es un campo. En este caso, la primera operación define
una suma tradicional de vectores; por lo tanto, las propiedades de la primera operación del campo
son:
En la segunda operación es necesario demostrar que las 5 características restantes del campo se
satisfacen correctamente.
Asociación:
(𝑥1,𝑦1,𝑧1)⊕[(𝑥2,𝑦2,𝑧2)⊕(𝑥3,𝑦3,𝑧3)]=[(𝑥1,𝑦1,𝑧1)⊕(𝑥2,𝑦2,𝑧2)]⊕(𝑥3,𝑦3,𝑧3)(𝑥1,𝑦1,𝑧1)⊕(𝑥2𝑥3,𝑦2𝑦3,𝑧2𝑧3)=(𝑥1𝑥2,𝑦1𝑦2,𝑧1𝑧2)⊕(𝑥3,𝑦3,𝑧3)
(𝑥1𝑥2𝑥3,𝑦1𝑦2𝑦3,𝑧1𝑧2𝑧3)=(𝑥1𝑥2𝑥3,𝑦1𝑦2𝑦3,𝑧1𝑧2𝑧3)
Conmutación:
(𝑥2,𝑦2,𝑧2)⊕(𝑥3,𝑦3,𝑧3)=(𝑥3,𝑦3,𝑧3)⊕(𝑥2,𝑦2,𝑧2)(𝑥2𝑥3,𝑦2𝑦3,𝑧2𝑧3)=(𝑥3𝑥2,𝑦3𝑦2, 𝑧3𝑧2)
Elemento neutro:
(𝑥,𝑦,𝑧)⊕(𝑒1,𝑒2,𝑒3)=(𝑥,𝑦,𝑧)(𝑥𝑒1,𝑦𝑒2,𝑧𝑒3)=
𝑥𝑒1=𝑥
𝑦𝑒2=𝑦
𝑧𝑒3=𝑧
Por la multiplicación en los reales se obtiene que el elemento neutro del campo para la segunda
operación es 𝑒̅ = (1, 1, 1); y se satisface la propiedad.
Elementos inversos:
(𝑥,𝑦,𝑧)⊕(𝑎1,𝑎2,𝑎3)=(𝑥,𝑦,𝑧)(𝑥𝑎1,𝑦𝑎2,𝑧𝑎3)=
𝑥𝑎1=1
𝑦𝑎2=1
𝑧𝑎3=1
Nuevamente, con la multiplicación en los reales se obtiene que el elemento inverso general del
1 1 1
campo en la segunda operación es 𝑎�= � , , �
; y esta propiedad se satisface, ya que el
único
𝑥 𝑦 𝑧
elemento que no tiene inverso es 0�= (0, 0, 0).
Distribución:
Por lo que la distribución por la derecha está satisfecha. La distribución por la izquierda sigue el
mismo procedimiento; al basarse en la multiplicación y suma de los números reales; entonces, se
concluye que la distribución en ambos sentidos se cumple satisfactoriamente. El sistema (𝑉, +,⊕)
tiene estructura de campo.
Como punto final, se debe notar que un campo es un dominio entero, ya que la existencia de
elementos inversos en la segunda operación establece que todos los elementos del campo poseen
inverso, excepto el cero del campo; por lo que se concluye que los respectivos elementos neutros
de cada operación son diferentes y no existen divisores propios de cero.
Isomorfismos y homomorfismos
Dentro de la Álgebra Moderna pueden establecerse relaciones entre las estructuras algebraicas y
sus operaciones. Dichas relaciones permiten intercambiar los símbolos u operaciones de una
estructura sin alterar sus propiedades algebraicas o sus resultados.
Homomorfismos
Sean (𝐺, +) y (𝐺′,∗) dos grupos. Un homomorfismo de A en B es una función 𝑓: 𝐴 → 𝐵 tal que
𝑓(𝑎+𝑏)=𝑓(𝑎)∗𝑓(𝑏) ∀𝑎,𝑏∈𝐺
El término viene de los vocablos griegos ομός (homos, mismo) y μορφή (morphe, forma).
𝑓(𝐴) = det 𝐴
que
𝑓(𝐴·𝐵)=𝑓(𝐴)·𝑓(𝐵)
|𝐴 · 𝐵| = |𝐴| · |𝐵|
Por propiedades de los determinantes se sabe que la igualdad es verdadera; por lo tanto,
𝑓: 𝐴 → ℝ − {0} es un homomorfismo.
𝑎
𝐷3 = �
� 𝑏 ��
𝑎, 𝑏, 𝑐 ∈ ℝ�
𝑐
𝑎
𝑓� 𝑏 �= (𝑎 + 𝑏) + 𝑐𝑖
𝑐
Es un homomorfismo.
En este caso se tienen dos operaciones binarias; por lo tanto, la propiedad del homomorfismo se
deberá probar dos veces:
𝑓(𝐴+𝐵)=𝑓(𝐴)+𝑓(𝐵)
𝑓(𝐴·𝐵)=𝑓(𝐴)·𝑓(𝐵)
𝑎1 𝑎2 𝑎1 𝑎2
𝑓�
� 𝑏1 �+ � 𝑏2 �
�= 𝑓 � 𝑏1 �+ 𝑓 � 𝑏2
𝑐1 𝑐2 𝑐1 � 𝑐2
𝑎1+𝑎2
𝑓� 𝑏1 + 𝑏2 �=(𝑎1+𝑏1)+𝑐1𝑖+(𝑎2+𝑏2)+𝑐2𝑖
𝑐1 + 𝑐2
(𝑎1+𝑎2+𝑏1+𝑏2)+(𝑐1+𝑐2)𝑖=(𝑎1+𝑏1+𝑎2+𝑏2)+(𝑐1+𝑐2)𝑖
𝑎1 𝑎2 𝑎1 𝑎2
𝑓�
� 𝑏1 �· � 𝑏2 �
�= 𝑓 � 𝑏1 �· 𝑓 � 𝑏2 �
𝑐1 𝑐2 𝑐1 𝑐2
𝑎1𝑎2
𝑓� 𝑏1𝑏2 �=[(𝑎1+𝑏1)+𝑐1𝑖]·[(𝑎2+𝑏2)+𝑐2𝑖]
𝑐1 𝑐2
(𝑎1𝑎2 + 𝑏1𝑏2) + (𝑐1𝑐2)𝑖 =
Al realizar las operaciones, se observa que no existe igualdad. Se concluye que la función dada no
es un homomorfismo entre los anillos.
Isomorfismos
Se considera que una función 𝑓: 𝐴 → 𝐴′ entre dos estructuras algebraicas es un isomorfismo, si
además de ser homomorfismo es una función uno-a-uno y sobre; es decir,
Ejemplo 7.35. Sean los grupos (ℝ+,·) y (ℝ, +). Se define la función
𝑓(𝑥) = log𝑏 𝑥
𝑓(𝑥·𝑦)=𝑓(𝑥)+𝑓(𝑦)log𝑏(𝑥·𝑦)=log𝑏
𝑥 + log𝑏 𝑦
Para verificar la función inversa se toma a ambos lados la función exponencial en la base b.
Lo cual indica que si existe la función inversa, entonces la función en uno-a-uno. Con respecto a la
propiedad sobre, todo número real positivo tiene su correspondiente logaritmo dentro de los
números reales. En consecuencia, la función logaritmo entre los grupos (ℝ+,·) y (ℝ, +) es un
isomorfismo.
Ejemplo 7.36. Sean los grupos (𝐴,⊕) y (𝐵,⊙), donde 𝐴 = {0, 1} y 𝐵 = {𝑎, 𝑏} y las operaciones en
cada conjunto están definidas por las tablas 7.5 y 7.6, respectivamente.
⊕ 0 1 ⊙ a b
0 0 1 a a a
1 1 1 b a b
Tabla 7.5. Tabla 7.6.
Operación en A. Operación en B.
Espacio vectorial
Existe una estructura algebraica donde se definen dos operaciones, que a diferencia del anillo y
del campo, una de esas operaciones trabaja con dos conjuntos diferentes. Dicha estructura se
conoce como espacio vectorial.
1. 𝑢̈�+ 𝑣̅ ∈ 𝑉.
2. (𝑢̈�+ 𝑣̅ ) + 𝑤
�= 𝑢̈�+ (𝑣̅ + 𝑤
� ).
3. 𝑢̈�+ 𝑣̅ = 𝑣̅ + 𝑢̈�.
4. �= 𝑢̈�, donde 0
𝑢̈�+ 0 �es el elemento neutro para la suma.
5. 𝑢̈�+ (−𝑢̈�) = 0�, donde −𝑢̈�es el elemento inverso de 𝑢̈�para la suma.
6. 𝛼𝑢̈�∈ 𝑉.
7. (𝛼𝛽)𝑢̈�= 𝛼(𝛽𝑢̈�).
8. (𝛼 + 𝛽)𝑢̈�= 𝛼𝑢̈�+ 𝛽𝑢̈�.
9. 𝛼(𝑢̈�+ 𝑣̅ ) = 𝛼𝑢̈�+ 𝛼𝑣̅ .
10. (1)𝑢̈�= 𝑢̈�, donde 1 es la unidad del campo.
Algunos ejemplos de este tipo de estructura son los espacios ℝ𝑛, los números complejos y reales,
los polinomios, y las matrices de orden 𝑚 × 𝑛.
Los espacios vectoriales son el centro del estudio del Álgebra Lineal, la cual permite establecer
conceptos, relaciones y justificaciones de métodos y procedimientos utilizados en otras ramas de
la Matemática como la Geometría Analítica, el Cálculo, o incluso la misma Álgebra Superior.