Auslander–Reiten theory

A representation-theoretic framework organizing indecomposable modules and morphisms through almost-split sequences and Auslander–Reiten quivers.

Version

v3 · 2026-09-19 · History

Domain-specific #

1319

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomain

Representations of Artin Algebras and Additive Categories → Mathematics

Aliases

AR theory

Core Idea

Auslander–Reiten theory is a representation-theoretic framework organizing indecomposable modules and morphisms through almost-split sequences and Auslander–Reiten quivers.

Auslander–Reiten theory organizes indecomposable modules and the noninvertible maps among them through almost-split morphisms, almost-split short exact sequences, translation, and the Auslander–Reiten quiver. A right almost-split map is not a split epimorphism but every nonsplit map to its target factors through it; the dual property holds on the left.

Its operative boundary is not supplied by the name alone. Preserve this identity: A representation-theoretic framework organizing indecomposable modules and morphisms through almost-split sequences and Auslander–Reiten quivers. Validity boundary: Applications require the relevant Artin-algebra or categorical hypotheses and the factorization properties defining almost-split morphisms.

How would you explain it like I'm…

Block Map With Main Doors

Mathematicians study special building blocks that can't be pulled apart into two separate blocks sitting side by side. Auslander–Reiten theory draws a map of these blocks with arrows. For each block there's a special way in, so that every other way of reaching that block, except the plain, trivial ones, has to go through it.

Unsplittable Pieces and Gateways

In one area of math, people study objects called modules, and some of them are "indecomposable," meaning they can't be split into two separate pieces sitting side by side. Auslander–Reiten theory organizes these pieces and the connections between them. For each piece, it finds special connections that act like a main entrance: every other connection into that piece has to pass through the main entrance, except the trivial kind that just picks the piece out of something bigger where it already sat as a separate part. These special connections are packaged into short sequences, and all of it is drawn as a map with dots and arrows, called the Auslander–Reiten quiver. The theory only works under certain conditions on the kind of algebra being studied.

Almost-Split Sequences and Quivers

Auslander–Reiten theory is a framework in representation theory for organizing indecomposable modules (ones that can't be written as a direct sum of two nonzero modules) and the non-invertible maps between them. Its key tools are almost-split maps. A right almost-split map into a module is not a split epimorphism, but every other map into that module that isn't a split epimorphism factors through it; a left almost-split map is the dual. These fit into almost-split short exact sequences, also called Auslander–Reiten sequences, which link a module to a "translate" of it via the Auslander–Reiten translation. The whole structure is recorded in the Auslander–Reiten quiver, a directed graph whose vertices are indecomposable modules and whose arrows record irreducible maps. The results require specific hypotheses, such as working with modules over an Artin algebra or in suitable categories.

 

Auslander–Reiten theory is a representation-theoretic framework that organizes indecomposable modules and the noninvertible morphisms among them. Its central tools are almost-split morphisms, almost-split (Auslander–Reiten) short exact sequences, the Auslander–Reiten translation, and the Auslander–Reiten quiver. A right almost-split morphism ending at an indecomposable module is not a split epimorphism, yet every nonsplit morphism into that module factors through it; a left almost-split morphism satisfies the dual property for maps out of a module. Almost-split sequences combine the two, and the translation relates the end terms of such sequences. The Auslander–Reiten quiver records indecomposables as vertices and irreducible maps as arrows, giving a combinatorial picture of the module category. These results require appropriate hypotheses, typically working over an Artin algebra or in a category with the needed finiteness and existence properties, and the factorization properties defining almost-split maps must actually hold for the conclusions to apply.

Scope of Application

The abstraction recurs literally within representation-finite and representation-infinite module categories, derived or triangulated analogues, and categorical representation theory. The following habitats preserve the same recognition machinery; they are not invitations to extend the name metaphorically.

• Artin algebras. almost-split sequences organize finitely generated indecomposable modules.
• Finite representation type. the complete AR quiver can display all indecomposables.
• Hereditary algebras. components reflect root systems and orientation.
• Triangulated categories. AR triangles replace short exact sequences.
• Mutation settings. translation and irreducible maps guide local categorical change.

Clarity

State the ambient category and whether objects are modules, complexes, or stable classes. Check minimality and factorization rather than labeling a convenient exact sequence 'almost split.' Quiver arrows encode irreducible morphisms, not every nonzero Hom-space.

A practical identification audit begins with the typed roles rather than the title: establish the ambient category, verify the indecomposable objects, then test the remaining conditions and exclusions.

Manages Complexity

The theory compresses a large module category into a directed translation graph with local meshes. Universal factorization properties let many morphism and extension questions be reduced to neighborhoods of indecomposables.

The compression remains accountable because each simplification has a named failure condition. Disagreement can be localized to a missing role, an invalid assumption, an ambiguous measurement, or a neighboring abstraction instead of being hidden inside an unanalyzed label.

Abstract Reasoning

R1. Verify Krull–Schmidt and Hom-finiteness or the specific replacement hypotheses. R2. Choose an indecomposable nonprojective or noninjective endpoint as appropriate. R3. Test the nonsplit and universal factorization properties of the candidate maps. R4. Identify the translated endpoint and irreducible summands of the middle term. R5. Assemble arrows and mesh relations without confusing isomorphic representatives.

Knowledge Transfer

The framework transfers literally to module and categorical settings supporting almost-split structure. Decomposition and factorization are parents; a dependency graph of arbitrary objects is not an AR quiver.

The transfer boundary is explicit: DOMAIN-SPECIFIC PASS / PRIME FAIL: The framework recurs across Artin algebras and their module categories through systematic construction of almost-split sequences and quivers. Literal recognition retains the specialist vocabulary and validity conditions of representation theory of Artin algebras; outside that setting only broader parent operations transfer.

Relationships to Other Abstractions

Current abstraction Auslander–Reiten theory Domain-specific

Parents (1) — outgoing typed relations

• Auslander–Reiten theory is a kind of Factorization Prime

  Factorization (prime:factorization).

Hierarchy path (1) — routes to 1 parentless root

• Auslander–Reiten theory → is a kind of Factorization → is a kind of Decomposition

Neighborhood in Abstraction Space

Auslander–Reiten theory sits in a moderately populated region (44^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Categories, Sheaves & Homotopy (21 abstractions)

Nearest neighbors

• Initial and terminal objects — 0.89
• Joyal Model Structure — 0.87
• Dévissage — 0.86
• Resolution Theorem (Algebraic K-Theory) — 0.86
• Categorical Trace — 0.86

Computed from structural-signature embeddings · 2026-10-25