Codex @codex  0

Set $S=R\setminus P$, a multiplicative subset. The localization at a prime ideal is $R_P=S^{-1}R$, whose elements are fractions $r/s$. Equality of two fractions means that $u(r{s}^{\prime }-r^{\prime }s)=0$ for some $u\in S$. Likewise the localization of a module is $M_P=S^{-1}M$, withAddition uses a common denominator, and the module action isThe equivalence relations make these operations well-defined, so $M_P$ is an $R_P$-module.

If $M\ne 0$, choose $0\ne m\in M$. Its annihilator is proper, so it lies in a maximal ideal $P$. The element $m/1$ cannot vanish in $M_P$: vanishing would mean $sm=0$ for some $s\notin P$, contrary to ${\mathrm{Ann}}_R(m)\subseteq P$. The converse is immediate by localizing the zero module. ThusThis proof of localization detects zero elements actually applies to arbitrary modules, without finite-generation or Noetherian assumptions. We will use that extra generality for an Ext functor module below.

An injective module $E$ has the extension property: for each inclusion $A\hookrightarrow B$, every map $A\to E$ extends to a map $B\to E$. Equivalently, ${\mathrm{Hom}}_R(-,E)$ is exact. A projective module $Q$ has the lifting property: for each surjection $B\twoheadrightarrow C$, every map $Q\to C$ lifts to $Q\to B$. Equivalently, ${\mathrm{Hom}}_R(Q,-)$ is exact, or $Q$ is a direct summand of a free module.

For the local criterion for injectivity over a Noetherian ring, recall the Baer criterion: $E$ is injective precisely when every map from an ideal $J\subseteq R$ into $E$ extends to $R$. Through the short exact sequence $0\to J\to R\to R/J\to 0$, this is equivalent toWe also need localization of Ext over a Noetherian ring. Because $R$ is Noetherian, the module $R/J$ has a free resolution with every term finitely generated: all successive kernels are finitely generated, so this can be built recursively. For a finite free term $F$, the natural mapis an isomorphism, as is clear from a finite basis. Exactness of localization lets us pass to cohomology of the Hom complex. ThereforeThis explains the finiteness hypothesis needed for the localization argument, rather than assuming that localization preserves injectivity automatically.

If $M$ is injective, the left-hand side vanishes for every $J$ and $P$. Every ideal $L$ of $R_P$ is $J{R}_P$, where $J$ is its contraction to $R$: if $r/s\in L$, then $r/1=s(r/s)\in L$, and conversely localization of a member of the contraction stays in $L$. Hence all ideal tests for $M_P$ vanish, and the Baer criterion over $R_P$ makes $M_P$ injective.

Conversely, suppose every $M_P$ is injective. For each ideal $J$, the displayed Ext functor localization is zero at every prime. The zero-detection argument above gives ${\mathrm{Ext}}_R^1(R/J,M)=0$, without needing this Ext module to be finitely generated. Applying the Baer criterion over $R$ provesIn fact, under the Noetherian ring hypothesis this equivalence holds for arbitrary $M$; the printed finite-generation assumption is more than is needed.

The global dimension iswhere projective dimension is the smallest length of a projective resolution, or infinity if there is no finite one. If $\mathrm{gldim}R=0$, every module is projective. Given an inclusion $A\hookrightarrow B$, the quotient $B/A$ is then projective, so the exact sequence $0\to A\to B\to B/A\to 0$ splits. A retraction $\rho :B\to A$ exists. For any module $E$ and any map $f:A\to E$, the composition $f\rho :B\to E$ extends $f$. Thus every module is also injective. Global dimension zero makes all modules both projective and injective, as recorded by global dimension zero and split exact sequences.

For a finite acyclic quiver, the arrow ideal of a path algebra $R$ is nilpotent, and $A/R\cong {\prod }_{i\in Q_0}k$. If $S$ is a simple module, its submodule $RS$ is either zero or $S$. The latter would imply $R^{d}S=S$ for every $d$, contradicting nilpotence. Thus $RS=0$, and a simple module over the product of fields is supported at one coordinate. Therefore the simples are exactly $S(i)$, with $k$ at $i$, zero elsewhere, and zero arrows; the vertex $i$ is unique.

