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

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

Z_S3 F6 D.indd 1

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..................................................................................................................... 3. ANILLOS ........................................................................................................................... 3.1 Estructuras algebraicas con dos operaciones........................................................... 3.2 Denicin de anillo ................................................................................................. Actividad 3..................................................................................................................... 13 13 15 23 24 24 24 28

4. EVALUACIN .................................................................................................................. 29 5. METACOGNICIN ............................................................................................................ 30 Bibliografa comentada ....................................................................................................... 31 Enlaces web ......................................................................................................................... 32

Z_Estructuras_AlgebTOTAL.indd 2

5/31/07 8:21:06 PM

ESTRUCTURAS ALGEBRAICAS
comprende el estudio de las

Z_Estructuras_AlgebTOTAL.indd 3

Estructuras algebraicas
estableciendo el concepto de tratando el

Operaciones binarias

para tratar el

Grupo
deniendo a partir del sobre la base de

Anillo
trabajando los conceptos de

Subgrupos

tratando el

Manejo
de las

estudiando sus

Anillo con unidad

Anillo conmutativo

Anillo de divisin

Grupo abeliano Operaciones

presentando demostrando sus con

Cuatro axiomas

Propiedades

Principales tipos

Propiedades
como

Nmeros naturales

Fascculo 6 / ESTRUCTURAS ALGEBRAICAS

Clausura

Asociativa

Elemento identidad

Elemento inverso

5/31/07 8:21:06 PM

para docentes

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. 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

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?

Z_Estructuras_AlgebTOTAL.indd 4

5/31/07 8:21:07 PM

Fascculo 6 / ESTRUCTURAS 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. 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.

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).

Z_Estructuras_AlgebTOTAL.indd 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 .

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

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

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.

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.

Z_Estructuras_AlgebTOTAL.indd 6

5/31/07 8:21:09 PM

Fascculo 6 / ESTRUCTURAS 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: 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 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. 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
2. En Geometra encontramos diversos ejemplos de operacin interna, por ejemplo: 1. C B

o Del grco tenemos que: AoC = AoB +

BoC

Es decir, la suma de dos ngulos es otro ngulo. A B C

Del grco tenemos que: AC = AB + BC Es decir, la suma de dos segmentos consecutivos es otro segmento.

Z_Estructuras_AlgebTOTAL.indd 7

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: a b c d a a b c d b b c d a c c d a b d d a b c

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

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

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 a b c d armar que la operacin es a a c d conmutativa. b

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.

Z_Estructuras_AlgebTOTAL.indd 8

5/31/07 8:21:10 PM

Fascculo 6 / ESTRUCTURAS 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 ( . ) b12 a11 + b11 a12 + b12 = b 22 a 21 + b 21 a 22 + b 22 a11 a12 b11 + A+B= a 21 a 22 b 21 a11 a12 b11 AB = a 21 a 22 b 21

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 A B

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 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

DISTRIBUTIVIDAD A(BC)=(AB)(AC)

Z_Estructuras_AlgebTOTAL.indd 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.

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 a b b a c

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 (3; 9) R ya que 9 3 = 6 (7; 5) R ya que 5 7 = 2 mltiplo de 2 = mltiplo de 2 = mltiplo de 2 =

Los mltiplos de cualquier nmero entero se denotan por: As, por ejemplo: mltiplo de 2 mltiplo de 3 mltiplo de 4

(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 = Si (b; c) R c b = ca= (a; c) R ya que si dos nmeros son mltiplos de 2, entonces su suma tambin lo es.

10

Z_Estructuras_AlgebTOTAL.indd 10

6/1/07 1:09:19 PM

Fascculo 6 / ESTRUCTURAS 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. 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) 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: xy se lee: x divide a y

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

AA R a b

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:

c Cada parte se llama clase de equivalencia. Por lo tanto, una relacin de equivalencia R dene una participacin en A.

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. Se verifica que la adicin en n es asociativa y conmutativa y el elemento neutro es 0.

