Operaciones binarias

En primer lugar introducimos el concepto de operacin binaria, tanto interna como externa, si bien nos centraremos en el primer caso, puesto que el ejemplo ms interesante de operacin externa tiene que ver con espacios vectoriales, que se estudiarn con detalle en la correspondiente asignatura del Plan de Estudios (lgebra Lineal). Definicin 1.1 i) Una operacin interna ` ' en un conjunto es una aplicacin

ii) Una operacin externa ` ' en izquierda) es una aplicacin con operadores en (por la

En lo que sigue supondremos que ` ' es una operacin interna en

. En ese

caso, un subconjunto se dice que es cerrado con respecto a dicha operacin si se verifica que es decir, al hacer operaciones con elementos de no nos salimos del conjunto . Por otra parte, una operacin interna puede cumplir o no (entre otras) las siguientes propiedades: Asociativa: , Conmutativa: , Elemento Neutro: , Elemento Inverso: . . , entonces se dice que un .

Suponiendo que existe elemento neutro elemento Distributiva: tiene inverso (u opuesto) si

Dadas dos operaciones internas ` ' y ` ' en distributiva respecto de ` ' si

, se dice que ` ' es

Otras: no se vern con mucho detalle, pues tienen que ver principalmente con Retculos y lgebras de Boole, que es un tema muy especfico de Informtica. 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.

Semigrupo

Un semigrupo es un par donde ` ' es una operacin interna en que verifica la propiedad asociativa. Es por tanto la estructura algebraica ms sencilla posible. Si adems la operacin tiene elemento neutro en , se dice que es un monoide. En cualquiera de los dos casos (semigrupo o monoide), si se verifica adems 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 smbolos , el conjunto de cadenas de smbolos junto con la operacin de concatenar cadenas sin cancelaciones entre smbolos es un semigrupo no conmutativo (o un monoide no conmutativo, si se considera la palabra vaca como posible). Esta estructura se utiliza en la Teora de Lenguajes Formales.

Grupo

Un grupo es un monoide en el que todo elemento tiene inverso. Si adems se verifica la propiedad conmutativa, se dice que el grupo es abeliano (o conmutativo). En la prctica, cuando un grupo es abeliano la operacin se denota en forma de suma, y en caso contrario se denota en forma de producto. En el primer caso (notacin aditiva), el elemento neutro se denota por 0 (cero) y el elemento `` opuesto'' de se denota por ,y en el segundo caso (notacin multiplicativa), el elemento neutro se denota por (unidad) y el elemento `` inverso'' de se denota por . Ejemplo 2.2 1. Tanto Z Z como IR son grupos abelianos.

2. El grupo de `` permutaciones'' de elementos , junto con la operacin de composicin, es un grupo no conmutativo, entendiendo una permutacin como una aplicacin biyectiva

3. Los `` movimientos rgidos'' en IR (o en IR ) con la composicin tambin son un grupo no conmutativo, entendiendo por movimiento rgido un tipo especial de aplicaciones biyectivas IR IR

(aquellas que conservan distancias y ngulos, es decir, esencialmente simetras, giros y traslaciones).

4. Las matrices cuadradas de tamao 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 1.

tal que:

es un grupo abeliano.

2. es un semigrupo. 3. El producto es distributivo respecto de la suma. Si adems 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 ms 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 nmero 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). 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 existe tal que

es un divisor de cero si (por tanto, tambin 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 que

es un cuerpo si verifica la condicin adicional de sea un grupo, donde . Es decir

Si adems el producto es conmutativo, se trata de un cuerpo conmutativo. Ejemplo 2.4

1. Los conjuntos respectivos. 2. Si

, IR y

son cuerpos con sus sumas y productos , y las

es un nmero primo (positivo) y

sumas y productos se realizan `` mdulo '', 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 donde las letras relaciones IR son variables que verifican las siguientes

y donde la suma y el producto se realizan como si fueran polinomios, con las simplificaciones derivadas de las reglas anteriores.

Retculo

Un retculo es una terna

tal que:

1. Ambas operaciones son asociativas.

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

Ejemplo 2.5 1. 2. IN es un retculo. es un retculo, 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 retculo distributivo. Por otra parte, si existen elementos llamados 0 y tales que

se dice que es un retculo acotado. Si adems de ser acotado, el retculo verifica que

se trata de un retculo complementario ( se llama complementario de ). Por ltimo, y aunque lo estudiaremos aparte con una definicin `` minimal'' (es decir, incluyendo en la definicin el mnimo nmero posible de propiedades), diremos que a un retculo distributivo y complementario se le llama lgebra de Boole. Por ejemplo, el retculo es, de hecho, un lgebra de Boole. anteriormente citado