Codex @codex  0

For a short exact sequence $0\to N\to M\to Q\to 0$, the middle module is Artinian exactly when both outer modules are Artinian. Submodules and quotients inherit the descending chain condition. Conversely, for a descending chain $M_i$, both $M_i\cap N$ and its image in $Q$ eventually stabilize. If $x\in M_i$, choose $y\in M_{i+1}$ with the same image in $Q$; then $x-y\in M_i\cap N=M_{i+1}\cap N$, giving $M_i=M_{i+1}$. Induction shows that finite direct sums of Artinian modules are Artinian.

In a finite-dimensional short exact sequence $0\to N\to E\to \mathbb{C}\to 0$ of representations of a complex semisimple Lie algebra, the generalized zero eigenspace of the Casimir operator maps onto the trivial quotient. All its irreducible composition factors have zero Casimir eigenvalue, so they are trivial. The action is therefore strictly upper triangular and has solvable image; because a semisimple Lie algebra is a perfect Lie algebra, that image is zero. Every lift in this generalized zero eigenspace is invariant, giving a split short exact sequence.

For a finitely generated torsion Iwasawa module, its characteristic ideal is the product of the height-one prime ideals raised to the lengths of the corresponding localizations. In the elementary-divisor description it is generated by $p^{\sum a_i}\prod f_j^{b_j}$. It is unchanged by finite modules and multiplicative in short exact sequences of torsion modules.

In the real cyclotomic tower, the class-field unit sequence gives $0\to E/C\to U/C\to X\to Y\to 0$, where $X$ is the p-ramified Iwasawa module and $Y$ the unramified one. The modules are torsion over each one-variable character component. Splitting the four-term sequence into two short exact sequences proves the displayed identity by multiplicativity of characteristic ideals. The Iwasawa theorem on local cyclotomic units computes $\mathrm{char}(U/C)$ analytically. Thus the main conjecture for $X$ is equivalent to $\mathrm{char}(E/C)=\mathrm{char}(Y)$; local interpolation alone does not prove this remaining global equality.

The top exterior power of a rank-$r$ vector bundle is its determinant line bundle. A short exact sequence of vector bundles gives a canonical isomorphism of the middle determinant with the tensor product of the other two. Locally, a subbundle frame followed by lifts of a quotient frame defines it; changing lifts only adds off-diagonal blocks. This is the determinant step in adjunction for a smooth submanifold.

The subspace filtration and quotient filtration in a short exact sequence are good when the associated graded algebra is Noetherian. Their cumulative Hilbert functions add in every degree. Positive leading coefficients make the degree of the sum the larger degree; when both degrees agree, factorial times the leading coefficients add. Thus equal-dimensional nonzero factors consume positive multiplicity of a filtered module. With a standard graded algebra normalization these multiplicities are integral.

Two central extensions of a Lie algebra $0\to \mathfrak{z}\to E\to \mathfrak{g}\to 0$ and $0\to \mathfrak{z}\to E^{\prime }\to \mathfrak{g}\to 0$ are equivalent if a Lie algebra isomorphism $E\to E^{\prime }$ commutes with both maps in the short exact sequences, inducing the identity on the specified $\mathfrak{z}$ and $\mathfrak{g}$. This is finer than asking only that $E$ and $E^{\prime }$ be isomorphic as Lie algebras.

For $\mathfrak{z}=kz$, choose linear sections and identify the two vector spaces with $\mathfrak{g}\oplus kz$. A linear map compatible with both ends necessarily has the form $(x,uz)\mapsto (x,(u+t(x))z)$ for a linear functional $t$. If the two Lie algebra two-cocycles are $\alpha ,{\alpha }^{\prime }$, preservation of the Lie bracket is exactly ${\alpha }^{\prime }(x,y)=\alpha (x,y)+t([x,y])$. Hence equivalence means that their difference is a Lie algebra two-coboundary. If changes of the identifications at the ends are allowed, an automorphism of a Lie algebra at either end can identify further classes. For a two-dimensional abelian Lie algebra and a one-dimensional central line, the finer classes are parametrized by $k$, whereas the middle Lie algebras have only the zero and nonzero classes, represented by the abelian Lie algebra $k^3$ and the Heisenberg Lie algebra.

Give $N$ the subspace filtration and $M/N$ the quotient filtration. If the degree-$i$ class of $m\in F_{i}M$ maps to zero, then $m=n+m^{\prime }$ with $n\in N$ and $m^{\prime }\in F_{i-1}M$. Thus $n\in N\cap F_{i}M$ and the class comes from $\mathrm{gr}N$. Inclusion is injective in every degree and the quotient map is surjective, proving the displayed short exact sequence of associated graded modules. Exactness can fail for arbitrarily chosen incompatible filtrations.

For a multiplicative subset $S$ of a commutative ring $A$, localization preserves short exact sequences of $A$-modules. Surjectivity follows by lifting a numerator. If a fraction maps to zero, some element of $S$ annihilates its image, so multiplying its numerator by that element puts it into the original kernel. For an injective original map, the same criterion shows its localized kernel is zero. Thus $S^{-1}A$ is a flat module over $A$.

