Autoría Coordinador Elaboración Pedagógica: Ministerio de Educación

MINISTERIO DE EDUCACIN
Matemtica
Serie 3 para docentes de Secundaria
Teora de Matemtica Bsica
Fascculo 6: ESTRUCTURAS ALGEBRAICAS
Ministerio de Educacin
Van de Velde 160, San Borja
Primera edicin, 2007
Tiraje: 14 000 ejemplares
Impreso en Empresa Editora El Comercio S.A.
Jr. Juan del Mar y Bernedo 1318,
Chacra Ros Sur, Lima 01
Hecho el Depsito Legal en la
Biblioteca Nacional del Per
Nro. 2007-00274
Coordinacin y supervisin general MED
Antonieta Cubas Meja
Supervisin pedaggica MED
Juan Carlos Sandoval Pea
Verificacin de estilo MED
Miguel Luis Bances Gandarillas
Z_S3 F6 D.indd 1
Autora
Ediciones El Nocedal S.A.C.
Coordinador
Rubn Hildebrando Glvez Paredes
Elaboracin pedaggica
Felipe Eduardo Doroteo Petit
Itala Esperanza Navarro Montenegro
Edgar Justo Chacn Nieto
Daniel Jos Arroyo Guzmn
Colaboracin especial
Nestor Snchez Len
Revisin pedaggica
Hno. Marino La Torre Mario
Revisin acadmica
Armando Zenteno Ruiz
Diseo y diagramacin
Virginia Rosalia Artadi Len
Ilustraciones
Patricia Nishimata Oishi
Brenda Romn Gonzlez
Fotografa
Enrique Bachmann
Corrector de estilo
Marlon Aquino Ramrez
6/1/07 1:12:45 PM
Ser docente en Matemtica, en la actualidad, es un gran reto, pues

representa una tarea compleja y requiere multiplicidad de saberes. No es
suciente dominar los contenidos temticos del rea, adems se debe lograr
que los estudiantes desarrollen las capacidades del rea (razonamientos y
demostracin, comunicacin matemtica y resolucin de problemas), y los
valores y actitudes que les permitan una educacin integral para alcanzar
su autorrealizacin. Esto exige que los docentes estn actualizados en las
nuevas tendencias curriculares, metodologas y vigencia de contenidos
matemticos.
El fascculo aborda la temtica referida a las Estructuras Algebraicas ms
conocidas, como el grupo y el anillo, a partir del manejo de las operaciones
con nmeros naturales. Incluye, asimismo, ejemplos prcticos y ejercicios
orientados a la bsqueda de sus posibles aplicaciones en la vida cotidiana.
Desarrollamos el estudio de las Estructuras Algebraicas de una manera
sencilla, pero profunda; empezamos estableciendo el concepto de operaciones
binarias, y las de grupo, sobre la base de sus cuatro axiomas, mostrando
algunos de los ms importantes ejemplos de grupo; luego se demuestran las
propiedades que se cumplen en un grupo y se denen los principales tipos de
grupos. Asimismo, se denen los subgrupos. En la segunda parte se estudia
la estructura y las propiedades del anillo, as como los conceptos de anillo
con unidad, anillo conmutativo, anillo con divisin, anillo booleano, cuerpo
y dominios de integridad.
Complementamos el fascculo con logros de aprendizaje, recuperacin de
saberes previos, estrategias de aprendizaje, metacognicin, evaluacin,
bibliografa y enlaces web.
Z_Estructuras_AlgebTOTAL.indd 1
5/31/07 8:21:03 PM
NDICE
Presentacin .........................................................................................................................
ndice....................................................................................................................................
Organizador visual de contenidos ........................................................................................
Motivacin ...........................................................................................................................
Logros de aprendizaje ..........................................................................................................
Recuperacin de saberes previos .........................................................................................
1
2
3
4
4
4
1. OPERACIONES BINARIAS INTERNAS ................................................................................. 5

1.1 Denicin ............................................................................................................... 5
1.2 Propiedades de las operaciones binarias internas .................................................... 6
1.3 Los enteros mdulo n: n ....................................................................................... 10
Actividad 1..................................................................................................................... 12
2. GRUPOS .........................................................................................................................
2.1 Estructuras algebraicas con una operacin ............................................................
2.2 Denicin de grupo ...............................................................................................
Actividad 2.....................................................................................................................
13
13
15
23
3. ANILLOS ...........................................................................................................................
3.1 Estructuras algebraicas con dos operaciones...........................................................
3.2 Denicin de anillo .................................................................................................
Actividad 3.....................................................................................................................
24
24
24
28
4. EVALUACIN .................................................................................................................. 29
5. METACOGNICIN ............................................................................................................ 30
Bibliografa comentada ....................................................................................................... 31
Enlaces web ......................................................................................................................... 32
5/31/07 8:21:06 PM
Clausura
Principales tipos
Grupo abeliano
tratando
el
Subgrupos
Grupo
estableciendo el
concepto de
Asociativa
como
Elemento
identidad
Propiedades
demostrando sus
presentando
Cuatro
axiomas
sobre la base de
deniendo
para tratar el
Operaciones
binarias
Elemento
inverso
Nmeros
naturales
con
Operaciones
de las
Manejo
a partir del
tratando el
Estructuras
algebraicas
comprende el estudio de las
Propiedades
Anillo
conmutativo
para docentes
Anillo con
unidad
trabajando los conceptos de

estudiando
sus
Anillo
ESTRUCTURAS ALGEBRAICAS
Anillo de
divisin
Fascculo 6 / ESTRUCTURAS
ALGEBRAICAS
5/31/07 8:21:06 PM
Serie 3 / TEORA DE
MATEMTICA BSICA
ESTRUCTURAS
ALGEBRAICAS
Motivacin
El concepto de operacin interna o ley de composicin interna es uno de
los ms remotos de la Matemtica y se remonta a los antiguos egipcios
y babilnicos, quienes ya posean mtodos para calcular sumas y
multiplicaciones de nmeros naturales positivos y de nmeros racionales
positivos a pesar de no contar con el sistema de numeracin decimal.
El estudio de los conjuntos y las operaciones internas que se denen en
estos, tiene como punto de partida al conjunto de los nmeros naturales y
la operacin de adicin, pues se identican las propiedades de clausura,
conmutativa, asociativa y la existencia del elemento neutro o identidad
en dicho conjunto.
Sin embargo, al paso del tiempo, los matemticos se dieron cuenta de que lo importante no eran las tablas de
sumar o multiplicar de ciertos "nmeros", sino el conjunto y su operacin binaria denida en l. Esto, junto
con ciertas propiedades que satisfacan dichos conceptos, dio lugar al concepto fundamental llamado grupo.
En el grco adjunto, se observa cmo la Teora de Grupos se relaciona con la Qumica mediante el Grupo
Simtrico o de Permutacin.
LOGROS DE APRENDIZAJE
Analiza los contenidos sobre estructuras
algebraicas a travs de la lectura, observacin, diferenciacin, identicacin, comparacin y organizacin.
Aplica y utiliza las deniciones y propiedades sobre los grupos y anillos, en forma
que sea adecuada a cada situacin y con
precisin necesaria, a travs de las demostraciones en funcin de su complejidad y
de la naturaleza.
Representa informacin relativa a los Grupos y Anillos, presentados en forma grca
o numrica mediante el anlisis de cmo se
han obtenido, cmo se representan y para
qu se utilizan.
RECUPERACIN DE SABERES PREVIOS

Antes de empezar con el desarrollo del presente fascculo
es indispensable que recuerdes algunas precisiones. Lee
atentamente las preguntas y responde en una hoja aparte.
Qu es una operacin matemtica?
Qu es una aplicacin?
Qu es una funcin?
Qu es una composicin de funciones?
Qu es una matriz?
Qu entiendes por propiedad conmutativa de la adicin?
Qu entiendes por propiedad asociativa de la adicin?
Cundo una relacin es de equivalencia?
Interpreta enunciados matemticos presentados en un lenguaje formal o en un lenguaje comn a travs de la lectura, la decodicacin, la codicacin, la clasicacin, la
discusin y la representacin.
4
5/31/07 8:21:07 PM
ALGEBRAICAS
1. OPERACIONES
INTERNAS
Operar es hacer corresponder dos elementos de un conjunto numrico con otro
elemento del mismo conjunto al que llamamos el resultado de la operacin.
+
NN
(a; b)
a+b
(a; b)
a.b
En los diagramas mostrados, a cada par ordenado de elementos de

se le asigna un nico elemento en , es decir, a cada elemento
(a ; b) le corresponde un nico elemento (a + b) . Una funcin
con esta caracterstica recibe el nombre de operacin binaria interna.
1.1 Definicin
Sea A un conjunto no vaco, llamamos operacin binaria * denida en A,
a toda aplicacin de A A en A tal que a todo par ordenado de A A le
corresponde su compuesto que pertenece siempre a A.
Notacin:
*: A A A
(a; b) a a * b
As, por ejemplo:
a. + : N N
(a; b) a a + b
Donde + : operador
(a + b) se lee a ms b
b. . :
a
(x; y)
x.y
Donde (.) : operador
x y se lee x por y
c.
En todo conjunto diferente

