Leyes de Composición - Complemento Teórico

INSTITUTO NACIONAL SUPERIOR DEL PROFESORADO TÉCNICO
PROFESORADO EN MATEMÁTICA
ÁLGEBRA I Prof. Carlos Pesce
2023
Complemento teórico (resumen)
Leyes de composición
El concepto de operación o ley de composición es una abstración y generalización de

las operaciones clásicas, suma y producto, entre números, consideradas como leyes
mediante las cuales, de dos elementos, se obtiene un tercero llamado resultado de
la operación.
Por ejemplo, la suma de 3 y 4 es 7 o su producto, 12.
Dados tres conjuntos A , B y C se define operación o ley de composición

sobre A , B y C a la siguiente función:
f : A  B  C tal que (a, b)  f (a, b) donde a  A , b  B y c  C
A cada par de elementos de A  B le corresponde un único elemento de C que, en

principio, se puede representar mediante la notación específica para funciones por
f (a, b) pero, siguiendo la notación tradicional que se ha empleado para las
operaciones, es mejor indicarla mediante símbolos especiales  ,  , etc.
La imagen de un par, denominada compuesto de los dos elementos se escribe
mediante las letras que designan los elementos del par separadas por el símbolo de
la operación correspondiente:
 : A  B  C tal que (a, b)  ab
Es costumbre escribir ab  c donde c  C con a  A y b  B

Los símbolos tradicionales de suma y producto de números también se utilizan
como símbolos de operaciones entre elementos de conjuntos dados, cualesquiera
que sea la naturaleza de sus elementos.
Ley de composición interna
Una ley de composición interna definida en un conjunto no vacío A es una operación que
asigna a cada par ordenado de elementos del conjunto A un único elemento de A . Se trata
de una función definida de la siguiente manera:
 es una ley de composición interna en A  : A  A  A
Esto significa que: a  A  b  A  a  b A
1
2023
La unicidad del resultado a b está asegurada por la definición de función. A tal función se
la designa con el nombre  (puede usarse cualquier otro símbolo) y se interpreta de la
siguiente manera:
La imagen del par (a, b) se escribe a  b y se lee “ a operado con b ”. En ese caso, el
resultado de a  b será un elemento c cumpliéndose que c  A y se escribe a  b  c .
Suele decirse también que  es una operación cerrada en A o que vale la ley de cierre o de
clausura. Se escribe como el par ordenado ( A,) donde se especifica el conjunto no vacío y
la operación definida en el mismo.
La adición y la multiplicación usuales son leyes de composición internas en los Naturales,

Enteros, Racionales, Reales y Complejos. Se utilizan los símbolos conocidos para indicarlas.
No puede afirmarse lo mismo de otras operaciones definidas en los conjuntos numéricos
(Analizar qué ocurre con la sustracción, la división y la potenciación en los conjuntos
numéricos nombrados)
Otros ejemplos de leyes de composición internas son la suma, resta y multiplicación de

funciones así como también la suma de vectores geométricos en el plano o espacio.
Ejemplo 1:
Una operación puede definirse mediante una tabla de doble entrada:

En este caso se trata de (A,*) donde A  {a, b, c}
* a b c
a a b c
b b c a
c c a b
El resultado de operar un elemento de una fila con otro de una columna (en ese orden) se
coloca en el casillero intersección de ambas.
Por ejemplo, b * c  a (el elemento de la segunda fila operado con el elemento de la tercera
columna da por resultado el elemento que figura en la intersección de ambas)
Efectivamente, * es una ley de composición interna en A puesto que todos los elementos
que se obtienen por resultado pertenecen al conjunto A .
Ejemplo 2:
Sea el par ( A, ) con A  {x  Z / x  2k  1 , k  Z } y  la suma usual en Z .
Probar que  NO es una ley de composición interna en A (conjunto de los enteros

impares)
Entonces se eligen 2 elementos genéricos de A (enteros impares)
2
2023
x  2k´1 , k´ Z (1)
y  2k´´1 , k´ Z (2)
(así se generan los enteros impares)
Sumando miembro a miembro (1) y (2),
x  y  (2k´1)  (2k´´1)
Aplicando las propiedades conmutativa y asociativa conocidas en Z , resulta:
x  y  2k´2k´´2
Sacando “factor común” 2 (distributiva del producto respecto de la suma en Z )
x  y  2(k´ k´´1)
La suma entre paréntesis es un número entero (la suma es una ley de composición interna
en Z )
Luego,
x  y  2k , k  Z
Queda demostrado que la suma de 2 números enteros impares es un número par (puede
verificarse con ejemplos)
Ejemplo 3:
Sea el par (B, # ) donde B  {1,2,3,6} y a # b  MCD(a, b) (máximo común divisor entre
a y b)
Probar que # es una operación cerrada en B
# 1 2 3 6
1 1 1 1 1
2 1 2 1 2
3 1 1 3 3
6 1 2 3 6
Efectivamente, # es una ley de composición interna en B (cumple la ley de cierre)
3
2023
Ejemplo 4:
Sea el par ( K ,) donde K  {1,2,3,4} y a  b  MCM (a, b) (mínimo común múltiplo
entre a y b)
Probar que  NO es una operación cerrada en K .
 1 2 3 4
