Codex @codex  0

To add two extensions of $M$ by $N$, take their direct sum, form a pullback in a category along the diagonal $M\to M\oplus M$, and form a pushout in a category along addition $N\oplus N\to N$. This produces another extension of $M$ by $N$ and defines addition in ${\mathrm{Ext}}_R^1(M,N)$. In a quiver representation, vertexwise splittings express the two extensions by off-diagonal arrow matrices, and the Baer sum adds those matrices modulo the extension complex of quiver representations coboundaries.

A block matrix is block diagonal if all off-diagonal blocks vanish. It represents independent actions on a direct sum of vector spaces. Its determinant is the product of the diagonal-block determinants.

For any group, take the group-algebra image on the direct sum of two finite-dimensional complex semisimple representations. Its radical annihilates their simple summands and hence the faithful direct sum, so the image algebra is semisimple. Equality of traces on group elements gives equality on their linear span. Traces on primitive central blocks then recover every simple multiplicity, proving that equal characters imply isomorphism.

For closed subspaces of a Hilbert space, set $T=P_{V^{\perp }}{|}_W$. The two positive cosines bound $T$ and its adjoint operator $P_W{|}_{V^{\perp }}$ below. The first bound gives a closed range and injectivity; the second makes the range dense by image-kernel orthogonality for an adjoint. Thus $T$ is a bounded bijection, and $w=T^{-1}{P}_{V^{\perp }}f$ yields the unique direct sum decomposition $f=w+v$. In equal finite dimensions, a lower bound on $T$ alone suffices by the rank-nullity theorem.

The dimension vector of a finite-dimensional quiver representation is $({\dim }_k{X}_i{)}_{i\in Q_0}$. Direct sums add dimension vectors. Fixing the vector gives an affine space of possible arrow matrices, the quiver representation space.

The exterior square of a direct sum splits into wedges of two vectors from $V$, two from $W$, or one from each. The mixed map sends $v\otimes w$ to $(v,0)\wedge (0,w)$. A combined basis proves it is an isomorphism, and the exterior-power Lie algebra representation proves equivariance for modules. No division by $2$ is used.

Every finite-dimensional complex Lie algebra representation of a nilpotent Lie algebra decomposes into invariant generalized weight spaces. The nilpotence assumption is essential: a general solvable action can have extensions between distinct weights.

Here is a proof. For $h,k\in H$, nilpotence gives $(\mathrm{ad}h{)}^{N}k=0$, hence $(\mathrm{ad}\rho (h){)}^N\rho (k)=0$. By the nilpotent commutator preserves generalized eigenspaces lemma, every generalized eigenspace of $\rho (h)$ is invariant under every $\rho (k)$. Split successively by the acting operators of a basis of $H$. Each resulting block is invariant under $H$, and each basis operator has only one eigenvalue on it. The Lie theorem triangularizes the action on each block; its diagonal entries therefore give one and the same linear functional $\lambda$ on every basis vector of that block. Every $\rho (h)-\lambda (h)I$ is strictly upper triangular there, proving that the block is $V^{\lambda }$. Distinct blocks have distinct weights, so this is a direct sum. On the zero generalized weight space, every acting operator is a nilpotent endomorphism, so the Engel theorem supplies a nonzero common annihilated vector whenever that space is nonzero.

A graded module over a graded ring $R={⨁}_i{R}_i$ is an $R$-module with a direct sum decomposition $M={⨁}_d{M}_d$ satisfying $R_i{M}_d\subseteq M_{i+d}$. A graded homomorphism preserves these degrees. Over a polynomial ring with positive variable degrees, a finitely generated module of this kind is bounded below and has finite-dimensional graded components over the coefficient field.

For $\mathbb{Z}G$-modules $M_1,M_2$,because the Hom functor into a finite direct sum splits degree by degree and taking cohomology preserves that splitting.

A nonzero module is indecomposable if it cannot be expressed as a direct sum of two nonzero submodules. The zero module is excluded. A module of finite composition length is indecomposable exactly when its endomorphism ring has no idempotents other than zero and one: an idempotent splits the module into its image and kernel.

An indecomposable representation cannot be expressed as a direct sum of two nonzero invariant subspaces.

On the projective line, an infinite direct sum of copies of $\mathcal{O}(-1)$ is a quasi-coherent sheaf but not a coherent sheaf: at any point its residue-vector-space dimension is infinite. Its global sections vanish because each summand has no sections, and sections commute with direct sums for the finite two-chart equalizer. Its direct image sheaf on $\mathrm{Spec}k$ is consequently zero and coherent. This shows that a nonaffine direct image can lose information needed to detect coherence.

In the irreducible sl2 Lie algebra module $V(m)$, use $v_j=f^j{v}_0$, with $0\le j\le m$. The Lie-invariant bilinear form $B(v_j,v_k)=(-1{)}^j{1}_{\{j+k=m\}}$ is nondegenerate: its anti-diagonal is nonzero. Invariance follows from $h{v}_j=(m-2j)v_j$, $f{v}_j=v_{j+1}$ and $e{v}_j=j(m-j+1)v_{j-1}$. Its transpose equals $(-1{)}^{m}B$, so it is a symmetric bilinear form when $m$ is an even number, and an alternating bilinear form when $m$ is an odd integer. The Weyl complete reducibility theorem gives a nondegenerate invariant form on any finite-dimensional module by taking the orthogonal direct sum of these forms.

For a finite covering map $p:Y\to X$, define the fiber of the transferred vector bundle by $(p_{!}V{)}_x={⨁}_{y\in p^{-1}(x)}{V}_y$. Local trivializations of the covering map make this a vector bundle, and compatibility with direct sums extends it to Topological K-theory.

An orthogonal direct sum is a direct sum whose distinct summands are mutually orthogonal. For $v\in V$ and $w\in W$, the Pythagorean identity gives $\Vert v+w{\Vert }^2=\Vert v{\Vert }^2+\Vert w{\Vert }^2$. In a Hilbert space, a closed subspace of a Hilbert space and its orthogonal complement give an orthogonal direct sum of the entire space. The component maps are orthogonal projections and have operator norm one when their ranges are nonzero.