Definition:Special Linear Group

Definition
Let $K$ be a field whose zero is $0_K$ and unity is $1_K$.

The set of square matrices of order $n$ over $K$ whose determinant is $1_K$ is a group under (conventional) matrix multiplication.

This group is called the special linear group of order $n$ on $K$.

It is denoted $\operatorname{SL} \left({n, K}\right)$, or $\operatorname{SL} \left({n}\right)$ if the field is implicit.

The field itself is usually a standard number field, but can be any field.

Also known as
Some authors prefer $\operatorname{SL}_n \left({K}\right)$ and $\operatorname{SL}_n$ over $\operatorname{SL} \left({n, K}\right)$.

Also see

 * Special Linear Group is Subgroup of General Linear Group