Past exam of the mathematics course of the University of Cambridge / 2010 / iii

The defining rule for a derivation of a Lie algebra is linear in the operator, so $\mathrm{Der}(\mathfrak{g})$ is a vector subspace of the general linear Lie algebra $\mathfrak{gl}(\mathfrak{g})$. Its Lie bracket is the operator commutator. If $D,E$ are derivations of a Lie algebra, expand both compositions:Subtracting cancels the mixed terms and givesThus $[D,E]$ is again a derivation of a Lie algebra, proving that the derivation Lie algebra is a Lie subalgebra of $\mathfrak{gl}(\mathfrak{g})$. This calculation works in every characteristic of a field.

The Jacobi identity states $[x,[y,z]]=[[x,y],z]+[y,[x,z]]$. It first shows that ${\mathrm{ad}}_x$ is a derivation of a Lie algebra, and then givesThe map $x\mapsto {\mathrm{ad}}_x$ is linear, so this identity proves it is a Lie algebra homomorphism.

Finally, for any derivation of a Lie algebra $D$,ConsequentlyThis proves that the inner derivations of a Lie algebra form an ideal of a Lie algebra in $\mathrm{Der}(\mathfrak{g})$.

Equip $E$ with the inner product defining the root system, so the Weyl group acts by orthogonal transformations. As usual, the root system spans its ambient space $E$. Let $U\subseteq E$ be an invariant subspace for the reflection representation of a Weyl group. Its orthogonal complement is also invariant.

For a root $\alpha$, the Weyl reflection satisfiesIf $(u,\alpha )=0$ for every $u\in U$, then $\alpha \in U^{\perp }$. Otherwise choose $u\in U$ with $(u,\alpha )\ne 0$. Both $u$ and $s_{\alpha }(u)$ belong to $U$, and their difference is a nonzero multiple of $\alpha$, so $\alpha \in U$. HenceThe two sets are mutually orthogonal and individually closed under their root reflections. If both were nonempty, this would decompose $R$ into two orthogonal root systems, contradicting that it is an irreducible root system. All roots therefore lie in one of the two subspaces. Because they span $E$, either $U=E$ or $U^{\perp }=E$, the latter giving $U=0$. Thus the reflection representation is an irreducible representation.

Use the traceless diagonal Cartan subalgebra of the special linear Lie algebra ${\mathfrak{sl}}_n(\mathbb{C})$. Write ${\epsilon }_i(\mathrm{diag}(h_1,\dots ,h_n))=h_i$, so ${\sum }_i{\epsilon }_i=0$. The standard coordinate vectors $e_i$ are weight vectors of weights ${\epsilon }_i$, and the tensor product of Lie algebra representations has basisThe weight of this basis vector is ${\epsilon }_i+{\epsilon }_j+{\epsilon }_k$. There are two possibilities:The first has basis $e_a\otimes (e_a\wedge e_b)$, with the wedge ordered if necessary. In the second, the tensor's first factor can be any one of the three indicated coordinate vectors. No two different listed coefficient patterns restrict to the same functional on the traceless diagonal Cartan subalgebra: their difference would have to be a multiple of $(1,\dots ,1)$, but its coefficient sum is zero. All unlisted weight spaces are zero. As a check,For $n=3$, the distinct-index weight is zero and has multiplicity three.

To determine the irreducible summands, take the upper triangular raising operators. The vector $v_1=e_1\otimes (e_1\wedge e_2)$ is killed by every such operator and has highest weight $2{\epsilon }_1+{\epsilon }_2={\omega }_1+{\omega }_2$. The exterior product mapis a Lie algebra representation homomorphism. It has an equivariant right inverseIndeed $A\iota =I$. The vector $\iota (e_1\wedge e_2\wedge e_3)$ is a highest-weight vector of weight ${\epsilon }_1+{\epsilon }_2+{\epsilon }_3$.

