Linear group¶
Characterize a group by the existence of a faithful finite-dimensional representation over a specified field, equivalently by its realization as a subgroup of a general linear matrix group.
Core Idea¶
A group \(G\) is linear over a field \(K\) if there is a finite integer \(d\) and an injective homomorphism \(\rho:G\to\operatorname{GL}_d(K)\); equivalently, \(G\) admits a faithful finite-dimensional representation over \(K\). The representation sends abstract multiplication to composition of invertible linear maps, injectivity prevents distinct group elements from collapsing, and a basis records those maps as matrices without making the chosen coordinates intrinsic.
Its autonomous residual is the existence of a faithful finite-dimensional representation over a specified field, not the display of any matrices, a one-dimensional character, an infinite-dimensional operator representation, or one named classical group.
Scope of Application¶
Linear group applies when the analyst can specify an abstract group, a field, a finite-dimensional vector space over that field, and its general linear group of invertible linear transformations and establish that the carrier is a group and a faithful representation into some finite-dimensional general linear group over the declared field exists. The entry uses the standard algebraic definition; topological, Lie, algebraic-group, projective, unitary, and infinite-dimensional variants require their additional structure and morphism conditions.
Clarity¶
A clear claim names the carrier, governing rule, assumptions, and recognition test. This matters because linear group can mean an abstract group admitting a faithful representation or a concrete matrix subgroup, while Lie-group texts may add continuity and closed-image requirements. The disciplined statement is that the object counts as Linear group exactly when the carrier is a group and a faithful representation into some finite-dimensional general linear group over the declared field exists
Manages Complexity¶
The abstraction compresses finite and infinite groups, classical matrix groups, linear algebraic groups, linear Lie groups, arithmetic groups, finitely generated matrix groups, and representations over different fields into a stable carrier, rule, invariant, and failure boundary. It makes comparison tractable while retaining the variables that control validity.
Abstract Reasoning¶
- Type the carrier. Establish an abstract group, a field, a finite-dimensional vector space over that field, and its general linear group of invertible linear transformations and reject examples from a different problem. 2. Lock the rule. Express that the carrier is a group and a faithful representation into some finite-dimensional general linear group over the declared field exists independently of one notation or implementation.
Knowledge Transfer¶
Transfer within group theory is strong when new cases preserve the same carrier, mechanism, and diagnostic. The move from Every finite group is linear over \(\mathbb C\): the regular action permutes a basis indexed by group elements and yields an injective homomorphism into a finite general linear group. to The braid groups admit faithful finite-dimensional representations, resolving their long-standing linearity question even though the most obvious historical representations can fail to be faithful in some parameters. demonstrates that continuity.
Relationships to Other Abstractions¶
Current abstraction Linear group Domain-specific
Parents (1) — more general patterns this builds on
-
Linear group is a kind of Group Prime
The proposed strict upward parent is
prime:group.
Hierarchy paths (5) — routes to 5 parentless roots
- Linear group → Group → Monoid → Semigroup → Set and Membership
- Linear group → Group → Monoid → Identity Element
- Linear group → Group → Monoid → Semigroup → Closure
- Linear group → Group → Monoid → Semigroup → Associativity → Invariance
- Linear group → Group → Monoid → Semigroup → Associativity → Symmetry
Neighborhood in Abstraction Space¶
Linear group sits in a crowded region of the domain-specific corpus (21st percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.
Family — Group Representations & Symmetry (24 abstractions)
Nearest neighbors
- Classical group — 0.93
- Subrepresentation — 0.92
- Linear map — 0.91
- Frobenius normal form — 0.91
- Representation on coordinate rings — 0.91
Computed from structural-signature embeddings · 2026-09-08