Propiedades de las operaciones binarias

En álgebra las operaciones binarias internas en el conjunto A, o bien las aplicaciones de A x A en A:

${\begin{array}{rcl}\star :\;A\times A&\to &A\\(a,b)&\to &c=a\star b\end{array}}$

son las de mayor interés, porque se utilizan tanto en los sistemas numéricos mas abstractamente, relaciones binarias en los sistemas algebraicos. Las operaciones gozan de ciertas propiedades, usadas con frecuencia en la axiomatización de los diversos sistemas matemáticos, en palabras de Birkhoff.

Conmutatividad

Véase también: Propiedad conmutativa

Dado un conjunto no vacío A, en el que se ha definido una ley de composición interna *:

${\begin{array}{rcl}\star :\;A\times A&\to &A\\(a,b)&\to &c=a\star b\end{array}}$

se dice que * tiene la propiedad conmutativa en A si se cumple:

$\forall a,b\in A\;:\quad a\star b=b\star a$

Para todo a, b de A, se cumple que el resultado de operar a con b es igual al de operar b con a.

Del mismo modo podemos decir que la ley de composición interna *, no es conmutativa en A si:

$\exists a,b\in A\;:\quad a\star b\neq b\star a$

Si existe algún a, b en A, que cumple que el resultado de operar a con b es distinto de operar b con a.

Ejemplos

• La adición en los conjuntos N, Z, Q, R, C (1)de los naturales, enteros, racionales, reales y complejos es conmutativa y se cumple que a+b = b+a, siendo a y b elementos de mismo cualquier conjunto indicado

• La multiplicación es conmutativa en cualquiera de los conjuntos (1).

• La división en Q*, racionales sin el cero, no es conmutativa; pues a:b≠ b:a, salvo para 1 y -1.
• el producto de dos matrices cuadradas de orden n no es conmutativo.

• El producto cartesiano de dos conjuntos no es conmutativo, AxB≠ BxA.

Anticonmutatividad

La operación * en A es anticonmutativa si:

$\forall a,b\in A\;:\quad a\star b=-(b\star a)$

Para todo a, b de A, se cumple que el resultado de operar a con b es igual al opuesto de operar b con a.

• Como ejemplo si en 3-E el espacio de vectores de tres componentes, decimos:

$\mathbf {i} =(1,0,0)\;,\quad \mathbf {j} =(0,1,0)\;y\quad \mathbf {k} =(0,0,1)$

se tiene con el producto vectorial $\land$:

$\mathbf {i} \land \mathbf {j} =\mathbf {k}$

y

$\mathbf {j} \land \mathbf {i} =-\mathbf {k}$

en general, para cualquier par de vectores a, b:

$\mathbf {a} \land \mathbf {b} =-(\mathbf {b} \land \mathbf {a} )$

• Para los enteros , se ve que la sustracción

${\begin{array}{rcl}-:\;Z\times Z&\to &Z\\(a,b)&\to &c=a-b\end{array}}$

es anticonmutatava, pues si:

$a-b=-(b-a)\;$

Asociatividad

Véase también: Propiedad asociativa

Sea A un conjunto no vacío y * una operación binaria en A:

${\begin{array}{rcl}\star :\;A\times A&\to &A\\(a,b)&\to &c=a\star b\end{array}}$

Se dice que * es asociativa si, solo si:

$\forall a,b,c\in A\;:\quad (a\star b)\star c=a\star (b\star c)$

Para todo a, b, c de A se cumple que operando a con b y el resultado con c es igual a operar a con el resultado de operar b con c.

También se puede decir que la operación * no es asociativa si se cumple:

$\exists a,b,c\in A\;:\quad (a\star b)\star c\neq a\star (b\star c)$

Existen a, b, c en A que cumplen que operando a con b y el resultado con c es distinto de operar a con el resultado de operar b con c.

Ejemplos

• La adición y la multiplicación con números pares son asociativas.
• La sustracción en el conjunto Z de los enteros no es asociativa
• La adición en el conjunto Z[i] es asociativa
• el producto vectorial de vectores en el espacio R3 no es asociativo; esto es: (uxv)xw ≠ ux(vxw), donde u,v y w son vectores y x indica el producto vectorial.
• Si en en el conjunto R de los reales definimos a*b = ab +a+b +1, * es asociativo en R. (α)

