Masteries · Jason GlowneyArithmoí Book 1

Masteries

1.1.4 Special Linear Group

The gen­er­al linear group GL(n,F)GL(n,F) con­tains el­e­ments with non-zero de­ter­mi­nants, and there exists a sub­group of GL(n,F)GL(n,F) with el­e­ments having de­ter­mi­nants equal to one. This sub­group has a name, the spe­cial linear group, where the term spe­cial de­notes de­ter­mi­nants equal to 11. The spe­cial linear group is the sub­group of GL(n,F)GL(n,F) with in­vert­ible linear n×nn \times n ma­tri­ces over the field F, with degree nn, and de­ter­mi­nants equal to 11. The group and its defin­ing prop­er­ties can then be ex­pressed using the fol­low­ing no­ta­tion

SL(n,F)={M∈GL(n,F)|det⁡(M)=1}.\begin{array}{r} SL(n,F) = \left\{ M \in GL(n,F) \middle| \det(M) = 1 \right\}. \end{array}
(1.1.11)