Operaciones binarias

En primer lugar introducimos el concepto de operación binaria, tanto interna

como externa, si bien nos centraremos en el primer caso, puesto que el
ejemplo más interesante de operación externa tiene que ver con espacios
vectoriales, que se estudiarán con detalle en la correspondiente asignatura del
Plan de Estudios (Álgebra Lineal).
Definición 1.1
i)
Una operación interna ` ' en un conjunto es una aplicación

ii)
Una operación externa ` ' en con operadores en (por la
izquierda) es una aplicación

En lo que sigue supondremos que ` ' es una operación interna en . En ese

caso, un subconjunto se dice que es cerrado con respecto a dicha

operación si se verifica que

es decir, al hacer operaciones con elementos de no nos salimos del

conjunto . Por otra parte, una operación interna puede cumplir o no (entre
otras) las siguientes propiedades:
Asociativa:

, .
Conmutativa:

, .
Elemento Neutro:

, .
Elemento Inverso:

Fuente: http://wmatem.eis.uva.es/~matpag/CONTENIDOS/Operaciones/marco_operaciones.htm
 Suponiendo que existe elemento neutro , entonces se dice que

un elemento tiene inverso (u opuesto) si

Distributiva:
Dadas dos operaciones internas ` ' y ` ' en , se dice que ` ' es
distributiva respecto de ` ' si

Otras:
no se verán con mucho detalle, pues tienen que ver principalmente con
Retículos y Álgebras de Boole, que es un tema muy específico de
Informática.
Hacemos notar que el elemento neutro, en caso de existir, es único, y lo
mismo ocurre con el elemento inverso de un elemento dado .

Estructuras algebraicas
Describiremos brevemente las principales estructuras algebraicas que puede
tener un conjunto con una o varias operaciones internas, de acuerdo a las
propiedades que cumplan dichas operaciones.

Subsecciones

• Semigrupo
• Grupo
• Anillo
• Cuerpo
• Retículo

Semigrupo

