INTRODUCCIN

Las estructuras algebraicas nacieron en la Matemtica moderna como una

herramienta propia de las matemticas puras. Pero muy pronto encontraron
aplicaciones fundamentales en otras ciencias, como la Fsica y la Qumica.
Recurrir a estructuras para estudiar determinados procesos, adems de que
conlleva siempre unas ciertas dosis de abstraccin, es una tcnica que no
concierne slo a las Matemticas. Es, hasta cierto punto, un proceso natural en los
mecanismos de reflexin. Cuando se estudian las posibles reacciones de un grupo
de personas ante determinados estmulos se est intentando establecer una
estructura de pautas de comportamiento que se pueda aplicar en condiciones
similares. En la medida en que las ciencias dejan de ser observacionales y se
aproximan ms a las llamadas Ciencias Bsicas, no slo se refina el nivel de
abstraccin, sino que el rigor con el que se definen las estructuras tambin
aumenta. El lgebra Clsica fue una ciencia que estudiaba los nmeros y las
relaciones que se establecan entre ellos por medio de diferentes operaciones. El
lgebra Abstracta estudia relaciones entre elementos cualesquiera por medio de
operaciones abstractas.
En Matemticas estn definidas muchas estructuras algebraicas, como
grupos, anillos ideales, mdulos, cuerpos o espacios vectoriales, por mencionar
algunas. La mayora de ellas, a diferencia de los grupos, tienen definida ms de
una operacin. Vamos a ver, por ejemplo, cmo es la estructura de anillo.
La estructura de grupo es una de las ms comunes en toda la matemtica
pues aparece en forma natural en muchas situaciones, donde se puede definir una
operacin sobre un conjunto. Por ser tan simple en su definicin, el concepto de
grupo se puede considerar como punto de partida para el estudio de otras
estructuras algebraicas ms complicadas, como son los cuerpos y los anillos
Este trabajo contiene el estudio de las estructuras de Grupos, Anillos y
Cuerpos el cual consiste en la exposicin de las estructuras, mediante el estudio de
sus propiedades ms resaltantes con ejemplos ilustrativos y ejercicios resueltos
DEFINICIONES BSICAS

Ley de composicininterna ( LCI ) .Sea A un conjunto no vaco .

Una LCI en A con valores en A es una funcin del producto cartesiano
A A en A

As pues una ley de composicin sobre el conjunto A asigna a cada par de

elementos

(a , b)

en

AA

un tercer elemento en A, el cual se denota con

algn smbolo especial, por ejemplo ab .

El smbolo que se utiliza para la operacin no reviste mucha importancia
Podemos usar otras notaciones como

ab , a b , a b .etc. siempre que no haya

confusin. El elemento ab sera llamado el producto de a con b.

Ejemplo ilustrativo 1: Sea A = {a, b, c} y definamos la ley (operacin)

en A

de la forma siguiente
(a , a) a
(a , b) a

(a , c ) a
(b , a) b

(b , b) b
(b , c ) b

(c , a) c
(c , b) c

(c , c) c
En realidad se ha podido definir la operacin en forma ms concisa,
haciendo

( x , y ) x( x , y) A A

O bien
xy=x x , y A

Ley cerrada en un conjunto.- Sea A ,

un conjunto donde se

define una LCI . Esta ley es cerrada en A, si se cumple que

( xy ) A x , y A

Ejemplo ilustrativo 2: Sea

+
Z

el conjunto de los nmeros enteros

positivos y consideremos la ley aditiva dada por

suma usual y

+ .
a , b Z

a+b

donde

+ , es la

Cada vez que se tomen dos enteros positivos siempre se

tendr que la suma es otro entero positivo. Por lo tanto

+
Z

es cerrado bajo la

suma usual.
Ejemplo ilustrativo 3: Si en el conjunto
consideramos la ley

Z (n meros ente ros)

a b ( divisi n usual de enteros ) . La operacin de divisin

no est definida para todos los enteros, esto quiere decir que el resultado no
siempre es otro entero. Por ejemplo, para 4 y 5 la divisin
consecuencia, el conjunto

5 4=1.25 Z . En

no es cerrado para la divisin usual

Ejercicio resuelto.- En el conjunto

define ( x , y ) x + y , siendo

E= { x R : x=a+b 3 a , b Z }

se

x, y E .

Determine si el conjunto E es cerrado para la ley interna definida por la

correspondencia dada.
Solucin.- Si

x, y

son dos elementos E, entonces

x=a1 +b 1 3 y=a2+ b2 3

x + y =( a1 +a 2) + ( b1 +b 2) 3 .

( a1 + a2 ) Z ( b 1+b2 ) Z . Si hacemos
escribir

Obvio

que

( a1 + a2 )=a 3 y ( b1 +b 2 )=b 3 , podemos

x+ y=a3 + b3 3 .

Esto prueba que la correspondencia

cerrada en el conjunto

( x , y ) x + y es una ley interna