Distributividad

Véase también: Propiedad distributiva

Dado un conjunto A no vacío en el que se han definidos dos operaciones internas:

${\begin{array}{rcl}\star :\;A\times A&\to &A\\(a,b)&\to &c=a\star b\end{array}}$

${\begin{array}{rcl}\circ :\;A\times A&\to &A\\(a,b)&\to &d=a\circ b\end{array}}$

Que expresaremos $(A,\star ,\circ )$, se dice que la operación $\star$ es distributiva por la derecha de $\circ$ si se cumple:

$\forall a,b,c\in A\;:\quad a\star (b\circ c)=(a\star b)\circ (a\star c)$

• Ejemplos el producto vectorial de vectores respecto de la suma de vectoresux(v+ w) =uxv + uxw
• Otro ejemplo: el producto de matrices respecto a la suma de matrices. M(N+Q)= MN + MQ.
• Es importante el orden de factor en la definición de R-modulos a izquierda.

Del mismo modo se dice que la operación $\star$ es distributiva por la izquierda de $\circ$ si se cumple:

$\forall a,b,c\in A\;:\quad (a\circ b)\star c=(a\star c)\circ (b\star c)$

• Ejemplo el caso del producto de matrices que no es conmutativo. Se tiene (M+N)P= MP+ NP, la simple yuxtaposición indica el producto de matrices.
• La composición de funciones reales en un intervalo cerrado respecto de la suma de funciones: (f +g)ºh =fºh + gºh , donde f,g, h son funciones cualesquiera del caso señalado.

Una operación $\star$ es distributiva sobre otra $\circ$ si es distributiva por la derecha y por la izquierda.

• Los conjuntos númericos gozan de la distributividad por ambos lados.
• Al definir un anillo se indican las dos formas distributivas

a(b+c) = ab +ac, por la izquierda; y por la derecha, (b+ c)a = ba +ca. Pues, al semigrupo multiplicativo no se exige la conmutatividad.

• Ver si se cumple a*(b+ c) = a*b + a*c siendo * la operación definida en (α) y , + la suma usual en R.

Simplificación

Sea A con la operación * si a*b =a*c implica que b=c, se dice que se ha simplificado a por la izquierda. Y si de b*a =c*a se deduce b=a y se dice que se ha simplificado por la derecha. Si se puede simplificar por ambos lados se habla de simplificación o cancelación. llanamente.

• En el caso de la suma de números ( de cualquier naturaleza) a+ b= a + c , cancelando a, resulta b=c
• En el caso de los grupos es importante el orden. No todo grupo es conmutativo, para el caso, los

los grupos simétricos.

Divisores del cero

Véase también: Divisor de cero

Sea el conjunto A y la operación * , siendo a ≠ 0, b≠ 0 se deduce que a*b = 0 , se dice que a y b son divisores del 0.

• Hay matrices cuadradas de orden 2 no nulas cuyo producto es la matriz 0.
• En el conjunto Z[6]= {0,1,2,3,4,5} de los restos módulo 6 con la multiplicación * de restos, resulta 2*3=0.
• Sean las funciones reales: f / f(x) =0 si x≥0 y f(x)=1 en otro caso, g(x)= 1 si x≥0 y g(x) =0 en otro caso; tanto f y g no son nulas pero sí su produto θ(x) = 0 para todo x real.
• Sea el conjunto Z[4] = {0,1,2,3} de los restos módulo 4; con la adición tenemos que en este caso 2+2 = 0. De modo que no siempre "dos más dos dan cuatro".

Elementos distinguidos

Elemento neutro

Si se tiene el conjunto A, no vacío, provisto de una operación binaria *, que indicaremos: (A,*),

${\begin{array}{rcl}\star :\;A\times A&\to &A\\(a,b)&\to &c=a\star b\end{array}}$

diremos que el elemento e (del alemán einheit), es el elemento neutro por la derecha si:

$\forall a\in A\,,\;\exists e\in A\,:\quad e\star a=a$

Se demuestra que si hay otro elemento neutro por la izquierda e', tal que e'*a = a, e = e'; hecho que se conoce como unicidad del elemento neutro. Ejemplo:

