Por tanto su grupo de isometría maximal resulta ser isomorfo a formula_3.