Estructuras Algebraicas

Una operacin binaria es una regla que asigna a dos elementos de un conjunto
un elemento que puede o no ser del mismo.
Operador binario.- Es una relacin o ley definida de un conjunto S no vacio
aplicada a una funcin. La imagen del par ordenado (a, b) bajo la operacin *
se representa con a*b.
Ejemplo:
1.- Sea el conjunto S = {a, b, c} y el operador binario en S como se indica en
la tabla
a b c
a a b c
b b b a
c
Obtener las siguientes operaciones:

c b c

a) a a
b) a c
c) c b
Solucin

a) a a = a
b) a c = c
c) c b = b
2.- Sea A = {(x, y) x, y } y sea el operador binario
de correspondencia:

Obtener la siguiente operacin

Solucin:

de acuerdo a la regla

Aqu observamos que no se cumpli la asociatividad.

Uno o varios conjuntos en el que se define una o varias operaciones binarias se
llama sistema algebraico.
Se llama estructura algebraica al sistema algebraico en donde se cumplen
ciertas reglas especificas de las operaciones.
Ejemplo: Sea A = {(x, y) x, y } y sea el operador binario

de acuerdo a la

regla de correspondencia:

Determinar si (A,

) tiene estructura grupo.

Nota: Observaran que un operador puede tener varias reglas de

correspondencia la cual cada problema o ejercicio indicara que regla o funcin
se har. Para determinar si tiene estructura grupo o cualquier estructura deben
consultar la tabla que les envi de estructuras algebraicas para conocer que
propiedades se deben cumplir para que sea una estructura.
Solucin:
Una estructura grupo debe cumplir con las propiedades: cerradura,
asociativa, idntico e inverso.
Cerradura:
si cumple
Nota: Por definicin la propiedad de cerradura siempre se cumple ya que al
definirla da como resultado un elemento que pertenece a nuestro conjunto.
Asociativa:

si cumple
Idntico:

Idntico por la derecha:

Igualando los trminos obtenemos:

Despejando

Por lo tanto el idntico por la derecha es

Se hace lo mismo para el idntico por la izquierda:

Igualando los trminos obtenemos:

Despejando

Por lo tanto el idntico por la izquierda es

Por lo tanto el idntico es
Inverso:

A si cumple

Inverso por la derecha:

Igualando los trminos obtenemos:

Despejando

Por lo tanto el inverso por la derecha es

Se hace lo mismo para el idntico por la izquierda:

Igualando los trminos obtenemos:

Despejando

Por lo tanto el inverso por la izquierda es

A si cumple

Por lo tanto el inverso es

(A,

2.- Determinar si (A,

, +) es anillo donde A = {a, b} y las operaciones * y +

estn definidas por:

a b
a a b
b b a
Solucin:

) es estructura grupo.

+ a b
a a a
b a b

Cerradura ( ): si cumple por definicin ya que se observa en las tablas que

al realizar cualquier operacin da como resultado un elemento de A.
Asociativa ( ): a
a

(b a) = (a b)

b=b

(b a) = (a b)

b = b si cumple
idntico: a

= a, b

=b

por la derecha
a

=a

=b

consultamos la tabla
a b
a a b
b b a
Por lo tanto el

a b
a a b
b b a
=a

por la izquierda
a=a

b =b

consultamos la tabla
a b

a b

a a b

a a b

b b a

b b a

Por lo tanto el

=a

Por lo tanto
Nota: El idntico es el mismo para cualquier elemento del conjunto esto es
para cualquier operador binario sobre un conjunto dado.

Inverso ( ): a

,b

por la derecha
a

=a

=a

consultamos la tabla
a b

a b

a a b

a a b

b b a

b b a

Por lo tanto el

=a

=b

por la izquierda
a=a

b =a

consultamos la tabla
a b

a b

a a b

a a b

b b a

b b a

Por lo tanto el

=a

Por lo tanto

=b
si cumple

Nota: El inverso para cualquier elemento del conjunto nico, es decir es

diferente al de los dems esto es para cualquier operador binario sobre un
conjunto dado.
Conmutativo ( ): a b = b
a b=b
b = b si cumple
Cerradura (+): si cumple por definicin ya que se observa en las tablas que
al realizar cualquier operacin da como resultado un elemento de A.
Asociativa (+): a + (b + a) = (a + b) + a
a + (b + a) = (a + b) + a
a+a=a+a

a = a si cumple

(A,

, +) es estructura

anillo.
Nota: Con que una de las propiedades no se cumpla entonces ya no es
estructura, en ocasiones dependiendo lo que indique el ejercicio se continua ya
que se te solicitan que indique cuales propiedades no se cumplen o tan solo
indicar si es estructura o no en este caso se termina el ejercicio cuando una
propiedad no se cumple.