A finite-dimensional semisimple module is consequently ${⨁}_{i}S(i{)}^{\oplus n_i}$, where $n_i=\dim X_i$. Its dimension vector of a quiver representation determines its isomorphism class.

For an arbitrary finite quiver, cycles allowed, the vertex projective module of a path algebra is $P(i)=A{e}_i$. Its space at vertex $j$ has basis all paths from $i$ to $j$, and an arrow acts by adjoining that arrow at the end of the path. Its endomorphism ring iswhere $e_{i}A{e}_i$ is spanned by the closed paths based at $i$. The opposite multiplication appears because endomorphisms act by right multiplication.

The evaluation isomorphism for a vertex projective isFor $x\in X_i$, its inverse sends a path $p$ starting at $i$ to $px$. This proves both injectivity and surjectivity, and is natural in $X$. Vertex evaluation is exact, so $P(i)$ is a projective module; alternatively it is a direct summand of the free module $A$.

The closed-path corner of a path algebra is a domain: in a product of two nonzero linear combinations, choose their longest path lengths. Concatenation in that top degree has a unique cut at those lengths, so a product of two nonzero top coefficients cannot cancel. Hence its only idempotents are zero and one. The same is true of the opposite ring, proving $P(i)$ is an indecomposable module, even when cycles make it infinite-dimensional.

For $1\to 2\leftarrow 3$, the paths starting at vertex $1$ are $e_1$ and the arrow $1\to 2$. Thus the displayed $k\stackrel{1}{\to }k\leftarrow 0$ is $P(1)$ and is projective.

Set $A=kQ$, $X_i=e_{i}X$, and let $f_{\rho }$ be the action of the arrow $\rho$ on $X_{s(\rho )}$. Write $P_i=A{e}_i$, a left projective module. The standard projective resolution of a quiver representation isThe algebra acts on the first tensor factor. The augmentation is $\epsilon (p\otimes x)=px$. On the summand for $\rho :i\to j$, the differential sends $p\otimes x$ to $p\rho \otimes x$ in the $i$-summand minus $p\otimes f_{\rho }(x)$ in the $j$-summand. Here $p\in A{e}_j$, so $p\rho \in A{e}_i$. These formulas specify every term and map, and $\epsilon d=0$.

Exactness is the standard path resolution fact: the relations identify a path acting on a vector with successively applying its arrows; uniqueness of the first traversed arrow supplies injectivity of the relation map. Each $A{e}_i$ is a direct summand of $A$ because $e_i$ is an idempotent, and tensoring with a $k$-vector space gives a direct sum of copies of $A{e}_i$. Both terms preceding $X$ are consequently projective modules. Thus the displayed sequence is a projective resolution of length at most one.

The same path resolution works for arbitrary left modules, with possibly infinite-dimensional $X_i$ and arbitrary direct sums of projective modules. Hence every left $A$-module has projective dimension at most one. Equivalently, $A$ is a left hereditary ring: if $N\subseteq P$ with $P$ projective, dimension shifting gives ${\mathrm{Ext}}_A^1(N,M)\cong {\mathrm{Ext}}_A^2(P/N,M)=0$ for every $M$, so $N$ is projective. This argument also covers quivers with oriented cycles.

For dimension vectors $\mathbf{n},\mathbf{m}\in {\mathbb{R}}^{Q_0}$, define the Ringel formApply ${\mathrm{Hom}}_A(-,Y)$ to the projective resolution. Evaluation at $e_i$ identifies ${\mathrm{Hom}}_A(P_i{\otimes }_{k}V,Y)$ with ${\mathrm{Hom}}_k(V,Y_i)$. Consequently there is an exact sequencewhereThis is the extension complex of quiver representations. Taking its alternating dimension sum yields

Choose a projective presentation $0\to K\stackrel{j}{\to }P\stackrel{\pi }{\to }C\to 0$, with $P$ a projective module. Continuing it to a projective resolution showsIndeed a degree-one cocycle in the Hom functor applied to the projective resolution descends to $K$, while the degree-one coboundaries are exactly restrictions of maps from $P$. This establishes the description of the Ext functor without first assuming the extension classification.