The Weyl complete reducibility theorem and highest-weight representation theory show that $v_1$ generates an irreducible summand in $\ker A$. To check that it exhausts this kernel, use the Weyl dimension formula with the partition $(2,1,0,\dots ,0)$:This equals $\dim \ker A=n\left(\genfrac{}{}{0ex}{}{n}{2}\right)-\left(\genfrac{}{}{0ex}{}{n}{3}\right)$. The exterior-power Lie algebra representation ${\Lambda }^{3}V$ is irreducible, with highest weight ${\omega }_3$ for $n\ge 4$, and is the one-dimensional trivial representation for $n=3$. Therefore the tensor product of the standard representation with its exterior square givesEach summand occurs once; their dimensions are $n(n^2-1)/3$ and $\left(\genfrac{}{}{0ex}{}{n}{3}\right)$.

Write an element of the symplectic Lie algebra in $n\times n$ blocks. Direct multiplication in $AJ+J{A}^T=0$ givesThe diagonal Cartan subalgebra consists of $H=\mathrm{diag}(h_1,\dots ,h_n,-h_1,\dots ,-h_n)$. Define ${\epsilon }_i(H)=h_i$. Under the Adjoint representation, the off-diagonal matrix units in $P$ have weights ${\epsilon }_i-{\epsilon }_j$; the symmetric entries in $Q$ have weights ${\epsilon }_i+{\epsilon }_j$, including $2{\epsilon }_i$ on the diagonal; those in $R$ have the negatives of these weights. All nonzero root spaces are one-dimensional, while the zero weight space is the diagonal Cartan subalgebra. Thus the Cn root system isChoose the positive roots and simple roots asTheir highest root and Weyl vector areFor the last identity, each pair $i<j$ contributes $2{\epsilon }_i$ before division by two, and the long positive root contributes another ${\epsilon }_i$ afterward. Successive simple roots have equal length except for ${\alpha }_n$, whose squared length is twice that of ${\alpha }_{n-1}$. The Cn Dynkin diagram is a chain with a double last bond, whose arrow points toward ${\alpha }_{n-1}$, the short root:

The displayed schematic is for $n\ge 4$; omit intermediate nodes for $n=2,3$. For $n=1$ the diagram has just the single node ${\alpha }_1=2{\epsilon }_1$.

Let $V={\mathbb{C}}^4$ with its nondegenerate alternating bilinear form. Its inverse-form bivector $\Omega \in {\Lambda }^{2}V$ is invariant under the symplectic Lie algebra, and $\Omega \wedge \Omega \ne 0$. Choose $\mathrm{vol}=\Omega \wedge \Omega /2$. The exterior product defines a symmetric bilinear form on ${\Lambda }^{2}V$ byIt is symmetric because two-forms commute under the wedge product. It is nondegenerate because each basis wedge $e_i\wedge e_j$ pairs with its complementary basis wedge. Since $B(\Omega ,\Omega )=2$, the five-dimensional orthogonal complementalso has a nondegenerate symmetric bilinear form. This is the primitive exterior square, equivalently the kernel of symplectic contraction of an exterior square.

Every element of ${\mathfrak{sp}}_4$ fixes $\Omega$ and preserves volume, since its trace is zero. The induced exterior-power Lie algebra representation consequently preserves $W$ and satisfies $B(A\xi ,\eta )+B(\xi ,A\eta )=0$. Thus it gives a Lie algebra homomorphismWe check injectivity explicitly. If $A$ acts as zero on $W$, it also kills $\Omega$, and therefore acts as zero on all of ${\Lambda }^{2}V=W\oplus \mathbb{C}\Omega$. For three distinct indices $i,j,k$, the coefficient of $e_k\wedge e_j$ in $A(e_i\wedge e_j)$ is $A_{ki}$, so all off-diagonal entries of $A$ vanish. Its action on $e_i\wedge e_j$ is then $(A_{ii}+A_{jj})e_i\wedge e_j$. All these sums vanish, which in characteristic zero forces every diagonal entry to vanish. Hence $A=0$.

Finally,The injective Lie algebra homomorphism is therefore surjective. Over $\mathbb{C}$, every nondegenerate symmetric bilinear form admits a basis in which its matrix is the identity, so this constructs the exceptional isomorphism between sp4 and so5:

