Lección 1. |
Estructuras Algebraicas BÁsicas.
|
Sea
un conjunto no vacío. Una operación
binaria interna en
es una función
con dominio
y codominio
:
Si la operación
es asociativa en el sentido que
para cualesquiera elementos
,
entonces se dice que
es un semigrupo.
Ejemplo 1. El
conjunto
de números naturales con la operación usual de adición es un
semigrupo.
Si en el semigrupo
existe un elemento
tal que
para cada elemento
,
entonces se dice que
es un monoide con
elemento neutro
.
que en un monoide el elemento neutro es único.
Ejemplo 2. El conjunto
de números enteros con la operación usual de multiplicación es
un monoide con elemento neutro
.
Sea
un monoide. Si cada elemento
tiene un inverso , es decir, existe un elemento
tal que
entonces se dice que
es un grupo. Nótese que en un grupo cada
elemento tiene un único inverso. Si el contexto lo permite, un grupo
será denotado simplemente por
.
Ejemplo 3. El conjunto
de números enteros con la operación usual de adición conforma
un grupo.
Un grupo
se dice
conmutativo ( = abeliano)
si su op
eración es conmutativa,
es decir,
para cualesquiera elementos
.
Obsérvese que el grupo aditivo de números enteros es conmutativo. Se
acostumbra a denotar la operación de un grupo conmutativo mediante el
símbolo
.
Se ha visto que el conjunto
de números enteros posee dos operaciones
y
tal que respecto de la primera es un grupo abeliano, mientras que bajo la
segunda es un monoide. Conjuntos con tales condiciones conforman los llamados
anillos. Más exactamente, un
anillo es un conjunto
dotado de dos operaciones
y
tales que:
(a)
respecto de
es un grupo conmutativo
(b)
respecto de
es un monoide
(c)
se distribuye sobre
,
es decir,
para cualesquiera elementos
.
El anillo
es conmutativo si su segunda operación es
conmutativa.
En adelante
denotará el elemento neutro de la primera operación en
,
será el inverso de
respecto de dicha operación y lo llamaremos el
opuesto de
;
denotará el elemento neutro de
respecto de la segunda operación y lo llamaremos el
uno de
.
Además, es costumbre omitir el
entre dos elementos, así pues, el producto
se escribirá simplemente como
.
Ejemplo 4. El conjunto
de números enteros con las operaciones habituales de adición y
multiplicación es un anillo conmutativo.
Ejemplo 5. El conjunto
de polinomios reales en la indeterminada
con
las operaciones habituales de adición y multiplicación de polinomios
es un anillo conmutativo.
Ejemplo 6. El conjunto
de matrices reales
con
las operaciones usuales de adición y multiplicación de matrices
conforma un anillo.
En un anillo
cada elemento
tiene un opuesto
,
sin embargo, no todo elemento tiene un inverso respecto de la segunda
operación. Por ejemplo, en
el 2 no tiene inverso multiplicativo, es decir, no existe entero
tal que
.
En
los únicos polinomios invertibles son las constantes no nulas; en
las matrices de determinante no nulo son invertibles.
Si
es invertible, entonces existe un único
tal que
; la colección de elementos invertibles de
se denota por
.
Ejemplo 7.
(a)
(b)
(c)
.
Proposición 1.
Si
es un anillo, entonces
es un grupo.
Un anillo conmutativo
es un cuerpo si cada
elemento no nulo de
tiene inverso multiplicativo. En otras palabras,
es un cuerpo si
es conmutativo y
.
Ejemplo 8. El conjunto
de números racionales con las operaciones usuales de adición y
multiplicación es un cuerpo. De igual manera, los conjuntos
y
de números reales y complejos, respectivamente, con las operaciones
usuales de adición y multiplicación son ejemplos de cuerpos.
Esta sección se cierra con el concepto de
isomorfismo, el cual permite clasificar los diferentes tipos de estructuras
(grupos, anillos, cuerpos, etc...) de acuerdo a que sean
"iguales" desde el punto de vista algebraico. La
importancia de este concepto se entenderá más adelante; por ahora
presentamos la definición. Dos grupos
y
se dicen isomorfos si existe una función
biyectiva
tal que
para cualesquiera elementos
.
Dos anillos
y
se dicen isomorfos si existe una función biyectiva
tal que
para cualesquiera elementos
.
Obsérvese que necesariamente
y
para cada elemento invertible de
de
.
Además, la relación "ser isomorfo" es de
equivalencia.