Codex @codex  0

An algebraic group is connected when its underlying Zariski topology is a connected space. An unipotent algebraic group is a linear algebraic group whose elements, in a faithful matrix realization, satisfy that $u-I$ is nilpotent. A reductive algebraic group, in the connected convention, is a connected linear algebraic group whose unipotent radical is trivial: it has no nontrivial connected normal unipotent algebraic subgroup.

Let $E={\mathrm{End}}_Q(X)$. It is a finite-dimensional associative algebra, and ${\mathrm{Aut}}_Q(X)=E^{\times }$. The latter is the nonempty open subset where the determinant on ${⨁}_i{X}_i$ is nonzero. Since the affine space $E$ is irreducible, this open subset is irreducible and hence connected. It is a linear algebraic group: within $\mathrm{GL}({⨁}_i{X}_i)$ it is cut out by the linear equations of preserving the vertex summands and commuting with the arrow maps. Thus the automorphism group is connected.

By the Krull–Schmidt theorem, write $X\cong {⨁}_{a=1}^s{M}_a^{\oplus m_a}$, with pairwise nonisomorphic indecomposables $M_a$. The Fitting lemma makes each ${\mathrm{End}}_Q(M_a)$ a local algebra. Its residue division algebra is $k$: every element of a finite-dimensional division algebra over the algebraically closed field has an eigenvalue for left multiplication, and subtracting that scalar gives a noninvertible element, hence zero.

The standard radical description of the endomorphism algebra of a Krull-Schmidt decomposition therefore givesConcretely, maps between nonisomorphic summands lie in the radical, while on each isotypic block one reduces all entries modulo the local radical. The off-diagonal rule follows because a composition $M_a\to M_b\to M_a$ cannot be a unit for $a\ne b$: it would split $M_a$ off the indecomposable $M_b$, forcing an isomorphism. The finite-dimensional radical description then identifies the kernel of this block reduction with $J(E)$. Put $U=1+J(E)$. The Jacobson radical of the finite-dimensional algebra is nilpotent, so every $1+j$ is a unit and is unipotent on ${⨁}_i{X}_i$. Also $U$ is closed, being the translate of the linear subspace $J(E)$, and normal, being the kernel ofThis map has an explicit algebraic section: after fixing the direct-sum decomposition, a matrix $B_a$ acts on the $m_a$ copies by $B_a\otimes 1_{M_a}$. These block actions give a subgroup $L\cong {\prod }_a{\mathrm{GL}}_{m_a}(k)$ with trivial intersection with $U$. Every unit is uniquely a product of an element of $U$ and one of $L$. HenceThis Levi decomposition of a quiver automorphism group holds in every characteristic; the section is constructed directly from the multiplicity spaces.

Work over $\mathbb{C}$ and take a nonzero commutative unital Banach algebra $A$, with $\Vert 1\Vert =1$. A character of an algebra is a nonzero multiplicative complex linear functional $\chi :A\to \mathbb{C}$. It satisfies $\chi (1)=1$. Moreover $\chi (a)\in {\sigma }_A(a)$: otherwise $a-\chi (a)1$ would be invertible, although its image under $\chi$ is zero. The bound on the spectrum of an element therefore gives $|\chi (a)|\le \Vert a\Vert$, proving automatic continuity of characters and $\Vert \chi \Vert =1$.

Every proper maximal ideal $M$ of $A$ is closed. Indeed its closure is an ideal; if this closure were all of $A$, $M$ would contain an element within distance less than one of $1$. Such an element is invertible by the Neumann series, forcing $1\in M$. Thus the closure is proper and maximality makes it equal to $M$. The quotient Banach space $A/M$, with its quotient Banach algebra structure, is a complex normed division algebra. By the Gelfand-Mazur theorem, it is $\mathbb{C}$, so the quotient map gives a character of an algebra with kernel $M$. Conversely, the kernel of every character of an algebra is a maximal ideal, since the character is onto $\mathbb{C}$. The Zorn lemma supplies a maximal ideal containing every proper ideal, so the character space of an algebra $\Delta (A)$ is nonempty.

These facts give the exact relation between the character space and the spectrum of an element:One inclusion was proved above. For the other, if $a-\lambda 1$ is noninvertible, the principal ideal it generates is proper because $A$ is commutative. Contain it in a maximal ideal and use its corresponding character of an algebra to obtain $\chi (a)=\lambda$.

