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.

Version

v3 · 2026-09-19 · History

Domain-specific #

2189

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomains

Group Theory, Linear and Matrix Groups → Mathematics

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.

How would you explain it like I'm…

 

No faithful explanation at this level. A kid-level picture collapses into 'a group is just some grids of numbers.' That confuses the abstract group with one chosen matrix model and drops the faithfulness and fixed-field conditions.

Moves Copied Faithfully

A group is a collection of moves that you can combine, like turns of a puzzle. A group is called a Linear group if you can copy every move as a special number grid (a matrix) that stretches and turns space, so that combining moves matches multiplying grids. The copy must be honest: two different moves must never get the same grid. The grid size has to be a fixed, finite number, and you must say what kind of numbers are allowed in the grids.

Faithful Matrix Representation

A group G is a Linear group over a number system K (a field, like the real numbers) if it can be faithfully represented by invertible matrices of some fixed finite size d with entries in K. Faithful means the map from G to matrices respects multiplication and sends different group elements to different matrices, so its kernel is trivial. Just having some matrices that respect multiplication is not enough; a representation that squashes several elements together doesn't count. The matrices themselves depend on a choice of basis, so they are one model of the group, not the group's true identity. The field and dimension also matter: being linear over one field doesn't automatically mean linear over another.

 

A group G is linear over a field K if there is a finite d and an injective homomorphism ρ: G → GL_d(K), that is, a faithful finite-dimensional representation over K. The homomorphism turns the group operation into composition of invertible linear maps, and injectivity guarantees distinct elements stay distinct. Choosing a basis turns those maps into matrices, but that coordinate realization is not canonical. To verify linearity you must name the field and the dimension, define ρ, check that it preserves multiplication, and check that its kernel is trivial. Several things do not count: a nontrivial but non-faithful representation, an infinite-dimensional operator representation, a mere one-dimensional character, or a projective representation mistaken for a linear one. Silently changing the field also breaks the claim. Once linearity is established, tools like matrix invariants and algebraic geometry can be applied to the group. Under suitable hypotheses this yields results such as residual finiteness, and it lets one distinguish linear from nonlinear groups.

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

1. 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) — outgoing typed relations

• Linear group is a kind of Group Prime

  Every linear group literally satisfies the group axioms; faithful finite-dimensional realizability is the autonomous representation-theoretic specialization.

Children (1) — abstractions linked here by typed relations

• Arithmetic Group Domain-specific is a kind of Linear group

  Every arithmetic subgroup in this matrix-group scope has a faithful finite-dimensional representation.

Hierarchy paths (5) — routes to 5 parentless roots

• Linear group → is a kind of Group → is a kind of Monoid → is a kind of Semigroup → is a kind of Set and Membership

Show alternative paths (4)

Neighborhood in Abstraction Space

Linear group sits in a crowded region of the domain-specific corpus (12^th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Vector Spaces & Linear Structures (17 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-10-25