En teoría de grupos , una disciplina dentro del álgebra abstracta , un grupo especial es un grupo finito de primer orden de potencia que es abeliano elemental en sí mismo o de clase 2 con su grupo derivado , su centro y su subgrupo Frattini todos iguales y abelianos elementales ( Gorenstein 1980 , p.183). Un grupo especial de orden p n que tiene clase 2 y cuyo grupo derivado tiene orden p se llama grupo especial extra .