Descripción: Manual de la asignatura Psicología de los Grupos de 3º de Psicología de la UNED, edición de 2017, todos los temas incluidos. Autores: Fernando Molero et al.
Manual de la asignatura Psicología de los Grupos de 3º de Psicología de la UNED, edición de 2017, todos los temas incluidos. Autores: Fernando Molero et al.Descrição completa
Descripción completa
Descripción completa
da série educação em questão
LAPASSADE
Tipos de grupos en el trabajoDescripción completa
Descrição completa
juklak juknis
lte ver 3 description
jjDescripción completa
actoDescripción completa
TEORÍA ELEME~TAL DE GRLPOS
CUADERNOS DE LA UNED
Emilio Bujalance García José Javier Etayo Gordejuela José Manuel Gamboa Mutuberría
y José Manuel Gamboa Mutuberrfa ISBN: 978-84-362-4436-6 Depósito legal: M. 38.568-2007 Tercera edición: noviembre de 2002 Tercera reimpresión: febrero de 2012 Impreso en España - Printed in Spain Imprime: Grafo, S.A Avd. Cen,antes, 51 - Edif. 21 (Vizcaya)
iNDICE
INTRODUCCIÓN ....................................................................................... INSTRUCCIONES PARA EL LECTOR .................................................... CAPÍTULO 1.
9 13
GENERALIDADES. TEOREMA DE LAGRANGE
Grupos .. ........ ... ... .... ........... ... ........................ .... ... ....... .......... ........ ... . Subgrupos. .... .................................................................................... Orden de un grupo .... .......................................................... ........ ... . Índice de un subgrupo ..... ........... ... .......... ... .... ... ................. ............
17 25 36 40
Ejercicios correspondientes al Capítulo 1 ........... .......... ....... ........... ........
56
l.
11. 111. IV.
CAPÍTULO 2.
SUBGRUPOS NORMALES. HOMOMORFISMOS. TEOREMA DE ESTRUCTURA DE LOS GRUPOS ABELIANOS FINITOS
Subgrupos normales. Propiedades................................................. Grupos cocientes.............................................................................. Homomorfismos ..... ... .... .... ... ....... ...... .... .......... ........... ... .................. Teoremas de isomorfía .. .... ... .... ... ... ... ........... .......... ........... ... ........... Estructura de los grupos abelianos finitos....................................
61 70 76 98 103
Ejercicios correspondientes al Capítulo 2 ...............................................
114
l.
11. 111. IV. V.
CAPÍTULO 3.
GRUPOS DE AUTOMORFISMOS. ACCIÓN DE UN GRUPO SOBRE UN CONJUNTO
Ejemplos de grupos de automorfismos ......................................... Automorfismos internos.................................................................. Subgrupos característicos ..... ... ....... .......... ... .......... ....... .................. Acciones de grupos sobre conjuntos..............................................
Introducción..................................................................................... Subgrupos de Sylow ........................................................................
171 173
8
TEORÍA ELEMENTAL DE GRUPOS
Intersecciones de subgrupos de Sylow .......................................... Criterios de no simplicidad............................................................. Otros resultados sobre invertibilidad del teorema de Lagrange.. Ejercicios correspondientes al Capítulo 4 ...............................................
111. IV. V.
CAPÍTULO 5.
GRUPOS SIMÉTRICOS Y ALTERNADOS
l. Sistemas generadores de Sn y A".................................................... 11. Simplicidad de An ..... ........ .. ....... ........ ....... .. ........ .. ............... ............ Ejercicios correspondientes al Capítulo 5 ......... .......... .. ........ .. ............. ... CAPÍTULO 6.
221 236 258
SERIES
l. Series de composición..................................................................... 11. Grupos policíclicos .......................................................................... 111. Conmutadores y subgrupos derivados........................................... IV. Grupos resolubles y nilpotentes ..................................................... Ejercicios correspondientes al Capítulo 6 ........... ........... .. .......... .. ...........
CAPÍTULO 7.
194 200 211 216
263 270 286 298 320
GRUPOS ABELIANOS FINITAMENTE GENERADOS. GENERADORES Y RELACIONES
l. Teorema de estructura..................................................................... 11. Generadores y relaciones ..... ........ ...... .. ........... ........... .......... ........... Ejercicios correspondientes al Capítulo 7 ...............................................
325 336 367
RESOLUCIÓN DE LOS EJERCICIOS..................................................... GLOSARIO DE ABREVIATURAS Y SÍMBOLOS.................................... ÍNDICE DE TÉRMINOS...........................................................................
371 515 519
INTRODUCCIÓN Este libro ha sido diseñado para ser estudiado por los alumnos del primer ciclo de la Licenciatura de Ciencias Matemdticas de la Universidad Nacional de Educación a Distancia, y por lo tanto sin la ayuda de un profesor. Esto nos ha movido a intentar detallar al máximo la exposición y a incluir gran número de ejemplos, lo que explica la evidente desproporción entre el elevado número de pdginas y la modestia de los objetivos alcanzados. Pretendemos dar una introducción autocontenida de algunos aspectos bdsicos de la teoría de grupos, que se puede impartir en el primer cuatrimestre del primer curso de dlgebra (no lineal) de las Facultades de Matemdticas de la Universidad española. Algunos resultados son utilizados en el libro Anillos y cuerpos conmutativos, correspondiente a este mismo curso, y al que haremos referencia como [CA] Los prerrequisitos necesarios son mínimos: las nociones de aplicación entre conjuntos, inyectividad, sobreyectividad, relaciones de equivalencia y cuestiones elementales de dlgebra lineal. Sólo la resolución de algunos ejercicios del último capítulo exige algún conocimiento sobre conjuntos ordenados (el axioma de la buena ordenación de Zermelo ). El texto se articula en torno al estudio de tres problemas bdsicos: Problema 1. Clasificación de los grupos abelianos finitamente generados. Problema 2. Simplicidad y resolubilidad de grupos finitos. Problema 3. Invertibilidad del teorema de Lagrange. De entre ellos sólo resolvemos de modo completo, como es obvio, el primero, precursor del andlogo problema de clasificación de módulos sobre dominios de ideales principales. El caso finito se resuelve en el capítulo 2. El caso general se aplaza al capítulo 7 (proposición 7. 7). Aquí empleamos tanto el teorema de estructura de los grupos abelianos finitos (proposición 2.21) como las propiedades obtenidas en el capítulo 6 sobre el número de Betti de un grupo policíclico (los grupos abelianos finitamente generados son policíclicos ). Se obtiene ademds en el capítulo 7 un procedimiento algorítmico para clasificar un grupo abeliano finitamente generado a partir de una presentación del mismo mediante generadores y relaciones. Junto con el teorema de estructura de grupos abelianos finitamente generados, el otro resultado fundamental en el curso es el teorema de Sylow (capítulo 4, proposición 4.5) que es el utensilio fundamental empleado en el texto para dar respuestas parciales a los problemas 2 y 3.
10
TEORÍA ELEMENTAL DE GRUPOS
La detenninación de los grupos finitos simples (aquellos que no admiten subgrupos normales propios) es muy reciente. Este problema ha generado importante investigación en teoría de grupos, pero como es obvio, aquí sólo presentamos algunas pinceladas en los capítulos 4 y 5. A título de ejemplo citemos: -
Los grupos de orden (número de elementos) 2m, donde m es impar mayor que uno, no son simples (proposición 4.19).
-
Los grupos de orden p"q, p y q primos, no son simples (proposición 4.13 ). En particular esto sin,e para los p-grupos (grupos con p" elementos).
-
Los grupos alternados A son simples sin 0
=;i:
4 (proposición 5.15).
Hemos omitido muchos resultados de naturaleza similar a los anteriores. Algunos tienen cardcter elemental, como la existencia de un grupo simple de orden 168 (el de menor orden no primo que no es alternado); otros escapan evidentemente de las pretensiones de este libro, como el célebre teorema de Feit y Thompson: -
Los grupos simples de orden impar tienen orden primo.
El estudio de los grupos resolubles, en el capítulo 6, viene primordialmente motivado por un teorema de Galois que resolvió un problema del que se ocuparon los mds eminentes matemdticos (véase [CAJ, IX, 1.10): -
Las raíces de la ecuación
a 0 + a 1 T + ... + a 0 Tº = O, a 0 ,
••• ,
a 0 E Q,
se expresan mediante sumas, multiplicaciones y radicales de números racionales (se dice que la ecuación es resoluble por radicales) si y sólo si cierto grupo asociado a la ecuación (su grupo de Galois) es resoluble. En consecuencia, la resolubilidad (por radicales) de las ecuaciones de grado menor o igual que cuatro, y la no resolubilidad de algunas de grado cinco se deduce mediante: -
Los grupos de orden menor o igual que 24 son resolubles (proposiciones 6.4.10 y 6.13.5).
-
El grupo de permutaciones S 5 no es resoluble (proposiciones 6.4.9 y 6.13.5).
De los tres problemas citados inicialmente es el tercero el que abordamos en el texto de manera mds superficial. El teorema de Lagrange (capítulo 1, proposición 1.12.8) afirma que: -
El orden de un subgrupo de un grupo finito divide al orden de dicho grupo.
11
INTRODUCCIÓN
Más interesante es el recíproco: Si G es un grupo de orden n, ¿cuál es la imagen de la aplicación [subgrupos de G] --+ [divisores de n]: H
i-+
orden de H?
Decimos que el teorema de Lagrange se invierte en G cuando esta aplicación es sobreyectiva y a lo largo del texto se demuestra que el teorema de Lagrange se invierte en los grupos abelianos finitos, en los diedrales, en los pgrupos, y en los de orden menor o igual que 23 que no son A41 pero no en este último (capítulo 4, proposición 6.22). Además en el capítulo 6 se caracterizan los grupos nilpotentes como aquellos en que cada divisor de n es el orden de un subgrupo normal Cualquier lector avezado echará de menos las muchas omisiones de este libro. Tratando de mantener el carácter elemental del mismo hemos resistido la tentación de incluir temas de gran belleza, como por ejemplo, representación de grupos y las técnicas de «transfer y splitting». El lector puede encontrar magníficas exposiciones de los mismos en S. Lang, Álgebra, AddisonWesley, y J. Rose, Group Theory, Cambridge Univ. Press. Incluso los temas tratados han sido deliberadamente cercenados en algún punto, en aras de la elementalidad. Por ejemplo no hemos estudiado productos semidirectos de grupos, aunque en 6.6.3 y 6.2.5 se dan dos casos particulares, ni hemos probado el teorema de Hall que puede entenderse como una generalización, para grupos resolubles, del de Sylow. De todo lo anterior se desprende cuál es el objetivo que nos hemos marcado; hemos querido ofrecer al lector de este libro una primera toma de contacto con la teoría de grupos, que le familiarice con las nociones y algunos de los problemas básicos y le ponga en condiciones de estudiar otros textos de mayor nivel. Un resumen del contenido de cada uno de los siete capítulos que componen el libro se encuentra en las introducciones de los mismos.
INSTRUCCIONES PARA EL LECTOR Las diversas proposiciones, definiciones, corolarios, lemas, observaciones, comentarios, ejemplos y los pasos fundamentales de algunas demostraciones van acompañados de una cuaterna de enteros no negativos (m, n, p, q), de modo que si alguno es cero, se suprime. El entero m designa el cap(tulo, y la terna (n, p, q) la posición relativa dentro del mismo (orden lexicográfico). En ningún caso n denota el epígrafe (salvo azarosas coincidencias).
Al final de cada cap(tulo se proponen 20 ejercicios numerados desde 1 hasta 140, cuyas resoluciones detalladas se presentan al final del libro. Los ejercicios que se han considerado más difíciles han sido indicados con un asterisco*. Ni los enunciados de los ejercicios ni sus soluciones se emplean en el texto ordinario aunque la solución del ejercicio n-ésimo puede exigir la del k-ésimo para algún 1 ~ k < n. Además de las notaciones empleadas para designar los distintos conceptos introducidos en el texto, utilizamos las habituales: a E A significa que a es un elemento del conjunto A a, b E A significa que a y b son elementos del conjunto A
El conjunto vacío se designará por "1 A e B significa que cada elemento de A pertenece a B. A
~
B significa que A e B y A #- B.
B \ A es el conjunto formado por los elementos de B que no están en A.
f : A ~ B es una aplicación de A en By el transformado mediante f del elemento a E A se denota f(a).
Si f : A ~ B y g : B ~ C son aplicaciones denotamos g f : A ~ C la aplicación composición que transforma a E A en g(f(a)) E C. 0
Utilizamos f I M para designar la restricción a M e A de la aplicación f : A ~ B y 1A ó IA para la aplicación identidad 1A= IA : A ~ A : a i--+ a. El número de elementos de un conjunto finito A se denotará card (A) o card A El conjunto de los números naturales O, 1, 2, ... , se designará por N; los de números enteros, racionales, reales y complejos por "?L, O, ~ y C, respectivamente.
14
TEORÍA ELEMENTAL DE GRUPOS
Si i, j, k y
f
son números enteros, la expresión i
:s;
j, k
:s; f
significa que tanto j como k están comprendidos entre i y f. Otras expresiones corrientes como det(A) = determinante de la matriz A, n!
= 1 · 2, ... , n = factorial den, o los números combinatorios (n) = m
n! m!(n-m)!
se utilizarán sin previo aviso. Además de los textos ya citados de Lang y Rose aconsejamos al lector que desee profundizar más en los temas aqu{ expuestos la lectura, entre otros, de los siguientes libros: A. MACHI. Introduzzione a la teoria dei Gruppi. Feltrinelli. M. SUZUKI. Group Theory. Springer. H. J. ZASSENHAUS. The theory of groups. Chelsea.
Capítulo 1 GENERALIDADES. TEOREMA DE LAGRANGE
Este capitulo tiene carácter introductorio. En él se presentan los grupos, objetos a estudiar en el texto, y algunas construcciones comunes a toda la matemática; las subestructuras (subgrupos) y la estructura producto (producto directo de grupos); todo ello acompañado de muchos ejemplos. Se estudia la clase de grupos más sencillos, los dclicos, y se obtiene el primer resultado de naturaleza aritmética para grupos finitos: el teorema de Lagrange. Este teorema dice que el número de elementos de un subgrupo de un grupo finito divide al número de elementos de dicho grupo.
l. GRUPOS Definición 1.1. Un grupo es un conjunto no vacío G en el que está definida una operacion binaria
que escribiremos (a,b)
t--+
ab
tal que: (ab)c = a(bc) para cada terna de elementos a, b y e de G. Se dice que la operaciones asociativa.
(i)
(ii)
Existe un elemento u E G tal que ua =a= au
para todos los elementos a de G. (iii) Para cada elemento a E G existe x E G tal que
ax = u = xa. Diremos que abes el producto de a por b. 1.1.1. Observaciones. El elemento u de (ii) en la definición anterior es único pues si u' también verificara (ii) tendríamos: uu' =u'= u'u u 'u= u= uu '
(a= u' en (ii))
de donde u ' = u ,u= u.
18
TEOIÚA ELEMENTAL DE GRUPOS
Se dice que u es el elemento neutro de G. Usualmente denotaremos le = u y si no hay posible confusión con el grupo en el que estemos trabajando, simplemente 1 =u.Si la operación en G la notamos por (a, b) ~a+ b, la llamaremos suma y al elemento neutro Oc o simplemente O. Asimismo, para cada a E G, el elemento x de (iii) en 1.1 es único pues si y E G cumpliese (iii) tendríamos: ax= u= xa ay= u= ya
En particular ax
esto es, ux
= uy,
= ay, luego x(ax) = x(ay), y por la propiedad asociativa, (xa)x = (xa)y,
de donde x
= y.
Al único elemento x de G que cumple ax= u= xa
le llamamos inverso de a y lo notamos por a- 1. Nótese que si a E G, como aa- 1 = lG = a- 1a, a es el inverso de a- 1, esto es, (a-1)-1
= a.
Cuando la operación en G sea la suma, escribiremos -a en vez de a- 1•
1.1.2. Simplificación. (1)
Sean a, by e tres elementos de un grupo G.
Si ab = ac, entonces b = c.
= ca, entonces b = c. En efecto, si ab = ac, se tiene a- 1(ab) = a- 1(ac), luego (a- 1a)b = (a- 1a)c (2)
Si ba
esto es, b = lb = le = e, lo que prueba (1). Análogamente se deduce (2).
1.1.3. Asociatividad generalizada. variar las formas de asociar n elementos
Los productos que se obtienen al
de un grupo G, consen,ando el orden, son iguales. Notaremos cualquiera de esos productos por a 1 ••• ªn· Probaremos esto por inducción sobren. Los casos n = 1, 2 son obvios. Supongamos n > 2. Debemos demostrar que si 1 < k < l < n, (1)
(al ... ak) (ak+I ... an)
= (al
... a¡) (al+l ... an)
19
GENERALIDADES. TEOREMA DE LAGRANGE
Sean a= a 1 ción,
•••
ak, b
= ªk+l
... a 1 , e= a 1+1 ... ªn· Por la hipótesis de induc-
a 1 ••• a 1 = (a 1 ••• ak) (ak+l ... a 1) = ab y ªk+l ··· ªn = (ak+l ··· ª1) (al+l ··· an) = be.
Por ello, probar ( 1) equivale a probar que a(bc)
= (ab)c,
lo cual es cierto por la propiedad asociativa. En particular, esto permite definir, dados un elemento a E G y un natural n EN,
Poniendo a 0 = 1, a-n = (a- 1)n, tenemos definido ak para cada entero k. La ley de asociatividad generalizada nos permite asimismo deducir que aman= am+n (am)n = amn
1.1.3.1.
para cualesquiera números enteros m y n y cualquier a E G.
1.1.4. Inverso de un producto. Dados elementos a 11 ... , an en un grupo G se tiene
Lo probaremos por inducción, Si n = 1, es obvio. Si n > 1, usando 1.1.3, (a1 ... an) (a~ 1... a¡- 1) =(a1
... ªn-1)
=(a1 ··· ªn-1) (a~~I···
(ana~ 1) (a~~!-··
aj" 1) =
a¡- 1) = Í
por la hipótesis de inducción, mientras que (a~ 1... a¡- 1) (a1 ...
an)=(a:1... a2 1) (a¡- 1ai)
=
(a: a2 1 •••
1)
(a2 ... an)
=
(a 2 ... an) = l.
1.2. Ejemplos ( 1) Los conjuntos "11., O, IR y C con la suma usual son grupos cuyo neu-
tro es el número cero.
20
TEORÍA ELEMENTAL DE GRUPOS
(2) Los conjuntos 0*, IR* y C* obtenidos a partir de O, IR y C quitando el número cero, son grupos para el producto. No ocurre así con "11..*: el número dos no tiene inverso en "11..*.
(3) Si X es un conjunto no vacío, el conjunto Biy(X) formado por las aplicaciones X -+ X que son biyectivas, es un grupo con la operación composición de aplicaciones, cuyo elemento neutro es la aplicación identidad
lx :X -+X:x-x. En efecto, si f y g son biyecciones, (f O g) (X)= f(g(X)) = f(X) = X,
lo que prueba la sobreyectividad de f
O
g.
Por otro lado, si x e y son elementos distintos en x, la inyectividad de g nos dice que g(x) :;6 g(y), y la de f permite concluir que f(g(x)) :;6 f(g(y))
y así f
o
g es también inyectiva.
De este modo queda probado que la composición es una operación binaria en Biy(X). El lector puede comprobar que se cumplen las condiciones (i), (ii) y (iii) de 1.1., donde ahora debe leerse f O gen vez de fg.
El grupo simétrico S,, Cuando el conjunto X es finito con n elementos, escribiremos Sn en vez de Biy(X). Este grupo tienen! elementos pues si X= {a 1, ... , an}, para definir un elemento en Sn tenemos n posibles valores como imagen de a¡, n-1 valores como imagen de a 2 (pues al ser biyecciones las imágenes de a 1 y a 2 deben ser distintas), y en general, n-i valores como imagen de ai+I' i =O, ... , n-1, por lo que el número de elementos de S 11 es
n(n-1) ... 3 · 2 · 1 = n!. Nótese que si dos conjuntos X e Y tienen n elementos, Biy(X) = Biy(Y).
Más adelante (en Cap. 5) haremos un estudio detallado de los grupos S 11 • (4) El conjunto GL 11 (1R) formado por las matrices de orden n con coeficientes en IR cuyo determinante no es nulo, es un grupo con la operación producto de matrices, con elemento neutro la matriz identidad de orden n, / 11 , cuyos únicos coeficientes no nulos son los de la diagonal principal, que valen uno.
21
GENERALIDADES. TEOREMA DE LAGRANGE
De hecho, de la fórmula det (A · B)
= det (A)
· det (B)
se deduce en particular que el producto es una operación binaria en GL/IR) y por otro lado, es sabido que las matrices con determinante no nulo tienen inversa. (S) Sean ~ 3 un número natural y X el polígono regular den lados, con vértices a 1, ••• , an
1
1 1 \
' ' . ... Decimos que una biyección f : X
~
X conserva la distancia si
dist(a, b) = dist(f(a), f(b))
para cada a, b E X.
Se llama n-ésimo grupo diedral al conjunto Dn =
lf E
Biy(X):
f conserva la distancia].
Es inmediato comprobar que, con la operación composición de aplicaciones, D n es un grupo. En efecto, la asociatividad para ternas de elementos de Dn es consecuencia de la asociatividad para ternas de elementos en Biy(X). Evidentemente la aplicación identidad lx E Dn pues conserva la distancia. Así lx es el elemento neutro en Dn. Por último, sea h E Dn y h- 1 E Biy(X) la aplicación inversa. Para ver que h posee inversa en Dn basta comprobar que h- 1 E Dn, es decir, que h- 1 conserva la distancia. Sean pues, a, b E X, p h conserva la distancia,
= h- 1(a), q = h- 1(b).
Así h(p)
= a,
h(q)
= b, y como
dist(h(p), h(q)) = dist(p, q), es decir dist(a, b)
= dist(h- 1(a),
h- 1(b)).
Si f E D n y p es un punto situado en el segmento que une a¡ con ª;+ 1, se cumple dist(a¡,