Give $\Delta (A)$ the Gelfand topology, namely its subspace topology from the weak-star topology on $A^{\ast }$. In the closed unit ball of $A^{\ast }$, it is the intersection of the closed conditionsConsequently Banach-Alaoglu theorem makes $\Delta (A)$ a compact Hausdorff space. For every $a\in A$, define the Gelfand transform $\hat{a}(\chi )=\chi (a)$. This is a continuous function on $\Delta (A)$ by definition of the Gelfand topology. The Gelfand representation theorem gives a contractive unital algebra homomorphism over a fieldMultiplicativity and linearity follow by evaluating at each character of an algebra; the supremum norm equality follows from the preceding spectrum of an element identity. Its kernel isthe Jacobson radical. Equivalently, its elements have spectrum of an element $\{0\}$. Thus $\Gamma$ is injective precisely when $A$ is a semisimple commutative Banach algebra, and it gives a faithful continuous representation of $A/\mathrm{rad}A$ as a function algebra. Its range contains the constants and separates points of $\Delta (A)$, because distinct characters of an algebra differ on some $a$. An arbitrary Banach algebra need not have an isometric or surjective Gelfand transform, nor a uniformly dense range: those conclusions require further hypotheses.

For the Banach algebra $C(K)$ on a nonempty compact Hausdorff space $K$, all characters of an algebra are evaluation characters. To see this, let $M$ be a maximal ideal. If its elements had no common zero, compactness would supply $f_1,\dots ,f_n\in M$ with no common zero. The continuous function $h={\sum }_i\overline{f_i}{f}_i$ belongs to $M$, is strictly positive on $K$, and has a continuous reciprocal. It is therefore invertible, a contradiction. Hence all elements of $M$ vanish at some $x\in K$, so $M\subseteq \ker {\delta }_x$ and maximality gives equality. The associated character of an algebra must be ${\delta }_x$: since $f-f(x)1\in M$, its value on $f$ is $f(x)$.

The map $x\mapsto {\delta }_x$ is a continuous bijection $K\to \Delta (C(K))$, using separation of points by continuous functions. Compactness and the Hausdorff property make it a homeomorphism. Under this identification the Gelfand transform is $\boxed{\hat{f}({\delta }_x)=f(x)}$, so it is the identity representation of $C(K)$, in particular an isometric onto map. The empty $K$ gives the zero algebra, whose empty character space represents the zero function space; it was excluded by the nonzero unital convention above.

Now let $A$ be a commutative unital C-star algebra. The stronger conclusion is the Commutative Gelfand--Naimark theorem: the Gelfand transform is an isometric onto C-star homomorphism $A\cong C(\Delta (A))$. We prove the additional assertions without assuming this conclusion.

First every character of an algebra respects the C-star algebra involution. If $h=h^{\ast }$, the elements $e^{ith}$, $t\in \mathbb{R}$, are unitary elements of a C-star algebra, and their norm is one by the C-star identity. Continuity and multiplicativity give $\chi (e^{ith})=e^{it\chi (h)}$. Thus $|e^{it\chi (h)}|\le 1$ for every real $t$, forcing $\chi (h)$ to be real. Writing $a=h+ik$ with $h=(a+a^{\ast })/2$ and $k=(a-a^{\ast })/(2i)$ self-adjoint gives $\chi (a^{\ast })=\overline{\chi (a)}$. Therefore the range of $\Gamma$ is closed under complex conjugation.

Every element of commutative $A$ is a Normal element of a C-star algebra. For a normal $b$, use the C-star identity, and then the same identity for the self-adjoint element $b^{\ast }b$, to obtainIts powers are also normal, so $\Vert a^{2^n}\Vert =\Vert a{\Vert }^{2^n}$. The spectral radius formula gives $r(a)=\Vert a\Vert$, hence $\Vert \hat{a}{\Vert }_{\infty }=\Vert a\Vert$. The Gelfand transform is therefore an isometry, and its range is complete and closed in the supremum norm. It contains constants, separates points and is closed under complex conjugation. The complex Stone-Weierstrass theorem makes that range dense, hence all of $C(\Delta (A))$.

The approximation step in Stone-Weierstrass theorem can also be seen directly here. For a unital conjugation-closed point-separating subalgebra $B\subseteq C(K)$, the real-valued part of its uniform closure is closed under absolute values, by polynomial approximation to $|t|$ on bounded intervals, hence under pointwise maxima and minima. Its real-valued functions separate points. Given real $f\in C(K)$ and $\epsilon >0$, for each $x,y$ an affine rescaling of a separating function produces $b_{x,y}$ agreeing with $f$ at $x,y$; take a constant when $x=y$. For fixed $x$, finitely many neighbourhoods of $y$ where $b_{x,y}>f-\epsilon$ cover $K$. Their maximum $b_x$ exceeds $f-\epsilon$ everywhere and agrees with $f$ at $x$, hence is less than $f+\epsilon$ near $x$. Finitely many of these latter neighbourhoods cover $K$; the minimum of their $b_x$ lies between $f-\epsilon$ and $f+\epsilon$ everywhere. Approximate real and imaginary parts separately. This proves the density used above and completes the C-star algebra conclusion.

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.