1 1 2 3 4
2 2 2 6 4
3 3 6 3 12
6 6 6 6 12
Si la misma operación hubiese estado definida en el conjunto W  {1,2,3,4,6,12} cumpliría

la ley de cierre. Esto muestra que una misma ley de composición puede cumplir la ley de
cierre o no según el conjunto considerado.
Una ley de composición externa definida sobre un conjunto V con operadores en un

conjunto K es una función definida de la siguiente manera:
f : K  V  V tal que ( , a)  f ( , a)
Si se le asigna un símbolo a la ley externa, puede indicarse así:
 : K  V  V tal que ( , a)    a
Para evitar confusiones, suelen usarse distintos tipos de letras para distinguir los elementos
de K y A .
Un ejemplo de ley de composición externa es el producto de un escalar (número

real) por un vector geométrico representado en cualesquiera de sus formas. En este
caso, el resultado es un vector. Para los vectores geométricos, se producirá una
contracción o estiramiento así como también un cambio de sentido dependiendo
del valor absoluto y signo del escalar.
Otros ejemplos de leyes de composición externas son el producto de un número

real por una función de variable real, el producto de un número por una matriz
(cuadro de valores), etc.
Una ley de composición vendrá definida cuando se conozca la imagen de cada par
del producto cartesiano, lo cual puede hacerse por extensión, si se trata de
conjuntos con pocos elementos, o por comprensión. Si es por extensión, las
imágenes de los pares suelen disponerse en un cuadro que se denomina tabla de la
operación (doble entrada) y si es por compresión habrá que dar un predicado, que
puede ser una fórmula, para averiguar la imagen de cualquier par.
4
2023
Asociatividad
Sea A   y : A  A  A
Se dice que  es asociativa  (a  b)  c  a  (b  c) para cualquier elemento a , b y c
que pertenezca a A (hay 3 elementos cualesquiera en juego que pertenecen a A )
La composición de tres elementos debe hacerse componiéndolos de dos en dos, pues una
ley de composición interna está definida sobre pares de elementos (operación binaria), lo
cual puede hacerse de dos modos distintos. Si dan el mismo resultado, para todas las ternas
posibles, la ley de composición es asociativa y en este caso el compuesto de tres elementos
puede escribirse sin necesidad de los paréntesis que señalan las asociaciones de elementos.
En general, puede fácilmente demostrarse, que si la ley de composición interna es
asociativa, el compuesto de n elementos es independiente del modo como se agrupen los
elementos para componerlos.
La adición y la multiplicación usuales son asociativas en naturales, enteros, racionales,

reales y complejos.
La sustracción no es asociativa en Z (probarlo con un contraejemplo)
La división no es asociativa en Q (probarlo con un contraejemplo). Debe considerarse,

obviamente, el divisor no nulo.
La potenciación no es asociativa en N (probarlo con un contraejemplo)
La unión y la intersección definidas en P ( A) son asociativas.
La conjunción y la disyunción son operaciones lógicas asociativas en el conjunto de las