E= { x R : x=a+b 3 a , b Z } .

Propiedad conmutativa.- En el conjunto A

se define una LCI

. Esta ley cumple la propiedad conmutativa, si

( x , y A ) : xy= yx
Ejemplo ilustrativo 4.- La operacin usual de la adicin definida en el
conjunto

N de los nmeros naturales es una ley de composicin interna

conmutativa, puesto que,

( a , b N ) ( a+b=b+ a ) .

Esto quiere decir que, al

sumar dos enteros no importa el orden en que ellos se coloquen, el resultado ser
el mismo.
En cambio, la operacin de sustraccin en

no es conmutativa. Puesto

que 127=5 pero 712=5 . Difieren en el signo

Ejercicio Resuelto.- Sea B={ a , b , c }

y sobre el se define una ley interna,

dada por la tabla

a b

b c

c a

c a

Diagonal

Determina si es conmutativa
Solucin.- En la tabla se observa que:

( ab=ba=b ) , ( ac=ca=c ) ,

( bc=cb=a ) . Esto nos indica que

toda pareja de elementos diferentes del conjunto B tiene el mismo valor al

permutarlos. Esto tambin se puede concluir de la tabla al observar que los valores
equidistantes de la diagonal son iguales. En consecuencia, la ley es conmutativa

Propiedad asociativa.- En el conjunto A

se define una LCI

. Esta ley cumple la propiedad asociativa, si

( x , y , z A ) : x( yz ) =( xy )z

Ejercicio ilustrativo 5.- En el conjunto

multiplicacin.

Esta

operacin

es

una

se define la operacin usual de

LCI

asociativa,

puesto

que,

Si a , b y c son tres enteros culesquiera a . ( b . c ) =a . b . c=( a . b ) . c

Pero, si la operacin definida en

es la divisin de costumbre, entonces

no es asociativa. Ya que 24 ( 4 2 ) (24 6 ) 2 24 2 4 2 12 2

N ( n merosnaturales )

Ejercicio resuelto.- Dado el conjunto

la LCI definida por

Solucin.- Sean

i)

xy=x +

y
es asociativa
2 . Determinar si la ley

x, y ,z N .

( 2z )

x( yz ) =x y+

z
y+ )
(
2
x+
2

x+

( 2y + 4z )

( 2y )+ 4z

x+

ii)

provisto de

( 2y )z

( xy )z = x +

( 2y )+ 2z

x+

De i) y ii) se concluye que la ley no es asociativa

Propiedad de identidad.- En el conjunto A

se define una LCI

. Esta ley cumple la propiedad identidad, si

( e A ) ( x A ) : xe=ex=x

Ejemplo ilustrativo 6.- Sea el conjunto

H= { , A , B , C } ,

el conjunto vac o y A , B y C conjuntos n o vac os .

provisto de la operacin

en donde

Veamos si el conjunto

(unin) es una LCI que posee elemento

identidad o elemento neutro.

La

definicin

de

unin

dice

que

( A , B U ) : A B={ x U : x A x B } . Dicho en palabras, la unin de

dos conjuntos es otro conjunto, por lo tanto, la unin constituye una LCI en H .
Asimismo, tomando como base las definiciones de unin y de conjunto
vaco, podemos afirmar que

( X H ) : X = X=X .
En consecuencia el elemento identidad o neutro de

es el conjunto

Ejercicio resuelto.- En el conjunto

( x , y ) x + y siendo

define

E= { x R : x=a+b 3 a , b Z }

se

x , y E . Determine si el conjunto E tiene

elemento neutro respecto a la operacin definida

Solucin.- Sean e=e 1+ e 2 3 y x=a+b 3 dos elementos de E. Operando
con

por la derecha

Si x+ e=x a+b 3+ e1 +e 2 3=a+b 3

e1 +e 2 3=( a+b 3 ) ( a+ b 3 )

e1 +e 2 3=0

e1=0 y e 2=0

Por un procedimiento similar, encontramos que

opera con

por la izquierda

con respecto a la ley

e 1=0 y e2=0

cuando se

( e+ x=x ) . De manera que el elemento neutro

(x, y)x+ y

definida en E es:

e=0+ 0 3

Propiedad de inverso o simtrico.- En el conjunto A

una LCI . Esta ley cumple la propiedad inverso simtrico, si

( x A ) ( x , A ) :( x + x , =x , + x)=0

se define

Ejemplo ilustrativo 7.- En el conjunto

la ley * definida por
efecto, Sea

Q ( n meros racionales ) dotado de

xy=x + y ( sumausual ) , todo elemento tiene inverso. En

x el ele mento inverso de x

x+ x =0 y x + x=0

x , =x y x ,=x
De esto se concluye que el inverso aditivo o simtrico de cada elemento de
Q , distinto de cero, es su opuesto y el inverso aditivo de 0 es el cero.
En el conjunto

(nmeros naturales) el 0 es el nico elemento

invertible respecto a la operacin de adicin

y respecto a la operacin de