First the product is also split. Write $A_i=k{G}_i$ and $J_i=\mathrm{rad}{A}_i$. The idealis nilpotent: if $J_1^r=J_2^s=0$, every product of $r+s-1$ of its factors vanishes. The quotient isa product of full matrix algebras over $k$, because each $A_i$ is split. A nilpotent ideal lies in the Jacobson radical, and a semisimple quotient forces the reverse inclusion, so $I$ is exactly the radical. Thus $k$ is a splitting field for finite group representations of the product.

For simple modules $S_i$, Schur lemma and splitting give ${\mathrm{End}}_{A_i}(S_i)=k$. The Jacobson density theorem therefore makes the image of $A_i$ on $S_i$ the full ${\mathrm{End}}_k(S_i)$. Tensoring these maps shows that the product algebra acts on $S_1\otimes S_2$ through its full endomorphism algebra. Hence this tensor product of group representations is simple.

On restriction to $G_1$, it is a direct sum of $\dim S_2$ copies of $S_1$. If two external tensor products are isomorphic, their restrictions and the Jordan–Hölder theorem force $S_1\cong S_1^{\prime }$; restricting to $G_2$ similarly forces $S_2\cong S_2^{\prime }$. The converse follows by tensoring the isomorphisms.

Finally, the p-regular conjugacy classes of $G_1\times G_2$ are precisely pairs of such classes in the factors. The corrected result in part (b) counts as many simples for the product as pairs of simples for the two factors. Our pairwise nonisomorphic tensor products already attain that count, so they exhaust all simples. Thus $\boxed{{\mathrm{Irr}}_k(G_1\times G_2)=\{S_1\otimes S_2\}}$, uniquely indexed by pairs of simple isomorphism classes.

For the left regular module, the radical series of a module is obtained by multiplying by powers of the Jacobson radical:Products of matrix units show thatwith $N^0=A$ and $N^n=0$. Thus each step removes one subdiagonal, and the Loewy length of ${}_{A}A$ is $n$.

For $1\le r\le n$, let $S_r=k$ with a lower triangular matrix $a=(a_{ij})$ acting by the scalar $a_{rr}$. These are pairwise nonisomorphic simple modules, since the diagonal matrix units $e_{ii}$ distinguish them.

Let $N$ be the ideal of strictly lower triangular matrices. It is nilpotent, andis a semisimple algebra. Hence $N$ is the Jacobson radical; explicitly,

The weak Hilbert Nullstellensatz says that if a field is a finitely generated algebra over $k$, then it is a finite algebraic extension of $k$. Since every maximal ideal is prime, the nilradical $\mathcal{N}(R)$ is contained in the Jacobson radical $J(R)$.

Conversely, let $f$ be nonnilpotent. Then $R_f\ne 0$, and it is a finitely generated $k$-algebra, so it has a maximal ideal $\mathfrak{n}$. Its contraction $\mathfrak{p}$ to $R$ avoids $f$. Moreover,is a finitely generated $k$-domain inside a finite algebraic extension of $k$, hence is itself a field. Thus $\mathfrak{p}$ is maximal and does not contain $f$. Therefore $f\notin J(R)$, proving

The Jacobson radical $J=J(R)$ is the intersection of all maximal right ideals, equivalently the largest ideal annihilating every simple right module. The Artin–Wedderburn theorem givesbecause $k$ is algebraically closed.

The descending chain $J\supseteq J^2\supseteq \cdots$ stabilizes since $R$ is finite-dimensional. If $J^m=J^{m+1}$, Nakayama lemma applied to the finite right module $J^m$ gives $J^m=0$. Thus $J$ is nilpotent.

For $f\in {\mathrm{End}}_R(P_i)$, the Fitting lemma givesfor large $n$. Indecomposability makes one summand zero, so $f$ is either invertible or nilpotent. In the latter case $1-f$ is invertible. This is the criterion that ${\mathrm{End}}_R(P_i)$ is a local ring.

Let $M={⨁}_i{P}_i$. Reduction modulo $MJ$ definesSince $M/MJ={⨁}_i{S}_i$ and the $S_i$ are pairwise nonisomorphic simples,by Schur lemma. Arbitrary scalars on the direct summands lift to scalar identity maps on the $P_i$, so $\theta$ is surjective.