Identify the diagonal Cartan subalgebra with ${\mathbb{C}}^n$ through its coordinates $(h_1,\dots ,h_n)$, and identify real roots with coordinate vectors using the invariant Euclidean inner product. A Weyl reflection is $s_{\alpha }(h)=h-2(h,\alpha )\alpha /(\alpha ,\alpha )$. It does not change when $\alpha$ is replaced by $-\alpha$. For the Cn root system, its explicit actions areEvery coordinate not displayed stays fixed. Thus each generating Weyl reflection is a signed permutation, so the Weyl group is contained in the signed symmetric group. Conversely, the first row supplies each independent sign change and the second supplies every coordinate transposition; these generate the entire signed symmetric group. This proves the Cn Weyl group identification, including its size:

Suppose that $H$ is not a discrete subgroup. The identity is then an accumulation point of nonidentity subgroup elements: translate any failure of isolation to the identity. Choose $h_j\in H\setminus \{e\}$ with $h_j\to e$, and use a local exponential chart to write $h_j=\exp X_j$, where $X_j\ne 0$ and $X_j\to 0$ in the real Lie algebra $\mathfrak{g}$.

Choose a norm on this finite-dimensional vector space. By compactness of its unit sphere, pass to a subsequence with $X_j/\Vert X_j\Vert \to X$, where $\Vert X\Vert =1$. For an arbitrary real $t$, choose an integer $m_j$ nearest to $t/\Vert X_j\Vert$. Then $m_j\Vert X_j\Vert \to t$ andEvery left-hand element belongs to $H$, including for negative $m_j$. Closedness gives $\exp (tX)\in H$. Since $t$ was arbitrary and $X\ne 0$, the limit directions of a closed subgroup provide a nontrivial one-parameter subgroup in $H$. Its derivative at zero is $X$, so it cannot be the constant subgroup.

DefineIt contains zero, and $X\in \mathfrak{h}$ implies $aX\in \mathfrak{h}$ for every real scalar $a$, by replacing $t$ with $at$.

For $X,Y\in \mathfrak{h}$, we prove closure under addition using the Lie product formula in a Lie group. In the local exponential chart, let $Z(s)=\log (\exp (sX)\exp (sY))$. Smooth multiplication has differential $(U,V)\mapsto U+V$ at the identity, so Taylor's theorem givesFor each fixed real $t$ and all sufficiently large positive integers $m$,Every term belongs to $H$, and $H$ is closed, proving $X+Y\in \mathfrak{h}$. Thus $\mathfrak{h}$ is a real vector subspace. It is also closed: if $X_j\to X$ with $X_j\in \mathfrak{h}$, continuity of the Exponential map of a Lie group gives $\exp (tX)\in H$ for each $t$.

For the Lie bracket, use the Adjoint representation of a Lie group. Conjugating a one-parameter subgroup givesConsequently ${\mathrm{Ad}}_{\exp (sX)}Y\in \mathfrak{h}$. For $s\ne 0$, linearity puts $({\mathrm{Ad}}_{\exp (sX)}Y-Y)/s$ in $\mathfrak{h}$. Its limit as $s\to 0$ is ${\mathrm{ad}}_{X}Y=[X,Y]$. Closedness of $\mathfrak{h}$ therefore gives $[X,Y]\in \mathfrak{h}$, proving that the Lie algebra of a closed subgroup is a Lie subalgebra of $\mathfrak{g}$.

Choose a real vector subspace $\mathfrak{m}$ complementary to $\mathfrak{h}$, so $\mathfrak{g}=\mathfrak{m}\oplus \mathfrak{h}$. The smooth maphas differential $(U,V)\mapsto U+V$ at $(0,0)$, an isomorphism. The inverse function theorem makes $F$ a diffeomorphism from a sufficiently small product neighborhood onto an open neighborhood of the identity in $G$.

