The General Linear Group#
Theorem: The General Linear Group
Let \((V, F, +, \cdot)\) be a vector space.
The set of all of \(V\)'s automorphisms forms a group with function composition.
Definition: The General Linear Group
This group is known as the general linear group of \(V\).
Notation
\[ \operatorname{GL}(V) \qquad \operatorname{Aut}(V) \]
Proof
TODO