Grupo

- Grupo conmutativo
Anillo
- Anillo conmutativo
Campo o cuerpo
UNA ESTRUCTURA ALGEBRAICA se define como un
conjunto en el que estn definidas una o mas operaciones.
Las estructuras algebraicas que estudiaremos sern:

Grupo
Anillo
Campo o cuerpo

Las estructuras algebraicas desempean un papel muy
importante en muchas ramas de la ciencia como por ejemplo:
la teora de la relatividad, fsica nuclear, mecnica cuntica y
cristalografa.
Esta poderosa herramienta matemtica fue creada a
principios del siglo XIX, entre algunos de los matematicos
mas importantes a quienes debemos su creacion es Evariste
Galois, Augustin Louis Cauchy.

INTRODUCCIN

Los grupos, como objeto algebraico con una sola operacin,
representan la mas simple de las estructuras formales, estn
formados por conjuntos donde podemos combinar dos
elementos de este, quizs de varias maneras, para obtener
un tercer elemento tambin del conjunto y adems, estas
operaciones algebraicas estn sujetas a reglas indicadas en
lo que se llaman axiomas o postulados definitorios del
sistema.
Definicin de Grupo:

Sea G un conjunto no vaci con una operacin binaria, esto
es, a cada par de elementos ab G. Entonces G se llama un
grupo si se cumplen los siguientes axiomas:

1)Para toda a, b, c perteneciente a G, tenemos (ab)c =a(bc)
(ley asociativa).

2) Existe un elemento e perteneciente a G, llamado el
elemento identidad, tal que ae = ea = a para toda a
perteneciente a G.

3) Para cada a perteneciente a G existe un elemento a
-1

perteneciente a G, llamado el inverso de a, tal que
aa
-1
=a
-1
a=e

de los grupos.

Si G es un grupo, entonces.

Propiedades a) el elemento identidad de G es nico;

b) toda a G tiene un inverso nico en G;

c) para toda a G, (a
-1
)
-1
=a;

d) para a, b G, (ab)
-1
= b
-1
a
-1
;

Nota: se dice que el elemento identidad es el uno de G.
tambin se dice que es el cero en el caso aditivo


Subgrupos
En general, estaremos interesados en subconjuntos de G
que tengan propiedades algebraicas derivadas de las de
G. Un subconjunto H de un grupo G se dice que es un
subgrupo de G si respecto al producto en G,H forma un
grupo.

Para ser un subgrupo debe de cumplir con los siguientes
criterios. Un subconjunto no vacio H del grupo G es un
subgrupo de G si;
4) Para toda a, b H ab H (cerradura)
5) Para toda a H a
-1
H (inversa)

GRUPO CONMUTATIVO
Formalmente, un grupo es un conjunto de elementos junto
con una operacin que satisface las propiedades: asociativa,
elemento neutro, elemento reciproco.

pero si adems de cumplir las 4 anteriores cumple
6) ab= ba (propiedad conmutativa)

para cualquier pareja de elemento del grupo, entonces se
dice que es un grupo conmutativo o abeliano.


Ejemplos
Grupo

El conjunto Z ( nmeros enteros) de signo cualquiera
con la adicin.
El conjunto Q (nmeros racionales de signo cualquiera
con la adicin.
El conjunto R (nmeros reales) con la adicin.
El conjunto Q positivos con la multiplicacin.
El conjunto R positivos con la multiplicacin.
El conjunto Q no nulos con la multiplicacin.
Las matrices de mxn bajo la adicin.
Los nmeros complejos 0 con la multiplicacin.
Los nmeros complejos con la adicin.
Subgrupos

El conjunto N (nmeros naturales) con la adicin y la
multiplicacin.
El conjunto Z con la multiplicacin.
El conjunto Z mltiplos de 5


Grupo conmutativo

El conjunto Z con la operacin de la adicin, ya que el
orden de los sumandos no altera la suma.
El conjunto de los nmeros racionales con la adicin
Comprobacin de los ejemplos dados.
Grupos
El conjunto de los nmeros enteros de signo cualquiera
con la adicin.
1, 2, 3 0= e y a
-1
= -a

1) (a+b)+c=a+(b+c)
(-1+2)+(-3)=-1+(2+(-3)) (1)+(-3)= -1(-1) -2= -2

2) a+e = e+a=a
-1+0=0-1=-1 -1 = -1= -1

3)a+a
-1
= a
-1
+a=e
-1+1=1+(-1)=0 0 = 0 = 0 si es un grupo

El conjunto de los nmeros racionales con la adicin.
1/2, 1/3, 1/4 0=e a
-1
= -a

1)(a+b)+c=a+(b+c)
(1/2+1/3)+1/4=1/2+(1/3+1/4) 5/6+1/4 = 1/2+7/12
13/12=13/12