multiplicacin slo tiene inverso 1, mientras tanto en

(nmeros reales), todo

nmero x tiene inverso aditivo y slo el 0 no tiene inverso multiplicativo

Propiedad cancelativa.- En el conjunto A

se define una LCI

. Esta ley cumple la propiedad cancelativa, si

( x , y , z A ) : yx=zx y=z
O bien

Ejemplo ilustrativo.- En

N ,+

( N , )

se cumple la propiedad

cancelativa. En efecto
a)

a+b=c +b a=b b+ a=b+c a=c a , b , c N

b)

a b=a c a=c b a=b c a=c a , b , c N

Propiedad distributiva. En el conjunto A se definen dos leyes de

composicin interna y . Se dice:
1.

es distributiva por la izquierda respecto a si

( b c )=a b a c

2.

a,b,c A

distributiva por la derecha respecto a

es distributiva respecto a

si

(b

a,b,c A

c a = b ac a
3.

si es distributiva por ambos

lados respecto a
Ejemplo. En N , conjunto de los nmeros naturales, la multiplicacin
usual es distributiva respecto a la suma usual. Esto es:

a,b,c

a ( b+c )=a b+ a c y ( b+c ) a=b a+c a .

tiene

Ley de composicin externa. Dados dos conjuntos A y K, diremos que

hemos definido en A una LCE
a A y K ( a) A

( ) , cuyo conjunto de operadores es K, si

.

Ejemplos: Si A es el conjunto de vectores libres del plano y K = N.

En particular una LCI es un caso de LCE en el cual los dos conjuntos A y
K son coincidentes
ESTRUCTURAS ALGEBRAICAS.

10

se

Definicin.-Sea un conjunto A, se dice que se le ha dado una

estructura algebraica, cuando se le ha provisto de una o varias de
composicin que gozan de unas determinadas propiedades

Podemos afirmar que las expresiones ( R , +) y ( R , ) son sistemas

algebraicos o estructuras algebraicas porque la suma y la multiplicacin de
nmeros reales son operaciones binarias (LCI) sobre dicho conjunto. Adems
como el conjunto de los nmeros enteros

es un subconjunto de los nmeros

reales R , entonces tambin podemos decir que los nmeros enteros

son

cerrados con respecto a la suma y la multiplicacin, es decir, que tambin ( Z ,

+) y ( Z , ) son sistemas algebraicos o estructuras algebraicas. Un objeto
matemtico constituido por un conjunto no vaco y algunas leyes de composicin
interna definida en l es una estructura algebraica. Entre las ms importantes son

Estructura

Ley interna

Asociativ

Semigrupo

Monoide

Monoide abelia.

Grupo

Grupo abeliano

11

Neutro

Inverso

Conmutativ

x
x

A ,+

( A , )

Semianillo

Monoide abeliano

Monoide

Anillo

Grupo abeliano

Semigrupo

Cuerpo

Grupo abeliano

Grupo abeliano

Estructura ( A ,+, )

GRUPO

Definicin. La estructura algebraica (G, ), donde G es un

conjunto no vaco y una ley interna, es llamada grupo, si y

slo si,
a.

es Asociativa.

es asociativa x, y, z G, x (y z) = (x y) z

b. (G, ) tiene un elemento identidad.

e

es el elemento identidad con respecto

a x G , x e e

x=x
c.

cada elemento de G es invertible.

Ejemplo ilustrativo 8.- Si el conjunto

se dota de la LCI, suma usual,

entonces la estructura algebraica ( Z ,+ es un grupo, puesto que, sabemos que

+ Es asociativa: x, y, z

Z , se cumple la igualdad x

+ z) = (x + y) + z
e=0 es el elementoidentidad o neutro para+ , x Z , x+ 0=x=0+ x

El inverso de cada nmero entero, no nulo, es su opuesto y el de 0 es 0

12

(y

Ejercicio Resuelto.- Sea el conjunto de nmeros enteros

dotado de la

xy=x + y 2 . Demostrar que Z , es un grupo.

LCI definida por

Solucin.- Veamos si

Z ,
si

Sean x , y , z Z ,

a) Es asociativa:
i)

x( yz ) =x( y + z2 )=x + ( y + z2 ) 2=
x+ y+ z4

ii)

( xy )z =( x+ y 2 )z= ( x + y 2 )+ z2=
x+ y+ z4

De i) y ii) resulta

x( yz)=( x y)z . Por lo tanto

es asociativa

b) Posee elemento identidad o neutro: supongamos que existe

eZ ,

x Z,
i)

tal que
xe=x x + e2=x e=xx +2 e=2

ii)

ex=x e+ x2=x e=xx +2 e=2

De i) y ii) concluimos que el elemento identidad o neutro en

Z respcto ala ley

es

e=2

c) Cada elemento tiene inverso: Sea

i)

x , el inverso ( o rtrico ) de x

que
xx =e=2 x + x , 2=2 x ,=4x
,

ii)

