El símbolo formula_8 representa el conjunto de estas matrices de formula_9 cuyo determinante es igual a uno (formula_10).