Denotaremos por formula_156 al conjunto de todos los automorfismos del grupo formula_24.