del vaco, se denen
operaciones binarias
llamadas tambin leyes
de composicin interna
o aplicaciones binarias.
Estas aplicaciones
hacen corresponder a
todo par ordenado en el
conjunto, un compuesto
que pertenece al mismo
conjunto. Por ejemplo:
( ; + ) Designa al
conjunto de los
nmeros naturales con
la operacin binaria de
adicin denida en .
( ; ) Designa al conjunto
de los nmeros
enteros con la
operacin binaria de
multiplicacin denida
en .
[P(X); ] Designa al
conjunto potencia de
X con la operacin
binaria de interseccin
de conjuntos en P (X).
Consideremos el conjunto E = {a; b; c} denamos la operacin * en E

como:
* :E.EE
(x; y) a x * y = x
* Es una operacin binaria ya que para todo par ordenado (x; y) E E le
hace corresponder su compuesto x*y que es su primer componente x.
5
5/31/07 8:21:09 PM
Serie 3 / TEORA DE
MATEMTICA BSICA
-:
(a; b) a - b
La operacin de sustraccin
(-) en , no es una
operacin binaria interna,
ya que el compuesto a - b
no siempre es un elemento
de .
Cuando una operacin est

denida en una tabla, para
que sta sea conmutativa
es condicin necesaria y
suciente que los elementos
con respecto a la diagonal
sean simtricos.
-1
0
1
-1
1
0
-1
0
0
0
0
1
-1
0
1
As, la tabla adjunta nos

muestra los resultados de la
operacin denida sobre
el conjunto E.
Note que los elementos
equidistantes a la diagonal
trazada son iguales:
-1
0
1
-1
1
0
-1
0
0
0
0
1
-1
0
1
Por tal razn, podemos

armar que la operacin
es conmutativa.
A cada par ordenado (x; y) de elementos de E, la operacin * le hace

corresponder el elemento x en E, es decir (x; y) E E, mediante la
operacin * le corresponde su primer componente.
Analicemos: si la operacin * denida en E es una operacin interna.
1. Determinemos E E :
(a; a );(a; b);(a; c)
E E = (b; a );(b; b);(b; c)

(c; a );(c; b);(c; c)
2. Determinemos los valores x * y, (x; y) E E

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
Observemos que todos los compuestos x * y pertenecen a E, luego la
operacin * es una operacin interna en E.
3. Para su mejor comprensin, se utilizan las tablas de doble entrada donde
los elementos del conjunto E se colocan en la primera columna y primera
la de la tabla, y sus compuestos en los recuadros correspondientes.
*
a
b
c
a
a
b
c
b
a
b
c
c
a
b
c
la
diagonal principal
columna
1.2 Propiedades de las operaciones binarias internas
Propiedad conmutativa
Una operacin interna * denida en un conjunto E es conmutativa si:
a, b E : a * b = b * a
Ejemplo:
Sea E = { 1; 0; 1 } en el cual se dene la operacin , como:
:EEE
(a; b) a a b = a b (la multiplicacin ordinaria)
Demostramos que a b = b a
a b = a b .............. denicin de
= b a .............. conmutatividad de la multiplicacin ordinaria
= b a .............. denicin de
Por lo tanto, a b = b a
Luego, la operacin es conmutativa.
5/31/07 8:21:09 PM
ALGEBRAICAS
Propiedad asociativa
Una operacin interna * denida en un conjunto E es asociativa si:
a; b ; c E: a * (b * c) = (a * b) * c
Ejemplo:
Denimos sobre la operacin del modo siguiente:
:
(a; b) a a b = a + b + ab
Es asociativa la operacin as definida?
Si queremos demostrar que la operacin es asociativa, bastar con probar
que: a, b, c : a (b c) = (a b) c:
Sea a, b, c , se tiene:
En Geometra encontramos
diversos ejemplos de
operacin interna, por
ejemplo:
1. C
B
a (b c) = a (b + c + bc) ............................ denicin de

= a + (b + c + bc) + a (b + c + bc) .... denicin de
= a + b + c + bc + ab + ac + abc .... propiedad distributiva en
= (a + b + ab) + c + c (a + b + ab) .... propiedad asociativa en
= (a b) + c + c (a b)
................ denicin de
= (a b) c
............................ denicin de
o
Del grco tenemos que:
AoC =
AoB +
BoC
Es decir, la suma de dos

ngulos es otro ngulo.
Por lo tanto: a (b c) = (a b) c
Luego, la operacin es asociativa.
Elemento neutro
Una operacin interna * denida en un conjunto E se dice que tiene elemento
neutro e si se cumple la siguiente condicin:
e E / a E: a * e = e * a = a
Observaciones:
i. El elemento neutro es nico.
ii. El resultado de operar el elemento neutro e E con cualquier otro elemento
x E, es igual al mismo elemento x E.
Probaremos la primera observacin. El elemento neutro es nico.
2.
Del grco tenemos que:

AC = AB + BC
Es decir, la suma de dos
segmentos consecutivos
es otro segmento.
En efecto:
Sea e A, elemento neutro de A. Supongamos que existe otro elemento neutro
e A tal que e e (hipotesis auxiliar). Entonces:
e * e = e .................. por ser e elemento neutro de A
e * e = e .................. por ser e elemento neutro de A (hiptesis auxiliar)
Por lo tanto, e = e. Esto contradice la hiptesis auxiliar al aseverar que existe
otro elemento neutro para la operacin *. Entonces, se demuestra que el
elemento neutro de todo conjunto es nico.
Ejemplo:
El elemento neutro de la operacin binaria de la adicin en
que:
0 / a :a+0=0+a=a
0 / 3 :3+0=0+3=3
es el cero, ya
5/31/07 8:21:10 PM
Serie 3 / TEORA DE
MATEMTICA BSICA
Considere el conjunto A = {a; b; c; d} . Se dene en A la operacin binaria

interna , en la tabla siguiente:
Cuando una operacin

est denida en una
tabla, bastar con ubicar
aquel elemento para el
cual se reejan los dems
elementos en la tabla:
a
b
c
d
a
a
b
c
d
b
b
b
d
a
c
c
c
a
b
d
d
a
b
c
Entonces, el elemento
neutro es a.
Cuando una operacin est

denida en una tabla, para
identicar a cada uno de
los elementos inversos,
primero debemos identicar
al elemento neutro, y luego
se buscar dos elementos
que operados nos den el
elemento inverso.
Por tal rezn podemos
b c d
quea la operacin
es
armar
a a b c d
conmutativa.
b
c
d
b
c
d
b
d
a
c
a
b
a
b
c
* Elemento neutro: a
*bd=a
Por tanto, b es el inverso
de d , y viceversa.
a
b
c
d
a
a
b
c
d
b
b
c
d
a
c
c
d
a
b
d
d
a
b
c
Se verica que el elemento a A es el elemento neutro de la operacin

binaria , ya que todo elemento de A compuesto con el elemento a nos
da el mismo elemento.
aa=a
ba=b
ca=c
da=d
Elemento inverso
En una operacin interna * denida en un conjunto E, con elemento neutro
e, se dice que un elemento a E tiene inverso E, si se cumple la siguiente
condicin:
a*=*a=e
Considerando la operacin , dado en el ejemplo anterior, dicha
operacin tiene elemento neutro (a) luego:
a a = a entonces a es el elemento inverso de a
b d = a entonces d es el elemento inverso de b
c c = a entonces c es el elemento inverso de c
d b = a entonces b es el elemento inverso de d
Consideramos el conjunto de los nmeros enteros , y la operacin de
adicin (+) en , entonces:
Para cada a , - a / a + (-a) = 0
Ejemplos:
3 + (-3) = 0 -3 es el elemento inverso de 3
7 + (-7) = 0 -7 es el elemento inverso de 7
-5 + (+5) = 0 +5 es el elemento inverso de -5
Propiedad distributiva
Dado un conjunto E y dos operaciones internas * y # denidas en E. Decimos
que # es distributiva respecto a * si a, b, c E se cumplen:
1. a # (b * c) = (a # b) * (a # c)
2. (b * c) # a = (b # a) * (c # a)
Ejemplos:
1. En operaciones, la adicin ( + ) y la multiplicacin ( ) en el conjunto de
los nmeros enteros . Notemos que la multiplicacin ( ) es distributiva
5/31/07 8:21:10 PM
ALGEBRAICAS
respecto a la operacin de adicin ( + ) en , pues a, b, c

se
cumple:
a (b + c ) = a b + a c
Ejemplo:
2 (7 + 5) = (2) 7 + (2) 5 = 14 10 = 24
2. Matrices cuadradas 2 2
Consideremos dos operaciones: La adicin de matrices cuadradas 2 2
( + ) y la multiplicacin de matrices cuadradas 2 2 ( . ), denidas en
el conjunto de matrices cuadradas 2 2, es decir:
a11 a12
M 2 ( ) =
/ a ij ; i; j {1; 2}
a 21 a 22
Sean A y B M2(
), denimos las operaciones ( + ) y ( . )
a11 a12 b11

+
A+B=
a 21 a 22 b 21
a11 a12 b11
AB =
a 21 a 22 b 21
b12 a11 + b11 a12 + b12

=
b 22 a 21 + b 21 a 22 + b 22
Considere las siguientes

