ESTRUCTURAS ALGEBRAICAS

GRUPOS - ANILLOS - CUERPOS

1. Estructura Algebraica

Definicin 1: Llamamos estructura algebraica al ente matemtico que se forma a

expensas de un conjunto no vaco y de una o varias leyes de composicin ( internas
o externas).Segn sean la propiedades que cumplan dichas leyes de composicin se
obtendrn las distintas estructuras algebraicas.

2. Leyes de Composicin
Hay dos tipos de leyes de composicin: interna y externa
2.1. Ley de composicin interna.

Definicin 2: Sea A un conjunto no vaco , toda funcin de A x A en A es una Ley

de Composicin Interna1 ( tambin llamada ley de clausura o cerrada)

Es decir : A x A A es una ley interna en A

porque si operamos con dos elementos de A (A x A) el resultado tambin pertenece a
A.
Si a , b A por L.c.i.2 a b A
Ejemplos:
1. Sea el conjunto de los Naturales y sea +: N x N N es una ley de composicin interna
ya que sumamos dos nmeros naturales y lo que obtenemos es otro nmero natural
2. Sea el conjunto de los Nmeros Irracionales con la suma no es una ley de composicin
interna ya que no siempre que sumamos irracionales obtenemos irracionales. Ejemplo:
2 2 0 y 0 no es irracional.

2.1.1.Propiedades que puede cumplir una ley de composicin interna

2.1.1.1 Asociatividad a, b, c A

a (b c) = (ab)c

Ejemplos:
(N, +), (R,+)
2.1.1.2. Conmutatividad a,b A

1
2

ab = ba

La Ley de composicin interna tambin se la llama cerrada o de clausura.

L.c.i. es la abreviatura de Ley de composicin interna.
Pgina 1 de 14

Ejemplos:
(N, ), (R,+)
2.1.1.3. Existencia de Elemento neutro e tal que a A a e = ea = a
Ejemplos:
En el conjunto de los Reales con la suma ( R,+) el elemento neutro es e = 0 , ( Q,.) el
elemento neutro es e = 1
2.1.1.4. Existencia del Elemento simtrico u opuesto Si (A,) tiene neutro al que llamamos
e entonces a A a A tal que a a = a a = e
Ejemplos:
1 ( Q,+) podemos decir que todo nmero racional a con la operacin adicin tiene
opuesto o inverso aditivo3 a= -a
1
2 ( R-{0},) todo nmero real distinto de cero a tiene con el producto un inverso a =
a
inverso
2.1.1.5. Distributividad ( de a izquierda ) Sean , operaciones definidas en A, decimos
que es distributiva respecto si y solo si
a, b, c A a (bc) = (a b) (a c)
Ejemplo :
Sea (Q ,+, ) ; es distributiva respecto de + a derecha y a izquierda
2.2. Ley de Composicin Externa

Definicin 3: Se dice que una Ley de Composicin Externa en un conjunto A no

vaco con dominio de operadores K es una aplicacin definida del tipo : K x A A

Es decir, que si operamos a travs de elementos de un conjunto K con otros de A nos

dan como resultado elementos de A
Ejemplo:
por L.c.e.4
R R2 R2
Sea K = R
, A = R2
R (x,y) R2 entonces (x,y) ( x, y) R2
El producto de un nmero real por un par ordenado de reales es una Ley de composicin
externa
3. Estructura de Grupo

Definicin 4: Dados un conjunto G y una L.c.i. en G, decimos que (G; ) es

un grupo o bien tiene estructura de grupo si cumple las propiedades:
a. Asociativa
b. Elemento Neutro

3
4

a = opuesto
L.c.e. es la abreviatura de Ley de composicin externa
Pgina 2 de 14

c. Elemento Opuesto o inverso5