If $f\in \ker \theta$, then $f(M)\subseteq MJ$. A product of $r$ such maps sends $M$ into $M{J}^r$, so $\ker \theta$ is nilpotent. A nilpotent ideal lies in the Jacobson radical, while the semisimplicity of the quotient $k^n$ gives the reverse inclusion. HenceThis is exactly the definition of a basic algebra.

For a commutative ring $R$, the Jacobson radical isLet $A\subseteq B$ be integral. If $\mathfrak{n}$ is maximal in $B$, then its contraction $\mathfrak{n}\cap A$ is maximal in $A$. Therefore every $a\in J(A)$ belongs to every $\mathfrak{n}$, andConversely, the Lying-over theorem puts a maximal ideal $\mathfrak{n}$ of $B$ above every maximal ideal $\mathfrak{m}$ of $A$. Hence an element of $J(B)\cap A$ lies in every $\mathfrak{m}$, provingThis is the Jacobson radical under an integral extension formula.

For a simple $R$-module $S$, matrix units show that every nonzero vector of $S^n$ generates all coordinates, so $S^n$ is a simple ${\mathrm{Mat}}_n(R)$-module. Conversely, if $V$ is simple over the matrix ring, $e_{11}V$ is a simple $R$-module andthrough the maps induced by $e_{i1}$ and $e_{1i}$. These constructions are inverse on isomorphism classes; this is the basic Morita equivalence for a matrix ring.

The Jacobson radical is the intersection of annihilators of all simple left modules. On $S^n$, a matrix annihilates every vector exactly when each entry annihilates $S$. Intersecting over all simple $S$ gives

A ring is semilocal when its quotient by the Jacobson radical is a semisimple ring that is Artinian. Equivalently, that quotient is a right Artinian ring: it has zero Jacobson radical, and the Artinian structure theorem makes it semisimple. A commutative ring is semilocal exactly when it has finitely many maximal ideals.

A Banach algebra is semisimple when its Jacobson radical is zero. This does not assert that every quasinilpotent element is zero. For example, the algebra of bounded operators on a Banach space of dimension greater than one is semisimple, but contains nonzero square-zero rank-one operators. This notion also does not require the finite-dimensional direct-sum decomposition associated with a semisimple algebra.

A commutative Banach algebra is semisimple when its Jacobson radical is zero. For a complex unital Banach algebra this is equivalent to injectivity of the Gelfand transform. This condition concerns the Jacobson radical; it does not assert a finite product decomposition as in finite-dimensional semisimple algebra theory.

For a finite-dimensional module over an algebraically closed field, write a Krull-Schmidt decomposition $X={⨁}_a{M}_a^{\oplus m_a}$ with distinct indecomposable types. Each endomorphism ring of $M_a$ is a local endomorphism ring with residue division algebra $k$, by the finite-dimensional division algebra over an algebraically closed field result. Modulo the Jacobson radical of $\mathrm{End}(X)$, the blocks of one type become $M_{m_a}(k)$ and all maps between different types vanish. A composite through a different indecomposable type cannot be invertible, since that would make one type a direct summand of the other. This yields the displayed product and the Levi decomposition of a quiver automorphism group.

The finite intersections of maximal right ideals of a right Artinian ring have a minimal member by the descending chain condition. Intersecting it with any other maximal right ideal changes nothing, so it equals the Jacobson radical. If that radical is zero, the diagonal map from the regular module into a finite direct sum of its simple quotients is injective. A submodule of a finite direct sum of simple modules is semisimple and has finite length. This proves semisimplicity of the regular module without assuming Noetherianity first.

A field $k$ is a splitting field for a finite group $G$ if every simple module over its group algebra $kG$ is absolutely simple: it remains simple over every extension field. Equivalently, the quotient by the Jacobson radical is a product of full matrix algebras over $k$. In characteristic $p$, containing all $m$th roots of unity, where $|G|=p^{a}m$ and $p\nmid m$, is sufficient. This is the modular splitting-field theorem; it is substantially stronger than merely having eigenvalues for one chosen group element.

For a nonzero finitely generated indecomposable module $P$ that is a projective module over a right Artinian ring $A$, its top $P/PJ(A)$ is a simple module. The Jacobson radical $J(A)$ is a nilpotent ideal, so the top is nonzero; the quotient is a semisimple module over the semisimple ring $A/J(A)$. If it decomposed, a nontrivial idempotent of its endomorphism ring would lift by projectivity to an endomorphism of $P$. The Hopkins-Levitzki theorem gives finite composition length, and the Fitting lemma makes the lift either invertible or nilpotent. Its induced map on the top would have the same property, impossible for that nontrivial idempotent.