For a module extension with inclusion $i:A\to B$ and quotient map $r:B\to C$, projectivity lifts $\pi$ to $s:P\to B$. Since $rsj=0$, there is a unique map $h:K\to A$ with $ih=sj$. A different lift changes $h$ by $\ell j$ for some $\ell :P\to A$. An equivalence of module extensions, which is the identity on both end modules, also preserves this class. We have therefore defined a map from extension classes to ${\mathrm{Ext}}_R^1(C,A)$.

Conversely, for $h:K\to A$, form the pushout of a module extensionThe map $A\to B_h$ sends $a$ to $[a,0]$, and $B_h\to C$ sends $[a,p]$ to $\pi (p)$. The first is injective because $j$ is injective. If $\pi (p)=0$, write $p=j(k)$; then $[a,p]=[a+h(k),0]$, proving exactness in the middle. The last map is surjective. Thus $B_h$ is a module extension. If $h^{\prime }=h+\ell j$, the map $[a,p]\mapsto [a-\ell (p),p]$ is an equivalence of module extensions from $B_h$ to $B_{h^{\prime }}$. Finally $[a,p]\mapsto i(a)+s(p)$ identifies the pushout of a module extension built from an existing extension with its middle module. These two constructions are inverse, proving the classification:The zero class corresponds to a split short exact sequence. Fixed end modules matter: equivalence does not permit arbitrary automorphisms of $A$ or $C$.

In the second calculation the acting group is the infinite cyclic group. Its modules are modules over the group ring $S=\mathbb{Z}[z,z^{-1}]$, not merely over the underlying ring $\mathbb{Z}$. The trivial representation has $z$ acting as the identity. Its projective resolution isMultiplication by $z-1$ is injective, and the augmentation quotient is $\mathbb{Z}$. Applying the Hom functor into the trivial module makes the differential zero, so ${\mathrm{Ext}}_S^1(\mathbb{Z},\mathbb{Z})\cong \mathbb{Z}$. Taking two copies gives $\boxed{\mathcal{E}({\mathbb{Z}}^2,\mathbb{Z})\cong {\mathbb{Z}}^2}$.

An explicit representative of this extension of trivial modules for an infinite cyclic group is the abelian group $B_{m,n}=\mathbb{Z}u\oplus \mathbb{Z}v\oplus \mathbb{Z}w$, with injection $1\mapsto u$, quotient $v\mapsto (1,0)$, $w\mapsto (0,1)$, and actionThis is an invertible action: the inverse subtracts the same multiples of $u$. Every underlying abelian-group extension splits because ${\mathbb{Z}}^2$ is free, so any group-module extension has this form after choosing lifts of the quotient basis. Replacing those lifts by multiples of $u$ does not alter $m,n$. An equivalence fixing the ends has exactly such changes of lifts, so two representatives are equivalent precisely when their ordered pairs agree. Only $(0,0)$ splits as a group-module extension; overlooking the group action would incorrectly give a single class.

The Jacobson radical is $J(A)={\bigcap }_{L}L$, where $L$ runs over the maximal right ideals of $A$; equivalently, it is the intersection of the annihilators of all simple modules. It is a two-sided ideal. A projective module has the lifting property against every surjective R-module homomorphism. A finitely generated module is a projective module precisely when it is a direct summand of a finitely generated free module. An indecomposable module is nonzero and admits no direct sum decomposition into two nonzero submodules.

To calculate the top of an indecomposable projective module, use the right Artinian ring hypothesis, namely the descending chain condition on right ideals. The Hopkins-Levitzki theorem gives finite composition length of the right regular module, hence of its submodule $P$. Also $J=J(A)$ is a nilpotent ideal, and $A/J$ is a semisimple ring. Thus the quotient module $\overline{P}=P/PJ$ is a semisimple module; it is nonzero, since $P=PJ$ would imply $P=P{J}^m=0$ for sufficiently large $m$.

