Category Archives: algebra

A Clever Proof of a Common Fact

Cf. means confer…

Abstract Nonsense

Point of Post: In this post we give a new proof that if $latex G$ is a finite group $latex H$ is a subgroup $latex G$ whose index is the smallest prime dividing $latex |G|$ then that subgroup is normal.

$latex text{ }$

Motivation

It is a commonly used theorem in finite group theory that if $latex G$ is a finite group and $latex Hleqslant G$ such that $latex left[G:Hright]=p$ is the smallest prime dividing $latex |G|$ then $latex Hunlhd G$. We have already seen a proof of this fact by considering the homomorphism $latex Gto S_p$ which is the induced map from $latex G$ acting on $latex G/H$ by left multiplication, and proving that $latex ker(Gto S_p)=H$. We now give an even shorter (and the just mentioned proof is already short) proof of this fact using double cosets.

$latex text{ }$

View original post 197 more words

definición en diagrama

¿Cuál es la definición de un grupo libre?

me preguntaban…

y yo les digo (yo propongo) que deberían de considera un diagrama de conjuntos y flechas así:

FGdiagrmdefA

para empezar, y preguntar más si quieren,

continuo,

les digo que se pueden consultar cantidades tremendas de literatura, Schreier en 1927 resolvió el teorema fundamental:

Si F es un grupo libre y U<F entonces U también es libre

la respuesta para este teorema utiliza  este otro diagrama

FGdiagdefiA