x ,x=e=2 x , + x2=2 x ,=4x

13

tal

De i) y ii) resulta que

simetrizable con respecto a la ley
a,b y c

De

xx =x x =4x . Por lo tanto

es

se concluye que la estructura algebraica

Z ,+ es un

grupo

GRUPO ABELIANO O CONMUTATIVO

Definicin.- La estructura algebraica (G, ), donde G es un

conjunto no vaco y una ley interna, es llamada grupo

abeliano o conmutativo, si y slo si,

1.

es Asociativa.

es asociativa si x, y, z G, x (y z) = (x y)
z

2. (G, ) tiene un elemento identidad.

e

es el elemento identidad con respecto

a x G , x e e

x=x
3.

cada elemento de G es invertible.

Ejemplo ilustrativo 9.- Sea ( Z ,+ , donde

grupo;

es la suma usual, un

como se vio en el ejemplo ilustrativo anterior, ser abeliano o

conmutativo?. Para responder esta pregunta slo basta con probar que la ley
+

es conmutativa en

entonces

a+b=b+ a

Z . Es evidente que si

a yb

son dos enteros,

para todos los valores particulares que tomen

14

a yb .

Con ello queda probado que la ley es conmutativa y por consiguiente ( Z ,+ es

un grupo abeliano
Ejercicio resuelto.- Probemos que el grupo
respecto a la ley definida por

Solucin.- Tomemos

Z ,
es abeliano con

xy=x + y 2 .

x , y Z . Veamos si cumple

xy= yx

xy=x + y 2= y + x2= yx x , y Z

Luego, ( Z ,+ tiene una estructura algebraica de grupo abeliano

Existen otras estructuras algebraicas que tambin estn provistas de una ley
de composicin interna cerrada para los elementos del conjunto, que tienen su
importancia en el estudio del lgebra abstracta, pero no tan ricas como la de
grupo y grupo abeliano. Ellas son
SEMIGRUPO

Definicin.- Una estructura

A ,

interna

15

es un semigrupo cuando la ley

Ejemplos.-

Las

estructuras

+ ,
Z condefinido por xy =x y

3
1
2( 13 )=21 =2 =2

+ ,+
+ ,
Z

Z y

no

mientras

que

son

es

semigrupos.

semigrupo.

En

Pero

efecto

( 21 )3=213=23 =8 .

Luego

2( 13 ) ( 21 )3
MONOIDE

Definicin.-Una estructura

A ,
es un monoide cuando

A ,

es un semigrupo y la ley interna

Ejemplos.- Las estructuras

+ { 0 } ,+

Z y ( Z , )

son monoides, puesto que la

suma usual y la multiplicacin usual son leyes internas cerradas en

+ { 0 } y en Z
Z

, respectivamente, donde el neutro para ley aditiva es el 0 y para

la ley multiplicativa es 1
SUBGRUPOS

Definicin.- Sea

G ,

un grupo. Un subconjunto H de G es un

subgrupo si dotado de la misma ley interna es un grupo; es decir,

16

H ,

Ejemplo ilustrativo.- Sea el grupo

Z ,+

P= { x Z /x es un nmero par }

definido por

y el subconjunto P de
P ,+

y como

satisface las

propiedades:
a) Asociativa: x , y , z P resulta que
b) Identidad:

x+ ( y+ z ) =x+ y + z= ( x + y ) + z
e=0

Si

entonces

x P , x+ e=x=e+ x x+ 0=x=0+ x .

Luego

e=0 es el elementoneutro

c)

Inversos: Para cada

,

x+ x =0 y x + x=0

xP

x P

existe un

de donde, ambos casos,

x =x .

tal que
Por lo tanto

el inverso de cada nmero par es su opuesto.

d) Conmutativa: x , y P se cumple que x+ y= y + x

Entonces

P ,+

es un grupo abeliano y en consecuencia

P ,+

es un

subgrupo abeliano

Teorema.- si

G ,

es un grupo y

un subgrupo si
a)

xy H , x , y H

b)

x, H , x H

17

H G , entonces

H ,

es

Ejercicio resuelto.- Sea el grupo

R ,+
. Si

Q R ,

probar

Q ,+
es un

subgrupo.

Solucin.- Sean

a c
,
b d

elementos cualesquiera de Q

a)

a c ad+ bc
De modoque + =
Q
b d
bd

b)

a
a
Para cada Q existe Q
b
b

Conclusin:

Q es subgrupo de R
HOMOMORFISMO

Entre estructuras algebraicas existen ciertas funciones que se distinguen por

respetar las operaciones de las estructuras. Este tipo de funciones se les conoce
como homomorfismos.

Definicin.- Sean

respectivanente.

Un

y dos operaciones binarias en

homomorfismo

de

G.

es

una

G y G'

funcin

Si el homomorfismo es biyectivo se llama isomorfismo. En este caso se dice

que

G.

son isomorfos. Desde el punto de vista algebraico, no distincin

entre dos sistemas isomorfos