matrices:
AB=BA
En estos casos decimos
que las matrices A y B son
conmutativas
b12 a11b11 + a12 b 21 a11b12 + a12 b 22

=
b 22 a 21b11 + a 22 b 21 a 21b12 + a 22 b 22
Se demuestra que:
a. La adicin de matrices es conmutativa: A + B = B + A
b. La multiplicacin de matrices en general no es conmutativa: AB BA
B
CONMUTATIVIDAD
AB = BA
A
Por lo tanto, AB BA
c. La adicin de matrices posee elemento neutro, es decir:
A M2 ( ), 0 M2 ( ) / A + 0 = 0 + A = A
Es decir se verica:
a11 a12 0 0 a11 a12
+
=
A+0 =
a 21 a 22 0 0 a 21 a 22
DISTRIBUTIVIDAD
A(BC)=(AB)(AC)
0 0
donde la matriz 0 =
se llama Matriz Nula
0 0
d. La multiplicacin de matrices posee Elemento Neutro, es decir:
A M2 ( ), I M2 ( ) / A . I = I . A = A
9
5/31/07 8:21:11 PM
Serie 3 / TEORA DE
MATEMTICA BSICA
Inconveniencia de la
conmutatividad
Jorge y Cecilia son padres
de Marcia y deciden
comprar tiles escolares y
uniforme.
Jorge propone:
Comprar l el uniforme y
Cecilia los tiles escolares,
mientras que, Cecilia
sugiere:
Comprar ella el uniforme y
Jorge los tiles escolares.
Vemos que no se ponen
de acuerdo, ya que la
conmutatividad sobre
las compras de tiles y
uniforme no funciona
equitativamente, y este
desacuerdo proviene del
valor que demanda cada
compra, ya que los tiles
escolares demandan $ 400
y la compra de uniforme
demanda un gasto por un
valor de $ 300. Si ambos
gastos fueran iguales
no interesara quin
compre ambas cosas y la
conmutatividad funcionara.
Los mltiplos de cualquier

nmero entero se denotan
por:
As, por ejemplo:

mltiplo de 2
Es decir, se verica:
a12 1 0 a11 a12
a
A I = 11
=A
=
a 21 a 22 0 1 a 21 a 22
1 0
donde la matriz I = 0 1 se llama Matriz Identidad
e. La multiplicacin de matrices es distributiva con respecto a la adicin
de matrices. Es decir:
A (B + C) = A B + A C
1.3 Los Enteros Mdulo n:
Relacin de equivalencia
Sea R A A, es decir, R una relacin denida en A. Es de equivalencia, si
se cumplen las tres propiedades siguientes:
a. Reexividad
a A (a; a) R
b. Simetra
Si (a; b) R (b; a) R
a
b
c. Transitividad
Si a, b, c A; (a; b) R y (b; c) R (a; c) R
Ejemplo:
1. Denimos en
la relacin R de la siguiente manera:

(a; b) R si y slo si b a =
a,b
R ={(a; b) / b a = , a, b
}
R ={(2; 4), (3; 9), (7; 5), (2; 2), (4; 2),....}
(2; 4) R ya que 4 2 = 2
mltiplo de 2 =
(3; 9) R ya que 9 3 = 6
mltiplo de 2 =
(7; 5) R ya que 5 7 = 2
mltiplo de 2 =
(5; 2) R ya que 2 5 = 3 no es mltiplo de 2

Demostramos que R es una relacin de equivalencia. En efecto:
Es reexiva:
a
(a; a) R si y slo si a a = 0 mltiplo de 2
Si 2
(2; 2) R si y slo si 2 2 = 0 mltiplo de 2
Es simtrica
Si (a; b) R (b; a) R as: b a =
ab=
Si (6; 2) R (2; 6) R as: 2 6 = 4 = 6 2 = 4 =
Es transitiva
Si (a; b) R y (b; c) R (a; c) R
Si (a; b) R b a =
mltiplo de 3
Si (b; c) R c b =
mltiplo de 4
ca=
(a; c) R
ya que si dos nmeros son mltiplos de 2, entonces su suma tambin lo es.
10
6/1/07 1:09:19 PM
ALGEBRAICAS
Como R es una relacin de equivalencia en , es decir, R

,
entonces R dene una particin en
y cada parte se llama Clase
de equivalencia.
xy se lee:
2. Sea n
, donde n es un entero jo. Denimos la relacin de la
siguiente manera:
Si a,b
, a b (mod n) si y slo si n | (b a)
Luego, la relacin es una relacin de equivalencia en . En efecto:
Es reexiva:
n | 0 n | (a a), a
a a (mod n)
Es simtrica
Sea a, b
/ a b (mod n) n |(b a) n| (a b) b a (mod n)
Es transitiva
Si a b (mod n)
b c (mod n) a c (mod n)
En efecto:
Si a b (mod n) n | b a; Si b c (mod n) n | c b
n | (b a) + (c b) n | c a a c (mod n)
x divide a y
A la relacin de equivalencia denida en

se le llama Relacin
de congruencia mdulo n. La clase de equivalencia de a
es el
conjunto:
a = {z
/ z a (mod n)}
= {z
/ n | (z a)}
= {z
/ z = a + nk; k
}
as, en la solucin modulo 4 en
0 = {... 12; 8; 4; 0; 4; 8; 12; 16; ...}
1 = {... 11; 7; 3; 1 ; 5; 9; 13; 17; ...}
2 = {... 6; 2; 2; 6; 10; ...}
Si adems a, b a b = a , es decir:
4,8 0 8 = 4
2,6 2 2 = 6
Ahora, por el algoritmo de Euclides, existe r
k
y 0r<n
Por lo tanto:
Sea A un conjunto
diferente del vaco
A
a
b
c
Si denimos en A una
relacin de equivalencia,
el conjunto se parte
tal que b = nk + r, con
Denicin
El conjunto de los enteros mdulo n, denotado por n es el conjunto cuyos
elementos son las clases de congruencias mdulo n, es decir:
En n se define la adicin mdulo n:

+ : n n n
(a ; b) a + b = a + b
La cual est bien definida, es decir, que la suma de clases de congruencia es
independiente de los representantes de cada clase.
AA
R
a
c
Cada parte se llama
clase de equivalencia.
Por lo tanto, una relacin
de equivalencia R dene
una participacin en A.
Se verifica que la adicin en n es asociativa y conmutativa y el elemento

neutro es 0.
11
5/31/07 8:21:13 PM
Serie 3 / TEORA DE
MATEMTICA BSICA
Ejemplo:
Sea 12 = {0, 1, 2, 3, ... , 11}
definimos:
+: 12
12
12
(a ; b) a + b = a + b
Para calcular la suma de dos elementos de
(12k + r) = r , k
Multiplicacin en
3
12
= {0, 1, 2}
(a , b) a b
Actividad 1
12
debemos tomar en cuenta que:
; 0 r < 12
As por ejemplo:
* 5 + 11 = 16 = 12 + 4 = 4
* 7 + 5 = 12 = 12 + 0 = 0
* 9 + 10 = 19 = 12 + 7 = 7
De esta forma se obtiene la siguiente tabla:
+
0
1
2
3
4
5
6
7
8
9
10
11
0
0
1
2
3
4
5
6
7
8
9
10
11
1
1
2
3
4
5
6
7
8
9
10
11
0
2
2
3
4
5
6
7
8
9
10
11
0
1
3
3
4
5
6
7
8
9
10
11
0
1
2
4
4
5
6
7
8
9
10
11
0
1
2
3
5
5
6
7
8
9
10
11
0
1
2
3
4
6
6
7
8
9
10
11
0
1
2
3
4
5
7
7
8
9
10
11
0
1
2
3
4
5
6
8
8
9
10
11
0
1
2
3
4
5
6
7
9
9
10
11
0
1
2
3
4
5
6
7
8
10
10
11
0
1
2
3
4
5
6
7
8
9
11
11
0
1
2
3
4
5
6
7
8
9
10
Podemos considerar a los elementos de 12 como las marcas de un reloj (ver

grfico), as por ejemplo:
Si son las 6 y transcurren 9 horas, el reloj marcar 6 + 9 = 15 = 12 + 3 = 3
Organizados en grupos de cuatro docentes, resuelvan los siguientes casos y comparen sus repuestas.
1. Verifiquen que la adicin en M2 ( ) es asociativa.
2. Sea la operacin definida en A = {0, 1, 2}
mediante la tabla:
0
1
2
0
0
1
2
-1
-1 -1
Si a = 0 (1 2 )
1
1
2
0
b = 0-1 2-1
2
2
0
1
Determina a b
Observacin: x-1 denota el inverso de x A.
3. Sea A = {1; 2; 3} se define la operacin * por
la siguiente tabla:
*
1
2
3
1
1
2
3
2
2
2
1
3
3
1
2
Determina si * es conmutativa, asociativa y si

