MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

When is the subring (containing 1) of a matrix ring $M_n(k)$ over a field $k$ is local? I would be grateful for every reference concerning this matter, Thank you!

share|cite|improve this question
Do you suppose that these subrings are also $K$ algebra? If not subrings of $K$ (which may be local) may complicate things. For $n=1$, you are asking the characterization of all local subrings of a commutative field. – Name Mar 7 '13 at 14:39
Yes, I mean these subrings are also algebras over $k$. Actually I am interested in finite dimensional local rings over $k$. Any local ring $A$ can be embedded into $M_d(k)$ where $d=dim_k(A)$, but what is the minimal $n$ such that $A$ can be embedded into $M_n(k)$? Are there any estimates known? – Alexander Mar 9 '13 at 19:19

The ring of matrices $ \left( \begin{array}{cc} a & b \\\\ 0 & a \\ \end{array} \right). $

This ring is isomorphic to the algebra of dual numbers ( which is local.

share|cite|improve this answer

The idea of @boris-novikov shows that the algebra of all upper triangular matrices such that the entries of the main diagonal are equal, is a local ring. The dimension of this algebra is $\frac{n^2-n}{2}+1$. I am wondering if one can find a local subalgebra of $M_n(k)$ whose dimension is greater than this number.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.