2) a+e=e+a=a
1/2+0= 0+1/2 =1/2 1/2 = 1/2 =

3)a+a
-1
= a
-1
+a=e
1/2 1/2 = -1/2+1/2=0 0 = 0 = 0 si es un grupo

El conjunto R positivos con la multiplicacin.
a=9 b=10 c=19 e=1 a
-1
= 1/a

1)(a*b)*c=a*(b*c)
(9*10)*19=9*(10*19) 90*19=9*190 1710=1710

2)a*e=e*a=a
9*1=1*9=9 9 = 9 = 9

3)a*a
-1
= a
-1
*a=e
9*1/9=1/9*9=1 9/9=9/9=1 1=1=1 si es un grupo
(

=
b
a
M
0
0
El conjunto de
a, b Z con la multiplicacin.
(

=
3 0
0 1
a
(

=
9 0
0 2
b
(

=
9 0
0 10
c
(

=
1 0
0 1
e
a
-1
(

=
1 0
0 3
3 / 1
1 ) (a*b)*c=a*(b*c)
(

3 0
0 1
(

9 0
0 2
(

9 0
0 10
=
(

3 0
0 1
(

9 0
0 2
(

9 0
0 10
(

27 0
0 2
(

9 0
0 10
=
(

3 0
0 1
(

81 0
0 20

(

243 0
0 20
(

243 0
0 20
=
2) a*e=e*a=a
(

3 0
0 1
(

1 0
0 1
=
(

1 0
0 1
(

3 0
0 1
=
(

3 0
0 1

(

3 0
0 1
=
(

3 0
0 1
(

3 0
0 1
=
3) a*a
-1
= a
-1
*a=e
(

3 0
0 1
(

1 0
0 3
3 / 1
=
(

1 0
0 3
3 / 1
(

3 0
0 1
=
(

1 0
0 1
(

1 0
0 3 / 1
(

1 0
0 3
=
(

3 / 1 0
0 1
(

3 0
0 1
=
(

1 0
0 1

(

1 0
0 1
(

1 0
0 1
(

1 0
0 1
=
Si es un grupo.
=
POR LO TANTO :
El conjunto de los nmeros enteros con la sustraccin.
1, 2, 3 0= e y a
-1
= -a

1)(a-b)-c=a-(b-c)
(-1-2)-(-3)=-1-(2-(-3)) (-3)+3= -1 -5 0= -6

2)a-e=e-a=a
-1-0= 0+1= -1 -1 =1= -1

3)a-a
-1
= a
-1
-a=e
-1-1=1-(-1)=0 -2 = 2 =0 no es un grupo
El conjunto de los nmeros racionales con la sustraccin.
1/2, 1/3, 1/4 0=e a
-1
= -a

1) (a-b)-c=a-(b-c)
(1/2-1/3)-1/4=1/2-(1/3-1/4) 1/6-1/4=1/2-(1/12)
-1/12=5/12

2)a-e=e-a=a
1/2-0 = 0-1/2 = 1/2 1/2 = -1/2 = 1/2

3)a-a
-1
= a
-1
-a=e
1/2-(-1/2)= -1/2-1/2 =0 1= -1=0 no es un grupo

Subgrupos

El conjunto Z( nmeros enteros) con la multiplicacin.
9,10,19 a
-1
= -a

4) a*b H;
9*10=90 si H

5) a
-1
H
a
-1
= -9 si H si es un subgrupo
El conjunto Z (nmeros enteros ) mltiplo de 5 con la
multiplicacin

25, 75, 125 a
-1
; -a

4) a*b H;

25*75=1875 si H

5) a
-1
H

a
-1
= 1/25 si H no es un subgrupo
Grupo conmutativo

El conjunto de los nmeros enteros de signo cualquiera
con la adicin.
a = -1 b= 2 c= -3
6) a+b = b+a
-1+2 = 2-1 1=1 si es grupo conmutativo


El conjunto de los nmeros racionales con la adicin.
a=1/2 b=1/3
6) a+b = b+a
1/2 + 1/3 = 1/3 + 1/2 5/6 = 5/6 si es grupo conmutativo

El conjunto de los nmeros reales positivos con la
multiplicacin.
a=9 b=10 c=19
6) a*b = b*a
9*10=10*9 90 = 90 si es un grupo conmutativo


El conjunto de los nmeros enteros con la sustraccin.
1, 2, 3 a= -1 b=2 c= -3
6)a-b = b-a
-1-2 = 2+1 -3=3 no es un grupo conmutativo


Definicin:

El concepto de grupo tiene su origen en el conjunto de
aplicaciones o permutaciones de un conjunto sobre si mismo.
A diferencia, los anillo surgen de manera ms familiar,
abstrayendo las propiedades de los enteros ordinarios, de los
que pueden considerarse una generalizacin.

Un anillo a diferencia de un grupo, es un sistema formado por
un conjunto y dos operaciones binarias con los smbolos (+) y
() sin que estos signifiquen necesariamente que se trata de la
adicin y multiplicacin de nmeros.

Propiedades de los Anillos:

1.- Para todo a, b, c, A tenemos (a+b)+c = a+(b+c)

2.- Para todo a, b A tenemos a+b = b+a

3.- Existe un elemento 0 A, llamado el elemento cero tal que
a + 0 = 0 +a = a para toda a A

4.- Para cada a A existe un elemento a A, llamado el
negativo de a, tal que a+(-a) = (-a)+a = 0

5.- Para todo a, b, c A tenemos (a b) c = a (b c)

6.- Para todo a, b, c A tenemos a (b + c) = a b + a c
y (b+c) a = b a + c a

Aplicacin de las Propiedades:

Sea a = 3 b = 5 c = -2

1.- (a+b)+c = a+(b+c)
(3+5)+(-2) = 3+[5+(-2)] 8+(-2) = 3+3 6 = 6

2.- a+b = b+a
3+5 = 5+3 8 = 8

3.- a + 0 = 0 +a = a
3+0 = 0+3 3 = 3

4.- a+(-a) = (-a)+a = 0
3+(-3) = (-3)+3 0 = 0
5.- (a b) c = a (b c)
(3 5) -2 = 3 (5 -2) 15 -2 = 3 -10
-30 = -30

6.- a (b + c) = a b + a c
3 [5+(-2)] = 3 5 + 3 -2
3 3 = 15 + (-6) 9 = 9

(b+c) a = b a + c a
[5+(-2)] 3 = 5 3 + (-2) 3
3 3 = 15 + (-6) 9 = 9
De los 4 primeros postulados de la definicin anterior se
sigue que un anillo es grupo abeliano para la primera
operacin; y de los grupos abelianos son validas en la
estructura (a, +) conocida como la estructura aditiva del
anillo.

Al elemento 0 del postulado 3, que representa al idntico
para la primera operacin, se le conoce como el cero del
anillo.

El postulado 5, de la definicin se refiere a la segunda
operacin, y establece que debe ser asociativa.
Las propiedades a que se refiere al postulado 6, se conoce
como propiedades distributivas: cuando dos operaciones
(+) y (), definidas en un conjunto A son tales que:

a, b, c A a (b + c) = (a b) + (a c)

Se dice que la operacin () es distributiva por la izquierda
sobre la operacin (+).

Cuando son tales que:

a, b, c A (b + c) a = (b a) + (c a)

Se dice que () es distributiva por la derecha sobre (+).
Ejemplos:


Los nmeros enteros con la adicin y la multiplicacin.

Los nmeros racionales con la adicin y la multiplicacin.

Los nmeros reales con la adicin y la multiplicacin.

Los nmeros complejos con la adicin y la multiplicacin.

Los polinomios con la adicin y la multiplicacin.

Las matrices cuadradas de orden n con la adicin y la
multiplicacin.
A se llama un anillo conmutativo si ab = ba para todo a,
b A. decimos tambin que A es un anillo con elemento
identidad si existe un elemento diferente de cero 1 A tal
que a 1 = 1 a = a para todo a A.
Un subconjunto no vaco S de A se llama un subanillo de
A si S mismo forma un anillo para las operaciones de A.
observamos que S es un subanillo de A si y slo si a, b
S implica a b S y ab S.
Un anillo conmutativo A con elemento identidad se llama
un dominio de integridad si A no tiene divisores de cero,
esto es, si ab = 0 implica a = 0 o b = 0.
Las matrices cuadradas de orden n, con la adicin y la
multiplicacin usuales, no constituyen un dominio entero ya
que no son un anillo conmutativo y, adems, contiene
divisores propios de cero.
Un anillo conmutativo es un dominio entero si no tiene
divisores de cero.
Un anillo se dice que es un anillo con divisin si sus
elementos distintos de cero forman un grupo bajo la
multiplicacin.
El elemento unidad o identidad bajo la multiplicacin se
escribir como 1, y el inverso de un elemento a bajo la
multiplicacin se denotara como a
-1
.

Campo o cuerpos
Esta es la estructura algebraica mas completa y contiene las propiedades comunes
a los sistemas numricos mas completos algebraicamente; entre los que se
encuentra los nmeros racionales, los nmeros reales y los nmeros complejos con
sus respectivas operaciones de adicin y multiplicacin.
Sea K un conjunto de por lo menos dos elementos, y sean (+) y () dos operaciones
binarias definidas en K. El sistema (k, +, ) tiene estructura de campo si:
) a c ( ) a b ( a ) c b ( y
) c a ( ) b a ( ) c b ( a k c , b , a ) 9
1 a a que tal a , 0 a , k a ) 8
k a , a a 1 que tal k 1 ) 7
a b b a k b , a ) 6
c ) b a ( ) c b ( a k c , b , a ) 5
0 a a que tal k a k a ) 4
k a , a a 0 que tal k o ) 3
a b b a k c , b , a ) 2
c ) b a ( ) c b ( a k c , b , a ) 1
1 1
+ = +
+ = + e
= - = e
e = e -
= e
= e
= + e - e
e = + e -
+ = + e
+ + = + + e

Un anillo conmutativo K con elemento identidad se llama un cuerpo
(o tambin un campo) si toda a K 0 tiene un inverso multiplicativo,
esto es, existe un elemento a
-1
K tal que aa
-1
= a
-1
a = 1.

Un cuerpo es necesariamente un dominio de integridad, pues si ab =
0 y a0, entonces

b=1 b = a
-1
ab =a
-1
0 = 0

Hacemos notar que un cuerpo puede considerarse como un anillo
conmutativo en el cual los elementos diferentes de cero forman un
grupo para la multiplicacin.

El hecho esencial acerca de un campo es que este es un conjunto de
elementos que se pueden sumar multiplicar, de tal manera que por
una parte la adicin y la multiplicacin satisfacen las reglas
ordinarias de la aritmtica y por otra se puede dividir por elementos
distintos de cero.

Ejemplos:
Se denota con Q el conjunto de los nmeros racionales, esto es, el
conjunto de todas las fracciones m/n, donde m y n son enteros y adems n0.
se puede verificar fcilmente que Q es un campo.
2
1
4
3
*
5
2
*
3
5
4
3
*
5
2
*
3
5
c ) b a ( ) c b ( a k c , b , a ) 5
0
3
5
3
5
0 a a que tal k a k a ) 4
3
5
3
5
0
k a , a a 0 que tal k o ) 3
15
31
3
5
5
2
5
2
3
5
a b b a k c , b , a ) 2
60
169
4
3
5
2
3
5
4
3
5
2
3
5
c ) b a ( ) c b ( a k c , b , a ) 1
4
3
c ,
5
2
b ,
3
5
a
=
|
.
|

\
|
=
|
.
|

\
|
= e
= +
= + e - e
= +
e = + e -
= + = +
+ = + e
= +
|
.
|

\
|
+ =
|
.
|

\
|
+ +
+ + = + + e
= = =
12
23
3
5
*
4
3
3
5
*
5
2
3
5
*
4
3
5
2
12
23
4
3
*
3
5
5
2
*
3
5
4
3
5
2
*
3
5
) a c ( ) a b ( a ) c b ( y
) c a ( ) b a ( ) c b ( a k c , b , a ) 9
1
15
15
3
5
*
5
3
5
3
3
5
1 a a que tal a , 0 a , k a ) 8
3
5
3
5
*
1
1
k a , a a 1 que tal k 1 ) 7
3
2
3
5
*
5
2
5
2
*
3
5
a b b a k b , a ) 6
1
1 1
=
|
.
|

\
|
+
|
.
|

\
|
=
|
.
|

\
|
+
=
|
.
|

\
|
+
|
.
|

\
|
=
|
.
|

\
|
+
+ = +
+ = + e
= = =
|
.
|

\
|
= - = e
=
e = e -
= =
= e

Se denota con Z el conjunto de todos los enteros. Entonces Z no resulta un campo,
debido a que no se satisface la condicin (si x de K, entonces x es un elemento de K.
si adems x0, entonces x-1 tambin es un elemento de k) en realidad, si n es un
entero diferente de cero, entonces n-1 = 1/n no es un entero (excepto en el caso trivial
en el cual n=1 o bien n= -1). Por ejemplo, no es un entero.
( ) ( )
( ) ( ) 120 8 * 5 * 3 8 * 5 * 3
c ) b a ( ) c b ( a k c , b , a ) 5
0 3 3
0 a a que tal k a k a ) 4
3 3 0
k a , a a 0 que tal k o ) 3
8 3 5 5 3
a b b a k c , b , a ) 2
16 8 5 3 8 5 3
c ) b a ( ) c b ( a k c , b , a ) 1
8 c , 5 b , 3 a
= =
= e
= +
= + e - e
= +
e = + e -
= + = +
+ = + e
= + + = + +
+ + = + + e
= = =
( )
ENTEROS LOS A PERTENECE
NO YA
3
1
OBSERVAR PODEMOS COMO
1
3
3
3 *
3
1
3
1
3
1 a a que tal a , 0 a , k a ) 8
3 3 * 1
k a , a a 1 que tal k 1 ) 7
15 3 * 5 5 * 3
a b b a k b , a ) 6
1
1 1
= = =
= - = e
=
e = e -
= =
= e