Apuntes de un curso introductorio a la teoría de grupos
Descripción: Estas son notas de Algebra abstracta, la mayo parte de los ejercicios son la solución de uno de los libros de referencia
Aceros
Descripción: LIBRO PS.GENERAL
LIBRO PS.GENERAL
Algebra Book
ANATOMIA VEGETALDescripción completa
Algebra Book
This is actually great information. PT.
Descrição: This is actually great information. PT.
Programación en Java
Programación en JavaDescripción completa
Descripción: Libro psicologia
Programación en Java
Descripción: es un ensayo sobre la filosofia como abstraccion
APTITUD ABSTRACTA
sabcn, en aritmetica de fracciones sucede que n ~ / n= r/s si y solo si rns = nr.. Eslo nos da un crilerio mas eficaz para resolver nueslro problema, a sabet,
-
Denotemos por a h el hecho de que a esli en la misma celda-que h para una particion dada de un conjunto que contenga tanto a a como a h . Es claro que siempre se satisfacen las propiedades siguientes:
--
-
a a. El elemento a esta en la misma celda que el mismo. S i a b enronces b a. Si a esta en la misma celda que 6, entonces h esta en la n,isma celda que a. Si a b y h c, enronces a C. Si a esta en la misma celda que b y h esta en la misma celda que c, enlonces a esta en la misma celda que c.
-
-
-
El siguiente teorema es lundamental; afirma que una relacion entre elemenlos de un conjunto que satislace las tres propiedades recien descritas. produce una particibn natural del conjunto. Muchas veces, exhibir una relacion con estas propiedades, es la Iorma mas concisa de describir una particion de un conjunto, y es por esla razon que analizamos ahora este material.
-
Teorema 0.1 Sea S un conjunro no uacio y sea una relacidn enrre elemen10s & S que satisface lar propiedades siguienres: I (Reflexividad)a a para rodas 10s a E S. 2 (Simerria) Si a b, enronres b a. 3 (Transirividad) Si a by b c, enronces a c. Enronces, produce una parricibn natural de S , donde
-
-- -
--
-
--
es la celda que conriene a a pora roah las a E S. Reciprocamenle, -ada parricibn de S & lugar a una relacidn norural que sarisface las propiedades reflexha, simdrrica y rransiriua si se define a b como a E 6. Demosrraci6n Ya hemos demostrado la parte ccreciproca), del teorenm. , Para la afirmacibn directa. solo Ialta demostrar que las celdas definidas por ci = { x E S I x a] si consliluyen, en electo, una p-rtici6n de S, esto es. que todo elemento de S esta en exacramena una celda. Sea a E S. Entonas a € ci, por la condicion I, de modo que a esta en a1 menos una celda. Supongamos ahora que a tambien esluviera en la celda 6. Es necesario mostrar que ii = 6 c o m o conjuntos; esto mostraria que a no puede estar en mas de una czlda. Para ello mostramos que cada elemento de ii esta en 6 y cada elemento de 6 esta en o'. Sea x E ii. Entonces, x a. Pero a E 6, luego a b; entonces, por la condicion transitiva (3),x b de modo que x E 5. Asi, ci es parte de 6. Sea ahora y e 6. Entonces y b. Pero a 6, de manera que a b y, por simetria (2), b a. Entonces, pot transitividad, y a, de modo que y E i. De aqui
-
-
-
-
-
Operaclones binarias
LC&I cs el ingrediente bhsim del Upbra? El primer contacto de un nifio con el Blgebra se da cuando se le e n s e a~ sumar y multiplicar niimeros. Analicemos lo que en realidad suaede. Supongamos que ustodes visitan una civilizaci6n desconocida en un mundo deseonocido y observan a una criatura de cse mundo, en un salon de clases, ensmiando a sumar a otras criatuns. Supongamos a d r m b que ustedcs ignoran que el grupo apmnde a sumar, usledes simplemente crthn colocados en esa habitati6n como observadom y se pide h a a r un informe sobn lo que ban visto exactamente. El maestro m i t e unos ruidos que suenan aproximadamente como glup, poir. Los alumnos mponden bimr. A continuaci6n el maestro dice ompl. gafi y 10s alumnos mponden poil. iQuC a t h n hacicndo? Usteds no pueden informar que estkn sumando ncmeros, p u a ni siquiera wben que 10s sonidos represeatan n h r o s . Naturalmcntc, ustedcs mmprenden que existe mmunicac i b . Todo lo que pueden decir con scguridad es que e t a s criaturas conocen alguna ngla, de manera que al dcsignarse ciertos p a r a de cows en su lenguaje. una d s p h de otra, como glup, poir, eUos puoden ponerse de acuerdo en una mpuesta, b h t . Este proceso es igual al que ocurre en un aula de primer a80 a1 ensefiar a sumar; el maestro dice cuarro, side y 10s alumnos responden once. De este modo, al a n a l i r la suma y la multiplicacion de nttmeros, vemos que la suma es bkicamente una regla que sc aprmde y que nos permite asociar a cada dos nbmeros en un orden dado, un nbmem w m o mpuesta. La multiplicacibn tambitn es una regla, pero diferente. Por dltimo, d t e s e que a1 jugar con 10s estudiantes, 10s maestros deben tener algo de cuidado a a r c a de 10s pares de cosas que dicen. Si de repente un maestro de primer ado dice diez, cielo, 10s pobres
1.2 OEFlNlClON Y PROPIEDADES
11
alumnos se confundiran. La regla ata delinida solo para pares dr rlenientos dcl mismo mnjunto.
1.2
DEFlNlClON Y PROPIEDADES
Corno rnalematicos, tralernos de recoger la parte rnedular de esras ide;~sbhsicas en una delinicion util. Como ya dijirnos en Is seccion introductorin. no inlentamos definir un conjunto. D e i m k i h Una opcrauidn bimuia en un majunto, es una regla quc asigna a cada par ordenado de clernentos de un conjun~o.algun dcrnento dcl conjunto.
La palabra ordenudo es rnuy importante en esta definition. pucs da la posibilidad de que el elernento asignado al par (a, h) pueda scr dilcrc~i~c del elemenlo asignado al par (h, u).Tambikn tuvimos cuidado de no deoir quc ;I cada par ordenado de elemenlos sc le asigna orro o un rercer elemento. pucs quercmos permitir casos tales como 10s que ocurren en la surna de nurneros. dondc a (0. 2) se le asigna el numero 2. En las primeras secciones denotaremos por a . h al elemenlo asig~lndo;II par (a, 6) por *. Si en un analisis simullaneo hay difcrentes operacioncs hinc~rii~s. st usadn subindices o supraindices en para distinguirlos. El melodo mas iniportante para describir una operacibn binaria particular en un conjunto d:ido es el de caracterizar al elemento a * h asignado a cada par ((I, h) meciin~~lc ilguna propiedad delinida en lirminos de a y h. Ejemplo 1.1 [jefinase en Zt una operacion binaria r por u . 11 quc cs igual al minim0 cntre 9 y h o a1 valor combn si u = h. Asi, 2 I I = 2: 15 1 0 = 10 y 3.3 = 3.. Ejemplo 13 Lklinase en Z' una operilcion binaria *' mediante 2*'3=2;25*'10=25y 5*'5=5.
11 r ' h
= u. Asi,
Eplnplo 1 3 Dcfinase en Z+ una operacion binaria *" mediantc r r *" h = = (a h) 2 donde esta definida en el ejemplo 1.1. Asi, 4 *" 7 = k 25 *" 9 = I I y 6 *" 6 = 8. m
+
Quizi les parque estos ejemplos no son imporlantes, p r o pienxnlo hien. Supngamos que van a una tienda a comprar una deliciosa barra dc chocvlnte. Supngamos que ven dos bsrrarj idknticas, la eliqueta de una dicc 996 y la etiqueta dc la otra d i a 94C. Por supuesto, toman la de 94$. St1 c:~pacid:ld para saber cuil quieren depende del hecho dc que alguna vez en su viJa :~prcndicronI;I operacion binaria del ejemplo 1 .I. Er una operucii,n nrll!, i n r ~ r n r r o ~Asi ~ r ~~nismo, ~.
la operacion binaria r' del ejemplo 1.2 claramente depende de la habilidad para distinguir orden. A menudo se ilustra la importancia del orden pensando en el lio que resultaria si trataran de ponerse primer0 10s zapatos y despuks 10s calcetines. No deben apresurarsc a descartar algunas operaciones binarias creyendo que son de poca importancia. Es claro que las operaciones usuales de suma y multiplicacion de numeros lienen una importancia practica bien oonocida por todos. Escogimos 10s ejemplos 1.1 y 1.2 para demostrar que una operacibn binaria puede o no depender del orden del par dado. Asi, en el ejemplo 1.1, a h = h . a para toda a, h~ Zt, y en el ejemplo 1.2 eslo no sucede, pues 5 *' 7 = 5 pero 7 r' 5 = 7. Supongarnos ahora que se desea considerar una expresion de la lorma a r b r c. Una opcracibn binaria r pcnnite combinar s61o dos clernentos y aqui hay tres. Las maneras obvias de inlentar combinar 10s tres elementos son ( a 6 ) c o a (6 c). Con definida oomo en el ejemplo 1.1, (2 5) r 9 se calcula 2 r 5 = 2 y despuks 2 r 9 = 2. Asi mismo, 2 r (5 9) se calcula 5 9 = 5 y despub 2 r 5 = 2. De aqui que (2 r 5) 9 = 2 r (5 r 9) y se observa facilmente que para esla l
de manera que no existe ambiguedad al escribir a h* c. Pero para ejemplo 1.3
r"
del
mientras que
Asi, ( a 8'' h) r"c no neoesariamente es igual a a *"(h*"c) y la expresion a *"h *"c puede ser ambigua. DeIinki4n Una operacion binaria r en un conjunlo S es conmvrativa si (y solo si) a r h = h r a para toda u. h S. La operacion r es asociariva si (y solo si) (a b) c = u (h r c ) para toda a, h, c E S. Como sefialamos en la seccion introductoria, es costumbre en matematicas omitir las palabras y sblo side una definicion. Se entiende que las definiciones son siempre afirmaciones del tipa si y solo si. Los reorema no siempre son afirmacioI nes del rip0 si y s6lo si y dichu conurncibn nunca se usa pora reoremas.
No es dificil moslrar que si es asociativa, entonces expresiones mas largas como a 8 h c d no son ambiguas. Para prop6sitos de calculo, 10s parkntesis pueden insertarx dc cualquier modo: el resultado final de dichos calculos seri el mismo.
1.4 ALCUNAS PALABRAS DE ADVERTENCIA
1.3
13
TABLAS
Para un conjunto finito, tambitn se puede definir una operacion binaria en el conjunto, mediante una tabla. El ejemplo siguiente muestra cbmo l o haremos en este libro. Ejemplo 1.4 la regla
La tabla 1.1 define la operaci6n binaria
en S = {a. h, r ) mediante
(iisimo lugor en la izquierda) (j-tsimo lugar arribo) = = (lugar en el i k i m o renglcin y j-sima columna dc! cuerpo & la tabla). Asi, a r b = c y b r a = a de modo que
r
no es conmutativa.
Tabla 1.1
$# c
c
b
o
E l estudiante puede observar Ucilmente que una operacibn binario definida mediante UM rabla es conmutarha si y scilo si la tabla es sim2rrica con respecto a la diagonal que empieza en la esquina superior izquierda de la rabla y rermina en la e s q u b trjerior derecha. Suponemos siempre que 10s elementos del eonjunto estsn listados en la parte superior de la tabla en el mismo orden en que eslhn listados a'la izquierda. Con exccpcion del 1.4, nuestros ejemplos de operaciones binarias sc han definido en conjuntos de numeros. Es importante comprender que las operaciones binarias pueden delinirse en cualesquiera wnjuntos. En efecto, estudiaremos muchas operaciones binarias importantes en conjuntos cuyos elementos no son numeros. Algunos de 10s ejemplos dados mis adelante consisten en wnjuntos cuyos elementos son funciones. Suponemos que 10s ertudiantes estan hmiliarizados con ciertas funciones por sus cursos de d c u l o , entre ouos. Comprendemos que quizi por el momento no entiendan el concept0 de funcion; y mas adelante diremof algo sobre ello. Sin embargo. ya queremos ligar 10s conceptos recitn presentados con las matemiticas que ya saben.
1.4 ALGUNAS PALABRAS DE ADVERTENCIA Partiendo de su propia cxperiencia., e l autor sabe del caos que puede rcsultar si a un estudiante se le pide definir alguna operaci6n binaria en un conjunto. ObsEr-
14
OPERAClONES BINARIAS
vese que al definir una operacibn binaria seguros de que
en un conjunto S debemos estar
I se asigrlc e.raclarllcnlc un clrrrlenro a cada par ordcnado posible dc clcnirnro dc S, 2 para coda par adr~radodr clcrrrcnro.r flr S, r l el',frrorto asignado ~,.rfk1.n S.
Con respecto a la condicibn 1, 10s esludiantes suelen dar reglas que asignan u n elemenro de S a la amayorias de 10s pares ordenados, pero para algunos parcs la regla no delermina ninglin elernento. En este caso, no se ha detinido r. Tambien puede suceder que para algunos pares, la regla asigna cualquiera enye varios ekmentos de S, esto a,existe arnbigiedad. En caw de ambigiiedad. no u t P bien definida. Si se viola la condici6n 2, enlonces S no u cerrado bnjo *. Ilustrarernos ahora algunos intentos por definir operaciones binarias en conjuntos. Algunos son fallidos, como se setlala. Puesto que no se compararan las operaciones, denotaremos lodas por *. Ejemplo I S En Q, udefinasea por a r b = alb. Aqui, no rsrd drfinida ya que csta regla no asigna un nurnero racional al par (2.0).
.
Qmplo 1.6 En Q ' definasc r por o b = a/h. Aqui se satisfamn las condiciones 1 y 2 y r es una operacibn binaria en Q+.
.
Ejemplo 1.7 En Z+ udelinasew por a h = olh. Aqui se viola la condicibn 2, pues 1 + 3 no esd en Z'. Asi, noes una operacibn binaria en Z * ya que Z' !to es cerrado bop *. rn Ejcmplo 1.8 Sea S el wnjunto de tcdas las funciones w n valores reales definidas para todos 10s nimeros reales. Dzlinase r corno la surna usual de dos funciona, esto es,f g h donde h(x) = f ( x ) g(.r) para l; g E S y x E R. Esta ddinicibn de r satisfaa las condiciom 1 y 2 y nos da una operacibn binaria en S.
-
+
Ejcmplo 1.9 Sea Scorno en el ejemplo 1.8, ddinase wrno el producto usual de dos funciones, =to cs,f wg = h donde h(x) = f(xlg(x) Di nuevo esta definition es b u m y da una operaci6n binaM en S. rn Ejemplo 1.10 Sea S como en el ejemplo 1.8. udelinaser r wmo el cociente usual defpor g, esto a , / * g = h donde h(x) = f(x)/&). Aqui se viola la condicibn 2, ya quc las funcioncs en S deben esrar definidas para r&s 10s nlimeros reales y para algunag 6 S. g(x) sera a r o para algunos valores de x en R y h(.r)no estaria definida en csos nhrneros en R. POI ejemplo, si f(x) = w s x y g(x) = s2enlonces h(0) no esth delinida, de modo que h + S.. Ejemplo 1.11 Sea S wmo en el ejemplo 1.8; delinase)>* p o r f r g = h donde k es una funcibn mayor que f y g. Esta ccdeliniclbn* es completarnenle inutil. En
primer lugar, no se ha dclinido lo que signitica que una funcion sea mayor que otra. Airn si se hubiera hecho, cuelquier detinicion razonable conduciria a la existencia de muchas lunciona mayores que f y que g y no esroria- hien
.
dfinida.
Ejemplo 1.12 Sea S un wnjunlo lormado par veinte personas, todas ellas con dilerente eslalura. Definase por a b = r donde c es la persona mas alta de las veinte en S. Esta es una operacibn binaria wrrecta en el conjunto, aunque no sea particularmente interesante. Ejemplo 1.13. Sea Scomo en el ejemplo 1.12, ( por a h = c donde c a la persona mis baje en S que es mas dta quc a y que b. Esta no esrd definido pues si a o b a la persona mas alta del conjunto, a b no n t i determinada.
Ejercldos
. .
1.1 Sea la opcradbn binaria
ddinida en S = {a, b, c, d, c} mediante h tabla 1.2.
el r a dc la labla. b) CalcGlac ( a . b) c y a (b c) dc la tabla. jSe puede dccir. wn base en a t e dlculo, que a asocLtiva? C) CalcGlese (b d ) r c y b (d. c) de la labla jSe puede decir, con base en este dlculo, que s asociativa? d) jAcaso r ca cmmulativs? jPor quM a) CakGlac b 4 c c y [(a c)
. .
.
b
b
c
a b
d e
b d
c b
b b
a
a d c
1.2 Complktese la labla 1.3 de manera quc sc ddina una opcracibn binaria wnmutativa en S = {a, b, c. d l .
T a w 1.3
1.3 S=
.
La tabla 1.4 puede complelarse para definir una operacion binaria asociativa en h. 1.. 11.). Suponpase quc eslo es posihle y llcnensc 10s lugares vados.
t;:
{(I.
Tabla 1.4
h
h
c
u
i,
d ~ t Icd
.
dadas a continuacibn, d a una 1.4 Delerminesc si cada una de las dcliniciona dc operacion binaria en el conjunto dado. En caw, dc que no sea una operacion binaria, diga si las condicioncs I o 2 o ambas, de la sewion 1.4, sc violan. En Z', d d n a s e por a r h = a - b. En Z f , dclinase por a r b = 6. EnR,dctinax*poro*b=a-6. En Z', definase por a b = c, dondc c es el mcnor entcro mayor quc a y que b. En Zf,d@inase por a * h =?, dondc E cs al mcnos 5 unidadcs mayor quc a + b. r) En Z', ddinase p o r n b = c, dondc c es el mayor cntero menor quc el product0 dc
a) b). cj d) e)
. .
a y b.
'13 Pruebcx quc si es una operacion binaria en un wnjunto S, asociativa y conmutativa, c n t o n a s
( a * b ) . ( r * d ) = [(drc).a]*b para toda a, b, c, ~ E SSupbngase . que la ley asociativa sc cumplc w m o cn la dcfinicibn, solo para ternas. a t o a , supbngase sdlo
para toda .r, I: r
E
S.
1.6 Para toda operacion bioaria tativa y cull cs asociativa.
dcfinida a continuacidn, dctcrminese cual
r
a wnmu-
a) b) C) d) c)
EnZ,ddnax.pora*b=a-b. En Q,delinasc r por a r b = a b + I En Q.delinaw par a r b = 0612. En Z', d d n a x por a r b = Yb. En Z', detinase por a . b = 6.
1.7
‘False o
-
a) Si es cualquier operacion binaria en cualquicr conjunto S, e n t o n a s a . u = a para toda a E S. b) Si es cualquier opcracibn binaria conmutativa en cualquicr wnjunto S, cntonces a . (b r ) = (h E) 111 para toda a. b. C E S.
vcrdadcro?
-
-
C) Si r es cualquier opcracion binaria asociativa en cualquier conjunto S. entonces o r ( b r c ) = ( b * c ) * a p a r a t o d a e b,ceS. d) Las Gnicas opcraciones binarias importantes son aquellas defin~dasen-conjunlos de numcros. e) Una opcracion binaria r cn un conjunto Scs conmulativa s i cxistc u, b E S tal que a o b = h r a . f) Toda opcracion binaria dcliniaa en un conjunto dc un solo clcmcnlo es conmutativa y asocialiva. g) Una opcracion binaria cn yn copjunto S asigna al menos un elernento de S a rodo par ordenado de elemenlos de S. h) Una opcracion binaria en un conjunto S asigna a lo mas un elemenlo dc S a todo par ordcnado dc elernentos de S. i) Una opcracion binaria en unconjunto Sasigna exactamente un elerncnto de S a todo par ordenado dc elernentos dc S. j) Una opcracion binaria en un conjunto S pucde asignar mas de un elcmento de S a algun par ordenado de elementos dc S.
. .'
1.8 U s e un conjunlpdilerente a los descritos en 10s ejemplos del libro y que no sea un wnjunto dc numcros. Ddinanse dos opcraciones binarias dilercntes y en cstc conjunto. Asegurcsc que d conjunto este bien dermido. .
.
.
.
1 9 Sea S un conjunto con exactamente un demmto. iCuPntas bpcradones binarias dilerentes pueden definirse en S? Rcspbndasc a la prcgunta si S lienc 2 elementos; si ticne 3 elernentos; s i liene n elernentos. 1.10 jCu8ntas opcraciones binarias wnrnutativas difercntcs pueden dcfinirse en un conjunto dc 2 elerncntos?; Len un conjunto de 3 clemcntos?; Len un conjunlo de n elementofl 1.11 Obshvesc que Ias operacionca binarias + y +' en41 wnjunto {a, b ] dadas por las tablaa
b
o
b
proporcionan e l m h o lipo de esfrunura algebraica en {a, b ) en el sentido de quc si w reexrite la tabla para *'
es wrno la de
d o que l m papcles de a y b estan intcrcambiada.
.
Dese una delinicion natural del wnceptodc que dos opcraciones binarias y 4' en el m i m o wnjunto dan es1mcrura.r algebroicm del mum0 ripo, y que gcneralia esla oboervacion. b) ~ C d n l o slipos difercntcs de estructuras algebraicas cstan dadm por las 16 opcracioncs binarias difermta posibles, cn un conjunto dc 2 elemmtosl
a)
Continuernos el anilisis dc necstra cxpcricncia con el Algebra. Una vcz quc dominamos 10s problemas de calcular sumas y muitiplicaciones de nhmeros mtuvimos m condicionm dc aplicar atas operaciones binarias a la solucion de problemas. A menudo lor problemas llevaban a ecuaciones quc contcnian algun numero desconocido x quc era ncaario determinar. Las ccuacioncs mis scnciUas son las lineales dc las formas a + x = b para la operacibn de suma y ax = b para la multiplicacibn. La ecuaci6n lineal aditiva sicmpn tiene solucibn numtrica; tambib la multiplicativa, siemm que a f 0. En efecto, la nccesidad de soluciones de las ccuaciona lineales aditivas como 5 x = 2 a una magnlfica motivacibn para 10s nirmeros negntivos Dc manera similar, la nemidad de nhmeros rationales sc muestra mediante ecuaciones como Zx = 3, y La ncccsidad del numero mmplejo i sc muestra mcdiante la ccuaci6n x' = - 1. QuisiCramos ser capaces de m d v e r &uacioncs lineales que contengan operaciona binarias. Sin embargo, a t o no cs poaible para toda operacibn binaria. Por ejemplo, la a u a c i b a x = a no ticne soluci6n m S = {a, b, c ) para la operaci6n dcl ejemplo 1.4. Vcamos c u i k s son h propiedada de la operacion de suma de los enteros Z que nos pcrmiten resolver la ecuacion 5 x = 2 en 2. No debcmos ncurrir a la resta, p u a lo que nos ocupa es la soluci6n en tirminos de una sola operacion binaria, en es(c caso, la suma. Los pasos para la solucion son 10s siguientes:
+
+
cs(4 dado
5 + x = 2 -5+(5+x)= - S t 2 (-5 5) x = -5 2
+ +
+
sumando-5 kyasociativa
2.2 DEFlNlClON Y PROPIEDAOES ELEMENTALES
0 + x = -5+2 2 x = -5 x = -3
+
19
calculando-5+5 propiedad del 0 calculando -5 + 2
Estrictamente. no hemos mostrado aqui que -3 es una solucion. sino que es la unica posibilidad de solucion. Para mostrar que -3 es una soluci6n. basta calcular 5 + (-3). Puede bacersc un analisis similar para la ecuacibn 2x = 3 en 10s ndmeros rationales: Zx = 3 f(2x) = f{3) ( 1 . 2 ) ~= f .3 I.x=t.3 x =f.3 x=j
esta dado multiplicando por b y asociativa calculandof~2 propiedad del 1 calculando i . 3
f
Vcamos qu6 propiedads deben tencr un conjunto S y una operacibn binaria pcrmitir la imitacibn de este procadimiento en una ecuacibn a x = b para a, b e S. Es b&sii para el procedimiento la existencia de un elemento e en S mn la propiedad de que e * x = x para toda XES.En el ejemplo aditivo, 0 dacmpe~ibelpapel de e. y el I en el ejemplo multiplicativo. Despub, narsitamos un clemmto d en S que tenga la propiedad de que d a = e.. En el ejemplo aditivo - 5 dcscmpeao e! papel de d, y en el ejemplo multiplicativo lo hiio f. Por ultimo, neasitamos la k y asociativa. El m t o cs cucstibn de dlculos. Se puede observar Wlmente que para m l v e r la ecuacibn x a = b (hay que m r d a r que a x no neccsariarnente es igual a x a ) nos gustaria tener un elemento e en S t a l q u e x s e = XparatodaslasxcSy u n a d e n S t a l q u e r * Z = e.Contodas estas propiedada de en S stariamos seguros de pcder resolver ecuaciones lineala. Estas son pruisamente laa propiedada dc un grupo. + en S para
D C T I
binaria 9, '3,
'3,
'
+
Un gnrpo (G,*) es un conjunto C,junto w n una operacibn en C,tal que se satisface los siguientes axiomas:
La operacibn binaria es asociativa. Existe un elemento e en G tal que e + x = x e = x para todas las x E G:(Este elemento e a un ekmento identidod para * en 13.) Para cada a en G existe un ekmento d en G con la propiedad de que d a = a a' = e. (El elemento a' es un imrcrso & a respccto a +.)
R d l d e u quc IM4- indicln qus ic sli ddinicndo un itmino. V k s l inllirno piirralo ds la mxibn 0.1. h r tanlq un &mulo M e d a d pm UM opracib binaria en un mnjunto S a cualquiu s b l o r quc salidaga e. r = x r = r p r a lodas Isr raS.
20
CRUWS
Muchos libros incluyen otro axioma para un grupo, a saber, que G sea cerrado bajo la oprracidn 0 , es decir, que (a h ) G~para todas las a, b E G. Para nosolros, esta es una consecuencia de la dejinicicin de operation binaria en G. Debemos sefialar en este momenlo, que seremos descuidados con la notacion. ObsCrvese que un grupo no solo es un conjunto G. MAS bien, que un grupo (G, 0 ) consta de dos entidades, el wnjunto G y la opcracion binaria en G. Hay dos ingredientes. Denotar al grupo por el simbolo de wnjunlo G es logicamente incorrecto. Sin embargo, conforme se avanza en la teoria, las exlcnsiones logicas de la notacion (G, *) se vuelven tan voluminosas que dilicultan la lectura de la exposicion. En algun momento, todos 10s autores se rinden, descuidan la notaci6n y denotan al grupo solo por in letra G. Decidimos reconooerlo y ser desc~~idados desde el principio. Sin embargo, insistimos en quc a1 hablar de un grupo espccilico G, debe aclararse cual sera la operaci6n del grupo en G, pues un conjunto wntiene gran variedad de posibles opcraciones binarias delinidas, constituyendo gmpos diferentes. Algunas v m s emplearemos la notacibn (C. *) por razones de claridad en nuestros analisis Teorema 2.1 Si G es w g m p con una operaci6n binaria *, enlonces lar leyes de cancelacih iyuierda y &reek se cumplen en C, es decir, a b = a a c implica b = c y b r a = e r a implica b = cpara a, b, CEG. Demoslrocidn Sup6ngase que o b = a c. Entonas, pot Y, existe a' y
Por la ley asociativa (d r a) b = (a' a) l c.
Por la dd~nicidnde a' en Y, d r a = e, luego
Por la definition de e en Y, b=c
.
En forma aniloga, de b o = c a podemos deducir que b = c multiplicando por a' por la derecha y usando l a axiomas de grupo. Ndtese que fue necesario usar la dejnici6n de grupo para probar este leoremn, Teorema 2.2 Si G es un grupo con operacwn binaria r y si a y b son elementos ~ l e s q u i e r ade G, enronces lar ecuaciones linedes a* x = b y y r a = b tienen soluciones lhicas en G.
Notese que
Demmrrucion
a r /a' I b) = (a Ia') h = e* h =b
.
ley asociativa definition de o' propiedad de o
Por tanto, I = d h es una solution de a .Y = h. De manera analoga. != h r 11' es una solucion de ?. u = b. Para mostrar que J. es unica. supbngase que J' r a = h y J., r o = h En~onces. J ' * u = ,I., r a y por el ieorema 2.1 y = y,. La unicidad de .r se prueba de mnnera similar. Claro que para probar la unicidad en el ultimo teorema pudimos haber seguido el misrno procedimiento empleado para molivar la definicibn de grupo que mueslra que si N .v = h entoncs .r = a' r h. Sin crnbargo, prelerimos ilustrar la manera usual de probar que un objeto es unico. Supongamos que se tienen dos de dichos objelos, y que es necesario probar que deben ser el misrno. Nolese que las soluciones .\- = o' r h y !. = b r d no son necesariamente iguales a rnenos que r sea conmutativa.
.
Delinicibn Un grupo G es abrliano si su operacion binaria
r es
conmulativa.
Pongarnos algunos ejemplos de conjuntos con operaciones binarias aue dan grupos y otros quc no dan grupos. Ejemplo 21 El conjunto Ztcon la operacion elemcnto identidad para + en Zt.
+ noes un grupo. No existe un >
Ejernplo 2.2 El conjunto de todos 10s snteros no negatives (incluycodo el 0) con sigue no siendo grupo. Existe un elemento identidad 0,p r o no la operaci6n un inverso para 2.
+
+
Ejemplo 2 3 El conjunto Z con la operaci6n es un grupo. Se satidacen todas las condiciones de la definicion. El grupo es abeliano. Ejemplo 2.4 El conjunto Z f con la operacion de mul1iplicaci6n noes un grupo. Existe una identidad, el I, pero no hay inverso para 3. Ejemplo 25 El conjunto Q t con la operacion multiplicaci6n es un grupo. Se
satisfacen todas las wndiciones de la delinicion. El grupo es abeliano. Ejemplo 2.6
Definase
en Q' por o h = 4 2 . Entonces <
.-.."
y tarnbien
Por tanto,
es asocialiva. Es claro que
para todas las a E Qt de modo que 2 es un elernenlo identidad para ultimo,
*. Por
de manera que a' = 4/a es un inverso de a. De aqui que Qi con la operaci6n es un g r u p . Existe otro resultado acerca de gmpos que desearnos probar en esta scccibn. Teorema 2.3
En un grupo G con operacibn r huy una solo identidad e ral q u ~
para rodas las x E G. De la misrna manera, para cada a s G exirre un solo elemenlo a' to1 que daa=a*d=e. En resumen, la identidad y 10s inwrsos son ainicos en un grupo. Demostracibn Sup6ngase que e a x = x r e = x y ~ a m b i hque e , r x = x r e , = = x para todas las X E G . DCjcnse competir a r y e,. Considerando e como identidad, e r e , = e,. Pero considenindo e , unno identidad e r e, = e. Por tanto. e , = e . e , = e,
y la idcntidad en un grupo cs unica. Sup6ngase ahora que a' r a = a r a' = e y que a" r a a.a"
=aa
a" = e. Entonm
= ara' = e
y, por el teorerna 2.1,
a"
= a',
dc rnanera que el inverso de a a un grupo es Gniw. Para su informacibn, qucrernos haccr notar quc las estruauras algebraicas forrnadas por conjuntos con operaciones binarias en las cuales no se cumplen rodos
2.3 CRUPOS FlNlTOS Y TABIAS DE CRUPO
23
10s axiomas de grupo, tambikn sc estudian ampliamente. De eslas estructuras mas dkbiles, es el semigrupo, un conjunto w n una operacibn binaria asociativa, la q&, quizi haya acaparado mas atencibn. Recientemente se han estudiado tarnbih las .. estructuras no asociativas. Por ultimo, es posible dar axiomas formalmente mas dkbiles para un grupo (C, *) a saber:
I
La operacion binaria
en G es asociativa.
2 Existe una identidad izquierda e en G tal que e r x = x para todas las x e G. 3 Para cada a € G existe un inverso izquierdo a' en G tal que a' a = e
A partir de esta definicibn de wr solo lado podemos probar que la identidad izquierda tambien es una identidad derecha y que un inveno izquierdo tambikn es un inverso derecho para el mismo elemento. Por tanto, no deberiamos decir que estos axiomas son mPs dkbiles, pues dan lugar a las misrnas estructuras llamadas grupos. Es posible que en algunos casos sea mas facil corroborar estos ariomos izquierdos, que wrroborar los axiomas vcilidos para 10s dos lados. Desde luego, a ficil dcducu por sirnetria que tambib hay a x i o m derechos para un gmpo.
Hasta ahora nuestros ejemplos han comspondido a grupos inAn~tos,esto es, de grupos donde el wnjunto G time un nirmero infinito de elementos. El estudiante se preguntari si puede existir una estructura de grupo en algun conjunto Anito; la rspuesta es si, y ciertamente, dichas cstructuras son rnuy importants. Puato que un grupo debe tener al rnenos un elemento, a saber, la identidad, el wnjunto m b pequefio que puede dar lugar a un grupo es un conjunto {e} de un elemento. La unica operacibn binaria posible en {e} s t & definida por e e = e. El atudiante pucde wrroborar de inmediato que se cumplen 10s tres axiomas de grupo. En cada grupo, el elemento identidad cs siempre su propio inverso. Tratemos de constmir una estructura de grupo en un conjunto de dos elementos. Como uno de 10s elementos debe desempeiiar el papel de identidad, digamos que el wnjunto a { e a ; . Busquemos una tabla p r a una operacibn binaria en {e, a ] que dC una cslructura de grupo. Cuando demos una tabla para una operacibn de grupo. siempre colocaremos 10s elementos en la parte superior, hacia la derecha. en el mismo ordcn en que 10s colocamos del lado izquierdo, hacia abajo, colocando en primcr lugar la identidad, como en la tabla siguiente:
Como e sera la identidad, entonces
para todas bas X E (e, a ] , y nos vemos obligados a llenar la labla de la manera indicada mbs adelante, si es quc va a dar un grupo.
Ademas, o debc tener un inverso a' tal que
En nuestro caso d debe ser e o a. Puesto que obviamente d = e no funciona. debemos tener a' = a de tal modo que debemos completar la tabla de la siguiente manera:
Se satisfaoen asi todos 10s axiomas de grupo. excepto, quiza, la ley asociativa.
Veremos adelante, en una situation mas general, que esta operacibn es asociativa. Ustedes pueden aceptarlo en este momento, o hacer el tedioso trabajo de corroborar todos 10s casos. Con base en estos ejemplos, podremos enumerar algunas condiciones que una tabla que defina una operacibn binaria en un wnjunto finito debe satisfacer. para dotarlo de una estructura de grupo. Es necesario que algiin elemento del conjunto, que siempre dcnotaremos por e, a c t h como identidad. La condicion e x = x significa que el rengl6n de la tabla que contiene a e en el extremo iquierdo, debe contener exactamente 10s elementos que aparecen hasta arriba de la tabla, en el mismo orden. En forma aniloga, la condicibn r e = r signilica que la columna de la tabla bajo e, debc conlener precisamenre 10s elementos que apaen el extremo izquierdo, en el mismo orden. El hecho de que cada elemento a tenga un inverso derecho y un izquierdo, quiere decir que en el renglon frente a a debe apareoer el elemento e y que en la columna bajo a debe aparecer e en primer lugar. Asi, e &be aparecer en cada renglon y en cada columna. Sin embargo, podemos mejorar esto. Por el teorema 2.2, no solo tienen soluciones unicas las ecuaciones a r x = c y g * a-= r , sino tambien las ecuacio-
2.3 CRUPOS FlNlTOS Y TABLA5 DE CRUPO
25
nes a . = b y y r a = b. Por un argument0 analogo, esto significa que cudu elemcnto b del grupo &he aparecer una y solo m a wz en cada renglon y en cada colvmna & la rahla. De manera reciproca, supongamos que una tabla para una operacion binaria en un conjunto finito es tal, que hay un elemento actuando como identidad y que cada elemento del conjunto aparece precisamente una vez en cada renglon y en eada columna. Se puede vcr entonces, que la estructura es de grupo si y s61o si sc cumple la ley asociativa. Si una operacion binaria r esta dada por una tabla, por lo comdn es laborioso verifiear quc se cumple la ley asociativa. Si la operacion se define mediante alguna propiedad que caracteriza a a * b, suele ser ficil verificar el cumplimiento de la ley asociativa. Aiortunadamente, este segundo caso rcrulta x r el mas frecuente. Se ha visto que hay esencialmente un solo grupo de dos elementos, en el sentido de que si denotamos 10s elementos por e y a colocando primer0 a la identidad e, la tabla debe ser asi
Supongamos que un conjunto tiene tres elementos. Como antes podemos h a a r el conjunto (e,a, b). Para que e sea una identidad; en este conjunto, una operacibn binaria * d e b tencr una tabla como se muestra en la tabla 2.1. Quedan cuatro lugares por llenar. El atudiante puede ver de inmediato que la tabla 2.1 debe completarse como x m u s t r a en la tabla 2.2, si cada renglon y cada rolumna debe contener pmisamente una vez cada elemento. De nuevo se pide aoeptar, sin demostracion, el hecho de que esta operacion a asociativa, de modo que si da una atructura de p p o en G = {e, a, b ) . Tabla 2.2
Bi,. Supongamos ahora que G' es cualquier otro grupo de t r a elementos e imaginemos una tabla para G' donde la identidad aparece en primer lugar. Debido a que pudimos llenar la tabla para G = {e, a, h ) de una sola manera. vemos que si llamamos e a la identidad de G', a a1 siguiente elemento y h al ultimo, la tabla de G' que resulte seri lamisma que lade G. En otras palabras, las caractensticas es~ructuralesson las mismas para ambos grupos; un grupo se veri
eraclamente igual a olro con so10 carnbiar el nornbre a sus elementos. Por runto, c~uul~syubro rlos grupos dc ires eCmenros son es~rucruralmenfeel mismo. Esta es nucslra introduccion al concepto de isomorfisrno. Los grupos C'y C' son isomorJiis. Algunas veces esle concepto parece algo dilicil a 10s estudiantes. N o se lratara aqui, rnPs adelanle l o harernos de rnanera prccisa.
I1 Paracada operacibn binaria 8 delinida en el conjunto xitalado digase cubndo r dota al conjunlo de una atrunurs de grupo. Lk no resultar gmpo, d& el primer arioma en e l orden 9 , ; Y,; Y,; de la .ccribn 2.2 que no sz cumpla. a) b) C) d) e) f
DcFinase en Z por a. b = ah DcFinau*enZporo.b=a-b DcFinaserenR'pora*b = a b Delinase*enQporo*b= ab DcFinase en el mnjunto de todos lor nurneros reales distinlm de cero por a r b = ab M~nase*enCpora*b=a+b
L2 ConsidCrense nuutros axiomas 9,;9, y YI, para un grupo. Fitin dados en el orden 9,9,9,. Otros posibla 6rdenes para cnunciarlos son Y19,Y,; Y,9,9,; 9,9,9,;9,9,9, y 9,3,9,. Dc ulos =is 6rdena posibles, precisamente tm son aceptables para una ddinicion. iQut ordenu no son aceptables y por qui? (RccuCrdex que la mayoria de los profesom pregunta la ddinicibn de grupo cuando menos en un examen.)
2 3 Muktruc mtdiante dlculos y por el leorema 2 3 que s i G a un grupo con operacibn binaria 0 , e n t o n q para todas las a, b E C, kncmos que (a b)' = b'r a'. 'CuIl seria una e x p d 6 n anhloga pam (a b' c)'? 24 P d a s c de la riguknte manera para rnostrar que hay doa t i p difercntes posibles de Bhucntm dc grupo en un mnjunto de cuatro elmmtos. Sea el wnjunto {e, a, b, c} w n la identidad e p a n la opcraci6n del grupo. Enton~ala tabla dc grupo dcbe wrncnzar mmo sc muestra en la tabla 23
Tabla 2.5
El cuadro marcado mn la interrogaci6n no puede llenarsc con a. Lkbc llenarsc ya sea m n la identidud e o con un elcmento difercnte de e y dc a. Enel Lltimo caso no sc pierde gcnedidud a1 suponer que ate elemento a b. Si estc cuadro sz lkna con e, la tabla puedc m m p b n c cntonar de dos maneras, para dar un gmpo. Encuhtrenx estas dos tablas. (No es neaaario corroborar la ley asociativa.) Si se llena el cuadro con b. entonca se pude mmpletar la tabla de un solo rnodo para dm un grupo. EncuCntm mta tabla.
(Tampom aqui a neccsario corroborar la ley asccialiva.) Dc las Ires tablas obtenidas, dor dan el mismo t i p de atructura de grupo. Delenninese cuala son y mutstrese de qu.5 mancra dekria cambiar el nombre de lor elemenlos de una tabla para que ambas x a n la misma $00 conmuutivos todos 10s grupos de 4 elementos? 725 MuCslnse que ri G n un grupo finito con identidad e y con un numero par dc ckmcntos, mtonas eriste a r , en G, tal que a a = e.
+
26 ~ F a l r o vcrdadero?
-
a) Un grupo puede tener m8s dc un clemcnto identidad.
- b) Cualcsquien dos grupos de t m elementos son isomodos. - c) En un p p o , cada suacibn lineal timc rolucibn. - d) Ln nclitud mmcta k n t e a una definidbn cs manorizarln de manera que pucda
lucgo rrplirla p a l a h por palabra mmo rim m d texto. c) Cualquier definicibn de grupo dada por alguna penona cs corrects sicmpre que lo que rca grupo x @ n su M ~ n i c i b bsca grupo tambibn xgun la definicibn del libm. I) Cualquier detinicib dc grupo dada por alguna persona es correcta siempre que csa pcmna muestrc que todo lo que satisfaa su ddnicibn tambitn satisface la dd libm y vicmrro - g Todo p p o finito de t r e elemmtos como mkirno ca abeliano. - h) Una scuacibn de la fonna a . x b = c siempre tienc solucibn unim cn un Vpo. - i) El conjunto vacio pucde consideram como grupo. - j) Hasta ahom, cn el libm no x ban pracntado jemplos de grupos no abelianm
-
.
27 Dtae m a u b h para una operacibn binaria en el mnjunto {r.a, b) de t m elementos que cumph Ios uiomas 9, y Y, de p p o . pero no d axiom 9 , . 28 Dc m r d o mn d cjcrcicio 1.9. hay 16 opraciona binarias posiblcs en un mnjunto de 2 elementos. iCdntPa docan . Iconjunto de cslructura dc grupo? ~Cuhtasde 1.s 19,683 opmcioars binariu posibles en un conjunto & 3 clementas dotan . Iconjunto & una estnwbun dc gnIp.31
7.9
Sea S d conjunto dc todas lor numeros m l a exapto
- 1. Dclinax
.
en S por
.
a) MuWrrrt quc & una operocibn binarin en S. b) Mvtstrac quc (S. * ) a un grupo. c) b c u t o l m c la rducibn de la auacibn 2 r x r 3 = 7 m S. 2.10 Sea R* el wnjunto de todos los n6mcros m a l a exapto d 0. Ddinase a . b = Mb. a) MuQtrrsc que r & UM opcracibn binaria asociativa en R*.
b) Mubtrac quc site una identidad iquierda para dcmento en I*. c) Con au opem56n binaria, ~sR* un gmpo? d) Eapllqust la impoluncia de estt ejcrcicio. 2.11
r
cn R* por
y un inverso dcrecho para d a
Si s UM opcracib binaria en un wnjunto S, un ekmcnto x de S es idernpateme
pn r si x . x = x. Rutbcsc quc un grupo time exsctamente un elemento idempotcnte.
(Pucden usarsc los teomnas quc ya sc han dcmostrado en el terio.)
1 1 2 MuCItrtse que lodo grupo G con identidad es ateliano. [Sugerencia: considerese (ob)'.]
e lal
que x x = P para tadas las x s G,
1 1 3 Prutbcse que un conjunto G,junto con una operaci6n binaria en G que satisface 10s axiomas izquierdos 1, 2 y 3, dados al final de la seccion 2.2, es un gmpo. 214 PruCbese que un conjunto no vacio G junta can una operacibn binaria que las ecuaciones a
x = b y y * a = b tienen soluciones en G para todas las a, b, s
en G tal
G.
a un grupo. [Sugerencia: urcrc el ejcrcicio 2.13.1 215 Las siguientes udeliniciormu de grupo, quc deberln critiurse. oe han reproducido
literalmente, induyendo onografla y puntuacibn, de l a e d m e n a de alguna alumnos. a) Un g u p o G cs un conjunto de elementas junto con una operacion binaria satisfacen las siguienta condiciones r cs asociativa Existe e E G tal que e
tal que se
x = x r e = x = identidad.
Para toda a e G existe un a' (inverso) la1 que
b) Un grupo a un conjunto G tal que La operacibn en G u asokativa. existe un elemento identidad (e) en G. para toda a l G,e ~ i s t eun a' (inverso para cada elemento) c) Un ~ r u c8 p un conjunto con una operacion binaria tal quc csth dd~nidala opracibn binaria existc un inverso existe un clemento identidad d) Un conjunto G rc llama un grupa sobre la operacibn binaria a,b,e G
Operacibn binaria u d a t i v a bajo la suma existe un elemento { e ) tal quc
Para todo elemento a e~isteun elmento d la1 que
r
tal que para todas las
Subgrupos
Es el momento de explicar algo de terminologia y notaciones convencionales usadas en la teoria de grupos. Por regla general, 10s a1gebrista.s no usan un simbolo especial para denotar una operacion binaria diferenle de la suma y multiplicaci6n usualed Se aferran a la notacion wnvencional de la suma y la multiplicaci6n e incluso llaman la operacion suma o muitiplicacibn, dependiendo del simbolo usado. Es obvio que el simbolo para la suma es + y la multiplication se denota w n la yuxtaposici6n de 10s factores sin un punto, si es que no hay confusi6n. Asi, en lugar de la notaci6n a b usanmos ya sea a + b que se lee #la sum dc c i y bn o ab que se lee #el produclo dc a y 6 1 . Hay una espxie de acuerdo entre caballeros en cuanto a que el simbolo + se use s61o para designar operaciona wnmutativas. Los algebristas se sienten muy incomodos cuando ven a + b # b + a. Por csta raz6n. a1 desarrollar nuestm tcoria de grupos, en una situacih general donde la operation pueda &r o no conmutativa, usarcmos siempre la notacibn multiplicativa. Los matemhticos usan w n rrccuencia el simbolo 0 para denorar una identidad aditiva y el simbolo I para dcnotar una identidad multiplicativa, aunque en realidad no se denoten 10s enteros 0 y I . Claro que si alguien habla al mismo tiempo de ntimems, podria haber conCusi6n, y se prefiere el uso de simbolos como e o u wmo elementos identidad. Por tanto, una tabla para un grupo de Ires elementos sc veria mmo la tabla 3.1 o bien, wmo dicho grupo es conmutativo, se veria mmo la tabla 3.2. En situacioncs generales seguiremos usando r para denoiar el elemento identidad de un grupo.
Tabla 3.2
b
b
O
a
Se acostumbra denotar el inverso dc un clemento a en un grupo, con a-' en notaci6n multiplicativa, y w n -a en notaci6n aditiva. En adelantc usaremos cstas notaciones en lugar &I simbolo a'. Exp!iquemos un tirmino mas, que se usa tanto, quc amcrita una definici6n apartc.
Defia*ib. Si G cs un g u p o finito, cntonas el ordm JGIde G a el nGmero de elemcntos en G. En general, para cualquier conjunto linito S, (SJes el nhmero de elementas en S. Por Gltimo, en lugar de la frase con la operacibn binaria & usaremos la palabra bajo, asi que ael grupo R con la operacibn binaria dc sums* se conviertc en *el grupo R bajo la sumam.
HabrAn notado que hcmos icnido a vars grupos wntcnidos en gnrpos mayors. Por ejcmplo, el grupo Z bajo la suma csti wntcnido cn el grupo Q bajo la suma, el cual a su vez *it&conlmido en el grupo R bajo la suma Cuando vemos al gntpo
+
M n k h Un conjunto B es un sYbcojvnto dc urr c ~ y l t t oA denotado por B 5 A o A 2 B si cada e l m t o de B a t 4 en A. Las notaciones B c A o A 2 B se usaran para B 6 A, p r o B # A.
N6tcse que de acuerdo con csta definicibn, para cualquier conjunto A. A misrna y 0 son subconjuntos de A.
3.2 SUBCONJUNTOS Y SUBCRUPOS
51
DeTmici6n Si A cs cualquier conjunto, entonas A es el subconjunto impropio & A. Cualquier otro subconjunto de A es un subconjunto propio de A. Definici6n Sea G un gmpo y sea S un subconjunto de G. Si para cada a, b e S a cierto que el producto ab calculado en G tambiCn esti en S,entonces S es ccwado hjo la oprracidn & grupo de G. La operacibn binaria cn S, asi definida es la operacidn indud& en S &s& G. Podemos ahora prccisar el concept0 de grupo contenido en otro. DefinicYn Si H es un subconjunto de un grupo G cerrado bajo la operaabn & q u p o de G y si H es tl mismo un grupo bajo esta operacibn inducida, cntonces H es un subgrupo de G . Denotaremos por H s G o G L H cl hccho de que H cs un subgrupo de G, y H (C o G ) H significara que HiG,peroH+G. Asi, (Z, t ) < (R, t ), pero (Q*;) noes un subgrupo de (R. t ) aunque. wmo w n j u n t a ~Q* c R. Cada grupo G tiene wmo subgrupos a C mismo y (e), don& c cs el elemcnto identidad de G. Definidh Si G es un grupo, entonces G a el ubgrupo impropio de G. Todos 10s otros subgrupos son subgrupos propios. Ademis, ( e ) a el wbgrupo trivial de G. Todos 10s otros subgrupos son no dvicrlcs. Daremos algunos ejcmplos.
Ejemplo 11 Q + bajo multiplicacibn es un subgrupo propio dc R* bajo multiplicacibn. Ejemplo 3.2 Hay dos t i p s diferentes dc cstruauras de grupo de orden 4 (vhse el ejercicio 24). Sc dgcribiemn por sus tablas de grupo (tabfar 3.3 y 3.4). El grupo V s el Cgupo de Klein; la notacibn V provicne de la palabra alemana vierErnPpr.
El h i m subgrupo propio no trivial de Z4 cs (0, 2). N o r a que (0. 3) no es un subgrupo de Z p u s (0, 3) no es cerraub bajo Por ejemplo. 3 + 3 = 2 y 2 6 {0, 3); sin embargo, el grupo V tiene trcs subgrupos propios no triviales,
+.
(e, a ) ; (e, 6) y {e. c). Aqui, (u, a, h } noes un subgrupo pueslo que { P . 11. h ) no es cerrado bajo la operacion de V. Por ejemplo. oh = c y c $ (e11, hJ. rn
A menudo es conveniente dibujar un diugramo r<,ricular de los subgrupos de un grupo. En dicho diagrama una recta que baja de un grupo G ;I un grupo H signilica que H es un subgrupo de G. Por tanto. e l grupo mas grande e s l i mas arriba en el diagrama. L a ligura 3.1 contiene 10s diagramas reticulares par;! 10s grupos 2, y V del ejemplo 3.2.
(b)
(a)
Rg. 3.1
la1 Dlagrama reticular para
L (bl Dlagrama reticular para V
Notese que s i H 5 G y a 6 H entonces, par el teorema 2.2. 13 ecu;~cion ax = a debe tener solucion hnica, a saber, el elemento identidad de H. Pero esta ecuaci6n lambien puede,versecomo una ecuacibn en G y vemos que esla solucion 6nica debe ser tambikn l a identidad e de G.U n argument0 anilogo aplic;tdo a la ecuaci6n ax = e considerada tanto en H como en G, muestra que el inverso 1 1 - ' de a en G es lambitn el inverso de a en el subgrupo H. Conviene lener un criterio dc rutina para determinar si un subconjunto de un grupo G es un subgrupo de G. El siguimte teorema proporciona dicho criterio. Aunque hay crilerios m i s cornpactos que involucran una sola condicion, preierimos kte, por ser mas transparente, para un primer curso. . , r e o r e m 3.1 sdlo si
'lln subconjun~oH de w grupo G us
w suhgrupir clc G i.\ .v
I H es cerrado hojo la operacidn hinaria de G; 2 la idenlidad t. rlt. G esld en H; 3 para lodos 10s a € H es cierlo que o-' E H ramhikn. E l hecho de que si H 5 G entonces deben cumplirse las condiciones I.2 y 3, se desprende de inmediato de la definition de subgrupo y dc les observaciones que preceden al enunciado del tcorerna. De manera reciproca, sup6ngase que Hes un subconjunto de un prupo G tal que se cumplm las condiciones 1, 2 y 3. Por 2 tenemos de inmediato que !$, se satislace. Tarnbikn Y, se satisface por 3. Falta mrroborar el axioma asociativo 9,. Pero, con seguridad, para toda o, b, C E H es cierto que (nhk = N(hc) cn H ya queen realidad podemos considerarla una ecuacion en G, donde se cumple la ley asociativa. De aqui que H 5 G. rn Demosrracidn
3.3 SUBGRUPOS CKlltOS
3.3
33
SUBGRUPOS ClCLlcoS
En el ejemplo 3.2 obscrvamos que (0.3) no es un subgrupo de Z,. Veamos que tan grande tendria que ser un subgrupo H de 2, que contenga el 3. Tendria que contener la identidad 0 y el inverso de 3 que es 1. TambiCn H deberia contener a 3 + 3 que es 2. Asi, el linico subgrupo de Z, que wnliene el 3 es Z, mismo. Se imitara ahora este razonamiento en una situaci6n general. Como ya se dijo, para un argument0 general se usa siempre la notacion multiplicaliva. Sea G un grupo y sea 4 E G. Un subgrupo de G que contenga a debe, por el leorema 3.1, contener aa. lo que denotaremos por a? Entonces, debe conlener 0% lo que denotamos por a3. En general, debe contener d , que a el resultado del dlculo de produclos de a por si mismo, n f a d o m para cada entero positivo n. (En notaci6n aditiva denotariamos esto por no.) Estas potencias enteras positivas de a wnbrman un conjunto cerrado bajo multiplication. Sin embargo, cs posiblc que el inverso de a no estk en este conjunto. Desde luego, un subgcupo que contenga a debe wntener tambitn a-I y, por tanto, o - ' a - l , lo que dcnotamos por a - 2 y en general, debe wntener a-" para toda m e Z*. Debe wntener la identidad e = aa-I. POTrazones simb6licas obvias, estamos de acuerdo en quc oo sea e. En resumen, se ha mostrado que un subgrupo de G qw contengo a, debe confener rodos 10s elernenfos 6 (o no para grupos ndilioos) para fo& n e Z. Es decir, un subgrupo que wntenga 4 debe contener {dln E 2).Obdrvcse que eslas potencias d de a no son por f u e m dietintas. Por ejemplo, en el grupo V del ejemplo 3.2 a' = e,
4'
= a,
a'
= e,
a-'
=a.
y asi sucesivamente.
Es facil ver que se cumple la ley usual de 10s exponentes a'"d = a"*" para m, m, n E Z'. Podmos ilustrar otro tipo de caso con un ejemplo: n E 2. Es claro para
Dejamos 10s dctalles de la demostracion del caso general a 10s estudiantes que no teman aburrirse. Casi sc ha demostrado el siguiente teorema. Teormeo 3.2 . Sea G G grupo y sea 4 E G. Enronces
es un subgrupo & G y es ei menor subgrupo do G que conriene a, eslo es, coda subgrupo que conriene a conliene Hi.
*
Sc wdr8 distinmir cntrc lor tenminor minimal Y -or cuando se adi~ucna aubconivnlom de un mnjUnlc S quc &an alguru proplsdad. Un &conjunto H dr S minimal con a la pmpedad u H time la propredrd y ninpun subwnjunro K c H. K f H bcnc la pmp~sdui.So H ticne la propicdad y H E K para mdo subeonjunlo K w n la propicdad, enlonos H cs el ~ u b n j u n l o mcnor mn la prop*drd. Purdc haber muchm rubmnjunlos minimales, pem d l o un aubnjunlo mcnor. Para ilutnr. (r,a). (e. b) y (c, c ) son lodm los rubgrvpoa no triyialcs minimale, dcl grvpo V. (V& la Cgura 3.1.) Sin cmbnrgo. V no conlicnc un rubgrvpo no lrivial menor.
i o n Verifiquese si re cumplen las tres condiciones dadas en el teorema 3.1. para que un subconjunto de un grupo de un subgrupo. Pucsto que dd = = u"' para r, ss 2, el producto en G de dos elementos de H esia en H. Asi. H es cerrado bajo la opcracibn de grupo de G. Ademas, a" = e de modo que e E H y para d e H,n - ' E H y a-'a' = f . Todas las condiciones sc satislacen y, por tanto, H I C. Los argumentos previos al enunciado del teorema muestran que cualquier subgrupo de G que contenga a, debe contener H asi, H es el subgrupo menor de G aue wnliene a.
DeInici6n El grupo H del twrema 3.2 es el subgrupo dclico de G generado pm a y se denolari por ( a ) . Dclinici6n Un elemento a de un grupo G.qenera G y es un .qenerador de G si ( a ) = G. Un grupo G es cIdim ri exisle elgbn clemento a en G que pnerc G. Ejemplo 13 Sean Z, y V 10s grupos del ejemplo 3.2. Entonms 2, es ciclico y tanio I como 3 son generadores a t o es, (1)
= ( 3 ) = 2,.
Sin embargo, V JIO es ciclicn pues (a), ( b ) y (c) son subgrupos propios de 2 elernmtos. Es claro que ( f ) es el subgrupo trivial de un elemenlo. Ejemplo 3.4 El grupo Z bajo la suma es un grupo ciclico. Tanto I como gencradores del grupo.
- 1 son
'\
Ejemplo 3 3 Considtrese el gmpo 2 bajo la puma y busqucse ( 3 ) . Aqui, la notacion es aditiva y ( 3 ) debe contener
3 0
-3
3
-3+
+3=6 -3=
3 -6
+3+3 =9 -3+
-3+
y asi sucesivamente, -3-
-9 yasisufcsivamenle.
En otras palabras. el subgrupo ciclico generado por 3 consta de todos lor muldplos de 3, positivos, negaiivcn y el cero. Denolamos cste subgrupo pot 3Z, asi como por ( 3 ) . De manera similar. nZ sera el subgrupo cicliw (n) de 2. Notese que 6 2 < 32.
1 1 Delerminesc culks de lor siguicnlss subconjuntos de lor nbmeros mmplejos son subgrupos bajo la suma del gmpo C & 10s nlmcros mmplejos bajo la suma. a) R b) Q' c) 72 d) El conjunto R de 10s nhncros imaginaries puros incluyendo 0 el El conjunto n Q de los multiples racionalcr dc n fI El conjunto (n" I !I E 2;
33 A wntinuaci6n sc dan varios grupos. Proporcibncsc una liaa complera dc todas las rtlaaoncs dc un grupo cuando cr sublyupo dc algun otro grupo listado. G, G, G, C, G, G, C, C, C,
= Z bajo la auma = I22 bajo la suma
= Q i bajo la multiplicncion = R bajo la suma = R t bajo la multiplicnci6n = {~ J n~ Z)bajo la multiplicaci6n = 32 baja la s u m = el wnjunto dc lodos 10s multiplos enleros de 6 bajo la sum= {6" ( n E 2) bajo la multiplicaci6n.
33 M b a n x al menos 5 elrmeotar dc cada uno de los aiguientcs jrupos ciclicos. a) 25Z bajo la suma b) {(# 1 n E Z } bap la multiplicaci6n c) (e1 n c Z ) bajo la multipliid6n
34. i C d l a de 10s siguicnlcs grupos son cicliws? Para cada grupo ciclico obtCngansc 140s los pneradora &I grupo. GI=(%+) G,=(Q1+) Gs=(Q*,.) G, = (6'1 n~ Z ) bajo la multiplieaci6n G, = { a b f i 1 a . b . ~ ~bajolasuma )
G4=(6%+)
+
3.5 a)
Estudiex la aiructura dc la tabla &Igrupo Z, del ejcmplo 3.2.
POI analogi%wmpl6icsc la tabla 3.5 para oblcncr el grupo ciclim Z, dc 6 clcmmlos. (No a nuxsario probar la ley esocialiva)
Tabla 3.5
b) C a l ~ l e n xlos subgrupos (I).(2). (3). ( 4 ) y ( 5 ) dcl grupo Z , dado en la parte a). c) iQuC ekmentos son penendorex pacl e l prupo Z , dc la partc a)? Mutplresc quc si 11 y K s>nsuhgrap,?; dc un grupo abcliano G. enlonca {hk I h e H y k E K } cs un subgrupo dv G.
U 37 .
~ F a l mo vcrddcro'!
La k y asoci;~tivar cumplc cn l t d o g r a p ~ . b) Pudc habcr un grupo donde ialle In ley dc l a ctncchcibn. - c) Todo grupo a un subgrupo de si mismo. - a)
-
-
d) Todo grupo tiene precisrrmente dos subgmpos impropios. En todo grupo ciclico, t d o clcmento es un generador. C) - I) Hasta ahora, no sc ha dado en el libro un cjemplo de grupo q"e no sea abeliano. - g) Todo conjunto de numeror que cs grupo bajo la sum% tambien es grupo bajo la multiplicaci6n. - h) Se puede definir un subgrupo como subconjunto de un grupo. - i) 2, es un grupo ciclico. - j) Todo subconjunro dc lodo grupo es un subgrupo bajo la operaci6n inducida. -
3.8 Encucntrese cl error en el siguiente argumento: nLa condition 2 dcl leorema 3.1 es redundante, ya que puede derivarv dc I y 3. para cllo sea a~ H. Entonces, a - ' E H por 3 y. por I, on-' e en un dernento de H,lo cual prucba 2a
-
1 9 Mutstrese que un submnjunto no vacio H de un grupo C es un subgrupo de G si y sblo si ah-' l H para t a l a a,b E H. (Esk cr uno de 10s crirerior I& compoclos mmcionados antes del teorcma 3.1.) 3.10 PruCbese que un grupo ciclico con un solo generador puede lener a lo mas 2 ekmentos. 3.11 PruCbese que si C es un grupo abeliano w n idenlidad e, entonas t d o s 10s elementos x de G que satislaan la ecuaci6n x' = e lorman un subgrupo H de G. 3.12 Repitast el ejercicio 3.11 para la situaci6n general &I conjunlo H de lcdas las soluciones x de la ecr~acionf = e, para un enter0 fijo n 5: 1, m un grupo abeliano G w n identidad e. 3.13
M uktrese que si a E C. don& G cs un grupo finito con identidad e, mtonccr existe
n e Z + la1 quc u" = e.
3.14 Sea la operaci6n binaria de un grupo C arrada en un rubconjunto fidto no vado H de C. Muktrlrcs que H cr un subgrupo de G. 3.5
Sea G un grupo y u un elemento fijo d c G. m d s t m e que
H.
(xoCIxa=ur)
I
es un subgrupo de C. 3.16
Generalizando el cjemicio 3.15, sea S cualquicr submnjrnto de un grupo C.
a) Mutstrese que Hs = { x E C I xs = sx para toda s o S J es un subgrupo de C. b) Con refercncia a la parle a), cl subgmpo H, es el m t r o de G. Muklrese que H, es un grupo abeliano.
-
3.17 Sea H un subgrupo de un grupo C. Para a. b o C sea a Mubtrest que s una r d r c i ~de equivalcncia en C . 3.18
-
b si y s610 si ab-'
E
H.
Para 10s conjuntos H y K delinarc la i n t e d 6 n H n K por
Mutstresc que si H
< G y K < G, cnlonas H n
K
< C.
3.19 MuCslrese, mediante un ejemplq la posibilidad de que la ecuacion cuadrutica r' = r tenga mbs de dos soluciones en a l g h grupo C con identidad e.
En a t e capitulo y en el siguiente trabajaremos con grupos cuyos elementos son entes llamados permutaciones. Estos grupos nos proporcionarin 10s primeros ejemplos de grupos que no son abelianos. Mostraremos, en un capitulo posterior, que cualquier grupo a estructuralmente el mismo quc algGn grupo de permutaaones. Por dagracia, este rsultado, que pamuy importante, no rnulta util en particular. Quizis estCn lamiliarizados con la idea de permutacibn dc un conjunto wmo un reatreglo dc elementos del wnjunto. Asi, para el wnjunto (1,2, 3, 4 5) se podria dar, csquemiticamente, un rcamglo de 10s element- como en la Iigura 4.1, y obtemr el nuevo arrcglo (4, 2, 5, 3, I}. Pensemor en cste diagrama caquemitico de la Iigura 4.1 mmo una traslacibn o una fransformacidn de cada elemento de la wlumna de la izquierda, en un h i w elemento (no necesariamente distinto) del mismo wnjunto listado a la demha. De este modo, el 1 va a dar a1 4,el 2 pe uansiorma cn el 2, y asi suocsivamente. Mas a h para ser pcrmutacion del mnjunto, a t a translormacibn debe ser tal que cada elemento aparezca una y solo una vcz en la wlumna de la derecha. Por ejemplo, el diagrama en la Iigura
-
1-4 2
2
1-3
2-2
3 -5
3-4
4-3
4-5
5 - 1
5-3
Raun 4.1
F l ~ U r a4.2
4.2 no da una perrnutacion. pues en la columna d e m h q el 3 aparece dos veas
mientras que el 1 no aparece. Definiremos una permutacibn como dicho tipo de transfonnacion. Sin cmbargo, la idea general de asignar a cada cleniento de algun conjunto un elcmento del mismo o q u i d de un conjunto dlfercntc, se presentarb tan a rncnudo cn nuestro trabajo que daremos primcro una delinicih aparte de cste concepto. El concepto es el dc funcibn, tknnino que ya han encontrado.
D+fukihm Una fundfa o tramfanrackh 4 & ur cmiplca A ea m a wnj~~to B suna rcgla quc asigna a cada h e n t o a de A cxactamente un elemcnto b dc 8. Sc d i a quc 4 tmqfmma a rn b (o que b &ra a rr b) y que 6 rrcmsfkma o h a A en B.
La notaabn clhica para deaotar quc 4 lleva a cn b es
S i n cmbargo, con fracuencia usamos la notacibn
TambiQ se cncucntra m la Iitcratun la not.sibn 6 = b. El elemento b es la b n de a ).jO 4. E l hccho d c que 4 Ueva A en B se repmmtarb simb6lic.amcntc por
Sere Otil para el catudiitc considerar una funcibn en tCnninos dc la hgura 4.3. De las tm notacionca posibles dadas despu(s & la defiaicibn que cxpquc I$ Ueva a ca 6, cl estudiantc conarc la notacibn &a) = b por cursos anteriores.
4.1 FUNCIONES Y PERMUTACIONES
39
-
Muchos algebristas prefieren las notaciones a$ = h y d = h por la siguiente r d n : si 4 y (I w n luncioncs con 4 : A B y (I: B 4 C,entonces existe una funci6n natural que Ueva A en C como se ilustra en la ligura 4.4. Esto es, x puedc ir de A a C via B, usando las funciones 4 y (I. Esta funcion que lleva A en C es la fwibn carnpwst. constituida por 4 xguida de (I.En la notacion clbica &a) = b y (I(b)= c luego,
y se denota la funcion wmpuesta par $4. El simbolo (I4para
4 seguida de (I se tienc, eotonces, que leer de derecha a izquierda. En las notaciones mis recientes tcncrms a# = b y b$ = c w n
Por tanto, la funcion compuata en estas notaciones es #(I y puede ieerse de iquicrda a derecha. Sugerimos a1 estudiantc leer las notaciones a+ = b y d = b como d a imagcn dc a bajo 4 cs bn. Compnndedn que toda csta dircusi6n no es aarca dcl concepto. sino sobn notation. Sin embargo, una mala seleeci6n dc notaci6n pucde entorpcccr mucho el dcsarrollo de una twria matematica. Volvicndo alas pcrmutaaoneq de acuerdo con nuntra dfinici6n. vcmos que Is asignacibn dc la figura 4.2 es una lunci60 dc {1.2.3.4.5) cn si misma. Pcro no qutnmas Uamar a csto una pcrmutaci6n. Es necesario escogcr aqucllas funciones 4 tnl quc roab clcmento del conjunto a imagm dc rxacfmente un solo ekmcnto. Dc oucvo, existc una tcdnologia para una situaci6n m h general. DeClDici60 Una funci6n de un conjunto A en un conjunto B a uw a uno si cada clcmcnto dc B es imagen de a lo mis un elemento de A y es sobre B si cada ekmcoto de B es imagea dc nl menos un elemento dc A.
En rtrminos dc La figurn 4.3, una lunci6n 4 : A 4 B cs uno a uno si cada b c B ticnc u lo mbr una flccha dirigida hacia si. Dccir que 4 cs sobrc B,es decir quc t d a b c B ticnc a1 menos wur flczha dirigida hacia si. Pucsto quc a menudo atarcmos probando qu2 cicrtas funciones son uno a uno, o sobre, o ambccosas, vale la pcaa mcnciooar Is t h i c a a u t i l i r . 1 Para mostnr que a, = a,
4a
uno a uno. sc muatra quc old = a,4 implica
2 Para mostrar quc 4 a sobrc B, se mucstra quc para todo b E B existe a E A tat que a 4 = b
40
PERMUTACIONES I
Por bltirno, sefialemos que para 4 :A + B. el conjunto A es el dominio de 9; el conjunto B es el codominio de 4 y el conjunto A4 = {aQ I o e A ) es la imapn de A bajo 4. Para una permutacion dcl conjunto A queremos que cada elernenlo de A sea irnagen de uno y solo un elernento de A, de aqui la siguiente definition. Delinieibn Una pcrmuraeidn & un conjunro A es una funcion de A en A que es tanto uno a uno como sobrc. En otras palabras, una permutacion de A es una funcion uno a uno de A sobre A.
para representar una luncion 4 uno a uno dc A sobrc B. Es neoesario cmplcar algo dc ticmpo en estudiar y tratar de entendcr estas ideas; csto lacilitari el curso. La terminologia es todavia la usual, aunque hay otra tcnninologia que csd rnis y r n h en boga. propagada por lor discipulos dc N. Bourbaki. No usaremos aqui esa terminologia. pero la daremos para que ustedcs comprcndan su significado en caso de camntrarla. En la nueva terminologia. una transfomaci6n uno a uno cs una inyoeei6a; una translormacion sobre es una supray& y una translonnaci6n que es uno a uno y sobre es una biyeccibn.
En ins pennutaaones de un conjunto se dditK una operacwn binaria natural, la multiplirocibn depermu~aciones.Sea A un conjunto y scan a y r permutacioncs dc A dc modo quc a y r son funcions uno a uno y Ucvan A scbre A. La iunci6n compucsp m,mmo .~cilustra en la figura 4.4, con B = C = A; 4 = a y $I r, nos da una transformacibn dc A en A. Ahora bicn, ar s e d una prmutaci6n si es uno a uno y sobre A. Usamos la notacibn dc csaibir las funcions a la dcrecha, de rnanera que or pucde krse de izquicrda a dertchs. Mostmnos quc or es uno a uno. Si
-
-
entonas
y corno csti dado que r es uno a uno, sabemos que a,o = a,a. Pero cntonces, corno a es uno a uno, esto da a1 = ol. DCaqui que ar cs uno a uno. Para
4.2 CRUPOS DE PERMUTACIONES
41
mostrar que a7 es sobre A, sea a s A. Como r es sobre A, existe a ' s A la1 que a'r = a. Como a es sobm A, existe a"€ A tal que a' = d'o. Entonces. a = a'r = (aP'a)7 = a"(or),
de modo que 07 es sobre A. Para ilustrar esto, sup6ngase quc
y que o es la permulacion dada por la ligura 4.1.Escribimos a en una notacion m k wrnun como
ad, 10 = 4;20
=
2. y asi sucesivamente. Sea
entonas,
Por ejemplo, I(o7) = (1a)r = 41 = 2.
Mostrcmos abora que la wlecci6n de todas las pennutaciones de un wnjunto A no vacio lorma un grupo bajo esta multiplicaci6n de permutaciones. Tearema 4.1 Sea A un conjunro no wcio y sea S, la fmilia & rodas las prrmuraciones de A . Enlonces SA es uh grupo bajo la mul1ipIicaci6nde permurociones. Demoslracibn Dcbemos verificar tres axiomas. Como las permutaciones son lunciones, para mostrar que para las permutaciones a, r y p se cumple que
tenemos que mostrar que cada lunci6n wmpuesta lleva a toda a s A en la misma imagen en A. Esto es, debmos mostrar que
para toda a E A. Tcnernos
Por consiguiente. (m)p y a(g)llevan toda a e A a1 mismo elemento [(ao)r]p y son, pot tanto, la misma permutacibn Como no cmpkamos el k h o de que u, r y p son uno a uno y sobre, en realidad probamos quc la composiridn de funciones es etociatiua. Entoncep, se satisface 9,. La permutacibn i tal que a1 = a para todas las a A, obviamente aclua corno identidad. Por tanto, se satisface g,. Para una permutaci6n a dcfinimas a-' como la pennutacibn quc invicrtc la d i r d n dc la transformacibn u. esto cs aa-' scri el clemcnto d & A tal quc a = do. La existencia de exactamenle un elcmmto d con era caracteristica sc Qbe a quc, como funci611, o es uno a uno y sobre. ( V b s e cl ejercicio 4.18.) Es claro quc or = a = do
c ( m 7 - l ) ~= ~
4u-'o)
y tambib quc dr = d = ao-i = (doh-' =
~'(06'l
de mancra quc a-'a y nu-' son, ambas, la permutacibn r. Asi, se satisfafnctY,
.
A1 dcfinir perrnutacibn, no fuc nerrsario quc A fuem un conjunto hito. Sin embargo, casi lodos nucstrm ejcmplm de g r u p & permutacioncs tratarhn con pcnnutaciones dc conjuntos finites. Ea claro quc si ranto A mmo B tienen el mismo niunero de ckmentos, entonca el grupo & todas las permutacioncs dc A time la misma estruelura que el grupo d t todas 1Ps pemutacimes de B. Se puede obtcner UII grupo a partir &I o m simplemeate cambiando el nombrc a 10s claomtm. Estc eq dc nucvo. el coaocpto & g m p isomorfis mencionado en el capitulo 2 y accrcn dcl cual habhqaos mha adcknle.
.
DcTricib. Si A es cl conjunto finito {I. Z . ., nJ, entonccs el grupo de todas l a pwnutacioaes& A es el br*p rWhieo dr n h w y se dcnou por
S". Ndtcse que S. tiene n! elcmcntaq dondc
Ejanplo 41 Un ejmplo intcresantc es cl grupo S, & 3! = 6 elcmentos. Sea cl conjunlo A = {I. 2, 3). Listease las perrnutadoncs de A y a cada una asignex
4.3
DOS EJEMPLOS IMPORTANTES
43
una letra griega con subíndice. Más adelante se aclararán las razones para asignar los nombres y para sombrear la tabla. Sea ρ0 =
ρ1 =
ρ2 =
1 2 3
,
1 2 3 1 2 3
,
2 3 1 1 2 3 3 1 2
,
μ1 =
μ2 =
μ3 =
1 2 3
,
1 3 2 1 2 3
,
3 2 1 1 2 3
,
2 1 3
Puede verificarse que la tabla de multiplicación dada en la tabla 4.1 es correcta. Nótese que este grupo no es abeliano. Este es el primer ejemplo que tenemos de ello. Hemos visto que cualquier grupo de a lo más 4 elementos es abeliano. Más adelante veremos que un grupo de 5 elementos también es abeliano. Así, S 3 tiene el orden menor entre los grupos no abelianos. ■ Tabla 4.1
Hay una correspondencia natural entre los elementos de S 3 en el ejemplo 4.1 y las maneras en que pueden colocarse, una sobre otra, dos copias de un triángulo equilátero con vértices 1,2 y 3 (véase la figura 4.5). Por esta razón, S 3 es además el grupo D 3 , de simetrías de un triángulo equilátero. Usamos ρ i para las rotaciones y μ i para las imágenes reflejadas en bisectrices de los ángulos. La notación D 3
Figura 4.5
Figura 4.6
44
PERMUTACIONES
representa al tercer grupo diédrico. El n-ésimo grupo diédrico D n . es el grupo de simetrías del n-ágono regular. Ejemplo 4 2 Fórmese el grupo diécdrico D 4 de permutaciones, correspondientes a los rnodos en que puedan superponerse dos copias de un cuadrado con vértices 1, 2, 3 y 4 (véase la Figura 4.6). D 4 será el grupo de simetrías del cuadrado. También se le llama grupo octal. De nuevo, úsese una notación y sombreo en la tabla que parece arbitraria, pero que se explicará rnás adelante. lntuitivamenle usemos ρ i para rotaciones, μ i para imágenes reflejadas en bisectrices perpendiculares a los lados y δ i para 1os reflejos en las diagonales. En. este caso hay ocho permutaciones. Sea ρ0 =
ρ1 =
ρ2 =
ρ3 =
1 2 3 4
,
1 2 3 4 1 2 3 4
,
2 3 4 1 1 2 3 4
,
3 4 1 2 1 2 3 4 4 1 2 3
,
μ1 =
μ2 =
μ3 =
μ4 =
1 2 3 4
,
2 1 4 3 1 2 3 4
,
4 3 2 1 1 2 3 4
,
3 2 1 4 1 2 3 4
.
1 4 3 2
Puede verificarse que la tabla para D 4 . dada en la tabla 4.2 es correcta. Nótese que D 4 , tampoco es abeliano. Este grupo es sencillamente una belleza. Nos proporcionará magníficos ejemplos para casi todos 1os conceptos que presentaremos en teoría de grupos. !Qué bellas simetrías hay en la tabla! Tabla 4.1
RO. 4.7 Dlagfama reticular para 0,. Por ultimo, en la figura 4.7 se muestra el diagrama reticular para 10s subgrupos d e D,. Verifiquese si es wrreclo.
4.1
Considercnse las tres permutacioncs cn S,
U ~ C d de b lap siguicntes fuociom dc R en
a) b) C) d) C)
f,: R + R ddinida por f,(x) = x + 1 f,: R + R ddinida por fz(x) = x' jl: R R ddinida por f3(x) = -2 f,: R R dddiida por /Ax) = e' f,: R R ddinida por f,(x) = x3 - x'
4.3
Considhcsc cl grupo S3del ejcmplo 4.1.
--
R son permumiones de R?
- 21
a) EncuCntrcnr los s u b g r u p ciclicar ( p , ) , ( p , ) y ( p , ) de S, b) Encuhtrenr to& los subgrupos, propios c impropios, de S, y elabbrtu el diagrarna reticular wrrcspondienle.
4.4
Obtdngase la tabla de multiplicaci6n para el subgrupo cklico de S, gcnerado por
H a b r l 6 clementor. Sean p, pa, p', pa. p' y po = p 4 i,Acaso cste grupo es isornodo a S,? '4.5 Sca A un wnjunto y a un elemento dc A. Sea T . el wnjunto dc todas las permutacioncs de A quc tcngan la propiedad de quc aa = a. Mu&trrse que T. a un subgrupo del g ~ p S,o de todas Ins permutaciona C6 A dado en d teorcma 4.1.
4.6
LFalso o verdadcro?
- a) Tcda pcrmutaci6n a una funcibn uno a uno. - b) Toda funcibn cs una permut.cl6n si y db ri cs uno a uno.
-
c) To& f W b n de un wnjunto linito wkc sl miamo dcbc rer uno a uno.
- d) Hasta ahora no sc ha dado m cl libm un cjemplo dc un grupo que no
-
e)
- I)
-
h)
-
j)
g)
- i)
-
sca
abcliano. Tcdo subgrupo dc un grupo abcliano a abcliano. Tcdo elcmcnto de un grupo g n c n un subgrupo cicliw dcl grupo. El grupo simttrim S,o tinre 10 elcmenloa El grupo aimttrim S, a dcliw. S. no a Eicliw p a n cualquisr n. Todo grupo cs isomodo a aslgbn grupo dc pcrmutacioncs.
4 7 Muktrac, medinntc un cjemplo, quc todo subgupo propio de un grupo no abcliano puedc r r abeliano. 4.8
P a n lsd peimutaciona a, r y fl dcl jercicio 4.1, cncuhtrssc