There is a neighborhood of zero in $\mathfrak{m}$ in which $\exp U\in H$ implies $U=0$. Otherwise choose nonzero $U_j\in \mathfrak{m}$ tending to zero with $\exp U_j\in H$. A normalized subsequence tends to a unit vector $U\in \mathfrak{m}$. The limit directions of a closed subgroup from part (a) give $U\in \mathfrak{h}$, contradicting $\mathfrak{m}\cap \mathfrak{h}=0$. Shrink the product neighborhood so that this exclusion holds throughout its first factor.

If $F(U,V)\in H$, then $\exp V\in H$ by the definition of $\mathfrak{h}$, and hence $\exp U=F(U,V)\exp (-V)\in H$. The exclusion forces $U=0$. Conversely, every $F(0,V)=\exp V$ belongs to $H$. Thus the local product coordinates for a closed subgroup identify $H$ near the identity exactly with the smooth coordinate slice $U=0$.

Left translation by each element of $H$ gives the same description around that element, so $H$ is an embedded submanifold of $G$ in its subspace topology. The multiplication and inversion maps of $G$ restrict to smooth maps on this embedded submanifold, making $H$ a Lie group and an embedded Lie subgroup. Its tangent space at the identity is $\mathfrak{h}$, because $d{\exp }_0$ is the identity on this coordinate slice. It remains closed by hypothesis. This proves the closed-subgroup theorem, with no prior smoothness assumption on $H$.

Write $A=kG$ and $J=J(A)$, its Jacobson radical. First suppose the characteristic is $p>0$. We prove the counting statement through the cocenter of a finite-dimensional algebrawhere $[A,A]$ is the linear span of commutators, not an ideal. In a group algebra, this span is exactly the span of differences of conjugate group elements: $gh-hg$ is such a difference, and $xg{x}^{-1}-g=[x,g{x}^{-1}]$. Consequently $C(A)$ has one basis vector for each conjugacy class.

There is a well-defined Frobenius map on an algebra cocenterHere $F$ is additive and $F(c[a])=c^{p}F([a])$. To prove additivity, expand $(a+b{)}^p$ into words of length $p$. Cyclic rotations of a word are equal modulo commutators. Every nonconstant word has a rotation orbit of length $p$, so its orbit contributes zero; only $a^p,b^p$ remain. Alsobecause the two products are cyclic rotations. Additivity then shows that the whole commutator subspace maps to zero, proving well-definedness on the quotient.

Let $s$ be the number of simple modules up to isomorphism. The semisimple algebra $A/J$ is ${\prod }_{\nu =1}^s{M}_{d_{\nu }}(k)$: over an algebraically closed field, a finite-dimensional division algebra is the field itself, since the minimal polynomial of any element splits into linear factors and a division algebra has no zero divisors. In a matrix algebra, the commutator subspace is precisely the traceless matrices. Off-diagonal matrix units are commutators, and $E_{ii}-E_{jj}=[E_{ij},E_{ji}]$; these span that subspace in every characteristic. ThusThe map induced by $F$ on each coordinate is $z\mapsto z^p$, since $\mathrm{tr}(B^p)=(\mathrm{tr}B{)}^p$. This is bijective because $k$ is a perfect field.

The natural surjection $C(A)\twoheadrightarrow C(A/J)$ has kernel $(J+[A,A])/[A,A]$. Every kernel class has a representative in $J$. Since $J$ is nilpotent, $F^N$ kills that kernel for sufficiently large $N$. On the quotient it remains bijective, so its image has dimension exactly $s$. On the conjugacy-class basis, however,For large $N$, every $g^{p^N}$ is a p-regular element; moreover the $p^N$-power map permutes the p-regular conjugacy classes, because an inverse exponent can be chosen modulo the prime-to-$p$ part of the exponent of $G$. The stable image therefore has precisely those conjugacy classes as its basis. Comparing dimensions provesThis argument uses dimensions of semilinear images: a bijective scalar Frobenius map preserves dimension, so the usual rank count applies.

In characteristic zero every group element is relevant. Averaging a linear projection onto a submodule over $G$ makes that projection $G$-equivariant, proving Maschke's theorem and semisimplicity of $kG$. The same matrix-algebra cocenter calculation now gives $s=\dim C(kG)$, the total number of conjugacy classes.

