Estructuras Algebraicas
Estructuras Algebraicas
Estructuras Algebraicas
Facultad de Ingeniería
Departamento de Matemática-Sede Esquel
ÁLGEBRA Y GEOMETRÍA
Estructuras Algebraicas
Brevísima introducción
(Versión Preliminar)
Has estado utilizando operaciones matemáticas desde hace un buen tiempo, y has aprendido que
hay ciertas reglas para esas operaciones, reglas de los signos, casos de factoreo, precedencia de
operaciones, etc. Nada de esto es caprichoso y como casi todo lo que tiene relación con las ciencias
tuvo una larga y cuidadosa evolución.
En esta brevísima introducción encontrarás unas cuantas definiciones rigurosas, algunas de ellas
suficientemente relevantes como para llevar un nombre propio que son las que explican el por qué
de las maneras de “sacar las cuentas” que debiste “memorizar”.
Se trata de unas pocas estructuras algebraicas, las mínimas indispensables para dar sustento a este
curso.
Estructuras Algebraicas
Llamamos estructura algebraica al ente matemático que resulta de definir en un conjunto no vacío
una o mas operaciones entre sus elementos de tal manera que el resultado de esas operaciones sea
también un elemento del conjunto; estas operaciones que toman sus operandos en el conjunto y
devuelven el resultado nuevamente en el conjunto se dicen operaciones internas o leyes de
composición internas.
Ejemplos
1. En el conjunto de los números naturales, definimos la operación suma.
Formalmente:
Sean x , y ∈ ℕ , se define la operación + de modo que x + y= z con z ∈ ℕ
+ es la suma a la que estás acostumbrado
así en particular 123+4321=4444
Por supuesto que la manera de obtener los resultados de las operaciones son diferentes para cada
una de ellas y que las propiedades también son diferentes.
Notación
Es habitual escribir la estructura algebraica con la notación {M, *}, donde M es el conjunto sobre el
que está definida y * el símbolo que representa la operación definida
Definición
La estructura algebraica a la que solo le exigimos que el resultado de la operación pertenezca al
conjunto en el que está definida recibe el nombre de Magma.
Observaciones:
La suma y la junto de los ejemplos previos son Magmas en el conjunto de los números naturales.
Definición
Si tenemos un Magma y la operación resulta asociativa la estructura algebraica es un Semigrupo.
Ejemplos
1. En el conjunto de los números naturales la operación suma,
Formalmente:
Sean x , y , z ∈ ℕ , la operación + satisface que ( x+ y)+ z= x+( y + z)
así en particular (12+34)+41=12+(34 +41)
3. (Contra ejemplo) En el conjunto de los números naturales la operación resta, la resta a la que
estás acostumbrado no es asociativa y por lo tanto no tiene estructura de Semigrupo.
Formalmente:
Aún cuando estén definidas las restas, en general dados x , y , z ∈ ℕ la – no cumple que
( x− y)−z= x−( y−z ) .
así en particular (12−5)−3=7−3=4≠12−(5−3)=12−2=10
Observaciones:
La suma y la junto de los ejemplos previos en el conjunto de los números naturales son
Semigrupos.
La resta en el conjunto de los números naturales no es Semigrupo.
Definición
Si tenemos un Semigrupo y existe en el conjunto un elemento, al que llamaremos neutro para la
operación o mas brevemente neutro, que operado con cualquier elemento en el conjunto devuelve a
este último elemento como resultado de la operación, la estructura algebraica es un Monoide.
Ejemplos
1. En el conjunto de los números naturales unido al cero, ℕ0 , con la operación suma, el
elemento neutro es el 0 (el cero al que estás acostumbrado)
Formalmente:
Sea x ∈ ℕ , la operación + satisface que x +0=0+ x= x
así en particular 52+0=0+52=53
2. En el conjunto de los números naturales con la operación junto no existe el elemento neutro. La
operación junto no determina una estructura de Monoide en el conjunto de los números
naturales
Formalmente:
∄ x ∈ ℕ , tal que la operación ⁜ satisfaga que x⁜y = y⁜x = y.
Y por lo tanto no se puede mostrar un caso en particular
Observaciones:
La suma la suma habitual en los números naturales unido al 0 es un Monoide.
La junto de los ejemplos previos, en los números naturales no es un Monoide pues no admite
elemento neutro.
El producto o sea la multiplicación habitual en los números naturales es un Monoide. (También
se dice tiene estructura de Monoide) y el elemento neutro es el 1 al que estás acostumbrado.
Definición
Si tenemos un Monoide y para cada elemento en el conjunto existe un elemento, al que llamaremos
simétrico para la operación o mas brevemente simétrico, tal que operando cualquier elemento con
su simétrico devuelve como resultado de la operación al elemento neutro, la estructura algebraica es
un Grupo.
Ejemplos
1. En el conjunto de los números enteros la operación suma; el elemento simétrico de uno
cualquiera se obtiene anteponiendo un signo – al elemento dado (calculando el negativo del elemento dado).
Formalmente:
Sea x ∈ ℤ , el simétrico de x es -x y la operación + satisface que x +(− x)=0
así en particular dado el número 24 su simétrico es -24 y se cumple que 24+(-24) = 0
Observaciones:
La suma la suma habitual en los números enteros es un Grupo.
El producto o sea la multiplicación habitual en los números racionales no nulos es un Grupo.
Definición
Si en cualquiera de estas estructuras la operación resulta conmutativa esto es x ⁎ y = y ⁎ x para todo
x, y en el conjunto, decimos que la estructura es Abeliana.
Resumiendo, cuando tenemos un conjunto no vacío y definimos en el una única operación podemos
tener las siguientes estructuras algebraicas.
Magma Si
Magma Abeliano Si Si
Semigrupo Si Si
Semigrupo Abeliano Si Si Si
Monoide Si Si Si
Monoide Abeliano Si Si Si Si
Grupo Si Si Si Si
Grupo Abeliano Si Si Si Si Si
Casos con conjuntos y operaciones que ya conocés.
• Los Enteros con la resta forman un magma que no es un Semigrupo, ya que la resta no es
asociativa.
• Los Naturales positivos con la suma forman un Semigrupo (la suma es asociativa) que no es
un Monoide, ya que el neutro 0 no está en el conjunto.
• Los Naturales con la suma forman un Monoide que no es Grupo, ya que los opuestos
aditivos de los naturales positivos no están en el conjunto.
• Los Enteros con la suma forman un Grupo Abeliano.
• Los Racionales, Los Reales y los Complejos, con la suma determinan Grupos Abelianos.
• Los Racionales, los Reales y los Complejos no nulos, con la multiplicación usual,
determinan Grupos Abelianos.
Cuando las operaciones definidas en el conjunto son dos, podemos identificar nuevas estructuras,
nos concentraremos en algunas de aquellas en que sucede que:
En estas condiciones
Definición
Cuando el producto tiene estructura de Semigrupo la estructura {M, +, ·} recibe el nombre de
Anillo.
Definición
Cuando el producto tiene estructura de Monoide; la estructura {M, +, ·} recibe el nombre de Anillo
unitario.
Definición
Cuando el producto tiene estructura de Grupo descartando que el 0 no tiene inverso; la estructura
{M, +, ·} recibe el nombre de Campo o Cuerpo.
Definición
Si en la estructura de Cuerpo, ambas operaciones internas son Grupo Abeliano y las dos distribuyen
una sobre la otra, la estructura es un Algebra de Boole.
Observaciones:
El conjunto de los conjuntos con las operaciones de unión e intersección es un Algebra de Boole.
El conjunto de valores de verdad {v, f} con las operaciones de disyunción y conjunción es un
Algebra de Boole.
Llamamos operación externa o ley de composición externa a aquella que toma uno de sus
argumentos en un conjunto que es tanto de partida como de llegada y el otro en otro conjunto.
Asi dados x , y ∈ A y w ∈ B con A y B conjuntos, se tiene una operación externa
⊙ de modo que x⊙w= y
Definición
Si sobre A se tiene definida una operación interna ⊕ con estructura de Grupo Abeliano,
sobre B se tienen definidas dos operaciones internas, + y × con estructura de Cuerpo y la
operación externa ⊙ cumple con que dados x , y ∈ A y α , β ∈ B :
• (α + β )⊙ x=α ⊙x⊕ β ⊙ x
• α ⊙( x⊕ y)=α ⊙ x⊕α ⊙ y
• α ⊙( β ⊙x )=(α × β )⊙ x
• 1⊙ x=x
Entonces la estructura {B , A ,⊕ ,⊙ } es un Espacio Vectorial, los elementos de A se
denominan vectores y los elementos de B se denominan escalares.
Definición
Si en la estructura de Espacio Vectorial {B , A ,⊕ ,⊙ } , se tiene una segunda operación interna
⊗ de modo que {A ,⊕ ,⊗ } tiene estructura de Anillo Conmutativo, entonces
{B , A ,⊕ ,⊗ ⊙ } tiene estructura de Algebra.
Observaciones:
El conjunto de los números reales R tomado tanto para la ley de composición interna + habitual
como para la de composición externa ·, es un Espacio Vectorial en si mismo.
El conjunto de los números reales R tomado tanto para las leyes de composición interna + y ·
habituales como para la de composición externa ·, es un Algebra.
Existen casos particulares suficientemente relevantes como para tener nombre propio, pero no las
mencionaremos en este trabajo.