Si adems la operacin es conmutativa el Grupo ser denominado Abeliano o
Conmutativo6
Ejemplos :
1. ( Z,+ ) es un grupo abeliano
2. (Q , +) es un grupo abeliano
3. (N , + ) no es un grupo si bien + es asociativa no hay elemento neutro en N y
adema no hay opuestos en N
4. (Q , . ) no es grupo ya que existe 0 que pertenece a Q y que no tiene inverso
5. ( R {0} , . ) es un grupo conmutativo
6. Sea A un conjunto no vaco y sea F(A) = { fi / fi :A ->A y biyectivas}
(F(A),o) es un grupo
1.o es ley de composicin interna ; la composicin de funciones biyectivas es
biyectiva
2. La composicin de funciones es asociativa
3.La funcin identidad iA es neutro a izquierda i derecha
4.Si f es biyectiva existe una funcin f-1 biyectiva tal que f-1of= f o f-1= iA
5.No es un grupo conmutativo. ya que la composicin de funciones no es
conmutativa.
Hemos hablado del elemento neutro y de su existencia, probaremos ahora su unicidad
3.1.Teorema : Dado un conjunto G no vaco y una ley de composicin interna * si existe
el neutro e en G este es nico

Demostracin: (por mtodo del absurdo)

Supongamos que existan dos neutros e y e en G por lo tanto

a* e = e * a = a y adems a *e = e * a =a entonces
e = 1 e * e = 2 e * e =3 e
1 por ser e neutro
2 por def. de neutro
3 por ser e neutro

3.1.1 Propiedades sea (G,*) un grupo

3.1.1.1 (a) = a
(a)= (a)*e = (a)*(a*a) = ((a)* a) * a = e * a = a
3.1.1.2 Existencia y unicidad de la solucin de las siguientes ecuaciones
1)a* x = b
2)x* a = b
5

Tambin llamado Elemento Simtrico

Cuando la operacin es de tipo aditiva el grupo se lo denomina abeliano, cuando la operacin es de tipo
multiplicativa el grupo de lo denomina conmutativo.
6

Pgina 3 de 14

Existencia

Demostracin:

a *(a * x )=a * b
( a * a ) * x = a * b
e * x = a * b Idem para existencia de 2.
Unicidad

Demostracin:

Supongamos dos soluciones x1 y x2

a* x1= b a* x2 = b si los segundos miembros son iguales los primeros tambin
a* x1 = a* x2 entonces existe el inverso de a por ser grupo
a * (a* x 1)= a * (a *x2) asociando
(a * a) *x1 = ( a * a* ) x2 por neutro
x1= x2
3.1.1.3 ( a * b ) = b*a
(a*b) * ( a* b ) = e
a * (a*b) * ( a* b ) = a*e

asociando

(a * a)*b * ( a* b ) = a*e neutro

e * b * ( a* b ) = a*e
b * ( a* b ) = e
b*( b * ( a* b ) )= (b*a)*e asociando y neutro
(b*b )* ( a* b ) = b*a neutro
e* ( a* b ) = b*a
( a* b ) = b*a
4.Sub Estructuras de la Esctructura de Grupo

Definicin 5: Sea G un conjunto no vaco y en el definida una ley de composicin

interna diremos que (G ) es un grupoide

Ejemplo:
(N,* ) tal que definimos * como la operacin 7 a*b= 2 ( a+b) esta operacin no es
asociativa solo es interna
(3*2)* ( 5 ) = 2(3+5) *5 = 16* 5 = 2( 16 +5) = 42
3*(2*5)=3* (2(2+5))= 3* 14= 2(3+14) = 34

(1)
(2)

(1)=(2)
7

+ es una operacin que esta definida como la funcin de NxN en N

Pgina 4 de 14

Definicin 6: Sea G un conjunto no vaco y en el definida una ley de composicin

interna que adems cumple la propiedad de ser asociativa diremos que (G ) es
un semigrupo

Ejemplo:
(N,+) es un semigrupo ya que si sumamos dos nmeros naturales obtenemos otro nmero
natural y adems la adicin es asociativa