For the second request, $M$ is a relative projective module for $H$ when every $G$-equivariant epimorphism onto $M$ which splits after restriction to $H$ already splits over $G$. Equivalently $M$ is a direct summand of $kG{\otimes }_{kH}M$, the induced representation of the restriction of a representation to $H$. We can verify the defining splitting property directly: if $q:N\twoheadrightarrow M$ has an $H$-linear section $u$, choose representatives $T$ of the left cosets $G/H$ and setThe sum is independent of representatives by $H$-linearity. Reindexing $gt=t^{\prime }h$ proves $G$-linearity, while $qv(m)=[G:H{]}^{-1}{\sum }_{t}m=m$. Hence every $M$ is relatively $H$-projective when the index is invertible in $k$.

For completeness the canonical induced-module epimorphism $\epsilon (g\otimes m)=gm$ has the explicit $G$-linear sectionIt exhibits the promised direct summand and is the projectivity detected on a subgroup of invertible index construction.

An idempotent $e$ gives a projective module $Ae$, since $A=Ae\oplus A(1-e)$. It is primitive when it cannot be written as a sum of two nonzero orthogonal idempotents. This is equivalent to indecomposability of $Ae$: a projection onto a direct summand is an idempotent of ${\mathrm{End}}_A(Ae)\cong (eAe{)}^{\mathrm{op}}$, and conversely such an idempotent splits $Ae$. Starting with $1$, split any nonprimitive summand repeatedly. The process terminates because each splitting increases the number of nonzero vector-space summands in a finite-dimensional algebra. Thuswith orthogonal primitive idempotents and indecomposable projective modules. Each summand is generated by its idempotent.

Let $D={\mathrm{Hom}}_k(-,k)$. A Frobenius algebra is a finite-dimensional algebra with $A\cong D(A)$ as left modules over $A$, where $(a\varphi )(x)=\varphi (xa)$. Equivalently there is a linear functional $\lambda :A\to k$ for which $(x,y)\mapsto \lambda (xy)$ is nondegenerate. A symmetric algebra satisfies the stronger bimodule isomorphism $A\cong D(A)$, with $(a\varphi b)(x)=\varphi (bxa)$; equivalently the functional can be chosen with $\lambda (xy)=\lambda (yx)$. This is the associative-algebra meaning of symmetric, rather than the symmetric algebra of a vector space.

For a finite-dimensional module,The socle is its largest semisimple submodule, and the radical of a module gives its largest semisimple quotient. With $J=J(A)$ one has $\mathrm{Rad}M=JM$ and $\mathrm{Soc}M=\{m:Jm=0\}$: $A/J$ is semisimple, and $J$ annihilates every simple module.

Now let $P=Ae$ for a primitive idempotent, allowing the field $k$ to be nonsplit. Symmetry identifies $Ae$ with $D(eA)$ through the pairingIt is nondegenerate on these corners. If $v=ve\ne 0$, choose $a$ with $\lambda (av)\ne 0$; then $\lambda (eav)=\lambda (ave)=\lambda (av)\ne 0$. The other variable is treated similarly. The pairing respects the left $A$-action, soThe right-module quotient $eA/eAJ$ is simple. A primitive idempotent remains primitive modulo the nilpotent radical: idempotents lift through that radical, so a decomposition in the quotient would lift to one in $eAe$. In the semisimple algebra $A/J$, the left simple $Ae/JAe$ and the dual of the right simple $eA/eAJ$ belong to the same matrix block. There is exactly one left simple isomorphism class in that block, even over a nonalgebraically closed field. Hence the head-socle identity for a symmetric algebra isThis is an isomorphism of left modules, and need not be canonical.

For the modular examples put $r=(123)$, $s=(12)$, so $r^3=s^2=1$ and $srs=r^{-1}$. The coefficient-of-identity functional on the group algebra is symmetric and nondegenerate, so the identity just proved applies.

