ANEXO § 20. Grupos 1634. Aclacar si cada uno de Jos siguientes conjuntos forma un grupo al realizar la operacién indicada sobre los elementos: 41) ntimeros enteros con respecto a la adicién; 2) nitmeros pares con respecto a la adicién; 3) niimeros cnteros, miltiples a un nimero natural n dado, con respecto a‘la adicién; 4) potencias de un numero real a dado, a 0, +4, con indices enteros con respecto a la multiplicacién; 5) numerog onteros no negativos con respecte a la adicién; .6) numeros enteros impares con respecto a la adicién; '7) nimeros enteros con respecto a la resta; 8) nimeros racionales con respecto a la adicién; 9) niiferos racionales con respecto a la multiplicacién; 40) nameros racionales, distintos de cero, con respecto a la mul- tiplicacién; 11) nameros racionales positives con respecto a la multiplica- cién; 42) ntimeros racionales positives con respecto a la divisién; 43) nimeros racionales binarios, es decir, nimeros racionales, cuyos denominadores son potencias del nimero 2 con indices enteros no negativas, con respecto a la adicién; 14} todos los ntimeros racionales, cuyos denominadores son iguales a los productos de los nimeros primos de dicho conjunto (finito o infinito) con indices enteros no negativos (sélo un numero finito de estos indices puede diferir de cero}, con respecto a la adi- cién; 15) las raices de n-6simo grado de la unidad (tanto reales, como complojas) con respecto a la multiplicacién; 16) las rafces de todos los grados positivos enteros de la unidad con respecto a la multiplicacién; 17) matrices de orden n con elementos reales con relacién a la multiplicacién; 19618) matrices regulares de orden n con elementos reales con res- pecto a la multiplicacién; 19) matrices de orden n con elementos enteros con respecto a la multiplicacién; 20) matrices de orden % con elementos enteros y un determinante igual a la unidad, con respecto a la multiplicacién; 21) matrices de orden n con elementos enteros y un determinante igual a +1, con respecte a la multiplicacién; 22) matrices de orden m con elementos reales con respecto a la adicién; 23) sustituciones de los nameros 1, 2, ..., m con respecto a la multiplicacién; 24) sustituciones pares de los nimeros 1, 2, ..., m con respecto a la multiplicaci6n; 25) sustituciones impares de los nfimeros 1, 2, ..., m con rela= cidn a la multiplicacién; 26) aplicaciones biunivecas del conjunto V = {4, 2, 3, ...,} de nimeros naturales sobre si mismo, cada uno do los cuales des- plaza sélo una cantidad finita de nimeros, si en calidad de producto de las aplicaciones s y ¢.ge toma la aplicacién st que se obtiene, efectuando sucesivamente las aplicaciones s y ¢; 27) transformaciones del conjunto M, © sea, las" ‘aplicaciones biunivocas de este conjunto sobre si mismo, si a titulo del producto de las transformaciones s y ¢ se toma la transformacién st que se obtiene efectuando sucesivamente las transformaciones s y tj 28) vectores de un espacio lineal n-dimensional A, con respeeto a lla adicién; 29) traslaciones paralelas de un espacio tridimensional RF si en calidad del producto de Jas traslaciones s y ¢ se toma su ejecucién sucesiva; 30) giros de un espacio tridimensional R alrededor de un punto dado O si en calidad del producto de los giros s y ¢ se toma su reali- zacion sucesiva; 34) todos los movimientos de un espacio tridimensional F si en calidad del producto de los movimientos s y ¢ se toma el movi- miento st que se obtiene efectuando sucesivamente los movimientos sy tt 32) niinieros reales positives si la operacién se define como: axb = ah; 33) nimeros reales positives si la operacién se define de este modo: ab = a%b*, 34) pelinomios reales de grado Demostrar que: a) cualquier grupo finito de orden 7‘es isomorfo a cierto grupo de sustituciones de r elementos; b) cualquier grupo es isomorfo al grupo de algunas aplicaciones biunivocas del conjunto de elementos de ese grupo sobre si. 1644. Demostrar que para cualesquiera elementos a, b, ¢ del grupo G: a) los elementos ab y ba tienen el mismo orden; b) los elementos abc, bea y cab tienen el mismo orden. 1645. Demostrar que si ¢ es una unidad y a es un elemento de orden n del grupo G, a* = e cuando, y sélo cuando, k se divide por x. 1646, Hallar todos los elementos generadores del grupo aditive de los numeros enteros. 1647. Sean G = {a} un grupo ciclice de orden x y b = a*, De- mostrar que: a) el elemento 6 sera gonerador del grupo G cuando, y sélo cuando, los nameros x y & son primos entre si; b) el orden del elemento b es igual a rid, donde d es el maximo divisor comin de n y k; £08kh c) si # y & son primos entre si, en G existe la raiz a, os decir, @es la k-ésima potencia de cierto elemento porteneciente a G y vi- ceversa; d) en un grupo de orden impar todos los elementos son cuadrados. 1648*. Demostrar las afirmaciones: a) si los elementos a y 6 del grupo G son conmutativos, o sea, ab = ba, (i) y tienen érdenes finitos r y ¢ primos entro sf, su producto ab tiene el orden rs; b) si los elementos a y } del grupo G son conmutativos, tienen érdenes finitos ry s y la interseccién de sus subgrupos cfclicos con- tieno sélo la unidad e, es decir, {2} n {6} = fe}, (2) entonces e] orden del producto ab es igual al minimo coman divisor de r ys. Mostrar en cjemplos que cada una do las condiciones (4) y (2) por separado es insuficiente para la validez de la tltima afirma- cién, y que la condicién (1) no es consecuencia de la egndicién (2), incluso para los érdenes primos entre si de los eleméntos a y b; ce) si los drdenes r y s de los elementos a y © son primos entre si, la condicién (2) se cumple; . ) mostrar en un ejemplo que sin la condicién (2) el orden del producto @) no se determina univocamente mediante los érdones de los factores ¢ y b. 1649. ¢Cudles de los grupos del problema 1634 son, subgrupos de otros de esos grupos? 1650. Demostrar que: a) si H es un conjunto finito de elementos del grupo G y ol pro- ducto de dos elementos cualesquiera de H yace de nuevo on H, A serd un subgrupo del grupo G; b) si todos los elementos del conjunto H del grupo G tienen érde- nes finitos y el producto de dos elementos cualesquiera pertenecientes aH yacen de nuevo en A, A seré un subgrupo del grupo G. 1651. Demostrar que en cualquier grupo de sustituciones que contenga por lo menos una sustitucién impar: a) la cantidad de sustituciones pares es igual a la cantidad de impares; b) las sustituciones pares forman un divisor normaly c) todos los grupos elementales de sustituciones de n elementos, de orden superior a 2 se encuentran en el grupo de signo variable A, se denomina elemental e] grupo que no tiene civisores normales a excepcidn de si mismo y del subgrupe unitario). 1652. Demostrar que cualquier grupo infinito tiene un nimero infinito de subgrupos. 1653. Hallar todos los grupos (con la precisién de hasta el iso- 199morfismo), cada uno de Jos cuales es isomorfo a cualquiera de sus subgrupos no unitarios. 1654, Hallar todos los subgrupos: a) del grupo ciclico de orden seis: b) del grupo eiclico de orden 24; ¢) del grupo cuddruple (problema 1638): d) del grupo simétrico $5. ‘3Cuales de los subgrupos del grupo S. son divisores normales? £)"Demostrar que el grupo de signo variable de cuarto grado A, no tiene subgrupos de sexto orden. De este modo, el grupo G de orden nm para ciertos k que dividen n, puede no tener subgrupos de orden &. 1655. Hallar todos los subgrupos del grupo G de orden ocho, to- dos los elementos del cual, a excopcién de la unidad e, tienen orden dos. 1656. Sea G = {2} wn grupo ciclico finito de orden nm, Demostrar Jas afirmaciones: a) el orden de cualquier subgrupo del grupo G divide el orden de dicho grupo; b) para cualquier divisor d del nimero zn existe el tinico subgrupo #f del grupo G que tiene el orden d; c) el subgrupo HW de orden d contiene en calidad de generadores todos los elementos de ordon d del grupo G. En particular, Hs {avo}, 1657*. Hallar todos los subgrupos del grupo ciclico primario, es decir, el grupo cfclico G = {a} de orden p*, donde p es un numero primo. 1658*.. Demostrar las afirmaciones: a) el guupo simétrico S,, para nm > 41 se engendra por el conjunto de todas Jas transposiciones (i, j); b) el grupo simétrico S$, para x > 1 se engendra por las trans- posiciones: (1, 2), (1, 3), 2... (A. nk ¢) el grupo de signo variable A, para n > 2 se ongendra por un conjunto de todos los ciclos triples (i jk): d) el grupo de signo variable A, para x > 2 se engendra por los ciclos triples: (1 2 3), (1 2 4), ..., (4 2 n). 1659. Hallar las clases contiguas: a) de un grupo aditivo de nimeros enters mediante e] subgrupo de nimeros multiples al nimero natural n dado; b) de un grupo aditiva de los niimeros reales mediante el sub- grupo de nimeros enteros; c) de un grupo aditivo de nimeros complejos mediante el sub- grupo de nimeros gausianos enteros, es decir, de los nimeros @ + bi, siendo a y 6 enteros; d) del grupo aditivo de vectores en el plano (que salen del origen de coordenadas) mediante e] subgrupo de vectores yacentes en ol eje de abscisas Oz; 2006) del grupo multiplicative de nGmeros complejos, distintos edi cero, mediante el subgrupo de nimeros iguales a la unidad, segin. el médulo; f) del grupo multiplicative de nameros complejos, distintos de- cero, mediante el subgrupo de niimeros reales positives; g) del grupo multiplicativo de ndmeros complejos, distintos de- cero, mediante el subgrupo de niimorgs reales; h) del grupo simétrico 5, mediante el subgrupo de sustituciones- que dejan el namero x en su lugar. 1660*. Demostrar que: a) el subgrupo H de orden & de un grupo finilo G de orden 2k contiene los cuadrados de todos los elementos del grupo G: b) el subgrupo HW de indice dos de cualquier grupo G contiene los- euadrados de todos los elementos del grupo @. 1661*. Demostrar que para x > 1 el grupo de signo variable A, es el inico subgrupo de indice dos (es decir, que contiene la mitad de todos los elementos) en el grupo simétrico S,. Citar un ejemplo de un grupo finito con varios subgrupos de indice dos. 1662*. Demostrar que: a) el grupo del tetraedro es isomorfo al grupo de todas las susti- tuciones pares de cuatro elementos; b) los grupos del cubo y octaedro son isomorfos al grupo de todas- las sustituciones de cuatro elementos; c) los grupos del dodecaedro e icosaedro son isomorfos al gtupo- de las sustituciones pares de cinco elementos. Véase la definicién de los grupos ce los poliedros en el problema 1639. 1663. Demostrar que cualquier subgrupo de indice dos es un divisor normal. 1664. Demostrar que e] conjunte Z de todos Jos elementos del! grupo G, cada uno de los cuales es conmutative con todos los ele- mentos de este grupo, es un divisor normal (el centro del grupo G). 1665. 1 elemento aba~'d- se denomina cormutador de los ele- mentos a y b del grupo G. Demostrar que todos los conmutadores y sus. productos (con cualquier cantidad finita de factores) forman un divi- sor normal K del grupo G (el conmutador de dicho grupo). 1666, Demostrar que en el grupo de todos los movimientos de un espacio tridimensional el elemento, #—az.conjugado con el gire de a- alrededor del punto P, es el giro alrededor de aguel punto a al que pasa el punto P durante el movimiento de a. 1667. Demostrar que la sustitucién de «tax, conjugada con la sustitucién de @ en el grupo de sustituciones, se obtiene usando la sustitucién transformable de z a todos los niimeros en e! desarrollo. de la sustitucién de a en ciclos independientes. 1668", Demostrar que: a) el grupo cuddruple ¥ (problema 1638) es un divisor normal de- un grupo simétrico Sy; b) ol grupo-cociente S,/V es isomorfo al grupo simétrico Sy. 1669". Haciendo uso del problema 1667, hablar el naémero de 204sustituciones del grupo simétrico S, conmutativos con la sustitu- «cién s dada. {670*. Demostrar que si la interseccién de dos divisores norma- les H, y H, del grupo G contiene sélo la unidad e, cualquier elemento hy € A, es conmutative con cualquier elemento hg € He. 1671. Demostrar que: a} los elementos del grupo G, coamutativos con el elemento a dado, forman un subgeupo N (a) del grupo G (normalizador de a en G) que contiene el subgrupo ciclico {a} en calidad de divisor normal; b} la cantidad de elementos del grupo G conjugados con a, es igual al indice del normalizador de NW (a) en G. 1672. Domostrar que: a) Los elementos del grupo G conmutativos con el subgrupo A dado (pero no con los elementos de A obligatoriamente), forman un subgrupo WV (H) del grupo G (normalizador de H en G) que contione el subgrupo H en calidad de divisor normal; b) Ja cantidad de subgrupos del grupo G, conjugados con H, es igual al indice del normalizador V (#) en G. 1673. Demostrar que los siguientes nameros dividen el orden del grupo: a) el nimero de elementos del grupo G conjugados con el ele- mento dado; b) el nimero de subgrupos del grupo G conjugados con el subgru- po dado. 1674. Hacjendo uso de los problemas 1669 y 1671, hallar le cantidad de sustituciones del grupo simétrico S,, conjugadas con la :sustitu 1675*: Demostrar que: a) el centro Z del grupo G de orden p", donde p 9§-n nimero primo, contiene mas de un elemento; b) cual- quier grupo de orden p*, donde p es un-mimero primo, es conmuta- tivo. c) Citar un ejemplo de un grupo no conmutativo de orden 7%, donde m es nimero compuesto. d) Citar un ejomplo de un grupo no conmutativo de orden p®, donde p es un niimero primo. 1676*. Demostrar que cualquier divisor normal H de un grupo de signo variable A, de grado x > 5 que contiene por lo menos un sciclo triple, coincide con A,. 1677*. a) Hallar todas las clases de los elementos conjugados del grupo ieosaedro (problema 1639); b) demostrar que e) grupo del icosacdro os primo (es decir, no tiene divisores normales distintos -del mismo grupo y del subgrupo unitario). 1678*. Demostrar que o! grupe de signo variable de quinto gra- do es elemental. 1679. Demostrar que el geupo G’ es una imagen homomerfa de un grupo ciclico finite G cuando, y sélo cuando, G’ es también ciclico y su orden divide el orden del grupo G. 1680. Demostrar que si el grupo G so aplica de modo homomorfo 202sobre el grupo G’, con la particularidad de quo el elemento a perte- neciente a G se aplica sobre a’ de G‘, entonces: a) el orden a se divide por el orden a‘; b) el orden de G se divide por el orden de G’. 1681. Hallar todas las aplicaciones homomorfas: a) del grupo ciclico {a} de orden n sobre si; hb) del grupo ciclico {2} de orden 6 sobre ol grupo ciclico {b} de orden 18; c) del grupo ciclico {@} de orden 18 sobre el grupo ciclico {b} de orden 6; d) del grupo ciclico {@} del orden 12 sobre el grupo ciclico {b} de orden 15; e) del grupo ciclico {a} de orden 6 sobre el grupo ciclico {b} de orden 25. 1682. Demostrar que al grupo aditivo de nfimeros racionales es imposible aplicarlo de modo homomorfo sobre el grupo aditivo de na- meros_enteros. 1683. La aplicacién isomorfa del grupo G sobre si se denomina automorjismo y la aplicacién homomorfa sobre si, endomorfismo de este grupo. E] automorfismo ¢ se denomina interior si existe un ele- mento z perteneciente a G;-tal que ap = x“ ax para cualquier a de G, y exterior, en caso contrario. Todos los automorfism6§ del grupo G forman- de por si un grupo si se toma a titulo de producto de los automorfismos su ejecucién sucesiva: a (qrp) = (aq) +p. Todos, los endomorfismos del grupo abeliano G forman un anillo si Ja adicién de los endomorfismos se dotermina mediante la igualdad a (p + ) = = ay + ap, y la multiplicacién del mismo modo que para los auto- morfismos. Hallar el grupo de automorfismos del grupo ciclico {a} de orden: a) 5; b) 6. ¢) Demostrar que el grupo simétrico S, tiene seis automorfismos interiores y ni uno exterior, con la particularidad de que el grupo de los automorfismos es isomorfo a S5. d) El grupo cuddruplo V (problema 1638) tiene un automorfismo interior (idéntico) y cinco exteriores, con la particularidad de que el grupo de automorfismos es isomorfo a Sy. Hallar el anillo de endomorfismos del grupo ciclilo {a} de orden: e) 5; f) 6; g) 1684. Demostrar que el grupo-cociente del grupo simétrico S, segin el grupo del signo variable A, es isomorfo al grupo-cociente del grupo aditivo de nimeros enteros segin el subgrupo dé ndmeros. pares. 1685. Hallar los grupos-cocientes: a) del grupo aditivo de nimeros enteros sogiin el subgrupo de. pimeros miltiples al nimero natural x dado; eg b) del grupo aditive de nimeros enteros miltiples a 3, segin el subgrupo de nimeros, multiples a 15; c) del grupo aditivo de nimeros enteros, miltiples a 4, segan el subgrupo de nameros, multiples a 24; 203d) del grupo multiplicative de nimeros reales, distintas de cero, segiin el subgrupo de nimeros positivos. 1686. Sean G, un grupo aditivo de vectores de un espacio lineal n-dimensional y H,, un subgrupo del vectores del suhespacio k-di- mensional, 0< k = i> 0 es igual a ++ Pay &8 1708*. Demostrar que el grupo abeliano finito G se engendra me- diante sus elementos de orden maximo. 207§ 21. Anillos y campos Aclarat cuales de los siguientes conjuntos son anillos (pero no campos) y cuales son campos con relacién a las operaciones indica- -das. (Si las operaciones no se indican, se sobreentionden la adicién y, multiplicacién de los nimeros.) 1709. Numeros enteros. 1710. Nuimeros pares. 1711. Numeros enteros, mGltiples a un nimero n dado (en par- ticular, examinar ol cago de n = 0). 1712. Nimeros racionales. 1713. Nameros reales. 1714. Nimeros complejos. 1715. Nameros tipo a + bY 2, siendo a y @ entoros. 1716. Nameros tipo a + 6/3, siendo @ y 6 racionales. 1717. Nameros complejos tipo a + bi, siondo @ y } onteros. 1718. Nameros enteros tipo a + &f, siendo @ y 6 racionales. 1719. Matrices de orden » con elementos enteros con relacién a da adicién y multiplicacién de lag matrices. 1720. Matrices de orden n con elementos reales cen relacién a la adicién y multiplicacién de las matrices. 1721. Funciones con valores reales, continuas en el segmento {—1, +1] con relacién a las operaciones corrientes de adicién y multiplicacién de las funciones. * 1722. Polinomios con tespecto a una indeterminada z de coefi- ciéntes enteros con relacién a las operaciones corrientes do adicién y multiplicacién. 1723., Polinomios con respecto a una indeterminada z de coofi- cientes réAles con rolacién a las operaciones corrientes. 1724. Todas las matrices tipo (3 e ) » siendo a, 5 racionales o reales, con relacién a las operaciones corrientes de adicién y mul- tiplicacién de las matrices. 1725". ;Formarén todos los polinomios trigonométricos a» —- 2 + >} (a, cos ke + b, sen ke) con coeficiontes reales un anillo? net Aclarar lo mismo para los polinomios sélo de los cosenos ay + n n + 3} a, cos ke y s6lo para los senos DD by sen Ae. v= nA 1726*. :Formardn un anillo Jos nimeros tipo 4 + bYZeonayb racionales, con relacién a las operaciones corrientes (para mayor pre- cisién se toma el valor real dé la raiz). 1727*. Mostrar que los nimeros tipo a + 9/2 + eV 4 con a, b, ¢ racionales forman un campo, con la particularidad de que cada ele- mento de este campo de aspecto dado se representa univocamente, 208.all 01 tiny: “ " _ valor veatda in shee Mme t ~ FE-+ BF wae 1728. Demostrar que los niimeros tipo a + bYS + cf 35 con a, 4, ¢ racionales, forman un campo; hallar en este campo el nimero, inverso al nimero z = 2+ 3/5 — 735. 1729*. Sea @ una raiz del polinomio f(z) de grado n> 1 de coeficientes racionales, irreducible sobre el campo de ntimeros racio- nales, Demostrar que los nimeros tipo a) + a + at? +... vee tanya", siendo ap, a, ay, -- «5 Gn, racionales, forman un campo, con la particularidad de que cada elemento de dicho campo se anota un{vocamente en la forma indicada, Se dice que este campo se ‘a obtenido, uniendo el niimero a al campo de los numeros racio- nales. 1730*. En un campo obtenido uniendo al campo los niimeros racionales de la raiz « del polinomio f (2) = a* + 4a? + 22 — 6 {problema 1729) hallar of ntimero, inverso ap = 3 — a + at, 1731. Demostrar que todas las matrices diagonales, o sea las matrices tipo a 00 1. 0 F%a, 0 ., 0 0 0 ay .., 0 5 0 0 DO ae an de orden n > 2 de elementos reales con relacién a las operaciones corrientes de adicién y multiplicacién de las matrices forman un anillo conmutative con divisores de cero. 1732. Citar ejemplos de divisores de cero en un anillo de funcio- nes, continuas en el segmento [—1, +4]. 1733. Demostrar que en el anillo de las matrices cuadradas de orden nr con elementos de cierto campo, las matrices degeneradas, y sélo ellas, son divisores de cero. 1734. Mostrar que los pares (a, b) de mameros enteros con opera- ciones prefijadas mediante las igualdades (21, By) + (@2s Ba) = (@ + Gay 21 + 02); (@y, by) (az. ba) = (aya, 616s), forman un anillo, y hallar todos los divisores de cero de este anillo. 1735, Demostrar que el campo no posee divisores de cero. 1736. Demostrar que de la igualdad az = ay para un elemento dado @ y cualesquicra elementos x e y del anillo se desprende la igual- dad s = y cuando, y sélo cuando, a no es el divisor izquierdo de cero, 3 1737, Mostrar que las matrices de orden n >> 2 con elementos pertenecientes a cierto campo, en’Las cuales todas las filas, empezando por la segunda, constan de-ceros, forman-un anillo, en el cual todo elemento distinto de cero, sera un divisor de cero por la derecha. 140279 - 209> 0. Dos nt- meros enteros @ y b se denominan comparativos segtin el médulo n, lo que se escribe de la siguiente mancra: a = b (mod n), si su diferen- cia a — bse divide por n (para n = O esto significa que a = b; para n> 0; que-a y b, al dividir por n, dan el mismo resto, a saber: el residuo segin el médulo x). Mostrar que el conjunto de todos los nimeros enteros Z se divide en clases de ndmeros comparativos entre si que no poseen elementos comuncs. Determinemos la adicion y mul- tiplicacién de las clases mediante las correspondientes operaciones sobre sus representantes, es decir, si los ntimeros a, b, a + b y ab pertenecen a las clases A, 2, € yD, respectivamente, ponemos A + +B=oC y AB=D. Demostrar que para seniejantes operaciones un conjunto de clases es un anillo (el anillo de los residuos Z,, segin ol médulo n). _1742*, Demostrar que un anillo conmutativo finito sin divisores de.cero que contiene mas de un elemento, es campo. '1743*, Mostrar que el anillo de los residuos segin el médulo x (problema 1741) sora campo cuando, y sélo cuando, m es un niimero primo. /y 1744. ‘Una matriz cuadrada se denomina escalar si sus elementos eu la diagonal principal son iguales entre si, y fuera de la diagonal principal son nulos. Mostrar que las matrices escalares de orden re con elementos reales para las operaciones corrientes forman un campo, isomorfo al campo de los ntimeros reales. . Fr) + donde @ y b son 1745. Mostrar que las matrices tipo (3 nimeros reales, forman un campo, isomorfo al campo de los nimeros complejos. 1746. Demostrar que el campo de Jas matrices tipo ( » ‘\ dent- meros racionales @ y & (problema 1724) es isomorfo al campo de nii- meros tipo @ + bY 2. donde a, & son también racionales. {747*. Demostrar que el algebra de matrices reales tipo a b c ad —b ao=_d e —« ¢@ o —) —d —-¢ 6 @ es isomorfa al Algebra de los cuaternios a + bi ++ ef + dk. 210Z WS a+bi e-+at 1748. Demostrar que el algebra de las matrices tipo(_ ohdt abi ) . siendo a, b, c, d reales e i = Y—1, es isomorfa al Algebra de los cuaternios a +- bi -+- ef + dk. 1749. Hallar todos los automorfismos (es decir, las aplicaciones isomorfas sobre si) del campo de niimeros complejos que dejan inva- riables los mimeros reales. 1750*. Demostrar que cualquier campo numérico contiene en calidad de un subcuerpo conmutativo el campo de nimeros racionales. 1751*. Demostrar que para cualquier isomorfismo do los campos numéricos el subcuerpo conmutatiyo de ntimeres racionales se aplica de modo idéntico, En particular, el campo de mimeros racionales admite sélo una aplicacién isomorfa idéntica sobre si. 1752*. Demosirar que la aplicacién idénticn es la Gnica aplica- isomorfa del campo de nimeros reales sobre si. 1753. Haciendo uso del problema 1752, hallar todas las aplica- ciones isomortas (lel campo de nimeros complejos sobre si, que con- vierten los niimeros reales de nuevo en reales. 1754. Demostrar que el subcuerpo conmutative minimo de cual- quier campo de la caracteristica cero es isomorfo al campo de ni- meros racionales. 1755. Demostrar que el subcuerpo conmutative minimo de cial- quier campo de la caracteristica p es isomorfo al campo dé los resi-~ duos segin el médulo p. 1756. Resolver el sistema de ccuaciones epQ=i,yt+22—2, e+e, en el campo de los residuos segiin el médulo 3 y segtin el médulo 5. 1757. Resolver el sistema de ecuaciones Setyt+22=1,0+ 24 32= 4, 4e+ By 4 221 en el campo de los residuos segiin el médulo 5 y el médulo 7. 1758. Hallar el maximo comin divisor de los polinomios f@=2P + e24 242, g@eat+rt1 a) sobre el campo de los residuos segtin el modulo 3; b) sobre el campo de mimeros racionales. 1759. Hallar cl maximo comin divisor de los polinomios Fe) = 59 + 2? + Se + J, g @) = Set 4+ Qe Ha a) sobre el campo de los residuos segin el médulo 5 (en este.caso cada coeficiente a se tiene que considerar como un miltiplo Ye de la unidad ¢ del campo indicado o sustituir los coeficiontes por sus mf- nimos residuos no negativos segtin el médulo de 5): b) sobre el campo de nimeres racionales. 1760. Hallar el maximo comin divisor de Jog polinomios {@M=#+1,¢@M=_24241 sobre el campo de los residuos segtin el médulo: a) 3; b) 5. 14e 241761*. a) Demostrar que si los polinemios f (x) y g (x) con coefi- cientes enteros son primos entre si sobre el campo Z, de los residuos segin el médulo simple p, con la particularidad de que por lo me- nos uno de los coeficientes mayores no se divide por p, estos polino- ‘son primos entre si sobre el campo de ntimeros racionales; .mostrar en un cjemplo que para cualquier nimero primo p Ja afifmacién inversa es incorrecta. 1762*. Demostrar que los polinomios f (x) y g (x) con coeficientes enteros son primos entre si sobre el campo de numeros racionales cuanda, y sélo cuando, ellos son primos entre si sobre el campo de tesiduos segin el médulo p, donde p es cualquier niimero primo, a excepcién, puede ser, de un conjunto finito de semejantes nameros. 1763. Descomponet el polinomio 2° + 2° + <* + 1 en factores irreducibles sohre el campo de los residuos segiin el médulo 2. 4764. Descomponer el polinomio x* + 22? + 42 + 1 en factores irreducibles sobre el campo de los residues segin el médulo 5. 1763. Descomponer el polinomio a + 2* + 2+ 2 en factores irreducibles sobre el campo de los residuos segin el médulo 3. 1766. Descomponer el polinomio z+ +- 32% + 227 + 2-+4 on factores irreducibles sobre el campo de los residuos segiin el médulo 5. 1767. Desarrollar todes los polinomios de segundo grado con res- pecto a « en factores irreducibles sobre al campo de los residuos se- giin el médulo 2. 4768. Descomponer todos los polinomios de tercer grado con res- pecto a x en factores irreducibles sobre el campo de los residuos se- gin el médulo 2. 1769. Hallar todos los polinomigs de segundo grado con respecto acon ébcoeficiente mayor igual a 1, irreducibles sobre el campo de jos residuos segin el médulo 3. 1770. Hallar todos los polinomios de tercer grado con respecto a x con el coeficiente mayor igual a 1, irreducibles sobre el campo de los residuos segiin el médulo 3. 1771*. Demostrar que si el polinomio f (x) con coeficientes ente- ros se reduce sobre el campo de ntiimeros racionales, es reducible sobre el campo de los residuos segiin cualquier médulo simple p, que no divide el coeficiente mayor. Gitar un ejemplo del polinomio redu- cible sobre cl campo de niimeros racionales, pero irreducible sobre el campo de los residuos segiin e) médulo p, donde p divide el coefi- ciente mayor. 1772*. Demostrar que cualquier subgrupo finito G de un grupo multiplicativo del campo P es ciclico. Por ejemplo, el grupo multipli- eativo del campo Zp de los residuos del anillo de niimeros enteros a segiin cl médulo simple p y del grupo G, de las rafces de n-ésimo grado de la unidad gon ciclicos (10 filtimo es sencille demostrarlo, usando la anotacién de las raices en forma trigonométrica). 1773*.1) Existen polinomios con coeficientes enteros irreducibles 1) Este problema se lo ofrecié al autor I, R. Shafarévich. 242sobre el campo de nimeros racionales, pero reducibles sobre el campo de los residuos segin cualquier médulo simple p. Demostrar que el polinomio f (x) = 2 — 10x? + 4 pertenecera, por ejemplo al caso mencionado antes, Este polinomio es el del mi- nimo grado con coeficientes enteros que posee ta raiz « = V2+V3. 1774*. Demostrar que si todos los elementos de un anillo con- mutativo A tienen un divisor comin e, este anillo posee la unidad. 1775. Indicar un anillo conmutative con la unidad que contiene el elemento a + 0 con una de las siguientes propiedades: a) a® = 0; b) para un niimero entero n > 1 dado se cumplen las condiciones a” = 0, a #0, si 0 kaon. 1776, Sea R un anillo conmutativo con la unidad e. Demostrar que: a) un elemento invertible (es decir, un divisor de la unidad) no puede ser divisor de cero; b) un elemento invertible posee un elemento invertible tnico; c) si 6, e son invertibles, a se divide por si, y sdlo si, a6 se di- vide por be; d) el ideal principal (a) del elemento @ perteneciente a FR di- fiere de R cuando, y sdlo Giiando, a es invertible. 1777. Sea R un anillo conmutativo con la unidad ¢ v ‘sin divisores de cero. Demostrar que: a) los elementos a, ) son asociados cuando, y sdlo cuando, pada uno de ellos se divide por el otro; b) los ideales principales (a) y (6) coinciden cuando, y sdlo cuando, ay b son asociados (la definicién del ideal principal se da en el problema 1783). 1778. Sean R un anillo conmutativo con la unidad:e y FR fx) un conjunto de todas las series de potencias formales 3} a,x", a, € R. neo Introduzcamos las operaciones corrientes de adicién y multipli- cacién de las series: Bane" + 2 Bat Bi (tn +B) 2% (X ana") (3 Ba2")= De pat", donde yn = 2) txBn-- a= 7=0 n=0 x= Mostrar que: a) Rix) es un anillo conmutativo con la unidad; b) FR ¢x) contiene un subanillo isomorfo a R; R c) si R no tiene divisores de cero, lo dicho es justo tambiéy para (2); d) si Res un campo, >) a,x" ser& un elemento invertible del n=0 anillo R {x ) cuando, y sélo cuando “3 0. 213,1779*. Sea H un conjunto de todos los nimeros tipo @ + bY —3, donde a y 6 son racionales. Mostrar que & es un anillo con la unidad, en ef cual existe, pero no de modo univoco, la descomposicién en factores primos. En particular, mostrar que en dos descomposiciones 4=2-2=({4Y—8) 4-V —3) los Tactores son primos, ademas 2 no est asociado al & Y—3. 1780*. Demostrar que todas las sumas finitas 3} a,zr; con a; rea- les y r, no negativos binarios raciouales con respecto a las opera- ciones corrientes de adiciéna y multiplicacién de las funciones forman un anillo coumutativo con la unidad y sin divisores de cero, en el cual no existen elementos simples. 1781. Seran los siguientes conjuntos subgrupos del grupo adi- tivo, subanillos o ideales de Jos anillos indicados mas abajo: a) el conjunto nZ de los numeros, miltiples al niimero n >> 1, en el anillo de los ndmeros enteros Z; b) el conjunto Z de los nimeros enteros en el anillo Z [x] de po- linomios de mimeros entoros; ¢) el conjunto Z Er] de los polinomios, cuyos coeficientes son miltiples al namero n > 41, en el anillo Z ( 1, en el anillo Z [x] de polino- mios de mimeros enteros; j) el conjunto J de los polinomios con términos independientes pares en cf anillo Z [xz] de polinomios de nitmeros enteros; k) el conjunto / de los polinomios con coeficientes mayores pares en cl anillo Z [x] de polinomios de nimeros enteros. 1782. Demostrar que la interseccién de cualquior conjunto de ideales de un anillo conmutativo RA es ideal. 1783. Se denomina ideal princtpal (a) engendrado por el elemento ade un anilio conmutativo R, el ideal minimo que contiene a. De- mostrar que el ideal (2) existe para cualquier elemento aR y cons- ta de todos los elementos tipo: a) ra, donde res cualquier elemento de A si A posee Ja unidad; 214b) ra +- na, donde 7 es cualquier elemento de Jt y m es cualquier némero entero si R no tiene la unidad. 1784. Se denomina ideal (Af), engendrado por el conjunto M de un anillo conmutative R, el ideal minimo que contiene J7. Si el conjunto M consta de un nimero finito de elementos a, ..-, @,, el ideal (M) se designa también por (a,, ..-, 4,), Demostrar que ei ideal (M) existe para cualquier conjunto no vacio MW € R y consta de todas Jas sums: finitas, tipo: a) Srjay i €R, a, € M si & tiene la unidad; hy Sri; + Mnjay; ry € Rs ay € M; rn; son nimeros enterys si R no posee unidad. 1785*. Se denomina amillo de tos ideales principales un anillo conmutative con la unidad y sin divisores de cero, en el cual cada ideal es el principal (véase el problema 1783). Demostrar que cada uno de los siguientes anillos es el anillo de los ideales principales: a) el anillo Z de nimeros entores; h) el anillo P [rl de polinomios con respecto a una indeterminada z sobre el campo P; c) el anillo A de nimeros gausianos enteros, 1786. Se denomina sume de los ideales I,, 19, ..., [nde unanillo conmutativo R el conjunto 7 de todos los elementos x postenceientes a R, que se representan en la forma Bat tpt ieee ba ET b= 1, 2 ey Se eseribe J = 1, +J,+ ... ++ Zy. Si para cualquier x de J la Topresentacién indicada es inica, la suma de J se llama sume directa de los ideales I;. Im este caso se escribe J = 1, -+Jg+ ... +1y Demostrar que: a) la suma de cualquier nimero finito de ideales es un ideal; b) la suma de dos ideales seré una suma directa cuando, y sélo cuando, su interseccién contiene sdlo el cero, 1787. Demostrar que si J = J, +7, es una suma directa de ideales 7,, I,, ¢l producto de cualquier elemento perteneciente a 7, por cualquier elemento de fF, es igual a cero, (788. Sea # =, + F, una descomposicién del anillo conmu- tativo R con la unidad e en una suma directa de ideales no nulos ty Ty Demostrar que sie = e, + @g; e, EF: eo ELg, ontonces e, eo serdn unidades en J, e Jo, respectivamente, pero no en RA. 1789. Demostrar que el anillo cociente del anillo D [zl de los polinomios con coeficientes reales segin el ideal de los polinomios que se dividen por x? -+ 1, es isomorfo al campo de nimerds cqmple-. jos a + bi con las operaciones de adicién y multiplicacién, determi- nadas mediante las reglas bien conocidas del curso escolar. £790. Demostrar que cualquier aplicacién homomorla del campo Penn anillo 2 es bien una aplicacién isomorfa en cierto campo que entra en R en calidad de subanillo (el1 denominado eneaje de P 215en A), o bicn la aplicacién de todos los elementos do P en cero de R. 4791. Sean Z un anillo de nimeros enteros y A cualquier anillo con la unidad e. Demostrar que la aplicacién g para la cual @ (n) = a= ne, es una aplicacién homomorfa de Z en A. Hallar la imagen @ (2) del anillo Z para dicho homomorfismo. 1792. Sean A un anillo de nimeros gausianos enteros, J un con- junto de todos los nimeres a + bi donde a y b son pares. a) Mostrar que-J es el ideal en A; b) hallar las clases contiguas de A segin J; ¢) en el anillo cociente 4/I hallar los divisores de cero y mostrar con ello que A/J no es un campo. 1793. Demostrar que el anillo cociente A/Z del anillo de nGme- ros gausianos enleros segin el ideal principal 7 = (3) es un campo de nueve_ elementos. 1794, Demostrar que el anillo cociente A/Z del anillo de némeros gausianos enteros segiin el ideal principal / = (7) sera campo cuando, ¥ sélo cuando, x es un numero primo, no igual a la suma de dos cuadrados de niimeros enteros. i 1795. Sean P [x, y] un anillo de polinomivs con respecto a dos indeterminadas 2, y sobre el campo P, J wn conjunto de todos los polinomios de este anillo sin término independiente. Demostrar que: a) J es un ideal, pero no es el ideal principal; b) el anillo cociente P {x, yl/J es isomorfo al campo P. 1796. Soa J = (x, 2) un ideal, engendrado por el conjunto de dos elementos x y 2, en un anillo de polinomios de nitmeros enteros Z Iz]. Demosttar que: ta) el ideal J consta de todos los polinomios con términos inde- pendientes pares; b) el ideal J no es principal; c) el ahillo cociente Z [x]/J es isomorfo al campo de los residuos segin el médulo 2. 1797. Sea (r) un ideal, engendrado por un niimero entero n >> 1 en el anillo de polinomios de nitmeros enteros Z [x]. Demostrar que el anillo cociente Z {x]/(x) es isomorfo al anillo Z, [2] de los polino- mios sobre el anillo de los residuos segin el médulo x. 1798. Sean A un anillo de todas las funciones reales f (x), determi- nadas en toda la recta numérica para las operaciones corrientes de adicién y multiplicacién, y c un ntmero real. Demostrar que: a) la aplicacién ¢ If (z)] = / (¢) es una aplicacién homomorfa del anillo R sobre el campo D de nameros reales; hb) el nicleo del homomorfismo , es decir, el conjunto J de todos los elementos del anilfo R, transformados en el ntimero 0, es el ideal en R; ¢) el anillo cociente R/I es isomorfo al campo de nimeros rea- s D. 1799. Sean Zp un campo de los residuos segiin el médulo simple p, f (@), un polinomio de grado nm perteneciente al anillo Z, [x], irredu- cible sobre el campo Z, (de la teoria de los campos se sabe que seme- 216jante polinomio existe para cualquier p simple y cualquier x natu- ral), J el ideal principal, engendrado por el polinomio j (c) en of anillo Z, |x]. Demostrar que el anillo cociente Z, [x]/ es un campo finito y hallar la cantidad de sus elementos. § 22. Médulos Se denomina médulo isquierdo sobre ef anille R un gripo abeliano Af (por lo encral con una anotacién aditiva de la operacién), para cuyos elementos se de- ‘ine la multiplicacién por los elementos de R, de modo que ha € Af para cuales- fuiera & € 2, a € M, con Ja particularidad de que se cumplen las siguientes con- Ueiones, semejantes a las propiedades do la multiplicacién del vector por up mamero para el espacio lineal: 1. Ray b) = Aa tb, 2 + ple= hat pa, 3. A (ual= (Apday donde 2, pw € Ry a, BEM. Si, ademée” el anillo 2 posee la unidad « y 4, ca a, aE M, M so denomina médulo t2quierdo unitario sobre R. So Hama subméduto del méduloe izquierda M sobre el anillo # ct subgrapo 4 del grupo af, para cl cual ha € A para cualesquiera A € R, a € A. ‘La aplicacién ¢ del médulo iaquierdo M sobro ol médulo izquierdo At’ cobre un mismo anillo # se denomina homomorfo sip (a 5) = ga + qd, y (a) = = Aga para cealsso ieee a. bE MAE RK. ef La aplicacién honomorfa y biunivoea del médulo MW sobrével modulo M* (sobre e] mismo anillo) se denomina tsomerfa (0 tsomorfismo} y los médulos My A" se Laman. isomorfos. x Se denomina médulo cactente M/A del mddulo isquterde M sobre el antlio segiin el submédule A, ol grupo cocignte M/A con la multiplicacién natural por los elementos del anillo: &(z + A) = Av + A. Se denomina seevencia O {) (6. anulador Anm (a)} ded elemento a del moiulo izquterdo M sobre el anitlo R el conjunto do todos los elementos & € A. para los cuales Aa Si la seeuencia del elemento a contiene sdlo el cero del anillo R, a xe lama elemento libre (0 elemento de orden cero). En case contrario, a se llama elemento pertédico (0 elemento de orden no core) Se determinan de modo anélogo los médulos derechos 4 sobre el anilly R con la multiplicacién de a} € M, @ € MM, %€ A, y los conceptos relacionados con ellos. Si en les problemas siguientes se hadla simplomeate del médule J sobre ef anillo 2, M se examina, para definicién, como el médulo izquierd bre Ry a pesar de que las correspondientes propiedades son validas también para cl mé- dule derecho sobre it. Con 6] fin de simpificur, algunos problemas se enuncian para el cnso de un anillo conmvtative, aunque ellos pueden generalizarse para los médulos sobre anillos na conmutativos. 1800. Citar ejemplos de un médulo M sobre el anillo A en el que ete 440 de R y a0 de M, con la particularidad de que ia = 0. 1801. Comprobar que cualquier grupo abeliano G fcongama ano- tacién aditiva de la operacién) es modulo sobre el anillo Z dg mime- ros enteros. : ¥ 4802. El médulo izquierdo M sobre el anillo R se denomina trivial si .@ = 0 para cualesquiera A € R, a € M. Demostrar que eb médulo izquierdo Af sobre el anillo con la unidad e se descompone 247