18

Ejemplo.-

La

funcin

f : Z Q definida por f ( n )=n / 2

es

un

Z ,+

homomorfismo de Q ,+ .

En efecto

f ( n+ m) =

n+ m n m
= + =f ( n ) + f ( m)
2
2 2

ANILLO
Conocido el grupo el grupo, se puede ampliar esta estructura a una ms
completa, que pueda abarcar no solo nuevas propiedades para una operacin
binaria, sino que permita definir una nueva operacin dentro del conjunto al cual
se asocia se asocia la primera operacin. Este tipo de criterio se presenta en lo
anillos.

Definicin.- Sea A

un conjunto, provisto de dos leyes de

composicin interna, la primera aditiva

y la segunda multiplicativa

. La estructura ( A , , ) es un anillo si
1)

( a , ) es un grupo abeliano

2)

( A , ) es un semigrupo

La estructura

( A , , )

es un anillo conmutativo si

semigrupo conmutativo

19

( A , )

es un

Pero, si la ley

adems de asociativa y conmutativa, satisface la

propiedad cancelativa, entonces

( A , , ) es un anillo de integridad .

Por otra parte, el anillo de integridad

integridad, cuando la ley interna

( A , , )

es un dominio de

posee elemento identidad. Es decir,

( 1 A ) ( x A ) /x 1=1 x =x

donde

a,bZ ,

dotado de las leyes de adicin y multiplicacin usuales. Probar que

( E ,+, ) es

Ejercicio resuelto.- Sea

E= { x R x=a+b 5 }

un anillo conmutativo.
Solucin.- Veamos cual es ls estructura de
1) Cerradura: Sean

x=a+b 5 , y=c+ d 5 tal que

x+ y=( a+ c )+ ( b+d ) 5 . Como

cerrada en E
2) Asociativa: Para todo

( a+ c ) , ( b ,+d ) Z ,

x, y ,z E

resulta

x+ ( y+ z ) =( a+b 5 ) + [ ( c+ d 5 ) + ( e+ f 5 ) ]

( a+b 5 ) + [ ( c+ e ) + ( d + f ) 5 ]
( a+c +e ) + ( b+ d+ f ) 5
[ ( a+c ) +e ] + [ ( b+d ) + f ] 5
[ ( a+c ) +e ] + [ ( b+d ) 5+f 5 ]

20

la ley aditiva es

 [ ( a+c ) + ( b+ d ) 5 ] + ( e + f 5 )
[ ( a+b 5 ) + ( c+ d 5 ) ]+ ( e+ f ) 5

( x+ y )+ z
Esta demostracin nos permita concluir que la ley + es asociativa
3) Conmutativa: Para

x , y E vemos que

x+ y=( a+ b 5 )+ ( c +d 5 )
( a+c ) + ( b+ d ) 5

( c +a ) + ( d +b ) 5
( c +d 5 )+ ( a+b 5 )

y+x
Por lo tanto es conmutativa
4) Identidad: Supngase

e=( e1 +e 2 5 ) E

x E

tal que

x+ e=x ( a+ b 5 ) + ( e 1+ e2 5 )=a+b 5
( a+e 1 ) + ( b+ e2 ) 5=a+b 5

a+e 1=a ( b+e 2 )=b e 1=0 e 2=0

Por lo tanto, el elemento neutro por la derecha es

e=0+ 0 5 . Ahora

bien, el elemento neutro por la izquierda se encuentra de la ecuacin

, mediante un procedimiento similar al anterior, obtenindose
conclusin el elemento neutro es
5) Inverso: Si para cada

e+ x=x

e=0+ 0 5 . En

e=0+ 0 5 .
xE

existe

x' E

tal que se cumpla

x+ x ' =0 ( a+b 5 ) + ( a' +b ' 5 )=0+0 5

21

 ( a+ a' )+ ( b+b ' ) 5=0+0 5

a+a' =0 b+b ' =0 a' =a b' =b

Procediendo
'

similarmente

'

a =a b =b .

x ' + x=0

en

De

modo

se

obtiene

que

que,

x=a+ b 5 tiene como elemento invero x ' =ab 5 . Luego,

cada
E ,+

es un

grupo abeliano
Ahora veamos si ( e , ) es un semigrupo
6)

Cerradura:
donde

x y=( a+b 5 ) ( c +d 5 )=( a c +5 bd )+ ( ad +bc ) 5

de

( ac +5 bd ) , ( ad +cd ) Z . En consecuencia la ley multiplicativa

es cerrada en E
7) Asociativa:
x ( y z )=( a+ b 5 ) [ ( c+ d 5 ) ( e+ f 5 ) ]
( a+b 5 ) [ ( ce+5 df )+ ( cf +de ) 5 ]
[ a ( ce+ 5 df ) +5 b ( cf +de ) ]+ [ a ( cf +de ) +b ( ce +5 df ) ] 5
[ ace+5 adf +5 bcf + 5 bde ] + [ acf +ade +bce+5 bdf ] 5