In characteristic two, the central idempotents are $b_0=1+r+r^2$ and $b_1=1-b_0$. The first block has basis $b_0,b_{0}s$ and is $k{C}_2\cong k[u]/(u^2)$. For the second, choose a primitive cube root $\omega$ and useThe two $r$-eigenlines are interchanged by $s$, proving irreducibility. Polynomial interpolation in $r$ gives diagonal matrix units, and multiplying by $s$ gives the off-diagonal units. Thus the four-dimensional block maps onto $M_2(k)$ and is isomorphic to it:There are two simple modules, the trivial one-dimensional module $T$ and the two-dimensional module $V$; the sign module equals $T$. Their projective covers are $P_T=k[u]/(u^2)$, with layers $T,T$, and $P_V=V$. The regular module is $P_T\oplus V^{\oplus 2}$, and the Cartan matrix of a group algebra is $\mathrm{diag}(2,1)$. Every module is a sum of $T,P_T,V$: the first block is classified by Jordan chains for a nilpotent linear map of lengths one and two, while the matrix block is semisimple. Thus there are exactly three indecomposable isomorphism classes. This describes the 2-modular blocks of S3.

In characteristic three put $u=r-1$. The ideal $I=uA$ satisfies $I^3=0$, and $A/I\cong k{C}_2\cong k\oplus k$, so $J(A)=I$. The only simples are the trivial and sign modules $S_{+},S_{-}$. Put $e_{\pm }=(1\pm s)/2$. The projectives $P_{\pm }=A{e}_{\pm }$ have dimension three. A convenient radical generator is $v=r-r^{-1}$:The basis $e_{\pm },v{e}_{\pm },v^2{e}_{\pm }$ gives the radical layersThus $A=P_{+}\oplus P_{-}$ and its Cartan matrix of a group algebra isThe elements $e_{-}v{e}_{+}$ and $e_{+}v{e}_{-}$ give one arrow in each direction between the two simples. All paths of length three vanish, and the six paths of lengths zero, one and two are linearly independent. Hence $A$ is the path algebra of that two-vertex oriented cycle modulo the ideal of paths of length three. Its connected quiver also proves there is a single block of S3 in characteristic three.

Any module is a $\mathbb{Z}/2$-graded vector space given by the $s$-eigenspaces, with $v$ interchanging the grades and $v^3=0$. Constructing Jordan chains with homogeneous bases in the kernel and image filtrations and homogeneous lifts decomposes it into graded chains. Each chain has length $1,2$ or $3$ and is determined by its top sign. It is a uniserial module and hence indecomposable. Consequently there are exactly six indecomposables, the length-$\ell$ quotients $P_{\pm }/J^{\ell }{P}_{\pm }$, $\ell =1,2,3$.

For a finite-dimensional algebra over an algebraically closed field, basic algebra means $A/J(A)\cong k^n$, so its simple modules are one-dimensional and occur once in the semisimple quotient of the regular module. A hereditary ring has every submodule of a projective module projective; equivalently its global dimension is at most one.

Choose representatives $S_1,\dots ,S_n$ of the simple modules. Our Ext quiver convention gives one vertex $i$ for $S_i$ andWith primitive orthogonal idempotents $e_i$, put $P_i=A{e}_i$ and $J=J(A)$. Applying ${\mathrm{Hom}}_A(-,S_j)$ to $0\to J{P}_i\to P_i\to S_i\to 0$ givesThe restriction map from $\mathrm{Hom}(P_i,S_j)$ is zero since every map to a simple kills $J{P}_i$, and $P_i$ is projective. Thus the arrow multiplicity is $\dim e_j(J/J^2)e_i$. This specifies the orientation rather than silently replacing the quiver by its opposite.

Because $A$ is hereditary, $J{P}_i$ is projective. Its semisimple top has $a_{ij}$ copies of $S_j$, where $a_{ij}$ is the arrow multiplicity. Its projective cover therefore supplies an epimorphismThis splits by projectivity of $J{P}_i$. Its kernel is a summand contained in the radical of the source; projection onto that summand and Nakayama lemma force the kernel to be zero. HenceEvery arrow $i\to j$ forces $\dim P_i>\dim P_j$, so $Q$ has no directed cycles.