Definicin 7: Sea G un conjunto no vaco y en el definida una ley de composicin

interna que adems cumple la propiedad de ser asociativa y tener elemento
neutro para todo elemento de G diremos que (G ) es un monoide

Ejemplo:

N 0, es un monoide
5. Estructura de Subgrupo

Definicin 8:Sea ( G ; ) un grupo y sea H un subconjunto no vacio de G, decimos

que (H; ) es subgrupo de G si y solo si (H; ) cumple con las condiciones de grupo.

Es decir : es L.c.i. en H
es asociativa en H
Existe elementro neutro en H
Cada elemento de H tiene inverso en H
Ejemplos:
1-( Z;+) es subgrupo de (Q;+)
2-El conjunto de los enteros pares es un subgrupo de (Z;+)
3- H= {(x,2x )/ x R} (H;+) es un subgrupo del grupo (R2;+)
Ejercicio:
Sea A={ 1, 2, 3, 4 } en este conjunto se define la siguiente L.c.i. a travs de la tabla:

1
2
3
4

1
1
2
3
4

2
2
1
4
3

3
3
4
1
2

4
4
3
2
1

(A; ) es un grupo abeliano pues:

1- es L.c.i en A ( siempre que opero dos elentos de A obtengo otro elemento de A
2- Es asociativa ( hay que probarlo para todos los casos,solo lo haremos para
algunos)
(12) 3=23=4
y
1(23) =14=4
(24) 1= 31=3
y
2(41) =2 4=3
..
Contine el alumno
Pgina 5 de 14

3- el elemento 1 es el neutro en el conjunto con

4- Opuestos
De 1 el opuesto es 1
De 2 el opuesto es 2
De 3 el opuesto es 3
De 4 el opuesto es 4
Sea ahora H={ 1,2 } ; (H; ) es subgrupo de A pero el subconjunto de A formado por
{1,2,3} no es subgrupo de A porque 23=4 y 4 A
5.1Condicin suficiente8 para la existencia de un subgrupo de un Grupo A9
Teorema :
Sea (G; ) un grupo y sea H un subconjunto no vacio de G, tal que:
a H b H ; ab H entonces (H; ) es un subgrupo de G
bes el opuesto de b

Hiptesis: (G; ) un grupo

H G H
a H b H ; ab H
Tesis: (H; ) subgrupo de G

Demostracin:

Hay que demostrar que cumple con las axiomas de grupo

1 Asociatividad en H se cumple en H porque si se cumple en todo G tambin se cumple
en H por ser H G
2 Existencia de neutro en H .Como H entonces podemos decir que existe un
elemento x H por hiptesis xx H pero si x es el opuesto de x entonces
xx=e e H
3 Todo elemento de H tiene opuesto . Como H entonces podemos decir que
existe un elemento x H adems ahora sabemos por 2 que e H por lo tanto si
e H x H por hiptesis ex H luego entonces x H
4 L.c.i. a H b H , como sabemos ahora si b H entonces por 3 b H
Por hiptesis entonces a(b) H ,pero (b)= b entonces ab H
Esta condicin suficiente, tambin lo es necesaria. Es muy simple probarlo ya qye es
obvia.
5.2. Operaciones con Subgrupos.
5.2.1 La interseccin de subgrupos de un grupo G es un subgrupo de G
Sea (G;) un grupo y sean H1 H2 dos subgrupos de G Vamos a demostrar que H1 H2
es un subgrupo de G
1 e ( neutro de G ) pertenece tanto a H1 como a H2 luego e H1 H2
2 S i H1 H2 son ambos subgrupo de G ;ambos estan incluidos en G por propiedad de la
inclusin H1 H2 G

Esta condicin suficiente es obviamente necesaria

Si bien aqu la damos como una condicin suficiente ,esta condicin es una condicin necesaria y
suficiente
9

Pgina 6 de 14

3 ab H 1 H 2 entonces a b H 1 a b H 2 por lo tanto ab H 1 ab H 2

luego ab H 1 H 2
5.2.2. La unin de subgrupos G no siempre es un subgrupo de G
Basta con dar el ejemplo para el conjunto de vectores con origen en el origen de
coordenadas y la suma usual de vectores.
H1

x+y

H2

x+y H 1 H 2
6. Homomorfismos10 entre Grupos

Definicin 9: Sean (G, ) y (F , ) dos grupos Sea llama homomorfismo

( simplemente morfismo)del grupo G en el grupo F a toda funcin f : G -> F tal que:
f(a b) = f(a) f ( b) (Conserva la operacin)

Ejemplo:
Sea f: (R,+) (R+ , . ) f (x) = 2x

x, y R : f ( x y ) 2 x y 2 x .2 y f ( x). f ( y ) es un homomorfismo de(R,+) (R+ , . )

Definicin 10: Si f es un homomorfismo entre grupos y f es inyectiva diremos que el

homomorfismo es un monomorfismo

Ejemplo:
x
Sea f: (R3,+) (R2x2 , +) tal que f (x1,x2,x3)= 1
x2
10

x3

Tambin llamados simplemente morfismos

Pgina 7 de 14

Es un monomorfismo. Queda para el alumno probar que es un Homomorfismo.

Probaremos que es inyectivo
0 y1 0
x

x1 y1
( x1 , x 2 , x3 ) y1 y 2 y 3 R 3 / f ( x1 , x 2 , x3 ) f y1 y 2 y 3 1
x
x
y
y
3
3
2
2
x 2 y 2 ; x3 y 3 ( x1 , x 2 , x3 ) y1 y 2 y 3 es inyectiva

Definicin 11: Si f es un homomorfismo entre grupos y f es sobreyectiva diremos que

el homomorfismo es un epimorfismo

Ejemplo:
Sean ( R2x2,+ ) en (R ,+ ) / f (

a b
c d

= a+b

es un morfismo que no es inyectivo y si es

sobreyectivo

Definicin 12: Si f es un homomorfismo entre grupos y f es biyectiva diremos que el

homomorfismo es un isomorfismo

Ejemplo:
Sean (R ,+ ) y ( R+ . ) tal que se define la funcin f (x) =ex es un monomorfismo
f(a + b) = e a+b =ea eb = f(a) . f(b)y es un isomorfismo adems

Nota: Si f es una aplicacin biyectiva entonces se dice que f es un isomorfismo entre G y

F o bien que G y F son isomorfos.

6.1.Propiedades de los Homomorfismos

6.1.1. Sean (G, ) y (F , ) dos grupos y sea f: G -> F un homomorfismo .Si e es el
neutro en G y e es el neutro en F entonces f(e) = e
f(x e ) = f( e x )= f(x)
f(x e )= f (x) f ( e )
f( e x )= f( e ) f( x) entonces f(e) es neutro a derecha e izquierda para f(x) y como el
neutro es nico entonces f(e) = e
6.1.2. Sean (G, ) y (F , ) dos grupos y sea f: G -> F un homomorfismo entonces
f( x-1 ) = f ( x)-1
x x-1= x-1 x = e
f(x x-1 ) = f(x) f ( x-1) = f ( e) = e
f(x-1 x ) = f ( x-1) f(x) = f ( e) = e
f ( x)-1

entonces el inverso de f ( x-1) es f(x) o bien f ( x-1) =

6.2. Ncleo de un Homomorfismo entre Grupos.

Pgina 8 de 14

Definicin 13: Sean (G, ) y (F , ) dos grupos y sea f : G -> F un homomorfismo

de G en F donde e y e son los neutros de los grupos G y F respectivamente
,llamamos ncleo del homomorfismo f y lo denominamos Nf al conjunto de todos los
elementos de G cuya imagen es e

En smbolos :
Nf= { x/ x

G f ( x ) e }

Nota: para saber si un elemento pertenece o no al Ncleo de f basta con corroborar si su

imagen es el neutro del grupo F
Ejemplo:
Sean los siguientes grupos : (R2x2;+) y ( R ; +) y adems sea la funcin f : R2x2 R un
a b
a c
homomorfismo tal que f
c d
a b

/ a c es decir pertenecen al ncleo de f matrices como

Nf =
c d

1 2 0

:
1 4 0

3 7 0
;
.etc.
2 7 0

6.2.1. Propiedades de los elementos del ncleo de un homomorfismo.

6.2.1.1 El Ncleo de un homomorfismo entre grupos G y F es un subgrupo del grupo G
Sean (G, ) y (F , ) dos grupos y sea f : G -> F el ( Nf; ) es un subgrupo de (G, )

Demostracin:

Nf es un subconjunto no vacio de G ya que e Nf ya que f(e) = e y adems es

subconjunto por definicin.
Hay que probar que x y N f x y-1 Nf

x y N f x entonces f(x) = e y f(y ) = e

-1

-1

[f(y)]-1 =(e )

-1

f(y

-1

)= e como f es

-1

morfismo f(x) f(y )= f( xy ) = e luego xy

6.2.1.2 El Nf =0 si y solo si f es monomorfismo

Demostracin:

) Nf=0 tenemos que demostrar que f es inyectiva por lo tanto x; y Gf ( x) f ( y )

entonces f(x)-f(y)=0 entonces f(x-y)=0 luego x-y es un elemento que pertenece al ncleo
de f por lo tanto x-y=0 luego x=y.

) f es un homomorfismo inyectivo .Supongamos que Nf existe otro elemento x tal que x

