El conjunto de todas las matrices diagonales forma un subgrupo de GL("n", "F") isomorfo a ("F").