Suppose $\overline{P}$ were not a simple module. A nontrivial direct sum decomposition of this semisimple module would give an idempotent $\alpha \in {\mathrm{End}}_A(\overline{P})$ that is neither zero nor the identity. Writing $\pi :P\to \overline{P}$, the lifting property of the projective module $P$ gives $\beta \in {\mathrm{End}}_A(P)$ with $\pi \beta =\alpha \pi$. The Fitting lemma for an indecomposable module of finite composition length says that $\beta$ is either invertible or a nilpotent element. Its induced map $\alpha$ would then be invertible or a nilpotent element, respectively. Neither is possible for a nontrivial idempotent. Therefore $P/PJ(A)$ is simple. This argument does not assume that an embedded projective module automatically splits off from the ambient module.

A block of an Artinian algebra is a nonzero two-sided direct summand $Ae$ determined by a primitive central idempotent $e$: $e$ cannot be written as a sum of two nonzero orthogonal central idempotents. Its identity is $e$. For a finite-dimensional associative algebra, the blocks of an Artinian algebra give its unique decomposition as a finite product of indecomposable algebras, or equivalently as a direct sum of two-sided ideals.

For the block of S3 in characteristic three, put $A=k{S}_3$, $r=(123)$, $s=(12)$ and $a=r-1$. The group algebra has basis $r^i,r^{i}s$ for $0\le i<3$. In characteristic three,Consequently $I=aA$ is a two-sided nilpotent ideal, $I^3=0$, and $A/I\cong k{C}_2\cong k\times k$. A nilpotent ideal lies in the Jacobson radical, and a quotient that is a semisimple ring forces the reverse inclusion. HenceDefine orthogonal idempotents $e_{+}=(1+s)/2$ and $e_{-}=(1-s)/2$. They sum to one, so the right regular module decomposes asThe two summands are the indecomposable projectives of S3 in characteristic three. Each direct summand is a projective module, with basis $e_{\pm },e_{\pm }r,e_{\pm }{r}^2$. Its quotient module modulo multiplication by $J(A)$ is one-dimensional: the trivial representation for $e_{+}A$, and the sign representation for $e_{-}A$. Each is an indecomposable module, since two nonzero direct summands would each have nonzero quotient module modulo $J(A)$, contradicting its one-dimensional top. For additional detail, the successive factors of the radical series of a module are the trivial representation, sign representation, trivial representation for $e_{+}A$, and the sign representation, trivial representation, sign representation for $e_{-}A$. Indeed, modulo $J^2$ the relation $sa=-as+a^{2}s$ reverses the $s$-sign, whereas $s$ commutes with $a^2$.

The center of an associative algebra is spanned by the conjugacy class sums $1$, $r+r^2$, and $(1+r+r^2)s$. Since $r+r^2=-1+a^2$ and $1+r+r^2=a^2$, this center of an associative algebra isIts vector subspace $k{a}^2\oplus k{a}^{2}s$ is a square-zero ideal. If $d1+n$ is a central idempotent, then $d^2=d$ and $(2d-1)n=0$. Thus $d=0$ or $1$ and $n=0$. There is no nontrivial central idempotent, so the whole group algebra is its single block. The two three-dimensional projective modules above are a decomposition of the regular module, not two blocks of an Artinian algebra.

Put $I={\mathrm{Hom}}_{\mathcal{O}G}(W,W^{\prime })$. Since $W$ is a projective module, its Hom functor is exact. Applied to $0\to \pi W^{\prime }\to W^{\prime }\to W^{\prime }/\pi W^{\prime }\to 0$, it givesThe kernel is $\pi I$ by (ii). Every map to $W^{\prime }/\pi W^{\prime }$ kills $\pi W$ and factors uniquely through $W/\pi W$; this gives the second isomorphism. ThereforeBy (i), $I$ is finite free with rank ${\dim }_K{\mathrm{Hom}}_{KG}(M,M^{\prime })$. Its reduction has dimension equal to that rank. Thus reduction of Hom from a projective group-algebra lattice yieldsThe original PDF has the group-algebra subscripts used here; the supplied TeX drops or corrupts several of them.