tiene elemento neutro.
12
5/31/07 8:21:13 PM
ALGEBRAICAS
2. GRUPOS
2.1 Estructuras algebraicas con una operacin
Situacin 1
En el conjunto de los nmeros enteros , se dene la operacin * mediante:
a * b = a + b + 2, para todo a, b que pertenece a . Analicemos qu propiedades
cumple la operacin * en .
Esto es:
1 a * b = a + b + 2; aqu vemos que siempre a operado con b mediante
* pertenece al conjunto , ya que la suma de nmeros enteros siempre
es otro nmero entero. Esta propiedad recibe el nombre de clausura.
Entonces, * cumple esta propiedad en .
2 a * (b * c) = (a * b) * c; aqu desarrollaremos cada miembro para ver qu
resultado se obtiene. As, a, b y c estn en .
Entonces:
a * (b * c) = a * (b + c + 2)
Por denicin de *
= a + (b + c + 2) + 2 Por denicin de *
= a+b+c+4
(a * b) * c = (a * b) + c + 2
Denicin de adicin en .
Por denicin de *.
= (a + b + 2) + c + 2 Por denicin de *.
= a+b+c+4
Porque la adicin en
es asociativa
y conmutativa.
Ahora, podemos observar que los resultados de:
a * (b * c) y (a * b) * c son iguales. Esta propiedad recibe el nombre
de asociatividad. Entonces, la operacin * en
cumple con esta
propiedad.
3 Existe un nico elemento e en
cumple: a * e = e * a = a
tal que para todo elemento a en
se
Veamos qu resulta cuando desarrollamos cada miembro de las

igualdades. As:
En el lgebra, se consideran
conjuntos diferentes del
vaco provistos de una o
ms leyes de composicin
interna que cumplen
ciertas propiedades que las
caracterizan, de acuerdo
con ellas, se generan
estructuras algebraicas muy
necesarias para analizar el
comportamiento de dichas
leyes y poder obtener
nuevas en un conjunto
dado. De esta manera se
logran otras estructuras
que permiten enunciar
principios universales del
lgebra. Por ejemplo,
si consideramos el
conjunto E en el
cual se define una o ms
operaciones binarias y
leyes de composicin
interna que cumplen ciertas
propiedades, se denomina
Estructura Algebraica y se
denota por:
(E; *) o (E; *; #) .
a* e = a, entonces: a + e + 2 = a , Denicin de *
e=2
e * a = a , entonces: e + a + 2 = a
e=2
Aplicando propiedades de
cancelacin y opuesto en .
Denicin de *.
haciendo uso de la propiedad de
cancelacin y opuesto en .
13
5/31/07 8:21:15 PM
Serie 3 / TEORA DE
MATEMTICA BSICA
Un conjunto E y una
operacin * que cumpla
la propiedad de clausura o
cerradura, el por (E, *) se
llama una Estructura de
monoide.
Por ejemplo:
(
; +), el conjunto de
los nmeros naturales,
con la operacin binaria
de Adicin, forma una
estructura de monide, ya
que (+) cumple con la
propiedad de clausura o
cerradura; es decir, dado
dos elementos naturales
a y b entonces a + b
tambin es natural.
; ), el conjunto de
los nmeros naturales,
con la operacin binaria
de la sustraccin, no
forma una estructura de
monoide ya que () no
cumple con la propiedad
de clausura.
( ; ), el conjunto de los
nmeros enteros, con
la operacin binaria
de la multiplicacin
forma una estructura
de monoide ya que ()
cumple en la propiedad
de clausura.
( ; ), el conjunto de los
nmeros enteros, con la
operacin binaria de la
divisin, no forma una
estructura de monoide,
ya que () no cumple
con la propiedad de
clausura.
(
Como podemos observar, existe un elemento e = 2 en , tal que

para todo elemento a en cumple la propiedad de: a * e = e * a = a.
Esta propiedad recibe el nombre de existencia del elemento identidad
o tambin denominado, existencia del elemento neutro. Entonces, la
operacin * en cumple con esta propiedad.
4 Para cada elemento a en , va a existir otro elemento a' en que cumpla
la condicin: a * a' = a' * a = e, siendo e el elemento neutro en .
Ahora veamos qu resulta al desarrollar cada miembro de la igualdad.
As:
a * a' = e, entonces: a + a' + 2 = 2
a' = a 4
Denicin de *
Aplicando propiedad de
elemento opuesto.
a' * a = e, entonces: a' + a + 2 = 2

a' = a 4
Denicin de *
Aplicando propiedad del
elemento opuesto.
Como podemos observar, para cada elemento a en

existe otro
elemento a' en
, que cumple la propiedad a * a' = a' * a = e. Esta
propiedad recibe el nombre de existencia del elemento opuesto o
existencia del elemento inverso en el conjunto dado. Entonces, la
operacin * en
cumple con esta propiedad.
5 a * b = b * a; aqu desarrollamos cada miembro de la igualdad y
observamos los resultados siguientes:
a*b=a+b+2
Por denicin de *.
b*a=b+a+2
Por denicin de *.
=a+b+2
Por la propiedad conmutativa de la adicin en
Como podemos apreciar, los resultados de a * b y b * a son iguales; esta

propiedad recibe el nombre de conmutativa, entonces la operacin *
cumple con esta propiedad en .
Por lo tanto, si agrupamos convenientemente las propiedades que
cumple la operacin binaria en el conjunto determinado, diferente del
vaco, entonces iremos formando estructuras algebraicas diversas como:
semigrupos, monoides, grupos anillos, cuerpos, espacios vectoriales,
entre otros. En ese caso la situacin (1) se reere a varias estructuras
algebraicas, por ello:
Denicin de semigrupo
Sea el conjunto E diferente del vaco y una operacin *; el par (E; *)
es un semigrupo, si y slo si * en E es una operacin binaria interna
asociativa.
14
5/31/07 8:21:15 PM
ALGEBRAICAS
Ejemplos:
(
; ), el conjunto de los nmeros enteros, con la operacin binaria de la

multiplicacin forma una estructura de semigrupo, ya que la operacin
() cumple con las propiedades de clausura y asociatividad.
( ; + ), el conjunto de los nmeros racionales, con la operacin binaria de

la adicin forma una estructura de semigrupo.
2.2 Definicin de grupo

Sea un conjunto diferente del vaco E, y una funcin *. El par (E, *) es
una estructura algebraica denominada grupo, si y slo si * es una operacin
binaria interna en E, asociativa, con elemento identidad y tal que cada
elemento de E admite un elemento inverso.
Simblicamente podemos expresarlos:
(E, *) es grupo, si y slo si: * cumple las propiedades:
G1 : Clausura
a, b E
a*b E
G2 :Asociativa
a, b, c, E
(a * b) * c = a * (b * c)
G3 :Elemento identidad
e E / a E: a * e = e * a =a
G4 :Elemento inverso
Para cada a E: a' E / a * a' = a' * a = e
Donde e es el elemento identidad en E, va la operacin *.
Ejemplo 1
formado por todos los pares ordenados de

Dado el conjunto 2 =
nmeros reales y la adicin + de pares ordenados de nmeros reales a; b;
c y d denida por:
Un semigrupo es un
monoide asociativo.
Un grupo es un
semigrupo con elemento
identidad e inverso.
Se deduce:
Todo grupo es un
semigrupo.
Todo grupo es un
monoide.
Todo semigrupo no
siempre es un grupo.
Todo monoide no es un
grupo.
Todo semigrupo es un
monoide.
Todo monoide no siempre
es semigrupo.
(a; b) + (c; d) = (a + c; b + d)
El par ( 2, +) es una estructura algebraica de grupo, porque cumple con la
denicin correspondiente.
2
Esto es: + en
cumple las propiedades:
G1 : Clausura
Por denicin: (a; b) + (c; d) = (a + c; b + d), donde la suma de los nmeros
reales a y c; b y d, tambin es nmero real y constituido como par; ese
elemento est en 2.
G2 : Asociativa
x; y; z,
se cumple : x + (y + z) = (x + y) + z
15
5/31/07 8:21:15 PM
Serie 3 / TEORA DE
MATEMTICA BSICA
Esto es:
Si:
x = (a1 ; a2)
y = (b1 ; b2)
z = (c1 ; c2)
Luego: a + (b + c) es:
x + (y + z) = (a1 ; a2) + [ (b1 ; b2) + (c1 ; c2) ] Por notacin en
= (a1 ; a2) + (b1 + c1 ; b2 + c2)
(a+c; b+d)
b
Por denicin de +.
= (a1 + (b1 + c1) ; a2 + (b2 + c2)) Por denicin de +.

x + (y + z) = (a1 + b1 + c1 ; a2 + b2 + c2)
(a;b)
Por asociatividad de + en
Asimismo: (x + y) + z es:
(x + y) + z = [ (a1 ; a2) + (b1 ; b2) ] + (c1 ; c2) Por notacin en
= (a1 + b1 ; a2 + b2) + (c1 ; c2)
(c;d)
Por denicin de +.
= [ (a1 + b1) + c1) ; (a2 + b2) + c2 ] Por denicin de +.

