Beruflich Dokumente
Kultur Dokumente
En lgebra abstracta, un grupo es una estructura algebraica que consta de un conjunto con una operacin que
combina cualquier pareja de sus elementos para formar
un tercer elemento. Para que se pueda calicar como un
grupo, el conjunto y la operacin deben satisfacer algunas condiciones llamadas axiomas de grupo, estas condiciones son: tener la propiedad asociativa, tener elemento
identidad y elemento simtrico. Mientras que estas caractersticas son familiares a muchas estructuras matemticas, como los diferentes sistemas de nmeros (por
ejemplo los enteros provistos de la operacin de adicin
forman una estructura de grupo), la formulacin de los
axiomas o postulados se separa de la naturaleza concreta
del grupo y su funcionamiento. Esto favorece, en lgebra
abstracta y en otras diversas disciplinas, trabajar con objetos de gnesis matemticas muy diferentes de una manera exible y dinmica, mientras se conservan aspectos
de sistema fundamentales de muchos objetos. La aparicin de los grupos en numerosas reas (tanto dentro como
fuera de las matemticas) los convierte en un principio
central en torno al cual se perlan y se establecen las matemticas contemporneas.[1][2]
1 Denicin e ilustracin
1.1 Primer ejemplo: nmeros enteros
Uno de los grupos ms familiares es el conjunto de los
nmeros enteros Z que consiste en los nmeros:
..., 3, 2, 1, 0, 1, 2, 3, ...[3]
Las propiedades de la adicin de enteros sirven como modelo para los axiomas de grupo abstractos que se dan en
la denicin ms abajo.
NOTACIN
tra
1.2
Denicin
abG
Asociatividad
Elemento neutro
Elemento inverso
2 Notacin
e a G
ae=ea=a
3
Operacin: +, llamada suma.
Elemento neutro: 0.
Elemento opuesto de un elemento x del grupo:
-x.
Histricamente la terminologa multiplicativa precedi a
la aditiva. La operacin de grupo no es necesariamente
una adicin o una multiplicacin en el sentido que nos
resulta familiar en la aritmtica elemental. Por ejemplo,
una operacin de grupo puede ser una sustitucin o una
rotacin. Cualquier conjunto de elementos y una operacin que a dos elementos asocie una tercera en el conjunto, puede ser un grupo si cumple con las condiciones o propiedades de grupo pedidas. Sus elementos no
son siempre nmeros en el sentido ordinario de la aritmtica elemental. Asimismo en algunos casos puede ser
ms cmodo utilizar alguna de las dos notaciones y en
otros resulta indiferente. Es posible que se utilicen indistintamente, siempre y cuando esto no mueva a confusin.
Cuando se trata de las operaciones familiares de suma y
multiplicacin, es impropio usar una notacin opuesta a
la operacin.
4 Ejemplos
La suma dene estructura de grupo conmutativo en
el conjunto de los nmeros enteros ( Z ), en el de
los nmeros racionales ( Q ), en los nmeros reales
( R ) y en los nmeros complejos ( C ). Los vectores
libres del espacio, con la suma de vectores, forman
un grupo conmutativo. La suma de matrices dene
una estructura de grupo conmutativo en las matrices con coecientes reales (digamos) con un nmero de columnas y las prejado. Las funciones reales
de variable real, con la suma de funciones, tambin
forman un grupo conmutativo, al igual que las sucesiones de nmeros reales con la suma de sucesiones.
El producto dene estructura de grupo conmutativo en los nmeros racionales no nulos, los nmeros
reales positivos, los nmeros complejos de mdulo
1, etc.
Las matrices cuadradas de n columnas con coecientes reales y determinante distinto de cero forman un grupo con el producto de matrices, grupo
que no es conmutativo cuando n>1.
Tipos de grupos
9 FUENTES
Curiosidades
6 Historia
La denicin de grupo (G, *) usando: la asociatividad,
la existencia de elemento neutro , de elemento inverso y
la nocin de operacin binaria, fue formulada por F.G.
Frobenius, por primera oportunidad en 1887, advirtiendo que los teoremas que los demostraba dependan nicamente de los axiomas propuestos y sin que tener que
acudir al aparato de los grupos de permutaciones, que empleaban sus antecesores Cauchy, Jordan y Sylow.[6]
7 Vase tambin
grupo cclico.
grupo lineal.
8 Notas
[1] En Mathematical Reviews se publican 3 224 artculos de
investigacin sobre teora de grupos y sus generalizaciones, escritos durante el ao 2005.
Adems, en Z/nZ el conjunto de los nmeros primos relativos con n (denotado (Z/nZ)*) forma un grupo cuando
la operacin ab es el resto al dividir por n el producto [2] La clasicacin fue anunciada en 1983, pero las diferencias se encontraron en la prueba. Vase el teorema de clausual. Sin embargo, se puede denir un grupo para otros
sicacin de grupos simples para ms informacin.
nmeros aunque no sean primos. Por ejemplo, el grupo
(Z/12Z)* el cual slo tiene 4 elementos. Por qu slo
4 elementos? Porque puesto que para ser un grupo, cada
elemento ha de tener un inverso. Si tomamos algn n9 Fuentes
mero que tenga algn factor comn con 12, por ejemplo
el 10, ste no puede ser multiplicado por otro nmero de
forma que el resto de la divisin entre 12 sea 1. Es decir, 9.1 Referencias
10 no tendra inverso. As, slo son elementos del grupo
(Z/12Z) aquellos nmeros coprimos con 12. Si n hubiese [1] (Herstein, 1975, p. 2, p. 26)
sido primo, todos los menores que l seran coprimos con
l, excepto el cero, luego su grupo tendra n - 1 elementos. [2] (Hall, 1967, p. 1.1, p. 1)
Se dice que un grupo es cclico si verica estar generado
por un solo elemento; es decir, supongamos que un conjunto A es grupo con respecto a una operacin *. Si existe
un elemento g en A tal que cualquier otro elemento de A
se obtiene operando g o su inverso g1 reiteradamente:
[6] Introduccin a la Teora de Grupos ( 2009) Zaldvar, Felipe ISBN 978-968-36-3591-4 y otros; pg. 17
9.2
9.2
9.2.1
Bibliografa
Bibliografa
Referencias generales
Referencias especiales
5
Bishop, David H. L. (1993), Group theory and chemistry, New York: Dover Publications, ISBN 978-0486-67355-4.
Borel, Armand (1991), Linear algebraic groups,
Graduate Texts in Mathematics 126 (2nd edicin),
Berlin, New York: Springer-Verlag, ISBN 978-0-38797370-8, MR 1102012.
Carter, Roger W. (1989), Simple groups of Lie type, New York: John Wiley & Sons, ISBN 978-0-47150683-6.
Conway, John Horton; Delgado Friedrichs, Olaf;
Huson, Daniel H.; Thurston, William P. (2001),
On three-dimensional space groups, Beitrge zur
Algebra und Geometrie 42 (2): 475-507, arXiv:math.
MG/9911185, MR 1865535.
Coornaert, M.; Delzant, T.; Papadopoulos, A.
(1990), Gomtrie et thorie des groupes [Geometry
and Group Theory], Lecture Notes in Mathematics
1441, Berlin, New York: Springer-Verlag, ISBN 9783-540-52977-4, MR 1075994.
Denecke, Klaus; Wismath, Shelly L. (2002), Universal algebra and applications in theoretical computer science, London: CRC Press, ISBN 978-1-58488254-1.
Dudek, W.A. (2001), On some old problems in nary groups, Quasigroups and Related Systems 8: 1536.
Frucht, R. (1939), Herstellung von Graphen mit
vorgegebener abstrakter Gruppe [Construction of
Graphs with Prescribed Group], Compositio Mathematica 6: 239-50.
Goldstein, Herbert (1980), Classical Mechanics (2nd
edicin), Reading, MA: Addison-Wesley Publishing, pp. 588-596, ISBN 0-201-02918-9.
Hatcher, Allen (2002), Algebraic topology,
Cambridge University Press, ISBN 978-0-52179540-1.
Husain, Taqdir (1966), Introduction to Topological Groups, Philadelphia: W.B. Saunders Company,
ISBN 978-0-89874-193-3
9 FUENTES
Kuga, Michio (1993), Galois dream: group theory
and dierential equations, Boston, MA: Birkhuser
Boston, ISBN 978-0-8176-3688-3, MR 1199112.
Warner, Frank (1983), Foundations of Dierentiable Manifolds and Lie Groups, Berlin, New York:
Springer-Verlag, ISBN 978-0-387-90894-6.
Weinberg, Steven (1972), Gravitation and Cosmology, New York: John Wiley & Sons, ISBN 0-47192567-5.
Lay, David (2003), Linear Algebra and Its Applications, Addison-Wesley, ISBN 978-0-201-70970-4.
Mac Lane, Saunders (1998), Categories for the
Working Mathematician (2nd edicin), Berlin, New
York: Springer-Verlag, ISBN 978-0-387-98403-2.
Michler, Gerhard (2006), Theory of nite simple
groups, Cambridge University Press, ISBN 978-0521-86625-5.
Milne, James S. (1980), tale cohomology, Princeton University Press, ISBN 978-0-691-08238-7
Mumford, David; Fogarty, J.; Kirwan, F. (1994),
Geometric invariant theory 34 (3rd edicin), Berlin,
New York: Springer-Verlag, ISBN 978-3-540-569633, MR 1304906.
Naber, Gregory L. (2003), The geometry of Minkowski spacetime, New York: Dover Publications,
ISBN 978-0-486-43235-9, MR 2044239.
Cayley, Arthur (1889), The collected mathematical papers of Arthur Cayley, II (18511860),
Cambridge University Press.
O'Connor, J.J; Robertson, E.F. (1996), The development of group theory.
Curtis, Charles W. (2003), Pioneers of Representation Theory: Frobenius, Burnside, Schur, and Brauer,
History of Mathematics, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-2677-5.
9.2
Bibliografa
10
10.1
Grupo (matemtica) Fuente: https://es.wikipedia.org/wiki/Grupo_(matem%C3%A1tica)?oldid=91284302 Colaboradores: Pino, Joseaperez, Fibonacci, Moriel, SpeedyGonzalez, Robbot, Sanbec, Isomorsmo, Zwobot, Sms, Elwikipedista, Tano4595, Dianai, Alonso de
Celada, LeCire, Magister Mathematicae, RobotQuistnix, Yrbot, BOTijo, Landertxu, GermanX, Wewe, Santiperez, Baneld, Er Komandante, Carlos Alberto Carcagno, Juan Marquez, CEM-bot, Alexav8, Neoriddle, Marianov, Davius, Gafotas, Ingenioso Hidalgo, Thijs!bot,
Malguzt, JAnDbot, Aalcocer, TXiKiBoT, Kenrych, AlnoktaBOT, Snakeyes, Synthebot, AlleborgoBot, Muro Bot, Gerakibot, PaintBot, Drinibot, BOTarate, Mario Yaez, Tirithel, Dnu72, Juan Mayordomo, MastiBot, Sl, Ogai, Luckas-bot, Spirit-Black-Wikipedista, Jotterbot,
Sfandino, Xqbot, BOTirithel, CVBOT, KamikazeBot, Pedro Lozano Barroso, EmausBot, ZroBot, HRoestBot, Mentibot, ChuispastonBot,
MerlIwBot, Julio grillo, MetroBot, Invadibot, Acratta, Legobot, Balles2601, JacobRodrigues, Yearco666, Villyvov y Annimos: 47
10.2
Imgenes
Archivo:Group_D8_180.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/6/64/Group_D8_180.svg Licencia: Public domain Colaboradores: Trabajo propio Artista original: TimothyRias
Archivo:Group_D8_270.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/3/33/Group_D8_270.svg Licencia: Public domain Colaboradores: Trabajo propio Artista original: TimothyRias
Archivo:Group_D8_90.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/f/f6/Group_D8_90.svg Licencia: Public domain
Colaboradores: Trabajo propio Artista original: TimothyRias
Archivo:Group_D8_f13.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/0/0c/Group_D8_f13.svg Licencia: Public domain Colaboradores: Trabajo propio Artista original: TimothyRias
Archivo:Group_D8_f24.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/a/a1/Group_D8_f24.svg Licencia: Public domain Colaboradores: Trabajo propio Artista original: TimothyRias
Archivo:Group_D8_fh.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/b/b3/Group_D8_fh.svg Licencia: Public domain
Colaboradores: Trabajo propio Artista original: TimothyRias
Archivo:Group_D8_fv.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/4/47/Group_D8_fv.svg Licencia: Public domain
Colaboradores: Trabajo propio Artista original: TimothyRias
Archivo:Group_D8_id.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/7/7e/Group_D8_id.svg Licencia: Public domain
Colaboradores: Trabajo propio Artista original: TimothyRias
Archivo:Rubik{}s_cube.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/a/a6/Rubik%27s_cube.svg Licencia: CC-BYSA-3.0 Colaboradores: Based on Image:Rubiks cube.jpg Artista original: This image was created by me, Booyabazooka
10.3