( x y ) z=[ ( a+ b 5 ) ( c +d 5 ) ] ( e + f 5 )
[ ( ac+ 5 bd )+ ( bc+ad ) 5 ] ( e +f 5 )
[ ace+5 bde +5 bcf +5 adf ] + [ acf +5 bdf +bce +ade ] 5

La ley multiplicativa es asociativa. En consecuencia

semigrupo

22

( E , )

es un

8) Distributiva por la izquierda:

x ( y +z )=x y + x z

x , y ,z E

x ( y + z )=( a+ b 5 ) [ ( c+ d 5 ) + ( e +f 5 ) ]
[ ( ac+ 5 bd )+ ( ad+ bc ) 5 ] + [ ( ae+5 bf )+ ( af +be ) 5 ]
[ ac+ ae+5 bd +5 bf ] + [ ad +af +bc +be ] 5
x y + x z=( a+ b 5 )( c+ d 5 ) + ( a+ b 5 )( e+ f 5 )

( ac+ 5 bd )+ ( ad+ bc ) 5+ ( ae+ 5 bf )+ ( af +be ) 5

[ ac+ ae+5 bd +5 bf ] + [ ad +af +bc +be ] 5
Se cumple la distributiva por la izquierda y por un procedimiento anloga se
encuentra que tambin se cumple la distributiva por la derecha. Luego

( E ,+, )

es un anillo
9) Conmutativa: x , y E : x y= y x
x y=( a+b 5 )( c+ d 5 ) =( ac+ 5 bd )+ ( ad+ bc ) 5
( ca+5 db )+ ( da+cb ) 5

y x=( c+ d 5 ) ( a+b 5 ) =( ca+5 db )+ ( cb+da ) 5

( ca+5 db )+ ( da+cb ) 5

Se cumple la conmutativa y con ello hemos terminado el procedimiento que

nos

permite

concluir

que

( E ,+, ) es un anillo conmutativo

23

la

estructura

algebraica

10) Cancelativa: x , y , z E x 0, se tiene

x y=x z y x=z x x y x z=0 y xz x =0
yz=0 yz=0 ya que x 0

y=z
Luego. ( E ,+, ) es un anillo conmutativo
11) Identidad para la ley multiplicativa

( ) : x E , e E tal que

x e=e x=x e=1 pero comoe E e=1+0 5

Finalmente, (E ,+, )es un dominio de integridad
SUBANILLO

Definicin.- Sea ( A , , ) un anillo. Un subanillo de

( A , , )

es una parte de no vaca de A que tiene estructura de anillo para las

S A con A es
Resulta obvio que una parte no vaca de S A es un subanillo de
un subanillo de ( A , , ) si y slo si ( S , ) es un subgrupo ( A , )
mismas LCI. Dicho de otra forma: El subconjunto

( A , , )

a,b A

se verifica que

S={k a k Z a Z }

es un subanillo

si y slo si todo par de elementos

( ab ) A a b A
Ejercicio resuelto.- probar que
de ( Z ,+, )
Solucin.
'
Sean x , y Z x=k a y=k a
}a
e(xlft-ygrih)t
S
'
'
Luego x y=k ak a=( k k ) a=k

24

}a
xyZ
Por otra parte x y ( k a ) ( k ' a ) =( k a k ' ) a=k
CUERPO

Definicin.- La estructura ( K , , ) , con K es un cuerpo si y slo si

1)

( K , ) es un grupo abeliano

2)

( K { 0 } . ) es un grupo

3) El producto es distributivo respecto a la suma

Si adems, la ley es conmutativa se dice que el cuerpo es

Ejercicio resuelto.- Demuestre que es ( R ,+, ) es un cuerpo para las leyes

+ y usuales

Solucin.-

R ,+
es un grupo abeliano. En efecto

1) Asociativa : x+ ( y+ z ) =( x+ y ) + z se cumple x , y , z R
2) Conmutativa:

x+ y= y + x se cumple x , y R

3) El elemento 0 R es el neutro, puesto que, x+ 0=0+ x=x x R

4) El x R es el inverso aditivo (opuesto) de x R , ya que
a+ (x )=(x )+ x=0 x R

( R . ) Es un grupo
5) Asociativa:
6) Como

x ( y z )=( x y ) z se cumple x , y , z R
x R

multiplicativo
7) x R existe un

se cumple
x1 tal que

el inverso multiplicativo

25

1 x=x 1=1 e=1

neutro

x x1 =x1 x=1 x1 =1/x es

El producto es distributivo respecto a la suma?. Veamos

x ( y + z )=x y + x z= y x + z x=( y + x ) x
8) Distributiva:

cierta

x , y , z R . Se cumple la propiedad
9) Conmutativa: x y= y x se cumple x , y R
Luego, por la definicin de cuerpo concluimos que la

( R ,+, ) es un

cuerpo conmutativo
Apoyndonos en estas propiedades de los cuerpos, podemos afirmar que:
1. La ecuacin