(0;0)
(x + y) + z = (a1 + b1 + c1 ; a2 + b2 + c2)
Por asociatividad de + en
Por lo tanto: x + (y + z) = (x + y) + z
G3 : Elemento Identidad
El conjunto de vectores de
posicin que pertenece a
forma un grupo abeliano.
! e
x+e=x
Esto es:
Si
x = (a1 ; a2)
e = (e1 ; e2)
a + e = a es:
Luego:
x+e=x
no es grupo porque
no posee elementos
inversos.
es un grupo.
donde
es el
conjunto de los nmeros
racionales menos el cero,
forma una estructura de
grupo.
no es una estructura
de grupo porque no posee
elementos inversos.
(a1 ; a2) + (e1 ; e2) = (a1 ; a2)
Por notacin en
(a1 + e1 ; a2 + e2) = (a1 ; a2)
Por denicin de +.
a1 + e1 = a1 y
Por propiedad de igualdad
a2 + e2 = a2
de nmeros reales.
e1 = 0
Por propiedades: cancelativa
e2 = 0
y elemento identidad en
de la adicin.
Luego, el elemento identidad de + en
es (e1 ; e2) = (0; 0)
G4 : Elemento inverso
x
, ! x'
/ x + x' = e
Esto es:
Si:
x
x'
2
2
x = (a1 ; a2)
x' = (a'1 ; a'2)
16
5/31/07 8:21:16 PM
ALGEBRAICAS
Luego:
x * x' = e es:
x * x' = e
(a1 ; a2) + (a'1 ; a'2) = (e1 ; e2) = (0 ; 0) por notacin en
(a1 + a'1 ; a2 + a'2) = (0 ; 0)

a1 + a'1 = 0
grupo
a2 + a'2 = 0
a'1 = a1
grupo
abeliano
a'2 = a2
Luego, el elemento inverso de x en
por: x' = ( a1 ; a2).
es x', tambin en
, denotado
Grupo abeliano
El par (E, *) es una estructura algebraica denominada grupo abeliano si y
slo si: (E , *) es grupo y * cumple la propiedad conmutativa.
Ejemplo 2
El problema de los cuatro colores arma que bastan cuatro colores para
colorear un mapa geopoltico plano, sin que dos pases con frontera comn
tengan el mismo color. Este problema topolgico forma una estructura de
grupo.
Sea C = {0, 1, 2, 3} donde 0, 1, 2, 3 representan cuatro colores distintos y
* una operacin binaria interna definida por la siguiente tabla. Comprueba
que (C, *) es un grupo.
Dos colores iguales no se pueden juntar 1 * 1

=0;2*2=0;3*3=0;
0*0=0
Dos colores diferentes en una frontera
conlleva, a tener junto a ellos, otro color
As: 2 * 3 = 1 , 1 * 3 = 2 ,...
* es una operacin de clausura ya que los compuestos de tabla son

elementos de C.
* es una operacin asociativa: As, (2 * 3) * 1 = 2 * (3 * 1).
* posee elemento identidad que es el cero.

0*0=0;0*1=1;0*2=2;0*3=3
* posee elemento inverso: todo elemento de C posee inverso que es el

mismo elemento.
1*1=0;2*2=0;3*3=0;0*0=0
No todo grupo es abeliano.
F = {f / f : A B,
biyectiva}
en la operacin de
composicin de
funciones, forma un grupo:
(F; ) grupo no abeliano.
Cerradura o clausura
f, g F, f g F
Asociatividad
(f g) h = f (g h)
elemento neutro I
fI=If=f
elemento inverso f -1
f f -1 = f -1 f = I
no es conmutativo
(en general)
fggf
salvo ciertos particulares
como
fI=If
* es una operacin conmutativa: basta trazar la diagonal principal en la

tabla para verficiar que los elementos son simtricos a dicha diagonal.
Por lo tanto: (C, *) es un grupo abeliano.
17
5/31/07 8:21:17 PM
Serie 3 / TEORA DE
MATEMTICA BSICA
Ejemplo 1
Dado el conjunto X = {a ; b ; c} y la operacin binaria * denida en la tabla
siguiente:
*
a
b
c
a
a
b
c
b
a
b
c
c
a
b
c
Estructura
Monoide Semi- Grupo

grupo
Propiedad
Clausura
x
x
x
Asociativa
x
x
Elemento
x
neutro
Elemento
x
inverso
Nos preguntamos si el par: (X, *) es una estructura de grupo.

Despus de probar cada una de las propiedades de la estructura de grupo,
esto es, aplicar la denicin de grupo, observamos que el par (X, *) no es
grupo, ya que no cumple la existencia del elemento identidad. Esto es:
a * a = a
b * b = b
c * c = c
Luego, el elemento identidad no es nico.
Ejemplo 2
Dado el conjunto X = {a ; b ; c ; d} y la operacin binaria * denida en la
tabla siguiente:
*
a
b
c
d
y
A
b
b
d
a
c
c
c
a
d
b
d
d
c
b
a
B
x
a
a
b
c
d
El conjunto formado por

la simetra del cuadrado
con la operacin simetra
forma una estructura
algebraica de grupo.
Nos preguntamos si el par (X , *) es un grupo abeliano.

Aplicando la denicin de grupo abeliano, observamos en primer lugar que
el par (X ; *) es grupo, debido a que cumple la denicin de grupo; esto es: *
es cerrado o cumple la propiedad de clausura. Tambin es asociativo; existe
elemento de identidad, tal como a y cada elemento de X como: a ; c ; b y
d. Tienen sus respectivos elementos inversos tales como: a; b; c y d.
Segundo, * cumple la propiedad conmutativa, esto es, trazando un segmento
por la diagonal principal, observamos que cada uno de los componentes de
la tabla son simtricos.
Por lo, tanto el par (X ; *) es una estructura algebraica denominada grupo
abeliano o grupo conmutativo.
18
5/31/07 8:21:17 PM
ALGEBRAICAS
Es importante que conozcamos algunos teoremas.

Teoremas
Teorema 1. Regularidad
Sea (E; *) una estructura algebraica denominada grupo.
Si : a * b = a * c entonces b = c ,
a , b, c E.
Teorema 2. De unicidad del elemento identidad

En todo grupo el elemento identidad es nico.
Demostracin:
(E; *) es grupo
Supongamos que existen e1 E y e2 E con e1 e2
elementos identidad del grupo (E; *) (denominada hiptesis auxiliar)
Consideremos el
conjunto de simetras y
rotaciones
S = {I, f, g, h, k, l, m, n}
este conjunto formar
una estructura de
grupo en la operacin
de multiplicacin
de funciones o
composicin de
funciones.
A
Teorema 3. Unicidad del elemento inverso
En todo grupo el elemento inverso es nico.
Teorema 4
Tal que:
aE
a * e1 = a
a * e2 = a
Luego: a * e1 = a * e2
Por teorema de regularidad, concluimos que: e1 = e2, el mismo que contradice
la hiptesis nula.
Por lo tanto, como existe una contradiccin, el teorema queda demostrado.
Dado el grupo ( E; * )
a, b E se tiene:
(a * b)1 = b1 * a1
Subgrupos
Un subconjunto diferente del vaco H de E, es un subgrupo del grupo (E; *),
si y slo si: (H; *) es grupo. Se denota por: (H; *) (E, *).
Ejemplo:
Retomemos el grupo (X; *) del ejemplo anterior, donde * est denido por
la tabla:
*
a
b
c
d
a
a
b
c
d
b
b
d
a
c
c
c
a
d
b
d
d
c
b
a
19
5/31/07 8:21:17 PM
Serie 3 / TEORA DE
MATEMTICA BSICA
En esta tabla elegimos a dos conjuntos, tales como:

H1 = { a ; b } y H2 = .{ a ; b ; c }
Grca de la simetra h
en el cuadrado ABCD
Y observamos que (H1 *) no son grupos porque no cumplen la propiedad

de clausura, ya que el elemento d est en el primer caso y es producto de
b * b, haciendo que no se cumpla la propiedad de clausura; por lo tanto
(H1; *) no es subgrupo de (X; *); lo mismo sucede con (H2; *) que tampoco
es grupo, porque no cumple la propiedad de clausura.
Por lo tanto (H1; *) y (H2 ; *) no son subgrupos de (X, *).
Pero si consideramos otros conjuntos, teniendo en cuenta la tabla de

referencia, esto es:
H3 = { a } y H4 = { a ; b ; c ; d }.
Observemos que (H3 ; *) y (H4 ; *) son grupos; debido a que cumplen con la
denicin de grupo; por lo tanto, establecemos:
Conclusin:
Todo grupo (X; *), tiene dos subgrupos triviales, tales como (H; *) y (G; *).
Donde el conjunto H tienen como nico elemento al elemento identidad de
X y el conjunto G tiene como elementos a todos los elementos de X.
A estos subgrupos se les llama Subgrupos triviales.

Aplicacin 1
Grca de la rotacin l
en el cuadrado ABCD
Dado el grupo (
H = { ( a1 ; a2 )
; +) ; asimismo el siguiente conjunto:

2
/ a2 = 2a1 + 1}, entonces (H; +) no es subgrupo aqu y
(H; +) no es grupo. Esto es:

A
1 En (H; +) se cumple la propiedad de clausura? Veamos:

a, b H , entonces : a + b H
Si a H a = (a1 ; 2a1 + 1)
b H b = (b1 ; 2b1 + 1)
Luego:
a + b = (a1 ; 2a1 + 1) + (b1 ; 2b1 + 1) por notacin en H.
= (a1 + b1 ; 2a1 + 1 + 2b1 + 1)
por definicin de + en
= (d1, d2) H
por notacin en H.
Luego + en H no es cerrado.
D
2 En (H +) se cumple la propiedad asociativa? Veamos:

