ANLISIS MATEMATICO III

CONCEPTOS PREVIOS
Definicin 1. Dado tres conjuntos A, B y C diferentes del vaco, se llama Ley de Composicin en
conjuntos A y B y el resultado en el C, y se denota por "", a una aplicacin:

los

(, ) =

Definicin 2. Dado , se dir que la ley de composicin "" es interna si:

==
Por lo tanto, una ley de composicin es una ley de composicin interna.

Definicin 3. Dados los conjuntos A y B, se dice que una aplicacin de la forma:

(, ) =
Es una ley de composicin externa por la derecha, y a los elementos del conjunto B se les llama
multiplicadores o escalares de la operacin.
Si la aplicacin es de la forma:

(, ) =
Se dir que es una ley de aplicacin externa por la izquierda.

Definicin 4. Se llama estructura algebraica a un conjunto A y unas operaciones , , , ...internas o externas- definidas en l, de forma que verifican ciertas propiedades. Se denota por (, , ,
, ) .

Con todos estos conceptos previos, podemos definir las siguientes estructuras algebraicas para poder
llegar, finalmente, al espacio vectorial.

ANLISIS MATEMATICO III

1. GRUPOS
Definicin 5. Dado un conjunto no vaco y una ley de composicin interna definida por " ", Se llama
grupo a una estructura (,) que verifica las propiedades:
: define una ley de composicin interna en

G1:

(, )
G2:

( ) = ( )

, , , ( )

G3:

! / = =

, ( )

G4:

! / = = ( )
Ahora, si cumple la siguiente propiedad se llamar Grupo Abeliano o conmutativo:
= , , (Propiedad conmutativa)

G5:
Ejemplos:
1)
2)
3)
4)
5)

(, +)
(, +)
(, +)
(, +)
(0 , ) = ( 0, )

""

Veamos si cumple las propiedades el primer ejemplo: (, +) Los dems ejemplos siguen el
mismo procedimiento.
Veamos si cumple G1 :
+ : S define una ley de composicin interna en , pues:
+
(, ) +
Por lo tanto cumple la propiedad G1

Veamos si cumple G2

( + )

ANLISIS MATEMATICO III

+ = + ( + )

, , ,

El resultado es un nmero real,

entonces desaparece el parntesis

+ + = + ( + )
+ ( + ) = + ( + )
Por lo tanto cumple la propiedad G2
Veamos si cumple G3 :
+ =

=
=0
! = 0 ,
Por lo tanto cumple la propiedad G3
Veamos si cumple G4 :
+ =

+ = 0
= 0
=
! = ,
Por lo tanto cumple la propiedad G4
Al cumplir con estas 4 propiedades, se considera como Grupo al par (, +)

ANLISIS MATEMATICO III

2. ANILLOS
Definicin 6. Sea A un conjunto diferente del vaco dotado de dos operaciones "" y "", entonces la
terna (, , ) es un anillo y verifican las propiedades siguientes:
A1.

(, ) es un grupo abeliano. Su elemento neutro lo denotaremos como 0.

A2.

()z = x(yz), x, y, z ( , )

A3.

() = (xy)(xz)

, , (. )
()z = (xz)(yz)

Ejemplos
a)
b)
c)
d)
e)

(, +, )
(, +, )
(, +, )
(, +, )
( (), +, )

donde () es el conjunto de matrices cuadradas de tamao

con coeficientes en

Veamos el primer ejemplo: (, +, )

Demostramos que (, +) es un Grupo, pero para que sea un grupo abeliano tiene que cumplir G5:
Veamos si cumple G5 :
+ = + , ,
Por ser nmeros reales, se puede cambiar el orden:
+ = +
Por lo tanto cumple la propiedad G5
Ahora s comprobamos que es un grupo abeliano, pero nos falta demostrar las 2 propiedades para
que sean anillo:
Veamos si cumple A2 :
( ) z = x (y z),

x, y, z

z = x (y z),
( z) = x (y z),
lqqd

ANLISIS MATEMATICO III

Por lo tanto cumple la propiedad A2

Veamos si cumple A3 :
Por la izquierda:
( + ) = (x y) + (x z)

, ,

+ = (x y) + (x z)
( ) + ( ) = (x y) + (x z)
Por la derecha:
( + ) z = (x z) + (y z)

, ,

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

Por lo tanto cumple la propiedad A3

Al cumplir estas 3 propiedades, decimos que la terna (, +, ) es un anillo.
Definicin 6. (, , ) se llamar anillo unitario si verifica:
! / = =

3. CUERPOS
Definicin 7. Se llama cuerpo a un anillo unitario (, , ), tal que ( {0}, ) es un grupo, es decir
todo elemento distinto de 0 es inversible respecto de. En otras palabras, debe cumplir:
C1.
C2.

(, ) es un grupo abeliano.
( {0}, ) es grupo abeliano.

Ejemplos:
a) (, +, )
b) (, +, )
c) (, +, )
Veremos si cumple para (, +, )

ANLISIS MATEMATICO III

Ya se comprob que (, +) es un grupo abeliano, entonces cumple la primera propiedad.

Ahora comprobaremos si ( {0},) es grupo abeliano.
Veamos si cumple G1 :
" " : S define una ley de composicin interna en {0}, pues:

(, ) {0}
Por lo tanto cumple la propiedad G1

Veamos si cumple G2
( ) = ( )

, , , {0}

= ( )
( ) = ( )
Por lo tanto cumple la propiedad G2
Veamos si cumple G3 :
=

, {0}
=

= 1
! {0} = 1 , {0}
Por lo tanto cumple la propiedad G3
Veamos si cumple G4 :
=

, {0}

= 1
=

ANLISIS MATEMATICO III

! {0} = , {0}
Por lo tanto cumple la propiedad G4

Veamos si cumple G5 :
= , , {0}
Por ser nmeros reales, se puede cambiar el orden:
=
Por lo tanto cumple la propiedad G5

Al cumplir con estas 5 propiedades, se considera como Grupo abeliano al par ( {0}, +)

Por lo tanto, la terna (, +, ) al cumplir las 2 propiedades, es un cuerpo.