0
f(x)=0 y f(0)=0 entonces f(x)=f(0) por ser inyectiva x=0 absurdo habamos supuesto x 0

6.3. Imagen de un homomorfismo. entre grupos.

Pgina 9 de 14

Definicin 14: Sean (G, ) y (F , ) dos grupos y sea f : G -> F un homomorfismo

de G en F es la imagen de la funcin f que es la funcin que lo define.

En smbolos:
I(f) = { y F / x G / f(x)=y}
6.3.1 La imagen de de un homomorfismo entre grupos es siempre un subgrupo del
segundo grupo que constituye el homomorfismo.
Sean (G, ) y (F , ) dos grupos y sea f : G -> F el ( I(f); ) es un subgrupo de (F , )
Ejercicio :

Se pide:
a. Probar que f es homomorfismo de grupos.
b. Hallar Nf e Im f.
c. Clasificarlo.
1 Para verificar que f es homomorfismo, usaremos la definicin. Tambin por la definicin
calcularemos el ncleo y la imagen para, despus clasificar el homomorfismo.
2.- f es homomorfismo: debemos ver primero, que la aplicacin est bien definida. No lo
haremos porque est claro que as es: la imagen de cada elemento pertenece al conjunto
de llegada y cada elemento tiene una nica imagen. Posteriormente y usando la
definicin, se ve fcilmente que:
f ((a+bi)+(x+yi) ) = f( a+x)+(b+y)i)=a+x (1)
f((a+bi))+ f((x+yi))= a + x (2)
Con esto concluimos (1) = (2) que f es homomorfismo de grupos.
3. Calculamos N f: f(a+bi) = 0 entonces a=0 y b R es decir los elementos del
Nf =0+bi / b R }
4.- Calculamos Im f: por definicin,