• En los sistemas aditivos Z, Q, R de los enteros, racionales y reales el 0 cero es el elemento neutro aditivo. Esto es a+0= 0+ a =a.
• En los mismos sistemas, pero con la multiplicación, el 1 uno es el elemento neutro multiplicativo. a.1 = 1.a = a.
• En el conjunto de los racionales con la operación a*b = a+b +ab , el elemento neutro es 0.
• En el conjunto de las matrices cuadradas con la multiplicación, el elemento neutro es la matriz que tiene unos en la diagonal principal y los demás elementos son cero.
• En la composición de funciones de variable real, el elento neuto es la función I(x) = x para todo x.

Elemento simétrico

Sea A un conjunto no vacío y * una operación binaria:

${\begin{array}{rcl}\star :\;A\times A&\to &A\\(a,b)&\to &c=a\star b\end{array}}$

Diremos que a' es simétrico de a si:

$a'\star a=a\star a'=e$

donde e es el elemento neutro.

• El 2 es el simétrico de -2 en Z con la adición; 1/2 es el simétrico de 2 en Q* con la multiplicación . En el casos de los sistemas algebraicos aditivos, el simétrico se llama opuesto o inverso aditivo, en el caso de los multiplicativos se llama: inverso multiplicativo.

Elemento involutivo

Se llama así al elemento d de A, con la operación binaria *, tal que d*d= d.

• el 0 y 1 son elementos involutivos respecto de la multipicación en el conjunto Z de los enteros.

Elemento absorbente

Se denomina así al elemento s de A, tal que s * a= s, para todo a de A, provisto de la operación *.

• 0 es elemento absorbente se un sistema numérico multiplicativo.
• El conjunto vacío Ø es elemento absorbente para la intersección definida en el conjunto de partes de U.

Operación inversa

Sea A un conjunto con una operación binaria *:

${\begin{array}{rcl}\star :\;A\times A&\to &A\\(a,b)&\to &c=a\star b\end{array}}$

por lo que cabe la ecuación:

$\forall a,b\in A\,,\;\exists c\in A\;:\quad a\star b=c$

Pero si se da el caso de que:

$s=a\star y$

donde se trata de conocer el elemento y, se recurre a operación inversa. Si A admite elementos simétricos, se define:

$y=s\,{\bar {\star }}\,a$

donde

$s\,{\bar {\star }}\,a=s\star a'\quad (1)$

siendo a' simétrico de a, respecto de la operación binaria *. Queda pues:

$s\,{\bar {\star }}\,a=y\quad \longleftrightarrow \quad s=a\star y$

Si se cumple la ecuación (1) se dice que ${\bar {\star }}$ es operación inversa de $\star$ en A y recíprocamente que $\star$ es la operación inversa de ${\bar {\star }}$

• en el conjunto Z de los enteros, se tiene -12 -(-15)= -12 +(15). Así la sustracción simbolizada por - en Z, es una operación inversa de la adición en Z y viceversa.
• En el Q*, racionales no nulos, cabe 6:12 = 1/2 equivalentemente 6:12 = 6x(1/12).
• Si hay operación binaria en S y existe elemento simétrico para cada a de S, según *, se puede definir una única operación inversa º de * en S. se exige la conmutatividad de * en S.

Véase también

• Operación binaria
• Ley de composición
• Estructura algebraica

Bibliografía

1. Birkhoff, G.; Mac Lane, S. (1985). Algebra moderna (4 edición). Editorial Vicens-Vives, S.A. ISBN 978-84-316-1226-9. 
2. Dubreil, Paul; Rodríguez Vidal, Rafael; tr. (1971). Lecciones de álgebra moderna (2 edición). Editorial Reverté, S.A. ISBN 978-84-291-5070-4. 
3. Sigler, L.; Linés Escardó, Enrique; tr. (1980). Álgebra (1 edición). Editorial Reverté, S.A. ISBN 978-84-291-5129-9. 
4. Burgos, Juan de (1992). Curso de álgebra y geometría (8 edición). Pearson Alhambra. ISBN 978-84-205-0381-3. 

• Fraleigh, Älgebra