proposiciones (llamado a veces universo del discurso)
Conmutatividad
Sea A   y : A  A  A
Se dice que  es conmutativa si y solo si a  b  b  a para cualquier elemento a y b que
pertenezca a A (hay 2 elementos cualesquiera en juego que pertenecen a A)
Dos elementos que verifiquen la igualdad, se denominan conmutables, con lo que una ley
de composición interna será conmutativa si todos los elementos son conmutables.
La adición y la multiplicación usuales son asociativas en naturales, enteros, racionales y

reales.
La sustracción no es conmutativa en Z (probarlo con un contraejemplo)
5
2023
Asociatividad
Sea A   y : A  A  A
Se dice que  es asociativa  (a  b)  c  a  (b  c) para cualquier elemento a , b y c
que pertenezca a A (hay 3 elementos cualesquiera en juego que pertenecen a A )
La composición de tres elementos debe hacerse componiéndolos de dos en dos, pues una
ley de composición interna está definida sobre pares de elementos (operación binaria), lo
cual puede hacerse de dos modos distintos. Si dan el mismo resultado, para todas las ternas
posibles, la ley de composición es asociativa y en este caso el compuesto de tres elementos
puede escribirse sin necesidad de los paréntesis que señalan las asociaciones de elementos.
En general, puede fácilmente demostrarse, que si la ley de composición interna es
asociativa, el compuesto de n elementos es independiente del modo como se agrupen los
elementos para componerlos.
La adición y la multiplicación usuales son asociativas en naturales, enteros, racionales,

reales y complejos.
La sustracción no es asociativa en Z (probarlo con un contraejemplo)
La división no es asociativa en Q (probarlo con un contraejemplo). Debe considerarse,

obviamente, el divisor no nulo.
La potenciación no es asociativa en N (probarlo con un contraejemplo)
La unión y la intersección definidas en P ( A) son asociativas.
La conjunción y la disyunción son operaciones lógicas asociativas en el conjunto de las

proposiciones (llamado a veces universo del discurso)
Conmutatividad
Sea A   y : A  A  A
Se dice que  es conmutativa si y solo si a  b  b  a para cualquier elemento a y b que
pertenezca a A (hay 2 elementos cualesquiera en juego que pertenecen a A)
Dos elementos que verifiquen la igualdad, se denominan conmutables, con lo que una ley
de composición interna será conmutativa si todos los elementos son conmutables.
La adición y la multiplicación usuales son asociativas en naturales, enteros, racionales y

reales.
La sustracción no es conmutativa en Z (probarlo con un contraejemplo)
5
2023
Distributividad
Sea A   y  : A  A  A , : A  A  A
Se dice que  es distributiva respecto de  si y sólo si a  (b  c)  (a  b)  (a  c) y

(b  c)  a  (b  a)  (c  a)
Si sólo se verifica que a  (b  c)  (a  b)  (a  c) , se dice que  es distributiva a izquierda
respecto de  (Ídem a derecha si sólo se verifica (b  c)  a  (b  a )  (c  a ) )
Si se verifican ambas, se habla de distributiva a secas o se dice que  es doblemente
distributiva respecto de  (porque  es conmutativa)
Análogamente puede definirse la distributividad de  respecto de 

Se dice que  es distributiva respecto de  si y sólo si a  (b  c)  (a  b)  (a  c) y
(b  c)  a  (b  a)  (c  a)
El producto es distributivo respecto de la suma en Naturales, Enteros, Racionales y Reales.
Elementos notables o distinguidos
Elemento neutro (o identidad)
Sea A   y : A  A  A
Se dice que e  A es neutro respecto de  si y solo si a  e  e  a para cualquier elemento
a que pertenezca a A .
Observación:
Si sólo se cumple que a  e  a se dice que e  A es el elemento neutro a derecha respecto

de  (Ídem a izquierda si se verifica que e  a  a ). La operación  puede no ser
conmutativa.
Si existe el elemento neutro a izquierda y derecha se dice que existe elemento neutro a
secas.
Observación:
El elemento neutro, si existe, es único.
En el conjunto de los números naturales no existe neutro para la adición. El 1 es el

elemento neutro de la multiplicación.
En enteros, 0 es el elemento neutro de la adición y el 1 en la multiplicación. Ídem en

racionales y reales.
7
2023
Analizar la existencia de neutro para la sustracción, división y potenciación en Naturales,