Finalmente,

5.- Clasificacin del homomorfismo: puesto que se trata de un homomorfismo, su

clasificacin es sencilla, basta observar el ncleo y la imagen. Puesto que la imagen de f
coincide con el conjunto de llegada, se trata de un homomorfismo sobreyectivo es decir

Pgina 10 de 14

(epimorfismo), y como el ncleo de f es distinto del conjunto formado por el cero, el

homomorfismo no es inyectivo. Por tanto, f es un epimorfismo.
7. Anillos

Definicin 15: Sea un conjunto A con dos operaciones internas que llamaremos
primera operacin o suma (+) y segunda operacin o producto (.). Diremos que
(A;+; .) es un anillo si verifica:

1. (A; +) es un grupo abeliano.

2. (A; .) es un semigrupo.
3. Distributividad de la segunda operacin respecto de la primera operacin Para
cualesquiera a; b; c A se cumplen:
a.(b+c) = ab+ac
(a+b).c = ac+bc
Nota: Que se llame a la primera operacin suma no quiere decir que nos estemos
refiriendo a la suma como nosotros la conocemos es decir como suma de nmeros reales
por ejemplo, es simplemente una operacin aditiva dentro del conjunto que esta definido.
Idem para el producto se refiere a una operacin producto definida en el conjunto.
Cuando (A; .) es un monoide se dice que A es un anillo unitario o anillo con unidad que
representaremos por 1 (elemento neutro del producto).Que lo representemos con 1 no
quiere decir que este elemento sea el 1 real sino que lo representamos al neutro con este
smbolo.

