Guia 2 Grupos y Anillos juanito

1. b)
Proof.

subgupo de

CG (H )

si y solo si

abeliano. luego

tomando

Sea h1 , h2 H , luego h1 h2 H , luego h1 , h2 CG (H ) = {g G : gh = hg h H }, h = h2 en CG (H ). Por tanto H es abeliano.

h1 h2 = h2 h1

luego

Inversamente, si H es abeliano, dado h1 H , entonces h1 h2 = h2 h1 para todo h1 , h2 H , luego h1 CG (H ), H CG (H ), luego como H ya era unsubgrupo se tiene que H es un subgrupo de CG (H ).
2. creo que esta mal el enunciado con ese g... 3. a) Considere el grupo

G = S3

y sea

H = {(1), (1, 2)}.

para todo
1

Pruebe que

CS3 (H ) = NS3 (H ) = H

y que

Z (S3 ) = {1}.

h H , luego (1) = (1) (1, 2) = (1, 2) , luego 1 (1) = (1) puede ser cualquier elemento de S3 (1, 2) = (1, 2), en este ultimo caso, usamos el truco 1 (1, 2) = ( (1), (2)) (que puede usarse cuando las permutaciones estan en su descomposicion disjunta), y como 1 (1, 2) debe ser (1, 2), se tiene que ( (1), (2)) = (1, 2). Ahora viendo valores, (1) tiene dos posibles valores; 1 o 2, y como ( (1), (2)) es un ciclo, al elegir (1), (2) queda completamente determinado. Por tanto si (1) = 1, entonces (2) = 2, o bien, (1) = 2 entonces (2) = 1, luego los que sirven son = (1) o bien = (2, 1), luego CS3 (H ) = H .
Proof.

Sea

CS3 (H ),

luego

h = h

De manera similar , dado

NS3 (H ) = { S3 : H = H },

se tiene diferentes casos:

1 (1) = (1) puede ser cualquier permutacion de S3 . (1) = (1, 2) (1) = (1, 2) algo absurdo. 1 (1, 2) = (1, 2) = (1, 2) o = (1) analizado anteriormente. 1 (1, 2) = (1) (1, 2) = (1) algo absurdo.
1

luego

que sirven deben cumplir los 4 casos anteriores intersectados, NS3 (H ) = H . Demostrando lo pedido. Ahora en general ZG (H ) = hH CG (h), luego calculando caso por caso:

Por tanto los

luego son

= (1)

o bien

= (1, 2),

CS3 ((1)) = S3 CS3 ((1, 2)) = {(1), (1, 2)} CS3 ((1, 3)) = {(1), (1, 3)} CS3 ((2, 3)) = {(1), (2, 3)} CS3 ((1, 2, 3)) =?
Este caso es nuevo, tenemos que

CS3 ((1, 2, 3)) igual que antes, = (1) (2) = 2 (3) = 3 (1) = 2 (2) = 3 (3) = 1 (1) = 3 (2) = 1 (3) = 2.
Por tanto, los

si y solo si

1 (1, 2, 3) = (1, 2, 3) = ( (1), (2), (3)),

luego al

son :

= (1), = (1, 2, 3), = (1, 3, 2),

luego

CS3 ((1, 2, 3)) = {(1), (1, 2, 3), (1, 3, 2)}.

De manera similar se calcula Por tanto

CS3 (1, 3, 2) = {(1), (1, 2, 3), (1, 3, 2)}.

Z (S3 ) = S3 CS3 ( ) = {(1), } .

(b) analogo.

4. Sea

subgrupo de

G.

Si

[G : H ] = 2http://www.youtube.com/watch?v=SGPudjMvHKQ,

pruebe que H es

subgrupo normal de

G.

Proof.

dado union

g1 H ,

[G : H ] = 2, tenemos que hay dos clases laterales izquierdas y dos clases laterales derechas, luego la clase g1 H = H , y tambien Hg1 = H . Ahora como las clases izquierdas o derechas parten a G en gG = g1 H g2 H = H G \ H . disjunta se tiene que (dado g2 G \ H ) G = gG Hg = Hg1 Hg2 = H G \ H , G=
como

Como

De forma similar

g1 H = Hg1 ,

no queda otra que

g2 H = G \ H =

Hg2 .
Por tanto, para cualquier

g G, p2

se tiene que

gH = Hg . G

Por tanto

es normal en

G.

5. Sea
Proof.

grupo de orden

p primo, pruebe que

es abeliano.

Como

es un

grupo, entonces Z(G) es no trivial, mas aun,

|Z (G)| = p, G

luego formando el cociente,

G/Z (G),
6. Sea

se tiene que tiene orden

|G|/|Z (G)| = p,

ademas como el centro era normal, este cocinete es un grupo, es abeliano.

ademas este cociente tiene orden

p,

luego este grupo cociente es ciclico, luego

grupo no abeliano.

(a) Pruebe que para cada

Proof.

x G,

se tiene que

Z (G)

es subgrupo de

CG (x).

(b) Si

|G| = p3

entonces

|Z (G)| = p.

la ecuacion de clase, sabemos que si

z Z , se tiene que conmuta con todos los x en G y es subgrupo. (b) De G es un p-grupo, entonces su centro es no trivial, mas aun, p||Z (G)|, luego como |Z (G)|||G| = p3 , entonces |Z (G)| = p3 o p2 o p, vemos que |Z (G)| = p2 , pues de ser asi, formamos el cociente G/Z (G) con orden |G|/|Z (G)| = p, luego este cociente seria ciclico , luego G seria abeliano algo absurdo.
(a) Esto es trivial, pues dado Ahora si

|Z (G)| = p3 ,

se tiene que

G = Z (G)

luego

seria abaeliano algo absurdo. Por tanto

|Z (G)| = p.