Oración 1: por el primer teorema del isomorfismo vemos que GL("n", "F")/SL("n", "F") es isomorfo a "F"×
Oración 2: gL("n", "F") se puede escribir como producto semidirecto de SL("n", "F") por el "F"×:
Conector: de hecho,
Relación: entailment
Género: articles