Math 2.0

Associative rings and algebras Definition

Almost split sequence

Builds on RingModule over a ringExact sequenceIndecomposable module

Definition

Let RR be a ring and let 0→L→fE→gN→00 \to L \xrightarrow{f} E \xrightarrow{g} N \to 0 be a short exact sequence of left RR-modules. The sequence is almost split if:

  1. it does not split;
  2. every morphism u ⁣:L→Yu \colon L \to Y that is not a split monomorphism factors as u=u′fu = u' f for some u′ ⁣:E→Yu' \colon E \to Y;
  3. every morphism h ⁣:X→Nh \colon X \to N that is not a split epimorphism factors as h=gh′h = g h' for some h′ ⁣:X→Eh' \colon X \to E.

Remarks

In an almost split sequence, LL and NN are indecomposable with local endomorphism rings. Example: let AA be the path algebra of 1→21 \to 2 over a field kk, with modules S2=(0→k)S_2 = (0 \to k), P1=(k→id⁡k)P_1 = (k \xrightarrow{\id} k), S1=(k→0)S_1 = (k \to 0). The sequence 0→S2→P1→S1→00 \to S_2 \to P_1 \to S_1 \to 0 does not split, since P1P_1 is indecomposable. For clause 3 it suffices to test indecomposable XX: maps from S1S_1 are 00 or isomorphisms, Hom⁡(S2,S1)=0\Hom(S_2, S_1) = 0, and maps from the projective P1P_1 lift. Clause 2 is checked in the same way. Non-example: the split sequence 0→S2→S2⊕S1→S1→00 \to S_2 \to S_2 \oplus S_1 \to S_1 \to 0 satisfies clauses 2 and 3, since ff is a split monomorphism and gg a split epimorphism, but it fails clause 1. For a finite-dimensional algebra, the left end of the almost split sequence ending at NN is τN\tau N, the Auslander–Reiten translate.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Exact sequence concept
  2. Indecomposable module concept
  3. Module over a ring concept
  4. Ring concept
  5. Almost split sequence definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Auslander%E2%80%93Reiten_theory
About this page
TagFWJ7CH6WG8
URIm2://FWJ7CH6WG8
Kinddefinition
WritingW0 stub
MSC16G70
DefinesAlmost split sequence
UsesRing, Module over a ring, Exact sequence, Indecomposable module
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.