11

Z_Estructuras_AlgebTOTAL.indd 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 12

debemos tomar en cuenta que:

; 0 r < 12

= {0, 1, 2}
3 3

(a , b) a b
0 1 2 0 0 0 0 1 0 1 2 2 0 2 1

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

Actividad 1

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 Si son las 9 y transcurren 8 horas, el reloj marcar 9 + 8 = 17 = 12 + 5 = 5 Si son las 10 y transcurren 11 horas, el reloj marcar 10 + 11 = 21 = 12 + 9 = 9 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

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 si * es conmutativa, asociativa y si tiene elemento neutro.

12

Z_Estructuras_AlgebTOTAL.indd 12

5/31/07 8:21:13 PM

Fascculo 6 / ESTRUCTURAS 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) = a+b+c+4 (a * b) * c = (a * b) + c + 2 = a+b+c+4 Por denicin de * Denicin de adicin en . Por denicin de *. Porque la adicin en 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 es asociativa = a + (b + c + 2) + 2 Por denicin de *
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 + b + 2) + c + 2 Por denicin de *.

Veamos qu resulta cuando desarrollamos cada miembro de las igualdades. As: 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

Z_Estructuras_AlgebTOTAL.indd 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.

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 a' * a = e, entonces: a' + a + 2 = 2 a' = a 4 Denicin de * Aplicando propiedad de elemento opuesto. 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 b*a=b+a+2 =a+b+2 Por denicin de *. Por denicin de *. Por la propiedad conmutativa de la adicin en

; ), 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 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

Z_Estructuras_AlgebTOTAL.indd 14

5/31/07 8:21:15 PM

Fascculo 6 / ESTRUCTURAS 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 G2 :Asociativa a, b, c, E (a * b) * c = a * (b * c) a*b E
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.

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: (a; b) + (c; d) = (a + c; b + d) El par ( 2, +) es una estructura algebraica de grupo, porque cumple con la denicin correspondiente. Esto es: + en 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,
2 2

cumple las propiedades:

se cumple : x + (y + z) = (x + y) + z
15

Z_Estructuras_AlgebTOTAL.indd 15

5/31/07 8:21:15 PM

Serie 3 / TEORA DE MATEMTICA BSICA

Esto es: Si: x y z

2 2 2

x = (a1 ; a2) y = (b1 ; b2) z = (c1 ; c2)

2

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 (a;b) x + (y + z) = (a1 + b1 + c1 ; a2 + b2 + c2) Asimismo: (x + y) + z es: (x + y) + z = [ (a1 ; a2) + (b1 ; b2) ] + (c1 ; c2) Por notacin en d (0;0) a c (c;d) = (a1 + b1 ; a2 + b2) + (c1 ; c2) (x + y) + z = (a1 + b1 + c1 ; a2 + b2 + c2) 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.
2

Por denicin de +.
2

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

Por denicin de +.
2

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

! e Esto es: Si :

x x e
2 2

x+e=x x = (a1 ; a2) e = (e1 ; e2) Por notacin en

2

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.

a + e = a es: (a1 ; a2) + (e1 ; e2) = (a1 ; a2) (a1 + e1 ; a2 + e2) = (a1 ; a2) a1 + e1 = a1 y a2 + e2 = a2 e1 = 0 e2 = 0 .

Por denicin de +. Por propiedad de igualdad de nmeros reales. Por propiedades: cancelativa y elemento identidad en de la adicin.

Luego, el elemento identidad de + en G4 : Elemento inverso x Esto es: Si: x x'

2 2 2

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

, ! x'

/ x + x' = e x = (a1 ; a2) x' = (a'1 ; a'2)

16

Z_Estructuras_AlgebTOTAL.indd 16

5/31/07 8:21:16 PM

Fascculo 6 / ESTRUCTURAS 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 a2 + a'2 = 0 a'1 = a1 a'2 = a2
grupo abeliano
2 2