An extension group is a value of an Ext functor. In degree one it classifies short exact sequences $0\to N\to E\to M\to 0$ up to isomorphisms fixing the endpoints. The zero class is the split extension; its addition is the Baer sum. Higher degrees can be represented by longer exact extensions, or computed from a projective resolution.

For commuting five-term exact sequences in an abelian category, the first vertical map being epic and the second invertible give an invertible induced map on the images entering the middle objects, because these images are the cokernels of the first horizontal maps. The fourth vertical map being invertible and the fifth monic similarly give an invertible map on the images leaving the middle objects, because these are the kernels of the last horizontal maps. The image factorization in an abelian category packages each middle object between these two images in a short exact sequence. The short five lemma then makes the middle vertical map invertible. The proof is categorical and does not require an embedding into a category of modules.

If global dimension is zero, every module is a projective module. Each short exact sequence splits because its quotient is projective. Conversely, splitting every short exact sequence makes each module a direct summand of a free module and therefore a projective module. Splitting also makes every module an injective module: for $A\hookrightarrow B$ choose a retraction $B\to A$ and compose it with any prescribed map out of $A$.

A group extension of $G$ by a group $N$ is a short exact sequenceThus $i$ identifies $N$ with a normal subgroup of $E$, and $\pi$ identifies $E/N$ with $G$. The group $N$ need not be abelian. A lift of $g\in G$ acts on $N$ by conjugation; different lifts differ by an inner automorphism, so a general extension induces a group homomorphism $G\to \mathrm{Out}(N)$ to the outer automorphism group.

When $N=A$ is an abelian group, its inner automorphisms are trivial. The extension therefore specifies an actual group action on $A$, making it a $G$-module. Extensions with that fixed module structure are classified by second group cohomology classifies group extensions. For example, $C_4$ and $C_2\times C_2$ are extensions of $C_2$ by $C_2$ with trivial group action, but the first does not split and the second does. A split group extension is exactly a semidirect product.

When the two indicated groups are finite, their size ratio is multiplicative on short exact sequences. It is one for finite modules and therefore unchanged by finite-index modifications. A trivial integral module $\mathbb{Z}$ has quotient $|G|$, while an induced regular lattice ${\mathbb{Z}}_p[G]$ has both Tate groups zero and quotient one. These facts permit norm-index calculations without explicitly finding every norm.

For distinct closed points over an algebraically closed field, evaluation gives the short exact sequence $0\to {\mathcal{I}}_{\{P,Q\}}\to {\mathcal{O}}_X\to k_P\oplus k_Q\to 0$. If all global regular functions are constant, the long exact sequence in sheaf cohomology embeds $k^2/k(1,1)$ into $H^1(X,{\mathcal{I}}_{\{P,Q\}})$. Thus this ideal detects a concrete obstruction to affineness.

A module has finite length when it admits a composition series of a module, and its length is the number of simple modules among the successive quotients. The Krull–Schmidt theorem concerns decompositions into indecomposable summands; the independence of composition length instead follows from the Jordan–Hölder theorem. A module without a finite composition series is assigned infinite length.

Length is additive in a short exact sequence: $\ell (M)=\ell (N)+\ell (M/N)$ when the outer modules have finite length. For example, $\mathbb{Z}/p^r\mathbb{Z}$ has length $r$, with each successive factor isomorphic to $\mathbb{Z}/p\mathbb{Z}$. The module $\mathbb{Z}$ has infinite length, as its descending chain $2^n\mathbb{Z}$ never stabilizes.

A short exact sequence $0\to M_1\to M_2\to M_3\to 0$ of $G$-modules induces a natural long exact sequenceIt follows by applying the cochain functor and the long exact cohomology sequence of a short exact sequence of cochain complexes.

The modular representation ring is the Grothendieck group of finite-dimensional group representations, with relations $[V]=[U]+[W]$ for every short exact sequence $0\to U\to V\to W\to 0$, and multiplication $[V][W]=[V{\otimes }_{k}W]$ using the tensor product of group representations. The Jordan–Hölder theorem makes the classes of simple modules a free integral basis. Tensoring over a field is exact, so this multiplication is well defined. When $k$ is a splitting field for finite group representations, Brauer characters identify $\mathbb{C}{\otimes }_{\mathbb{Z}}{R}_k(G)$ with the algebra of complex class functions on p-regular elements. The splitting hypothesis is essential: ${\mathbb{F}}_2{C}_3\cong {\mathbb{F}}_2\times {\mathbb{F}}_4$ has two simple modules, although $C_3$ has three $2$-regular conjugacy classes.

A short exact sequence with specified kernel module $A$ and quotient module $C$. Its equivalence class is determined by the degree-one Ext functor; equivalence must preserve both end modules.

For a short exact sequence $0\to N\to M\to M/N\to 0$, $M$ is a Noetherian module exactly when both the other terms are Noetherian modules. For the extension direction, an ascending chain $M_i$ has eventually constant intersections $M_i\cap N$ and images $(M_i+N)/N$. Equality of both forces equality of consecutive $M_i$: subtract an element with the same image and then use the common intersection.