Choose lifts in $e_{j}J{e}_i$ of bases of the arrow spaces. Send the vertices and arrows of the path algebra to these idempotents and lifts, multiplying paths in the order $\beta \alpha$ for consecutive arrows $\alpha :i\to j$, $\beta :j\to l$. This defines an algebra homomorphism $kQ\to A$. It is surjective: vertices span $A/J$, arrows span $J/J^2$, and products show that paths of length $r$ span $J^r/J^{r+1}$. Nilpotence of $J$ then gives all of $A$.

Let $N_i$ be the number of directed paths starting at $i$, including the length-zero path. Acyclicity gives the same recursion $N_i=1+{\sum }_j{a}_{ij}{N}_j$, with value one at a sink. Induction from sinks gives $N_i=\dim P_i$. ThereforeThe surjective homomorphism is an isomorphism. This proves the basic hereditary algebra path-algebra theorem:

For each connected component $C$ of the underlying unoriented graph, $e_C={\sum }_{i\in C}{e}_i$ is a central idempotent. Paths never connect distinct components, so $kQ={⨁}_C{e}_{C}kQ$ as a direct sum of two-sided ideals. To prove each is a block, let $z$ be any central idempotent. Modulo the arrow ideal it has coordinates $c_i\in \{0,1\}$. Commuting $z$ with an arrow $i\to j$ and reducing modulo the square of that ideal gives $c_i=c_j$. Thus these coordinates are constant on each component. If they are zero on a component, the restriction of $z$ there is a nilpotent idempotent, hence zero; if they are one, apply that argument to $1-z$. Consequently

The finite representation type of a quiver condition means there are only finitely many isomorphism classes of indecomposable finite-dimensional $kQ$-modules. Equivalently, every finite-dimensional module is a direct sum of members of a finite list of indecomposables.

For the $E_6$ case, we give the reflection argument underlying the Gabriel theorem, rather than using its conclusion as the proof. Since the underlying graph is a tree, every orientation is acyclic. At a sink $i$, writefor the sum of the incoming arrow maps. If an indecomposable $V$ is not the simple $S_i$, then $h$ is surjective: a nonzero complementary subspace to its image at the sink would be a direct summand supported only at $i$. The Bernstein–Gelfand–Ponomarev reflection functor reverses the arrows and replaces $V_i$ by $\ker h$, with reversed maps the component projections. The source reflection replaces that kernel by the cokernel of its inclusion into $⨁V_j$, recovering $V_i$. The inclusion is injective, so the reflected representation has no direct summand $S_i$ at the new source. If it decomposed, applying the inverse would decompose $V$. Thus reflection preserves indecomposability except that it annihilates $S_i$.

On a dimension vector of a quiver representation, it acts by the integral simple reflectionLet $B=2I-\mathrm{Adj}(E_6)$. These reflections preserve the positive-definite quadratic form $d^{\mathsf{T}}Bd$. Positivity can be checked without a classification theorem: label the graph by the chain $1-2-3-4-5$ and attach vertex $6$ to $3$. The leading principal minors are $2,3,4,5,6,3$, all positive.

Choose a topological ordering so arrows point from smaller to larger indices. Reflect successively at sinks $6,5,\dots ,1$. This restores the orientation after one full cycle. The transformation of dimension vectors is the Coxeter element $C=s_1{s}_2\cdots s_6$. If $U$ has diagonal entries one and entry $-1$ above the diagonal at an arrow, direct multiplication of the reflection matrices givesThus $C$ has no fixed vector. It is an integral isometry of a positive definite form, so it has finite order $h$: the image of each lattice basis vector lies in a finite set of vectors of the same norm, giving only finitely many possible isometries. Since $C^h=I$ and $I-C$ is invertible,If an indecomposable survived all $h$ reflection cycles, its dimension vectors $d,Cd,\dots ,C^{h-1}d$ would all be nonzero and componentwise nonnegative, contradicting their zero sum. Therefore it reaches a simple at one of the finitely many reflection steps and is then annihilated. Applying the inverse reflections uniquely reconstructs it from that simple. There are at most $6h$ such stopping positions, provingThis supplies the requested finite-type proof sketch.