a, b, c, H, entonces: a + (b + c) = (a + b) + c
Si
a H a = (a1 ; 2a1 + 1)
b H b = (b1 ; 2b1 + 1)
c H c = (c1 ; 2c1 + 1)
20
5/31/07 8:21:18 PM
ALGEBRAICAS
Entonces:
a + (b + c) = (a1 ; 2a1 + 1) + [ (b1; 2b1 + 1) + (c1 ; 2c1 + 1) ]
= (a1 ; 2a1 + 1) + (b1 + c1 ;2b1 + 1 + 2c1 + 1)
= (a1 + (b1 + c1) ; 2a1 + 1 + (2b1 + 1 + 2c1 + 1)
= (a1 + b1 + c1 ; 2a1 + 1 + 2b1 + 1 + 2c1 + 1)

Asimismo:
(a + b) + c = [ (a1 ; 2a1 + 1) + (b1; 2b1 + 1) ] + (c1 ; 2c1 + 1)
= (a1 + b1 ; 2a1 + 1 + 2b1 + 1) + (c1 ; 2c1 + 1)

= ( (a1 + b1) + c1 ; ( 2a1 + 1 + 2b1 + 1) + 2c1 + 1)
(a + b) + c = (a1 + b1 + c1 ; 2a1 + 1 + 2b1 + 1 + 2c1 + 1)
Como los resultados de : (a + b) + c y a + (b + c) son iguales,
entonces se cumple la propiedad asociativa.
El conjunto formado por

las rotaciones del tringulo
con la operacin rotacin
constituye un grupo.
3 En (H; +) se cumple la propiedad del elemento identidad?

a H, entonces, existe e H / a + e = a.
como: a H
a = (a1 ; 2a1 + 1)
e = (e1 ; 2e1 + 1)
eH
Luego:
a+e=a
(a1 ; 2a1 + 1) + (e1 ; 2e1 + 1) = (a1 ; 2a1 + 1)

(a1 + e1 ; 2a1 + 1 + 2e1 + 1) = (a1 ; 2a1 + 1)
a1 + e1 = a1 y 2a1 + 1 + 2e1 + 1 = 2a1 + 1
entonces, e1 = 0 y e1 =
1
.
2
Consideremos todas las

simetras y rotaciones
Ya que existen dos elementos de identidad distintos, concluimos que (H; +) no

es un grupo, ya que no cumple la existencia de un nico elemento identidad
y tampoco es cerrado.
Aplicacin 2
Dado el grupo ( 2; +) y el conjunto H2 = { (a1; a2)
entonces (H2; +) es subgrupo de ( 2; +). Esto es (H2; +) (
a que (H2, +) es grupo.
2
2
/ a2 = 3a1 }
; +). Debido
Grficamente observamos su representacin en la siguiente pgina.

Teorema 5:
Si H es un conjunto diferente del vaco, del grupo (E; *) que verifica la
condicin: a, b H a * b H, entonces (H; *) es subgrupo de (E; *).
Aplicacin 3
Dado el grupo (
; +) y H = { (a1 ; a2)
/ a2 = 3a1 }
f
A A
B B
C C
A
B
C
h
A
B
C
g
A A
B B
C C
j
A A
B B
C C
A
B
C
k
A A
B B
C C
A
B
C
El conjunto de simetras
y rotaciones
T = {I, f, g, h, j, k}
formar un grupo en la
operacin composicin
de funciones.
21
5/31/07 8:21:18 PM
Serie 3 / TEORA DE
MATEMTICA BSICA
Entonces: (H; +) (R2, +). Esto es porque en (

teorema:
, +) se cumple el siguiente
1 H , H tiene elementos, H no es un conjunto vaco.
y
a2 = 3a1
x
-x
a, b H
a + b H.
como: a H
a2 = 3a1
bH
b2 = 3b1
b2 = -3b1
Luego: a + b' = (a1 ; 3a1) + (b1 ; 3b1)

-y
= (a1 + b1 ; 3a1 + 3b1)
Representacin grfica
de la Aplicacin (2)
= (a1 - b1; 3a1 - 3b1) H

= (c1 ; 3c1) H
Finalmente a + b H, luego: (H; +) (
y
x
x
y
; +).
Aplicacin 4. RECORRIDO POR LA CANCHA DE FULBITO

Matematiza la siguiente situacin:
Recorrido por los bordes de una cancha de fulbito de forma rectangular, en
doble sentido y pasando por los vrtices.
I. Representacin de la situacin:
Observa el grco.
II. Conceptos denibles:
2.1 Camino o trayectoria.- Recorrido por el permetro de la cancha de fulbito segn la condicin sealada.
2.2 Camino neutro.- Recorrido que no altera la posicin inicial.
2.3 Camino irreductible.- Recorrido representativo ms simple de todos los
posibles recorridos y lo representa el siguiente diagrama.
yy: recorrer el camino y ida y vuelta para llegar al mismo punto, por tal
motivo se considera como la entidad e.
xy = yx: recorrer el camino x,y es lo mismo que recorrer el camino y,x.
yxy = x: recorrer el trayecto y,x,y siempre se llega a x.
Encontrndose el conjunto de caminos, esto es: C = {e; x; y; xy}
2.4 Caminos equivalentes.- Dos o ms caminos son equivalentes, si y slo
si aplicados diferentes recorridos a los mismos vrtices iniciales, se llega a los mismos vrtices nales. As yxy = x.
2.5 Clases de caminos equivalentes.- Dado el conjunto de todos los caminos, por participacin se formar un conjunto de clases de equivalencia
con respecto a los caminos irreductibles, los que sern presentados por
el conjunto C = {e; x; y; xy}
2.6 Operacin interna.- Denotado por , que signica recorrer por los lados de la cancha de fulbito respetando las condiciones indicadas. Esto
es C C C, denida por la tabla de la pgina siguiente.
22
5/31/07 8:21:19 PM
ALGEBRAICAS
III. Axiomas
La verica los siguientes axiomas: clausura, asociatividad, existencia
del elemento identidad y existencia del elemento inverso, los que podemos
comprobar en la tabla construida. Por lo tanto, el par (C, ) forma una estructura algebraica denominada grupo. Esta situacin ejemplica la estructura algebraica de grupo y tambin la de subgrupo.
yx
yx
yx
yx
yx
yx
Actividad 2
Reunidos en grupos de cuatro colegas, discute
la solucin de cada una de las situaciones
presentadas, luego comparte tus conclusiones
con los otros grupos de trabajo:
1. Demuestra cada uno de los teoremas
presentados en la seccin grupos.
2. Resuelve la ecuacin: b * x = a en el grupo
(E; *).
3. Sea (X, *), X= {e; a; b; c} y * una operacin
binaria definida por la tabla siguiente:
*
e
a
b
c
e
e
a
b
c
a
a
b
c
e
b
b
c
e
a
c
c
e
a
b
Verifica las propiedades de clausura,

conmutatividad, asociatividad, existencia del
elemento neutro y existencia del elemento
nuevo.
4. Determina si cada par (E, *) constituye un
grupo abeliano.
a. E = { a/a = 2q + 3, q }
* es el producto ordinario.
b. E = { a/a = 2q, q }
c. E = { (a1 , a2) 2 / a1 ; a2 }
n
d. E = { a/a = 2 1, n }
5. Dado el grupo ( 3, +) y el conjunto
H = {(a1, a2, a3) 3/ a1 = 0}
Prueba que: (H; +) ( 3; +).
6. Completa en una hoja aparte la tabla
correspondiente a las simetras y rotaciones
del cuadrado ABCD propuesta en la pestaa

de las pginas 18 y 19 definiendo la operacin
o.
o:SSS
(F; G) F o G
o
I
f
g
h
k
l
m
n
m
g
C
ES
NO
I
IB
En forma anloga elabora la tabla

correspondiente a las simetras y rotaciones
del tringulo propuesto en la pestaa de la
pgina 21. Se define la operacin:
o:TTT
(F; G) F o G
T = {I; f; g; h, j, k}
Ambas tablas con la ley definida forman un
grupo?
7. Dibuja el mapa del Per y todas sus regiones
y verifica que bastan cuatro colores para
colorear todas sus regiones sin que dos
regiones con frontera comn tengan el mismo
color. Considera el siguiente grfico de un
supuesto mapa:
2
1
1
3
23
5/31/07 8:21:19 PM
Serie 3 / TEORA DE
MATEMTICA BSICA
3. ANILLOS
curiosidades
matemticas
Si tenemos un soldado
que est parado en la
posicin inicial de atencin
en el campo de formacin,
podemos darle rdenes.
El conjunto de rdenes
Atencin!, a la derecha,
derecha!, izquierda,
izquierda! y media
vuelta!, forman un grupo
bajo la operacin seguida
por .
a la izquierda, izquierda!
seguido por media
vuelta!, tiene el mismo
efecto en trminos de
orientacin final del
soldado como el solo
comando, a la derecha,
derecha!.
3.1 Estructuras algebraicas con dos operaciones

Situacin (1)
Dado el conjunto X = { a; b } y las operaciones binarias * y denidas
por las tablas siguientes:
a
a
b
*
a
b
b
b
a
a
b
a
a
a
b
a
b
Podemos observar que:

- (X; *) es un grupo
- (X; ) es un semigrupo
- Tambin se cumple la propiedad distributiva de * con respecto a , es
decir:
a*(ba)=(a*b)(a*a)
Comprobndolo, tenemos:
a *(ba)
= a * (a)
Por denicin de
= a
Por denicin de *
Asimismo, el otro lado de la igualdad tambin resulta ser a

Atencin! es el elemento
identidad y cada comando
tiene inverso: a la
derecha, derecha! y a la
izquierda, izquierda! son
los inversos uno del otro.
Los inversos de atencin
y media vuelta! son
ellos mismos.
(a * b) (a * a) = b a
=a
Por definicin de *
Por definicin de
A esta propiedad se le llama DISTRIBUTIVA.

Ahora, de lo que se trata es de presentar estructuras algebraicas, pero con
dos operaciones binarias, que al igual que la estructura algebraica de grupo,
irn recibiendo los nombres adecuados por las propiedades que vayan
cumpliendo. As, en esta seccin estudiaremos a la estructura algebraica
denominada anillo.
3.2 Definicin de anillo

Sea el conjunto E diferente del vaco y las operaciones binarias * y ; la
terna (E; *; ) es un anillo, si y slo si cumple las condiciones siguientes:
24
5/31/07 8:21:19 PM
ALGEBRAICAS
1 (E, *) es un grupo abeliano.

2 (E, ) es un semigrupo.
3 la segunda operacin () es distributiva respecto a la primera (*).
Simblicamente podemos representarlo: (E; *; ).
Es anillo si y slo si se cumplen las propiedades siguientes:
Grupo
Anillo
Con respecto a la primera operacin:

A1 : Clausura
a * b E; si a; b E
A2 : Asociativa
(a * b) * c = a * (b * c); si a; b; c E
A3 : Elemento identidad
! e E /
a E, a * e = e * a = a
Todo anillo es un grupo,

pero no todo grupo es un
anillo.
A4 : Elemento inverso
Para cada a E, ! a' E / a * a' = a' * a = e
e es el elemento identidad
A5 : Conmutativa
a * b = b * a; si a; b E
Con respecto a la segunda operacin:
( P(x); ; ) ser un
anillo?
( P(x); ) no ser un
grupo abeliano, por lo
tanto, no es un anillo.
X
A6 : Clausura
C
a b E; si a; b E
A7 : Asociativa
(a b) c = a (b c); si a; b; c E
Con respecto a las dos operaciones:
A8 : Distributiva
a (b * c) = (a b) * (a c)
(b * c) a = (b a) * (c a)
; para a, b, c E
Ejemplo:
Verica que ( ; +; ), donde es el conjunto de los nmeros naturales, +
es la opearacin adicin y es la operacin de multiplicacin, no forma
un anillo.
A B P (x)
(A B) C =
A (B C)
A=A=A
A ? = pues no
tienen inverso, por lo
tanto, (P(x), ) no es
un grupo.
Observacin:
P(x) conjunto de partes
de X
Observamos que la terna no constituye un anillo, porque no cumple con la

propiedad del elemento inverso ya que no existen nmeros negativos en .
Es decir, en , la + no tiene elemento opuesto.
25
6/11/07 3:31:47 PM
Serie 3 / TEORA DE
MATEMTICA BSICA
Clases de anillo
1. Anillo conmutativo
Es todo anillo (E, *, ) que cumple la propiedad:
a; b E a b = b a.
2. Anillo con identidad o con unidad
Es todo anillo (E; *; ) que cumple la propiedad:
1E/
Sean (G; *) y (G; #) dos
estructuras de grupo, y sea
f una aplicacin denida
por:
f: (G; *) (G; #)
f se llama homomorsmo
de grupo si cumple la
siguiente condicin:
f (a*b) = f(a) # f(b)
3. Anillo de divisin
Es todo anillo (E; *; ) con unidad cuyos elementos no nulos tienen
elemento inverso.
Aplicacin 1
f
(G, *)
(G, #)
f (a)
f (b)
Considere dos grupos

( ; + ) y ( ; ) y una
aplicacin f denida por
f: ( ; + ) ( ; )
x f(x) = 2x
Vemos que f es un
homomorsmo en donde
se verica:
f (a + b) = f(a) f(b)
En efecto:
f(a+b) = 2a+b = 2a 2b
= f(a) f(b)
a E: a 1 = 1 a = a
Verifica que la forma (X; +; ) es un anillo, y luego clasifica dicho anillo.

Veamos primero si la terna (X; + ; ) constituye un anillo:
Primero: (X; +) es un grupo abeliano, porque cumple con las propiedades
establecidas, se destaca que 0 X es el elemento identidad y los opuestos
para cada elemento de X son:
0
su opuesto es 0
su opuesto es 4
su opuesto es 3
su opuesto es 2
su opuesto es 1
Asimismo, trazando la diagonal principal en la tabla de la adicin observamos

que los elementos de la tabla son simtricos, por lo tanto, cumple la propiedad
conmutativa.
26
5/31/07 8:21:20 PM
ALGEBRAICAS
Segundo: (X, ) es semigrupo, porque cumple con las propiedades establecidas de clausura y asociatividad; lo podemos observar en la tabla de multiplicacin de la pgina anterior.
Tercero: tambin se cumplen las leyes distributivas, por ejemplo, para
1 ; 2 ; 3 X se tiene:
1 ( 2 + 3) = ( 1 2 ) + ( 1 3 ) por definicin de +
y en las tablas
1 (0) = 2+3
respectivas
0 = 0
Por todo lo probado, vemos que (X; +; ) constituye un anillo.
Ahora veamos qu clase de anillo es:
- (X; +; ) no es un anillo conmutativo, porque al trazar la diagonal principal
en la tabla de la multiplicacin sus elementos no son simtricos.
- (C; +; ) es un anillo con unidad, porque existe elemento identidad en X,
representada por 1.
Sean (A; +; ) y (B; +; )

un anillo, y sea la
aplicacin f denida por
f: (A; +; ) (B; +; )
f se llama homomorsmo
de anillos, si se cumplen
las dos condiciones
siguientes:
- f (a + b) = f(a) + f(b),
a, b, A
- f(a b) = f(a) f(b)
a; b A
f
- (C; +; ) es un anillo de divisin, porque (Xi ;+; ) es un anillo con

unidad y sus elementos diferentes de cero tienen inversos, esto es:
Para 1 su inverso es 1
(A; +; .)
(B; +; .)
f (a)
f (b)
Teoremas
Teorema 1
Dado el anillo (E; +; ); se cumple:
a E: a 0 = 0
Demostracin
a+0
=a
Propiedad del elemento identidad de +.
a(a+0)
=aa
Propiedad de la monotoma del
aa+a0 =aa
Propiedad distributiva
a a + a 0 = a a + 0 Propiedad del elemento identidad de +

a0
=0
Propiedad cancelativa
Teorema 2
En todo anillo (E; +; ) se cumple,
a,b E
( -a ) b = - ( a b )
a ( -b ) = - ( a b )
27
6/1/07 1:10:56 PM
Serie 3 / TEORA DE
MATEMTICA BSICA
Subanillos
Los subconjuntos de un anillo que realmente son interesantes son aquellos
que tienen estructura de anillo respecto a las mismas operaciones del anillo.
Definicin:
Sea (E, +, ) un anillo. Un subconjunto no vaco S E es subanillo de (E, +, ) si
y slo si (S, +, ) es un anillo.
Ejemplos:
1. (Z, +, ) es subanillo de (Q, +, )
2. Sea Sa = {ka / k Z} el conjunto de todos los mltiplos enteros de a Z,
entonces (Sa, +, ) es subanillo de (Z, +, )
3. (R, +, ) es subanillo de (C, +, )
4. Sea M2 ( ) el conjunto de las matrices cuadradas de orden 2 2, se
a 0
verifica que ( M22, +, ) es un anillo. Si B = 0 0 / a es un
subconjunto
de M2 ( ), se prueba fcilmente que (B, +, ) es un subanillo de M2 ( )
Actividad 3
Organizados en grupo de tres colegas, resuelvan los siguientes casos y compartan sus soluciones
destacando sus aciertos y errores.
1. Demuestra todos los teoremas presentados en este fascculo.
2. Dada la terna ( 2; +; ) donde + y . son la adicin y multiplicacin usual, muestre que la terna
as constituida es un anillo.
3. Dado
+
0
1
2
3
4
5
y las operaciones binarias definidas en las tablas siguientes:

0
0
1
2
3
4
5
Verifica si (
1
1
2
3
4
5
0
6
2
2
3
4
5
0
1
3
3
4
5
0
1
2
4
4
5
0
1
2
3
5
5
0
1
2
3
4
0
1
2
3
4
5
0
0
0
0
0
0
0
1
0
1
2
3
4
5
2
0
2
4
0
0
4
3
0
3
0
3
0
3
4
0
4
2
0
4
2
5
0
5
4
3
2
1
; + ; ) es un anillo.
Si as lo fuera, qu clase de anillo es ( 6; +; )?
28
5/31/07 8:21:21 PM
ALGEBRAICAS
4. EVALUACIN
1. En
, se dene la operacin * como:
Analiza si:
a. La operacin * es conmutativa
b. La operacin * es asociativa
c.
2. En
se dene la operacin * como:
Analiza si:
a. La operacin * es conmutativa y asociativa
b. La operacin * cumple con el elemento neutro
3. Dado
, se dene la operacin * como
neutro. Qu elementos tienen inverso?
y S = {a + b / a, b
4. Sea el grupo
.
5. Sea G = {f / f:
es un grupo.
6. Si E
; f (x) = ax + b, a
, determina si existe el elemento
}, verica que
no es un subgrupo de
0}, prueba que G con la composicin de funciones
, prueba que (P(E), , ) es un anillo conmutativo y con unidad.
7. Demuestra que ( n, +, ) es una estructura de anillos. Adems, determina si (

( 4, +, ) y ( 5, +, ) son subanillos.
8. Prueba que (
, +, ),
, +, ), n > 0 es un subanillo del anillo ( , +, ).
9. Sea el conjunto C . Denimos la adicin y la multiplicacin como: (x , a), (y , b) C2 tal

que:
i. (x; a) + (y; b) = (x + y; a + b)
ii. (x;a) (y;b) = (xy ab; ay + bx)
Prueba que (C2, +, ) es un anillo conmutativo y con unidad.
10. En una hoja aparte, completa la tabla de tal forma que la operacin genere un grupo.
*
SC
29
5/31/07 8:21:21 PM
Serie 3 / TEORA DE
MATEMTICA BSICA
5. METACOGNICIN
Metacognicin es la habilidad de pensar sobre el discurso del propio pensamiento, es decir,
sirve para darnos cuenta cmo aprendemos cuando aprendemos.
Responde en una hoja aparte:

1. De qu manera te organizaste para leer el fascculo y desarrollar las actividades
propuestas?
2. Te fue fcil comprender el enunciado de las actividades? Por qu?
3. Si no te fue fcil, qu hiciste para comprenderlo?
4. Qu pasos has seguido para desarrollar cada una de las actividades?
5. Cules de estos pasos te presentaron mayor dicultad?
6. Cmo lograste superar estas dicultades?
7. Al resolver la evaluacin, qu tems te presentaron mayor dicultad?
8. Qu pasos has seguido para superar estas dicultades?
9. En qu acciones de tu vida te pueden ayudar los temas desarrollados en este
fascculo?
10. Qu nivel de logro de aprendizaje consideras que has obtenido al nalizar este
fascculo?
Muy bueno
Bueno
Regular
Deciente
NO ESCRIBIR
Por qu?
11. Crees que las actividades de investigacin fueron realmente un trabajo de equipo?
Explica.
12. Tuviste la oportunidad de compartir tus conocimientos con algunos de tus colegas?
Qu sentimientos provocaron en ti este hecho?
30
5/31/07 8:21:22 PM
ALGEBRAICAS
BIBLIOGRAFA
comentada
1. Baumslang, Benjamn y Chandler, Bruce. Teora de Grupos. Bogot. Ed. Mc. Graw
Hill Book, 1997.
Trata sobre los elementos tericos y prcticos de la teora de grupos, bsicamente
propone ejemplos con entes abstractos.
2. Bigard, A.; Crestey, M.; Grappy, J. Problemas de lgebra moderna. Barcelona. Ed.
Reverte, 1975.
Trata sobre la teora y prctica de diversas estructuras algebraicas, y presenta ejercicios
y problemas propuestos y resueltos.
3. Dubriel, P. y Dubriel - Jacobi, M.L. Lecciones de lgebra moderna. Barcelona. Ed.
Reverte, 1975.
Propone ejercicios y problemas de diversas estructuras algebraicas.
4. Faure, R.; Kaufman, A.; Denis, M.; Papn. Matemtica moderna. Madrid. Ed.
Paraninfo, 1999.
Es un compendio de contenidos matemticos diversos. Se destaca el tratamiento
terico-prctico del lgebra moderna, donde se trata especialmente de las estructuras
algebraicas de grupo, anillo y cuerpo.
5. Hilton, Peter y Wo, Nel Chiang. Cursos de lgebra moderna. Madrid. Ed. Reverte,
1979.
Explica la teora y la prctica del lgebra moderna, con una seccin especial para las
estructuras algebraicas.
6. Lang, Serge. lgebra Lineal. Puerto Rico. Ed. Aguilar S.A, 1975.
Texto que considera diversos temas, como ejercicios, teoremas, aplicaciones y
biografas de matemticos, en una de sus secciones trata de las estructuras algebraicas,
con ejemplos en el plano abstracto y concreto.
31
5/31/07 8:21:22 PM
Serie 3 / TEORA DE
MATEMTICA BSICA
ENLACES
web
1. http://wmatem.eis.uva.es/~matpag/CONTENIDOS/Operaciones/operaciones/node2.html
Describe brevemente las principales estructuras algebraicas que puede tener un conjunto
con una o varias operaciones internas, de acuerdo con las propiedades que cumplan dichas
operaciones.
2. http://www.mat.ucm.es/~arrondo/estructuras.html
Es una pgina donde encontrars apuntes sobre estructuras algebraicas y problemas propuestos.
3. http://alojamientos.us.es/da/apuntes/nestructuras.html
Es un archivo pdf que te servir para complementar tus conocimientos sobre estructuras
algebraicas.
4. http://es.wikipedia.org/wiki/Estructura_algebraica
En esta enciclopedia on-line, se puede encontrar una denicin precisa de las principales
estructuras algebraicas, tales como el monoide, grupo o anillo.
5. http://pacallao.tripod.com/gal8.pdf
En esta pgina se puede encontrar una gran cantidad de ejercicios referidos a las estructuras
algebraicas y otros temas. Es ideal para que el estudiante lleve a la prctica lo aprendido en
este fascculo.
32
5/31/07 8:21:22 PM

Autoría Coordinador Elaboración Pedagógica: Ministerio de Educación

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Autoría Coordinador Elaboración Pedagógica: Ministerio de Educación

Cargado por

Copyright:

Formatos disponibles

MINISTERIO DE EDUCACIN

Marlon Aquino Ramrez

Ser docente en Matemtica, en la actualidad, es un gran reto, pues

1. OPERACIONES BINARIAS INTERNAS ................................................................................. 5

comprende el estudio de las

trabajando los conceptos de

RECUPERACIN DE SABERES PREVIOS

En los diagramas mostrados, a cada par ordenado de elementos de

En todo conjunto diferente

Consideremos el conjunto E = {a; b; c} denamos la operacin * en E

Cuando una operacin est

As, la tabla adjunta nos

Por tal razn, podemos

A cada par ordenado (x; y) de elementos de E, la operacin * le hace

E E = (b; a );(b; b);(b; c)

2. Determinemos los valores x * y, (x; y) E E

a (b c) = a (b + c + bc) ............................ denicin de

Es decir, la suma de dos

Del grco tenemos que:

Considere el conjunto A = {a; b; c; d} . Se dene en A la operacin binaria

Cuando una operacin

Cuando una operacin est

Se verica que el elemento a A es el elemento neutro de la operacin

respecto a la operacin de adicin ( + ) en , pues a, b, c

), denimos las operaciones ( + ) y ( . )

a11 a12 b11

b12 a11 + b11 a12 + b12

Considere las siguientes

b12 a11b11 + a12 b 21 a11b12 + a12 b 22

Los mltiplos de cualquier

As, por ejemplo:

1.3 Los Enteros Mdulo n:

la relacin R de la siguiente manera:

(5; 2) R ya que 2 5 = 3 no es mltiplo de 2

Como R es una relacin de equivalencia en , es decir, R

A la relacin de equivalencia denida en

tal que b = nk + r, con

En n se define la adicin mdulo n:

Se verifica que la adicin en n es asociativa y conmutativa y el elemento

debemos tomar en cuenta que:

Podemos considerar a los elementos de 12 como las marcas de un reloj (ver

Determina si * es conmutativa, asociativa y si

tal que para todo elemento a en

Veamos qu resulta cuando desarrollamos cada miembro de las

Como podemos observar, existe un elemento e = 2 en , tal que

a' * a = e, entonces: a' + a + 2 = 2

Como podemos observar, para cada elemento a en

Por la propiedad conmutativa de la adicin en

Como podemos apreciar, los resultados de a * b y b * a son iguales; esta

; ), el conjunto de los nmeros enteros, con la operacin binaria de la

( ; + ), el conjunto de los nmeros racionales, con la operacin binaria de

2.2 Definicin de grupo

formado por todos los pares ordenados de

cumple las propiedades:

= (a1 + (b1 + c1) ; a2 + (b2 + c2)) Por denicin de +.

= [ (a1 + b1) + c1) ; (a2 + b2) + c2 ] Por denicin de +.

(a1 ; a2) + (e1 ; e2) = (a1 ; a2)

(a1 + e1 ; a2 + e2) = (a1 ; a2)

Por propiedad de igualdad

Por propiedades: cancelativa

Luego, el elemento identidad de + en

es (e1 ; e2) = (0; 0)

(a1 ; a2) + (a'1 ; a'2) = (e1 ; e2) = (0 ; 0) por notacin en

Por lo tanto (H1; ) y (H2 ; ) no son subgrupos de (X, *).