grupo

Luego, el elemento inverso de x en por: x' = ( a1 ; a2). Grupo abeliano

es x', tambin en

, denotado

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.

No todo grupo es abeliano.

* 0 1 2 3

0 0 1 2 3

1 1 0 3 2

2 2 3 0 1

3 3 2 1 0

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 ,...

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 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

* 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

Z_Estructuras_AlgebTOTAL.indd 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

Monoide Semi- Grupo grupo Propiedad Clausura x x x Asociativa x x Elemento x neutro Elemento x inverso Estructura

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

B x D C

y A

a a b c d

b b d a c

c c a d b

d d c b a

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.

El conjunto formado por la simetra del cuadrado con la operacin simetra forma una estructura algebraica de grupo.

18

Z_Estructuras_AlgebTOTAL.indd 18

5/31/07 8:21:17 PM

Fascculo 6 / ESTRUCTURAS 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. 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 B 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. Teorema 3. Unicidad del elemento inverso En todo grupo el elemento inverso es nico. Teorema 4 Dado el grupo ( E; * ) 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 E se tiene: A B C D A B C D A B C D A B C D (a * b)1 = b1 * a1 A B C D A B C D A B C D A B C D C D A B C D A B C D A B C D

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) Tal que: aE

A * a b c d a a b c d b b d a c c c a d b d d c b a B C D

A B C D

A B C D

A B C D
19

Z_Estructuras_AlgebTOTAL.indd 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:

A B C D
A

A B C D
B

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 Dado el grupo ( H = { ( a1 ; a2 )

2

Grca de la rotacin l en el cuadrado ABCD

; +) ; asimismo el siguiente conjunto:

2

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

(H; +) no es grupo. Esto es: A B C D

A

A B C D
B

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) = (d1, d2) H Luego + en H no es cerrado. por definicin de + en por notacin en H.
2

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

Z_Estructuras_AlgebTOTAL.indd 20

5/31/07 8:21:18 PM

Fascculo 6 / ESTRUCTURAS 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. 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
A C B El conjunto formado por las rotaciones del tringulo con la operacin rotacin constituye un grupo.
x y

Consideremos todas las simetras y rotaciones I A B C h A B C A A B B C C A A B B C C j A A B B C C f A A B B C C k A B C g A B C

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. 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 (
2 2 2

/ a2 = 3a1 } ; +). Debido

Grficamente observamos su representacin en la siguiente pgina.

; +) y H = { (a1 ; a2)

/ a2 = 3a1 }

El conjunto de simetras y rotaciones T = {I, f, g, h, j, k} formar un grupo en la operacin composicin de funciones.

21

Z_Estructuras_AlgebTOTAL.indd 21

5/31/07 8:21:18 PM

Serie 3 / TEORA DE MATEMTICA BSICA

Entonces: (H; +) (R2, +). Esto es porque en ( teorema:

y a2 = 3a1

, +) se cumple el siguiente

1 H , H tiene elementos, H no es un conjunto vaco.

x

a, b H bH

a + b H. a2 = 3a1 b2 = 3b1 b2 = -3b1

-x

como: a H

Luego: a + b' = (a1 ; 3a1) + (b1 ; 3b1)

-y

Representacin grfica de la Aplicacin (2)

= (a1 + b1 ; 3a1 + 3b1) = (a1 - b1; 3a1 - 3b1) H = (c1 ; 3c1) H Finalmente a + b H, luego: (H; +) (
2

; +).

y x y x

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

Z_Estructuras_AlgebTOTAL.indd 22

5/31/07 8:21:19 PM

Fascculo 6 / ESTRUCTURAS 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.
e y x yx e e y x yx y y e yx x x x yx e y yx yx x y e

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 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

g m

NO

C ES