Enteros, Racionales y Reales. Sacar conclusiones.
El conjunto vacío es el elemento neutro en P ( A) ,  
El conjunto universal es el elemento neutro en P ( A) ,  
Ejemplo 6:
a y b)
# 1 2 3 6
1 1 1 1 1
2 1 2 1 2
3 1 1 3 3
6 1 2 3 6
Para buscar el elemento neutro debe encontrarse la fila (o columna) que devuelve el mismo
elemento al efectuar la operación. Si la misma es conmutativa, aparecerá una fila y una
columna que devuelve el mismo elemento. El 6 es el elemento neutro en este caso (a
izquierda y derecha por tratarse de una ley conmutativa)
Elemento inverso (o simétrico)
Sea A   y : A  A  A con elemento neutro e  A .

Dado a  A , se dice que a  A es el inverso de a  A respecto de  si y solo si
a  a  a  a  e (para cada elemento de A )
Los elementos de A que admiten inverso respecto de  se llaman inversibles.
Observación:
Si sólo se cumple que a  a  e se dice que a  A es el elemento inverso a derecha

respecto de  (Ídem a izquierda si se verifica que a  a  e ). La operación  puede no ser
conmutativa.
Si existe el mismo elemento inverso a izquierda y derecha se dice que existe elemento
inverso (para cada elemento de A )
Observación:
El elemento inverso, si existe, es único para cada elemento (inclusive el elemento neutro
puesto que también es un elemento de A )
En el conjunto de los números enteros considerando la adición usual, cada elemento tiene
su inverso llamado inverso aditivo. En este caso a  a .
En efecto, a  (a )   a  a  0
8
2023
En el conjunto Q  {0} todos los elementos tienen su respectivo inverso llamado inverso
multiplicativo. En este caso a  a 1
1
En efecto, a  a 1  a 1  a  1 . También se anota a 1 
a
Elemento idempotente
Sea A   y : A  A  A
Dado a  A , se dice que es un elemento idempotente respecto de  si y solo si a  a  a
Si se verifica para todo elemento de A se dice que el conjunto A con la operación  es
idempotente.
Ejemplo 7:
a y b)
# 1 2 3 6
1 1 1 1 1
2 1 2 1 2
3 1 1 3 3
6 1 2 3 6
Todo elemento operado consigo mismo da por resultado el mismo elemento, luego el
conjunto B es idempotente.
El 0 es un elemento idempotente en el conjunto de enteros con la adición usual.
El 1 es un elemento idempotente en el conjunto de los enteros con la multiplicación usual.
Dado el par P ( A) ,   , P ( A) es idempotente.
Dado el par P ( A) ,   , P ( A) es idempotente.
Dado E ,   , E es idempotente (conjunto de las proposiciones)
Dado E ,   , E es idempotente (conjunto de las proposiciones)
Observación:
Sea A   y : A  A  A
Dado el par ( A,) el elemento neutro, si existe, es idempotente.
9
2023
Analizar la existencia de neutro para la sustracción, división y potenciación en Naturales,

Enteros, Racionales y Reales. Sacar conclusiones.
El conjunto vacío es el elemento neutro en P ( A) ,  
El conjunto universal es el elemento neutro en P ( A) ,  
Ejemplo 6:
a y b)
# 1 2 3 6
1 1 1 1 1
2 1 2 1 2
3 1 1 3 3
6 1 2 3 6
Para buscar el elemento neutro debe encontrarse la fila (o columna) que devuelve el mismo
elemento al efectuar la operación. Si la misma es conmutativa, aparecerá una fila y una
columna que devuelve el mismo elemento. El 6 es el elemento neutro en este caso (a
izquierda y derecha por tratarse de una ley conmutativa)
Elemento inverso (o simétrico)
Sea A   y : A  A  A con elemento neutro e  A .

Dado a  A , se dice que a  A es el inverso de a  A respecto de  si y solo si
a  a  a  a  e (para cada elemento de A )
Los elementos de A que admiten inverso respecto de  se llaman inversibles.
Observación:
Si sólo se cumple que a  a  e se dice que a  A es el elemento inverso a derecha

