The group of all invertible n-by-n matrices over a specified field or ring, with the group operation given by matrix multiplication; members are exactly those matrices that admit a two-sided inverse of the same size over the chosen base.

Principle

Invertibility under matrix multiplication organizes the set of n×n matrices into a group: closure under product, associativity inherited from matrix multiplication, the identity matrix as neutral element, and existence of inverses characterized by nonzero determinant over a field or by being a unit matrix over a ring.

Demonstration

GL(2,R): the set of all 2×2 real matrices whose determinant is nonzero. Example: A = [[cosθ, -sinθ],[sinθ, cosθ]] ∈ GL(2,R); A·A^{-1}=I and det(AB)=det(A)det(B) ensures products stay invertible when determinants are nonzero.

Misapplication

Including singular matrices (determinant zero) as members, or assuming GL(n,·) is abelian and that matrix multiplication commutes; also treating GL(n) as the same thing as the space of all n×n matrices without checking invertibility.

Consequence

When correctly identified, GL(n, F) is a fundamental symmetry group acting faithfully on the n-dimensional vector space over F; determinants give a group homomorphism det: GL(n,F)→F^× and many structural results (e.g., subgroups, representations, algebraic-group structure over fields) follow from the group and linear algebra properties.

Reversal

The set of all n×n matrices (a monoid) obtained by dropping the invertibility requirement; or considering the group of affine transformations which include translations in addition to linear maps—these are larger structures with different algebraic properties.

Boundary

n is fixed and the base (field or ring) must be specified; over rings invertibility requires a multiplicative inverse in the ring of coefficients, and GL(n,R) over a noncommutative ring requires care in left/right inverses. Does not include singular matrices or linear maps between spaces of different dimensions unless explicitly extended.

Semantic Tension

“General linear” as the full group contrasts with usages of “linear group” to mean any subgroup of GL(n). There is also tension between GL(n) viewed as an abstract group and as an algebraic or Lie group when a topology or scheme structure is present.

Synthesis

General Linear Group unifies the linear-algebraic notion of invertibility with group structure: it is the group of all invertible n×n matrices over a given base, characterized by multiplicative closure of inverses (determinant or unit condition), and serving as the ambient symmetry group for n-dimensional linear algebra.