I IB

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 } * es el producto ordinario. c. E = { (a1 , a2) 2 / a1 ; a2 } * es el producto ordinario. n d. E = { a/a = 2 1, n } * es el producto ordinario. 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

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 3 0 1 2

23

Z_Estructuras_AlgebTOTAL.indd 23

5/31/07 8:21:19 PM

Serie 3 / TEORA DE MATEMTICA BSICA

3. ANILLOS
curiosidades
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 b a a b b b a a b a a a b a b

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!. 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.

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) = a (a * b) (a * a) = b a =a Por denicin de Por denicin de * Por definicin de * Por definicin de

Asimismo, el otro lado de la igualdad tambin resulta ser a

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

Z_Estructuras_AlgebTOTAL.indd 24

5/31/07 8:21:19 PM

Fascculo 6 / ESTRUCTURAS 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: 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 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: A6 : Clausura 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) 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. 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. ; para a, b, c E
C 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 ( P(x); ; ) ser un anillo? ( P(x); ) no ser un grupo abeliano, por lo tanto, no es un anillo. X A B Todo anillo es un grupo, pero no todo grupo es un anillo. Anillo Grupo

25

Z_Estructuras_AlgebTOTAL.indd 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) f (G, *) a b (G, #) f (a) f (b)

a E: a 1 = 1 a = a

3. Anillo de divisin Es todo anillo (E; *; ) con unidad cuyos elementos no nulos tienen elemento inverso. Aplicacin 1

+ 0 1 2 3 4

0 0 1 2 3 4

1 1 2 3 4 0

2 2 3 4 0 1

3 3 4 0 1 2

4 4 0 1 2 3

0 1 2 3 4

0 0 0 0 0 0

1 0 1 2 3 4

2 0 2 4 1 3

3 0 3 1 4 2

4 0 4 0 2 1

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)

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 1 2 3 4 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

Z_Estructuras_AlgebTOTAL.indd 26

5/31/07 8:21:20 PM

Fascculo 6 / ESTRUCTURAS 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. - (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 Para 2 su inverso es 3 Para 3 su inverso es 2 Para 4 su inverso es 4 Teoremas Teorema 1 Dado el anillo (E; +; ); se cumple: a E: a 0 = 0 Demostracin a+0 a(a+0) =a =aa Propiedad del elemento identidad de +. Propiedad de la monotoma del Propiedad distributiva Propiedad cancelativa
b f (b) (A; +; .) a

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 (B; +; .) f (a)

aa+a0 =aa a0 Teorema 2 =0

a a + a 0 = a a + 0 Propiedad del elemento identidad de +

En todo anillo (E; +; ) se cumple, ( -a ) b = - ( a b ) a ( -b ) = - ( a b )

a,b E

27

Z_Estructuras_AlgebTOTAL.indd 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 0 0 1 2 3 4 5
6

y las operaciones binarias definidas en las tablas siguientes: 1 1 2 3 4 5 0 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

Verifica si (

; + ; ) es un anillo.

Si as lo fuera, qu clase de anillo es ( 6; +; )?

28

Z_Estructuras_AlgebTOTAL.indd 28

5/31/07 8:21:21 PM

Fascculo 6 / ESTRUCTURAS 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? 4. Sea el grupo . 5. Sea G = {f / f: es un grupo. 6. Si E y S = {a + b / a, b ; 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.

3

7. Demuestra que ( n, +, ) es una estructura de anillos. Adems, determina si ( ( 4, +, ) y ( 5, +, ) son subanillos. 8. Prueba que (
n

, +, ),

, +, ), 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. * a b c a a b c
SC

b b

c c

29

Z_Estructuras_AlgebTOTAL.indd 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

Z_Estructuras_AlgebTOTAL.indd 30

5/31/07 8:21:22 PM

Fascculo 6 / ESTRUCTURAS 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

Z_Estructuras_AlgebTOTAL.indd 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

Z_Estructuras_AlgebTOTAL.indd 32

5/31/07 8:21:22 PM