respecto de  (Ídem a izquierda si se verifica que a  a  e ). La operación  puede no ser
conmutativa.
Si existe el mismo elemento inverso a izquierda y derecha se dice que existe elemento
inverso (para cada elemento de A )
Observación:
El elemento inverso, si existe, es único para cada elemento (inclusive el elemento neutro
puesto que también es un elemento de A )
En el conjunto de los números enteros considerando la adición usual, cada elemento tiene
su inverso llamado inverso aditivo. En este caso a  a .
En efecto, a  (a )   a  a  0
8
2023
a  (b  c)  a  (b  c  2)  2
a  (b  c)  a  b  c  4 (2)
De (1) y (2) se llega a la conclusión que (a  b)  c  a  (b  c)
3. Existencia de elemento neutro único.

ae  a
ae2a
e  2
ea  a
ea2a
e  2
Efectivamente, el elemento neutro único es e  2
Si se prueba previamente que la ley es conmutativa es innecesario probar la existencia de

neutro a izquierda y derecha.
4. Existencia de elemento inverso (se prueba sólo si existe neutro)

a  a  e
a  a  2  2
a   a  4
Efectivamente, cada elemento tiene su inverso (para cada valor de a entero se obtiene a 
5. Conmutatividad.
a b  b  a
a  b  a  b  2 (1)
b  a  b  a  2 (2)
De (1) y (2) se prueba que la ley es conmutativa.
6. Elementos idempotentes.
aa  a
aa2a
a  2
Efectivamente, el elemento neutro siempre es idempotente.
7. Elemento absorbente.
a b  b
ab2b
a20
No hay elemento absorbente.
11
2023
Ejemplo 10:
Sea el par ( A, # ) donde A  {a, b, c} y la operación # se define mediante la siguiente tabla

de doble entrada:
# a b c
a c a b
b a b c
c b c a
Puede verificarse fácilmente que # es una operación cerrada en A , conmutativa (ver la

simetría respecto de la diagonal principal), con neutro b (ver la fila y columna que devuelve
el mismo elemento al efectuar la operación), con inverso para cada elemento (se analiza
porque existe un neutro único). En este caso, a  c , c  a y b  b . El único elemento
idempotente es b y no hay elemento absorbente (no hay fila o columna con el mismo
elemento). La asociatividad no es fácil de analizar porque, en este caso, deberían verificarse
27 casos posibles que se reducen si se prueba primero la conmutatividad.
Operaciones usuales en conjuntos especiales

Ejemplo 11:
Sea A  {x   / x  2 k , k  Z }
Analizar las propiedades de ( A,) donde  es la multiplicación usual en  .
1. Sean x  A e y  A .
Entonces,
x  2 k  con k   Z
y  2 k  con k   Z
Multiplicando miembro a miembro resulta,
xy  2k  2k  con k   Z (es costumbre omitir el símbolo para indicar la multiplicación de

expresiones que contienen literales)
xy  2 k  k 
xy  2k donde k  k   k  y k  Z porque la adición es ley de composición interna en Z
2. La asociatividad está asegurada porque se trata de la multiplicación usual en un

subconjunto de  y se hereda la propiedad.
No obstante, puede demostrarse fácilmente.
12
2023

Agregando un tercer elemento z  A tal que z  2 k con k   Z
( xy) z  (2k  2k  )2k 
( xy) z  (2 k k  )2 k 
( xy) z  2( k   k )  k  (1)
x( yz )  2 k  (2 k  2 k  )
x( yz )  2k  (2k   k  )
x( yz )  2 k  ( k  k ) (2)
De (1) y (2) se llega a la conclusión que se verifica la propiedad porque

(k   k )  k   k   (k   k ) (la adición en Z es asociativa)
3. La conmutatividad también está asegurada por herencia considerando el par (,)

No obstante, puede probarse fácilmente.
Sean x  A e y  A .
Entonces,
x  2 k  con k   Z
y  2 k  con k   Z
xy  2 k  2k 
xy  2 k  k  (1)
yx  2 k  2 k 
yx  2 k  k  (2)
De (1) y (2) se llega a la conclusión que se verifica la propiedad porque k   k   k   k  (la

adición en enteros es conmutativa)
4. El elemento neutro es 1  2 0 (efectivamente, el neutro para la multiplicación en

 pertenece al conjunto A )
13
2023
5. Al existir elemento neutro único en A se procede a comprobar la existencia de elemento

inverso para cada elemento de A .
x  2t con t  Z
y  2u con u  Z
xy  1
2t 2u  20
2 t u  2 0
t  u  0 porque la función exponencial es monótona (inyectiva)
t  u
Efectivamente, cada elemento tiene su inverso.
Estructuras algebraicas
El álgebra, que desde su origen y durante muchos años fue la rama de las matemáticas que
trataba de números y ecuaciones, amplía su campo a finales del siglo XIX hacia nuevos
objetos, como son los vectores, los polinomios, las matrices, etc. y se separa del estudio de
la solución de ecuaciones dirigiéndose hacia las estructuras abstractas. Al igual que con los
números, con los vectores, polinomios, matrices, etc. se realizan operaciones que, en
muchos casos, se denominan con los mismos nombres que las operaciones clásicas,
definidas y delimitadas por propiedades análogas como la asociativa y conmutativa, por
ejemplo.
El álgebra pasa a ser la ciencia que estudia las estructuras, es decir, conjuntos con
operaciones verificando ciertas propiedades que determinan qué tipo de estructura es,
recibiendo nombres como grupo, anillo, cuerpo, álgebras de Boole, etc. Más aún, el álgebra
estudia hoy día cualquier estructura o, mejor aún, ninguna en concreto, siendo un
procedimiento lógico que, en muchos casos, puede adaptarse al mundo físico, sirviendo de
base para muchas disciplinas como la inteligencia artificial o la mecánica cuántica.
Un conjunto en el que se han definido una o varias leyes de composición se denomina

estructura algebraica. Según las propiedades que verifiquen sus leyes de composición, las
estructuras algebraicas se designan de distintas formas y tienen características especiales.
Una estructura algebraica puede definirse como un objeto matemático consistente en un

conjunto no vacío y una o más leyes de composición interna definidas en el mismo.
También pueden definirse estructuras más complejas con leyes de composición externa.
Según las leyes que deban satisfacer las leyes de composición, se tienen las diversas
estructuras que son, en otras palabras, sistemas axiomáticos.
14
2023
Estructura de grupo
Sea A  
El par ( A,) tiene estructura de grupo si se cumplen los siguientes axiomas:
1.  es ley de composición interna en A .
2.  es asociativa.
3. Existe elemento neutro único en A respecto de  .
4. Existe elemento inverso único para cada elemento de A (si existe el neutro) respecto de
.
Si además se verifica:
5.  es asociativa, se dice que el par tiene estructura de grupo conmutativo o Abeliano.
El nombre se debe a Niels Henrik Abel, matemático nacido en la actual Noruega (1802-
1829)
Si el par ( A,) tiene estructura de grupo pueden demostrarse algunas propiedades:
1. El elemento neutro es único.
2. El elemento inverso es único (uno para cada elemento de A )
3. Regularidad.
4. Las ecuaciones a  x  b y x  a  b tienen solución única. En ambos casos puede

probarse que x  b  a donde a es el inverso de a .
5. El inverso de la composición de 2 elementos es igual a la composición de los inversos en

orden permutado.
( a  b )  b   a 
Otras estructuras algebraicas
Dado A   , si se definen 2 leyes de composición interna en el conjunto se dice que la

terna ( A,,) tiene estructura de Anillo si se cumple:
1. ( A,) tiene estructura de grupo abeliano.
15
2023
2.  es asociativa.
3.  doblemente distributiva respecto de  .
Si se verifican otras propiedades de la operación  el anillo para a tener otros atributos.
Dado A   , si se definen 2 leyes de composición interna en el conjunto se dice que la

terna ( A,,) tiene estructura de Cuerpo si se cumple:
1. ( A,) tiene estructura de grupo abeliano.
2. ( A  {e},) tiene estructura de grupo abeliano, donde e es el elemento neutro respecto

de  .
3.  doblemente distributiva respecto de  .
Al igual que en el caso de la estructura de grupo, pueden demostrarse propiedades de los

anillos y los cuerpos.
16

Leyes de Composición - Complemento Teórico

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Leyes de Composición - Complemento Teórico

Cargado por

Copyright:

Formatos disponibles

INSTITUTO NACIONAL SUPERIOR DEL PROFESORADO TÉCNICO

Complemento teórico (resumen)

El concepto de operación o ley de composición es una abstración y generalización de

Dados tres conjuntos A , B y C se define operación o ley de composición

f : A  B  C tal que (a, b)  f (a, b) donde a  A , b  B y c  C

A cada par de elementos de A  B le corresponde un único elemento de C que, en

 : A  B  C tal que (a, b)  ab

Es costumbre escribir ab  c donde c  C con a  A y b  B

Ley de composición interna

 es una ley de composición interna en A  : A  A  A

Esto significa que: a  A  b  A  a  b A

La adición y la multiplicación usuales son leyes de composición internas en los Naturales,

Otros ejemplos de leyes de composición internas son la suma, resta y multiplicación de

Una operación puede definirse mediante una tabla de doble entrada:

Sea el par ( A, ) con A  {x  Z / x  2k  1 , k  Z } y  la suma usual en Z .

Probar que  NO es una ley de composición interna en A (conjunto de los enteros

Entonces se eligen 2 elementos genéricos de A (enteros impares)

x  2k´1 , k´ Z (1)

y  2k´´1 , k´ Z (2)

(así se generan los enteros impares)

Sumando miembro a miembro (1) y (2),

Aplicando las propiedades conmutativa y asociativa conocidas en Z , resulta:

Sacando “factor común” 2 (distributiva del producto respecto de la suma en Z )

Efectivamente, # es una ley de composición interna en B (cumple la ley de cierre)

Si la misma operación hubiese estado definida en el conjunto W  {1,2,3,4,6,12} cumpliría

Una ley de composición externa definida sobre un conjunto V con operadores en un

Si se le asigna un símbolo a la ley externa, puede indicarse así:

Un ejemplo de ley de composición externa es el producto de un escalar (número

Otros ejemplos de leyes de composición externas son el producto de un número

La adición y la multiplicación usuales son asociativas en naturales, enteros, racionales,

La sustracción no es asociativa en Z (probarlo con un contraejemplo)

La división no es asociativa en Q (probarlo con un contraejemplo). Debe considerarse,

La potenciación no es asociativa en N (probarlo con un contraejemplo)

La unión y la intersección definidas en P ( A) son asociativas.

La conjunción y la disyunción son operaciones lógicas asociativas en el conjunto de las

La adición y la multiplicación usuales son asociativas en naturales, enteros, racionales y

La sustracción no es conmutativa en Z (probarlo con un contraejemplo)

La adición y la multiplicación usuales son asociativas en naturales, enteros, racionales,

La sustracción no es asociativa en Z (probarlo con un contraejemplo)

La división no es asociativa en Q (probarlo con un contraejemplo). Debe considerarse,

La potenciación no es asociativa en N (probarlo con un contraejemplo)

La unión y la intersección definidas en P ( A) son asociativas.

La conjunción y la disyunción son operaciones lógicas asociativas en el conjunto de las

La adición y la multiplicación usuales son asociativas en naturales, enteros, racionales y

La sustracción no es conmutativa en Z (probarlo con un contraejemplo)

Se dice que  es distributiva respecto de  si y sólo si a  (b  c)  (a  b)  (a  c) y

Análogamente puede definirse la distributividad de  respecto de 

El producto es distributivo respecto de la suma en Naturales, Enteros, Racionales y Reales.

Elementos notables o distinguidos

Elemento neutro (o identidad)

Si sólo se cumple que a  e  a se dice que e  A es el elemento neutro a derecha respecto

El elemento neutro, si existe, es único.

En el conjunto de los números naturales no existe neutro para la adición. El 1 es el

En enteros, 0 es el elemento neutro de la adición y el 1 en la multiplicación. Ídem en

Analizar la existencia de neutro para la sustracción, división y potenciación en Naturales,

El conjunto vacío es el elemento neutro en P ( A) ,  

El conjunto universal es el elemento neutro en P ( A) ,  

Elemento inverso (o simétrico)

Sea A   y : A  A  A con elemento neutro e  A .

Si sólo se cumple que a  a  e se dice que a  A es el elemento inverso a derecha

El 0 es un elemento idempotente en el conjunto de enteros con la adición usual.

El 1 es un elemento idempotente en el conjunto de los enteros con la multiplicación usual.