Let $R$ be a finite-dimensional local (associative, unital, and not necessarily commutative) algebra over a field $k$ (that is, $R$ has a unique maximal two-sided ideal $\mathfrak M$) such that $\kappa:=R/\mathfrak{M}$ is a finite-dimensional division $k$-algebra.

Assuming that $k$ is a perfect field, does the quotient ring homomorphism $R\to \kappa$ split? In other words, does there always exists a subalgebra $\kappa\subseteq R$ such that $R=\kappa\oplus \mathfrak M$ as $k$ vector spaces?

The motivation comes from the representation theory of finite-dimensional algebras. If $A$ is a finite dimensional $k$-algebra, and if $M$ is an indecomposable left $A$-module of finite type, then $R:={\rm End}_A(M)$ is a finite-dimensional local $k$-algebra (the elements of $\mathfrak M$ are those $f\colon M\to M$ which are not isomorphisms).

When $k$ is algebraically closed, the residue field $\kappa$ is $k$ and the answer is yes. I guess that it should also be the case when $R$ is commutative (using Hensel's lemma).

  • 1
    $\begingroup$ The Wedderburn-Malcev «Principal» theorem, which gives you this splitting, is proved in that generality in Pierce's Associative Algebras, if I recall correctly. $\endgroup$ – Mariano Suárez-Álvarez Apr 5 '12 at 8:07
  • $\begingroup$ (Hi! by the way :D ) $\endgroup$ – Mariano Suárez-Álvarez Apr 5 '12 at 8:12
  • $\begingroup$ Sorry to nitpick: the zero ideal in $R = M_2(k)$ is the unique maximal two-sided ideal in $R$, but $R$ isn't a division algebra. $\endgroup$ – user91132 Apr 5 '12 at 8:47
  • 1
    $\begingroup$ Konstantin: You're right. My question was not formulated properly, I was concentrated on the situation of the indecomposable module. I edited the question accordingly. Thanks. $\endgroup$ – Patrick Le Meur Apr 5 '12 at 9:21
  • 1
    $\begingroup$ Another reference is Mac Lane's Homology X.3 p.286 $\endgroup$ – M T Apr 5 '12 at 10:24

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.