¿Es correcto lo siguiente?
Sea$n_2$ un número de elementos de$G$ de orden$2$ if$n_2> \dfrac {|G|}2$ entonces$G$ es un grupo abelian$2$.
Edit: vemos que la conclusión "si$n_p> \dfrac {|G|}p$ entonces$G$ es un grupo$p$ está equivocado" gracias a JyrkiLahtonen.