Definicin 16: Sea (A;+ . ) un anillo decimos que dicho anillo es un anillo con unidad
o un anillo unitario si y solo si ( A ; .) si se cumple que esta operacin en el conjunto
es una operacin cerrada , asociativa y con elemento neutro.

Definicin 17: Sea (A;+ . ) un anillo decimos que dicho anillo es un anillo
conmutativo si y solo si ( A ; .) es un semigrupo conmutativo,es decir (A;.) es
l.c.i.,asociativa y conmutativa

Ejemplos :
Los conjunt.os numricos con las operaciones usuales de + y .
(Z;+; .), (Q;+;

. ), (R;+; .) y (C;+; . ) son anillos conmutativos unitarios ya que:

1) (Z;+; .)
( Z; +) es grupo abeliano
( Z ; . ) es semigrupo conmutativo y tiene unidad que es 1
2) Idem para ( Q ; + ;.) ; ( R ; + ;.); ( C; + ;.)
(N;+; .) no es un anillo por no ser (N;+) un grupo ,no tiene elemento neutro y tampoco
tienen opuestos.
Teorema Si (A; + ; .) es un anillo, donde el elemento neutro aditivo lo denominamos 0,
entonces para cualesquiera elementos a; b A se tiene:
1) 0.a = a.0 = 0
Pgina 11 de 14

2) a . (-b) = (-a) .b = -(a.b)

3) (-a) . (-b) = a.b

Definicin 18: Sea (A,+, . ) Un anillo decimos que A no tiene divisores de cero si y
solo si ab A : a 0 b 0 a.b 0

Definicin 19: Sea (A,+, . ) Un anillo decimos que A tiene divisores de cero si y
solo si existen elementos en A no nulos que operados con la segunda operacin
nos dan el elemento neutro de la primera

En smbolos :
(A, + , . ) Un anillo
ab A : a 0 b 0 a.b 0

decimos

que

tiene

divisores

de

cero

Ejemplo:
Un anillo con divisores de cero esta dado por (R2x2 ,+, .) ya que existen matrices reales
de dimensin 2 que no siendo nulas su producto nos da la matriz nula de orden 2.

1 1
y B =
A=
0 0

1 0

1 0

0 0

A .B =
0 0

Definicin 20:Todo anillo conmutativo con unidad y sin divisores de cero se

denomina dominio de integridad.

(Z,+,.) ; (R,+,.) son dominios de integridad.

(R2x2,+, . ) no es un dominio de integridad, tiene unidad pero no es conmutativo y tiene
divisores de cero.
(P,+,. ) es un anillo conmutativo sin divisores de cero pero no tiene unidad por lo tanto no
P es el conjunto de los enteros pares