a + x = b,

tiene siempre solucin es este conjunto. En

efecto:
sumando a ambos miembros a, se tiene: a + x + (-a) = b + (-a) y aplicando
propiedad conmutativa en el primer miembro: a + (-a) + x = b + (-a)

y por

propiedades asociativa y del opuesto: (a + (-a)) + x = 0 + x = x o sea x = b + (a) que convenimos en es x = b a que es la solucin para la ecuacin dada y
llamamos diferencia de b menos a.
2. La ecuacin a x = b cuando a 0, tiene siempre solucin en este
conjunto. En efecto: multiplicando ambos miembros por a-1, se tiene: a x a-1 = b
a-1 y aplicando propiedad conmutativa en el primer miembro: a a -1 x = b a -1 y
por propiedad asociativa y del inverso: (a a-1) x = 1 x = x o sea
x = b a-1 que convenimos en escribir x = b/a que es la solucin de la ecuacin
dada y llamamos cociente de b por a.

26

EJERCICIOS PROPUESTOS
Ley de composicin interna
1) Determinar si la ley dada por

x y=x y es cerrada en

N , Z ,Q y R
2) Decide si la ley

xy=logxy

es cerrada en

1
( R :

Reales

negativos)
Estudiar las propiedades de LCI dada por

ab=a+b 4 a , b Z

3) En N se definen las LCI y mediante xy=x x y =x+ y

4) En Q se define tal que ab=3 ab , verificar que es asociativa,
con neutro, conmutativa y todos sus elementos son inversibles
ab=2 a+b . Determina que
5) Dada la operacin binaria (LCI)
propiedades cumple
A= {1,2,3,4,6,12 }
6) En

ab=MCD { a ,b } .

se define la ley

Construye la tabla de esta ley y determina sus propiedades

7) Probar que x y =2 xy es distributiva respecto a x y=x+ 2 y
Estructura de grupo.
1) Determinar si la estructura algebraica

G ,

es un grupo y si lo es

determina si es abeliano en los siguientes ejercicios:

G= { x / x=2 k +1 k Z } y la ley dada por
i)

xy=xy

ii)

G= { x / x=3 k k Z } y la ley dada por

iii)

G= { x + y 2 /x Q y Q } y la ley dada por

27

xy=x + y
xy=xy

G= { x / x=2k k Z } y la ley definida por

xy= xy
2) En el conjunto C (nmeros complejos) se considera definida por
iv)

ab=a+bi.

R2 ,+

3) Sea el grupo

C ,
es un grupo abeliano

Probar que

H es un subgrupo de

H= {( x , y ) R 2 / y=x +1 } . Determine si

y sea
R

4) Demostrar que un subconjunto no vaco H de un grupo

subgrupo

de

G ,
,

si

slo

si

para

G ,

es un

cualesquiera

a,bH ,ab H
5) Demostrar que el nico elemento idempotente es el neutro
P= {2 n :n Z (enteros) }
6) Sea
dotado de la ley definida por
xy=x 2 + y 2 . Determina si

P ,

es un grupo conmutativo

Estructura de anillo.
1) En Z se define la adicin y la multiplicacin mediante las LCI

( x , y ) + ( x ' , y ' )=(x+ x' , y+ y ' )

( x , y ) . ( x ' , y ' ) =(x x' , 0)

Verificar que (Z ,+, .)

2) Si

A ,+

es un anillo y clasifcalo

es un grupo abeliano y se define

a . b=0 entonces ( A ,+, . ) es un anillo. Prubalo.

28

A2 A

tal que

P= {2 n : n Z (enteros) }

3) Sea

xy=x 2 + y 2

definida por

dotado de dos leyes internas una

y la otra por

x y=xy

Determina si

( P ,, ) es un anillo conmutativo
2
4) En Z se considera la suma habitual de pares ordenados y el producto

definido

( a , b ) . ( a' ,b ' )=(a a' , a b' + b a' ) .

por

Comprueba

que

(Z 2 ,+. .) es un anillo conmutativo con unidad

5) En

A= { 0,1,2,3 }

se define la adicin y la multiplicacin mediante las

tablas
+0 12 3

0
1
2
3

0
1
2
3

1
0
3
2

01 2 3

2
3
0
1

3
2
1
0

Comprobar que

0
1
2
3

0
0
0
0

0
1
0
1

0
2
0
2

0
3
0
3

( A ,+, . ) es un anillo no conmutativo y sin unidad

6) Demostrar que la interseccin de dos su anillos de

( A ,+, . )

es un

subanillo.
7) Demuestre que un grupo conmutativo denotado aditivamente se
convierte en anillo si se define el producto de dos elementos
cualesquiera por a b=0
8) El conjunto

J = {2 n+1 :n Z } { 0 } dotado de las operaciones usuales

de adicin y multiplicacin Qu tipo de anillo es?