Un semigrupo es un par donde ` ' es una operación interna

en que verifica la propiedad asociativa. Es por tanto la estructura
algebraica más sencilla posible. Si además la operación tiene elemento neutro

en , se dice que es un monoide. En cualquiera de los dos casos

Fuente: http://wmatem.eis.uva.es/~matpag/CONTENIDOS/Operaciones/marco_operaciones.htm
(semigrupo o monoide), si se verifica además la propiedad conmutativa, se
dice que el semigrupo (o el monoide) es conmutativo o abeliano.
Ejemplo 2.1

1. Tanto IN como IN son monoides conmutativos.

2. Dado un alfabeto de símbolos , el conjunto de cadenas de símbolos
junto con la operación de concatenar cadenas sin cancelaciones entre
símbolos es un semigrupo no conmutativo (o un monoide no
conmutativo, si se considera la palabra vacía como posible). Esta
estructura se utiliza en la Teoría de Lenguajes Formales.

Grupo

Un grupo es un monoide en el que todo elemento tiene

inverso. Si además se verifica la propiedad conmutativa, se dice que el grupo
es abeliano (o conmutativo). En la práctica, cuando un grupo es abeliano la
operación se denota en forma de suma, y en caso contrario se denota en forma
de producto. En el primer caso (notación aditiva), el elemento neutro se

denota por 0 (cero) y el elemento `` opuesto'' de se denota por , y en el

segundo caso (notación multiplicativa), el elemento neutro se denota
por (unidad) y el elemento `` inverso'' de se denota por .
Ejemplo 2.2

1. Tanto ZZ como IR son grupos abelianos.

2. El grupo de `` permutaciones'' de elementos ,

junto con la operación de composición, es un grupo no conmutativo,
entendiendo una permutación como una aplicación biyectiva

3. Los `` movimientos rígidos'' en IR (o en IR ) con la composición

también son un grupo no conmutativo, entendiendo por movimiento
rígido un tipo especial de aplicaciones biyectivas

Fuente: http://wmatem.eis.uva.es/~matpag/CONTENIDOS/Operaciones/marco_operaciones.htm
 IR IR

(aquellas que conservan distancias y ángulos, es decir, esencialmente

simetrías, giros y traslaciones).

4. Las matrices cuadradas de tamaño son un grupo abeliano para

la suma, mientras que las matrices cuadradas inversibles (con
determinante no nulo) son un grupo no conmutativo para el producto.

Anillo

Un anillo es una terna tal que:

1. es un grupo abeliano.

2. es un semigrupo.
3. El producto es distributivo respecto de la suma.

Si además existe elemento neutro 1 (o unidad) del producto, el anillo se

dice unitario, y si el producto es conmutativo se trata de un anillo
conmutativo (puede ser ambas cosas, que es el caso más corriente, y entonces
se trata de un anillo conmutativo y unitario).
Ejemplo 2.3

1. ZZ es un anillo conmutativo y unitario.

2. Si es un anillo conmutativo (y unitario) entonces los

polinomios en un número finito de indeterminadas con coeficientes
en , junto con la suma y el producto usuales, es

decir, es un anillo conmutativo (y

unitario).

3. Las matrices cuadradas con la suma y el producto de matrices

forman un anillo unitario (no conmutativo).
Fuente: http://wmatem.eis.uva.es/~matpag/CONTENIDOS/Operaciones/marco_operaciones.htm
 4. IN es lo que se denomina un semianillo conmutativo y
unitario; se deja como ejercicio escribir las definiciones adecuadas.

Por otra parte, se dice que es un divisor de cero si

existe tal que (por tanto, también lo es). Por

ejemplo, en el anillo de matrices de coeficientes reales con la suma y

el producto usuales se tiene que

con lo que ambas matrices son divisores de cero. Así pues, si en un anillo no
existen divisores de cero, es decir

entonces se dice que el es un anillo íntegro o dominio de integridad

(abreviadamente se suele decir que es un dominio). Por lo que acabamos
de ver, las matrices cuadradas no constituyen un dominio de integridad. En
cambio, el anillo de enteros es íntegro, así como los anillos de polinomios con

coeficientes en un dominio (por ejemplo Z Z ).

Cuerpo

Un anillo es un cuerpo si verifica la condición adicional de

que sea un grupo, donde . Es decir

Si además el producto es conmutativo, se trata de un cuerpo conmutativo.

Ejemplo 2.4

1. Los conjuntos , IR y son cuerpos con sus sumas y productos

respectivos.

Fuente: http://wmatem.eis.uva.es/~matpag/CONTENIDOS/Operaciones/marco_operaciones.htm
 2. Si es un número primo (positivo) y

, y las sumas y productos se realizan `` módulo '', entonces es

un cuerpo (finito).
3. Si se quiere construir un cuerpo no conmutativo, hace falta recurrir a
los llamados `` cuaterniones''. Se dejan los detalles como ejercicio
(avanzado). Se considera el conjunto (de cuaterniones) dado por

IK IR

donde las letras son variables que verifican las siguientes

relaciones

y donde la suma y el producto se realizan como si fueran polinomios,

con las simplificaciones derivadas de las reglas anteriores.

Retículo

Un retículo es una terna tal que:

1. Ambas operaciones son asociativas.

2. Ambas operaciones son conmutativas.
3. Se verifican las `` Leyes de Absorción'' (o simplificativas):

Fuente: http://wmatem.eis.uva.es/~matpag/CONTENIDOS/Operaciones/marco_operaciones.htm
Ejemplo 2.5

1. es un retículo.

2. IN es un retículo, donde

De las propiedades anteriores se deducen las de idempotencia

Si se verifican las dos propiedades distributivas (de cada una de las

operaciones con respecto de la otra) se trata de un retículo distributivo. Por
otra parte, si existen elementos llamados 0 y tales que

se dice que es un retículo acotado. Si además de ser acotado, el retículo

verifica que

se trata de un retículo complementario ( se llama complementario de ).

Por último, y aunque lo estudiaremos aparte con una definición `` minimal''
(es decir, incluyendo en la definición el mínimo número posible de
propiedades), diremos que a un retículo distributivo y complementario se le

llama álgebra de Boole. Por ejemplo, el retículo anteriormente citado

es, de hecho, un álgebra de Boole.

Fuente: http://wmatem.eis.uva.es/~matpag/CONTENIDOS/Operaciones/marco_operaciones.htm