es un dominio de integridad.
Los anillos Mn de matrices cuadradas de orden n no son dominios de integridad el
producto no es conmutativo y tiene divisores de ser
.
8.Estructura de Subanillo

Definicin 21:Sea (A; + ; .) un anillo ,y sea S un subconjunto no vaco de A,

decimos que (S ; + ; .) es un subanillo del Anillo (A;+ ; .) si y solo si

1. (S; +) es un grupo abeliano.

2. (S; .) es un semigrupo.
3. Distributividad de la segunda operacin respecto de la primera operacin Para
cualesquiera a; b; c S se cumplen:
a.(b+c) = ab+ac
(a+b).c = ac+bc

Pgina 12 de 14

Es decir : (S ; + ; .) cumple con las condiciones enunciadas para anillo

Ejemplo:
Sea (Z ;+; .) anillo y sea S = { 3k / k Z}
Es decir S es el conjunto de los enteros mltiplos de 3
(S ;+; .) es un subanillo del anillo(Z ;+;.)

Definicin 22: Sea (A; + ; .) un anillo ,y sea S un subconjunto no vaco de A

decimos que (S ; + ; .) es un subanillo del Anillo (A;+ ; .) si y solo si x,y
x - y S x.y S

Ejemplo:
Sea S = { 3k / k Z} probaremos que es un subanillo de (Z ;+; .) anillo

x, y S ; x = 3 k
; y = 3 k entonces x-y S ,es decir que x-y tiene que ser un
mltiplo de 3 esto es as ya que: si restamos miembro a miembro se obtiene x-y= 3k-3k
sacando factor comn x-y = 3(k-k) pero como k y k Z la diferencia tambin a Z
luego x-y es un mltiplo de 3
x, y S Si x = 3 k ; y = 3 k el producto debe S es decir x.y debe ser mltiplo de 3
esto es as ya que x. y = 3k.3k esto lo podemos expresar como x.y= 3(3k.k) el producto
de 3kkes un entero luego xy es un multiplo de 3.

Ejemplo:
Enteros gaussianos Z(i) = {a + ib / a; b Z } es un subanillo de Complejos con la suma
de complejos en forma binmica y el producto.
9. Homomorfismos de Anillos

Definicin 23: Dada f:A A dos anillos tal que (A;+; .) y (A;#;*), diremos que es
un homomorfismo de anillos si a; b A
f(a+b) = f(a) # f(b) y adems
f(a . b) = f(a) * f(b)

9.1 Propiedades
Si f es homomorfismo de anillos se tiene:
1) f(0A) = 0A
2) f(na) = nf(a), n Z.
10. Estructura de Cuerpo

Definicin 24:Sea K un conjunto, llamaremos a (K;+;. ) cuerpo si y solo si (K;+;. )

es un anillo conmutativo con unidad y cuyos elementos no nulos admiten inverso
para la segunda operacin.

Pgina 13 de 14

Los axiomas que caracterizan la estructura de cuerpo son :

1 (K,+) es un grupo abeliano
2 (K-{0}, . } es grupo conmutativo
3 La segunda operacin ( . ) es distributiva respecto de la primera (+)
Ejemplos:
1 (Z ,+ , . ) no es un cuerpo, puesto que los nicos elementos inversibles son 1 y -1.
2 Si son cuerpos (Q,+,.) ; (R,+,.) y (C,+,. )
10.1 .Propiedades de los Cuerpos
1 Los cuerpos no admiten divisores de cero.
2 En todo cuerpo es validad la ley cancelativa para la segunda operacin, para todo
elemento no nulo del cuerpo.
3 Todo cuerpo es un Dominio de Integridad (tener en cuenta que el recproco de esta
propiedad no es valida ya que tenemos dominios de integridad como (Z;+;.) que no son
cuerpos.
4 Todo Dominio de Integridad finito es un cuerpo

Pgina 14 de 14