Estructura de cuerpo.
1) Verificar que el conjunto Q de los nmeros racionales, provisto de la
adicin y la multiplicacin usuales, posee una estructura de cuerpo
conmutativo

29

Z 4Z

2) Decidir si

dotado de las operaciones de suma y

multiplicacin usuales de clases, es un cuerpo

Z ,+, )
3) Pruebe que ( p
, donde p es un nmero primo, es un cuerpo
4) Demostrar que un cuerpo no posee divisores de cero
5) Demostrar que todo dominio de integridad es un cuerpo
6) Demostrar que el anillo ( Z ,+, . ) no posee estructura de cuerpo
7) Probar que

( C ,+, ) , siendo

complejos, tiene estructura de cuerpo.

A= { a , b , c }
8) Sea
dotado de las

el conjunto de los nmeros

LCI

definidas,

respectivamente, mediante las siguientes tablas

a b c a b c
aabc aaaa

bbc cb abc
c cab cac b

Demostrar que

( A ,,) es un cuerpo

CONCLUSIN.
En este trabajo se hizo un estudio de las estructuras algebraicas y podemos
afirmar que consisten en uno o ms sistemas cerrados bajo una o ms operaciones,
que satisfacen algunos axiomas. Conocer las estructuras algebraicas es la base

30

fundamental para comprender la temtica que se desarrolla en esta materia, que al

principio puede parecer muy complicada, por lo abstracto de los contenidos que se
manejan pero todos estos conceptos se clarifican cuando se ejemplifica con el
conjunto de los nmeros reales (R).Las estructuras algebraicas aparecen en
diversos contextos, no slo con conjuntos numricos. Los nombres de las
estructuras algebraicas estn dados en funcin de las propiedades que cumplen las
operaciones con las que se dota el conjunto soporte.
En este trabajo se consideraron estructuras algebraicas provistas con una ley
de composicin interna, tales como semigrupos, monoides, grupos, grupos
abeliano, subgrupos y subgrupos abeliano y con dos leyes de composicin
internas entre estas se defini anillos, anillos conmutativos, anillos de integridad,
dominios de integridad, subanillo y cuerpos. Es decir, todo lo visto es importante,
es la base de la estructura algebraica y que es vital para entender los principios de
muchos conceptos matemticos

EVALUACIN

1)Consideremos

las

xy=x + y + xy

operaciones

xy=x 2 + y 2

sobre Q {1 }

31

sobre

a) Estudiar las estructuras

R ,

b)Resolver la ecuacin 3 ( xx )( 2x )=170

2)Sea

( G , )

un grupo y c un elemento cualquier de

G.

Demostrar que el

{ x G/x c =c x } es un subgrupo de G.
( G , )

3)En el grupo conmutativo

con elemento neutro

definimos la

operacin a b=e
a) Demostrar si ( G , , )

es un anillo conmutativo con divisores de cero

b)Si G= {e , a , b } hacer las tablas de las operaciones y

4)En

definimos la operacin

a b=a+bab , siendo

un elemento

fijo de Q .
a) Demostrar que la estructura

( Q , )

cumple con la propiedad asociativa y tiene

elemento neutro
b)Comprobar que ( Q , )
un grupo
c) Determinar

no es un grupo y determinar k para que

( Q , { k } ) sea

para que sea distributiva con respecto a la operacin

ab=a+b+
5)Dadas en Z las operaciones x y=x + y +1
Z , ,
a) Demostrar que
es un anillo

b)Averiguar si los conjuntos

xy=x + y + xy

{ 3 n+1 n Z } y { 3 n1 n Z } son subanillo

6)Probar que la estructura algebraica ( Q ,+ , ) es un cuerpo

7)Vamos a indicar este conjunto con Q (2) donde Q indica los nmeros racionales.
Suponemos como operaciones del conjunto la suma y producto de nmeros
Demostrar que el conjunto de los nmeros reales de la forma
coeficientes a, b racionales es un cuerpo reales

32

a + b2 con

BIBLIOGRAFA
Ayres, F. (1969). lgebra Moderna. Teora y problemas. Mxico: Serie Schaum,
MCGraw-Hill.
Morales, M. Estructuras Algebraicas. Elementos. Fascculo I. Barquisimeto:
Fascculos de Matemtica
Cotlar, M y Ratto de S, C. (1966) Introduccin al lgebra. IV Edicin. Buenos
Aires: Editorial Universitaria de Buenos Aires
Lentn, A y Rivaud, J. (1973). lgebra Moderna. Madrid. Coleccin Aguilar.
Rojo, A. (1972). lgebra I. Buenos Aires: El Ateneo
Vidal R, J y Snchez M, R (1976). Matemticas universitarias bsicas. Caracas:
Vegas S.R.L.
Vidal R, J y Snchez M, R (1979). Ejercicios de matemticas universitarias
bsicas. Caracas: Vegas S.R.L.
Saenz, J y otros. (2001) Fundamentos de la Matemtica. 2da edicin.
Barquisimeto. Hipotenusa

33