Yetconjunto 8= (3, 3}a2 2) S15 =G, entonces, 6) = 3) S13 = (en) entonces, FB) = ‘GRUPOS 2soMORFOS 2 inca | Es dec, para garantzar que dos srpot son omerts, deberos enconca al menos una funn tvecova ene amboe gue ses homomorsme, pos \somorfos tienen fas mismas propledades estructurales, po ep debelt lo significa, por elempio que un grupo de & elementos no puede ser isomer aun grupo de 8 lementas. Un grupo abellano no puede ser ismorfo® un grupo no abellane. Un grupo cc No puede ser tsmorfa 2 un grupo no ccc,A siempioe 1, Years que pasa con oeove forma de justincar que ne son Isomerfos, puede ser dicendo que este grupo 8 tiene 3 cambio 2, tiene uno solo de orden 2. subgrupos de orden 2 (los ealculados arriba), y en cambio ZU abiendo descartado Ia pasbidad de lsomorisme entre By 2a, sigamos analizando qué pasa olamente tene subgrupes ccs) is = C4 Sis cet IAD, ge <<] ees VVemes que la cantidad y orden de os subgrupos coincde con fs de 2 Hasta ocd todo va coincidlende. Es hora de establecer la correspondencia bluniveca para poder estar seguros que son Iomortos, Para ello tengamos en cuenta que sun elemento es de un clerto orden en uno de os grupos, le tenemos que hacer crresponder un elemento del mismo orden en el otro grupo. Pot le tanto, una posible funcién a definir es fhZpoA/MD) as ACT) =I; CR) — AGS) Si se quisiera dar por comprensién podria ser: f¢ X) = I ara estar seguros que es homomorfisme, tenemos dos opciones onciin: demostrario por la definsén (3 $8) =f 3)+K 5) Esto se puede hacer caso por caso (seré necesario cuando no se tenga una frmula), 0 bien en ‘ete se puede hacer gendricamente: f{ 335) =i =e =f 3)+f( 5) 2% oaclén: solamente vida para grupos finkos: constr las tablas de ambos grupos con et ‘mismo ordenamiento dado por ia funcién definiga y ver que se trata de la misma tabla pero on distinto nombre, es deci si se reemplazara cada uno de los elementos de a primer tabla por su imagen, se deberia obtener la otra tabladincphns,e coneap ca prupo ys qu eon beta esl esto 6 1 nstormaconesy sus variants ( oapledades que prj