1012/23, 00:59 Grupos y olras estructuras en rasolucién de problemas - blog de Leo El blog de Leo Aprendiendo, creando y compartiendo matematicas Seminario de Resolucién de Problemas: Grupos, anillos y campos Por Leonardo Ignacio Martinez Sandoval Introduccién En estas entradas hemos visto como distintas herramientas de dlgebra nos pueden ayudar en la resoluci6n de problemas. En las primeras dos entradas, hablamos de identidades algebraicas basicas y un par de avanzadas. Luego, hablamos de factorizacién en polinomios y del teorema de la identidad. Ahora platicare- mos de cémo estructuras un poco més abstractas nos pueden ayudar. De manera particular, nos enfocare- mos en aplicaciones de teoria de grupos a la resolucién de problemas. Sin embargo, hacia el final de la en- trada también hablaremos un poco acerca de anillos, dominios enteros y campos. Teorfa de grupos basica Una de las nociones de dgebra abstracta ms basicas, y a la vez mas flexibles, es la de grupo. La teoria de grupos es muy rica y se estudia a profundidad en un curso de dlgebra abstracta o digebra moderna. Aqui veremos tinicamente un poco de esta teoria y algunas aplicaciones a resolucién de problemas. Comenza- mos con la definicién. Definici j6n. Un grupo es un conjunto no vacio G con una operacién binaria - que cumple lo siguiente: * Asociatividad: Para cualesquiera elementos z, y, z en G tenemos que x - (y- z) = (x -y) - z. + Neutro: Existe un elemento e en G tal que x -€ — 2 — e- x para todo elemento x, + Inversos: Para cada elemento x en G, existe un elemento yen G tal quez-y=e=y-2. Usualmente se simplifica la notacién de la siguiente manera. Por un lado, en vez de poner el simbolo de producto, simplemente se ponen elementos consecutivos, por ejemplo a- b= ab. Ademés, por la asociati- vidad, muchas veces no se ponen los paréntesis, de modo que expresiones como (a - 6) - ese escriben sim- plemente como abc, a menos que los paréntesis ayuden a entender un argumento, Hay que tener cuidado con invertir el orden de factores. En grupos, no necesariamente sucede que la ope- racién es conmutativa, es decir, que ab = ba para todo par de elementos ay b. Si ab — ba decimos que ay b conmutan y si todo par de elementos de G conmutan, decimos que G es conmutativo. Un elemento siem- pre conmuta consigo mismo. Para n un entero positivo definimos a” como el producto formado por n ve- ces el elemento a, hitps:olog.nekomath.com/seminario-de-resolucior-de-problemas-grupos-anilos-y-camposi#:~tex!=Un anil @s un conjurto,suma y producto tal... 1/8107229, 00:59 Grupos y ors asrucuras en ralicén de problemas El blog de Leo A partir de la definicidn se puede ver que el neutro es tinico, pues si hubiera dos neutros e y e’ tendriamos e =e! =e’, en donde primero usamos que e’ es neutro y después que € lo es. Para aen G, definimos a” como e. En grupos se vale «cancelars. Por ejemplo, si ab quierda por un inverso d de ay obtendriamos ac, entonces podemos multiplicar esta igualdad a la iz- b= eb = dab = dac = ec =e. Del mismo mods, la igualdad ba = ca implica b = ¢. En particular, si dy d’ son inversos de a, tenemos da = e = d'a, de donde d = d’. Esto muestra que los in- versos también son Ginicos, asf que al inverso de a le llamamos a~1, Observa que e! = e, Nota que siay b son elementos de G, entonces ab(b“!a-}) = aca de modo que el inverso de un producto ab es el producto b-ta~1, Para n un entero positivo, definimos a~* como el inverso de a”, que por lo anterior, es precisamente (a 1)". De hecho, ya definido a” para todo en- tero, se puede verificar que se satisfacen las leyes usuales de los exponentes. Problema. Sean a y b dos elementos en un grupo G con neutro e tales que aba = ba%b, a? = ey B= Muestra que b Sugerencia pre-solucién. Observa que si ay b conmutaran, entonces el resultado se deduce fécilmente de la primer igualdad. Asi, intenta modificar el problema a demostrar que ay b conmutan. Para ello tienes que hacer un paso intermedio que necesita induuccién Solucién. Lo primero que veremos es que a y b? conmutan. Poniendo una identidad entre ambas ben el producto ab?, tenemos que ab? = abaa*b = ba’ba'b. 1 =e, tenemos a~ = a?, asi que siguiendo con la cadena de igualdades, baba" = ba?ba® ba?aba bba — Ba. Asi, ab? = Ba, Ahora veremos que ay b conmutan. Para ello, como a y b? conmutan, tenemos que ay 6 conmutan para cualquier entero k. Esto se puede probar por induccién. El caso k = 1 es lo que ya probamos. Si es vilido para cierta k, se sigue que abe? Bag? — pre? Por hipétesis, 6%”? — b, asi que el resultado anterior nos dice que a y b conmutan. hitps:olog.nekomath.com/seminario-de-resolucior-de-problamas-grupos-anilos-y-camposi#:~tex!=Un anil es un conjurto,suma y producto tal... 2/8107229, 0089 Grupos y ora esructuras en rolucién de problemas -Ebiog de Leo Por esta razén, la primer hipétesis aba = bab se puede reescribir como ab = a2, que por cancelacién iz- quierda da e = b, como queriamos mostrar. Subgrupos y érdenes Dentro de un grupo pueden vivir grupos mas pequefios. Definicién. Un subgrupo de un grupo Ges un subconjunto H de G que es un grupo con las operaciones de G restringidas a H. Para que H sea subgrupo, basta con que no sea vacio y que sea cerrado bajo la operacién de grupos y la operacién «sacar inverso». Por ejemplo, se puede ver que Zo, los enteros médulo 12 con la suma, forman un grupo. De aqui, Hy = {0,3, 6, 9} es un subgrupo y Hz = {0, 4,8} es otro, Proposi }6n. Si a es un elemento de un grupo G, entonces 0 bien 1a, a°,a3, son todos elementos distintos de G, o bien existe un entero positivo n tal que a” = Ly 1,a,...,a"!son todos distintos. En este segundo caso, {1, a, ...,a”-"} es un subgrupo de GC. Sugerencia pre-demostracion. Divide en casos, Luego, usa el principio de cancelacién o las leyes de exponen- tes para grupos. Demostraci6n. Si todos los elementos son distintos, entonces no hay nada que hacer. De otra forma, existen i-< jtales que ai = a’, de donde por la ley de cancelacién tenemos que a‘ = ey j — i > 1.Asi, el con- junto de enteros positivos m tales que a” = ¢ es no vacio, de modo que por el principio de buen orden tiene un minimo, digamos n. Afirmamos que 1,a,a?,...,a"1 son todos distintos, En efecto, de no ser asi, como en el argumento de arriba existirian 0 1 se tiene que n divide a 2” — 1. Sugerencia pre-solucién. Procede por contradiccién, suponiendo que sf existe. Considera un primo p que di- vida a ny que ademas sea extremo en algiin sentido, Trabaja médulo p. Solucién. Supongamos que existe un entero n > 1 tal que n divide a 2" — 1. Sea pel primo més pequefio que divide a n. Tomemos a el orden de 2 en el grupo multiplicativo Zp. Por un lado, como p divide a n y n divide a 2" — 1, se tiene que p divide a 2" — 1 porlo tanto 2"=1 (mod p). De esta forma, a divide an, Por otro lado, por el pequefio teorema de Fermat, tenemos que 21=1 (mod p), asi que a divide a p — 1y por lo tanto a < p— Sia # 1, entonces a tiene un divisor primo que divide any es menor que a < p ~ 1, lo cual es imposible pues elegimos a p como el menor divisor primo de n. De esta forma, a = 1. Pero esto da la contradicci6n 2=1 (mod p). Anillos, dominios enteros y campos Cuando se estén resolviendo problemas, es importante tener en mente que existen otras estructuras alge- braicas. Definiremos sélo las mas comunes y veremos un problema ejemplo, Definici j6n. Un anillo es un conjunto con dos operaciones binarias suma y producto tales que: + Reon la suma es un grupo conmutativo, * El producto en R es asociativo, es decir (ab)e = a(be) para a,b, cen R. + Se cumple la ley distributiva, es decir a(b + ¢) = ab+acy (b+ ¢)a = ba + ca paraa,b,cen R. hitps:olog.nekomath.com/seminario-de-resolucior-de-problemas-grupas-anilos-y-camposi#~tox In anilo es un conjunto.suma y producto tal... 6/81012/23, 00:59 Grupos y olras estructuras en ragolucién de problemas -E! blog de Leo El producto en Rno tiene por qué ser un grupo. De hecho, ni siquiera tiene que tener neutro. Definicién. Siun anillo R tiene neutro, decimos que Res un anillo con 1. Sila multiplicacién de Res con- mutativa, decimos que Res conmutativo. Defi cir, ab jicién. Un dominio entero es un anillo conmutativo con uno en donde ademas se vale cancelar, es de- wcimplica b = cy ba = ca implica b =e. Definicién. Un campo es un anillo conmutativo con uno en donde cada elemento distinto de la identidad aditiva tiene inverso multiplicativo. En otras palabras, es un anillo en donde la suma y el producto son grupos, Problema. Muestra que todo dominio entero finito es un campo. Sugerencia pre-solucién, Usa el principio de las casillas, Solucién. Supongamos que R = {4,,....,a,} es un dominio entero con una cantidad finita de elementos. Lo Unico que falta para que sea campo es que los elementos tengan inversos muliplicativos. Sea a.un elemento de Ry supongamos que a no tiene inverso multiplicativo. Entonces, los nimeros aya, 424, ... ant sélo pueden tomar alo mas n — 1 valores diferentes, de modo que por principio de las casillas existen dos de ellos que son iguales, digamos aia = aya parai # 5 Como R es dominio entero, se vale cancelar, lo cual muestra a; = a;. Esto es una contradicci6n, pues ai y a; eran elementos distintos de R. As{, todo elemento tiene inverso multiplicativo, En cursos de matemidticas a nivel superior se ven muchos ejemplos de estas estructuras algebraicas. En cursos de Algebra Superior se construye el dominio entero de enteros Z. Se construyen los campos R, Qy C. También, se construyen los anillos de polinomios F[z]. La nocién de campo es fundamental cuando se construye la teorfa de Algebra Lineal. Como se puede ver, la teoria de dlgebra es muy amplia, asi que esta entrada sélo queda como invitacién al tema. Mas problemas Puedes encontrar més problemas de estructuras algebraicas en la Seccién 4.4 del libro Problem Solving th- rough Problems de Loren Larson. Esta entrada se publicé en Matematicas y est etiquetada con anillos, campos, dominios enteros, grupos, heuristicas, lagrange, orden, teorfa de grupos, teoria de ntimeros en abril 24, 2020 hitps:olog.nekomath.com/seminario-de-resolucior-de-problemas-grupos-anilos-y-camposi#:~tex!=Un anil es un conjurto,suma y producto tal... 7/81012123, 00:59 Grupos y oras asructuras en resolucién de problemas - El blog de Leo [https://blog.nekomath.com/seminario-de-resolucion-de-problemas-grupos-anillos-y-camipos/] por Leo- nardo Ignacio Martinez Sandoval Acerca de Leonardo Ignacio Martinez Sandoval Hola. Soy Leonardo Martinez. Soy Profesor de Tiempo Completo en la Facultad de Ciencias de la UNAM. Hice un doctorado en Matemsticas en la UNAM, un postdoc en Israel y uno en Francia. Ademas, me gusta colabo- rar con proyectos de difusién de las mateméticas como la Olimpiada Mexicana de Matematicas. Ver todas las entradas por Leonardo Ignacio Martinez Sandoval — 2 comentarios en “Seminario de Resolucién de Problemas: Grupos, anillos y campos” Fer septiembre 15, 2020 a las 2:10 pm ‘Al comienzo en la definicién de grupo en la parte del neutro, creo que debia ser x*e =x = e¥x. Leo septiembre 15, 2020 a las 4:56 pm Sip, de acuerdo. Gracias, corregido. hitpsfolog.nekomath.comyseminario-de-resolucior-de-problemas-grupos-anillos-y-campos/#~text=Un anllo @s un conjuntsuma y producto tal 88