3
$\begingroup$

Let $R$ be a finite commutative ring with identity. Considere the matrix ring $A=M_n(R)$. What is the order of a maximal commutative subring of $A$ that contains all scalar matrices?

$\endgroup$
9
  • $\begingroup$ That's not true over a field with $n=2$, because there are matrix algebras of rank two over a field, like the ring of diagonal matricies, but $2$ is not less than $1+1$. $\endgroup$
    – Will Sawin
    Aug 7, 2012 at 13:17
  • 3
    $\begingroup$ @OP: What is the $R$-dimension of an $R$-algebra if $R$ is no field? This can be a serious problem for arbitrary commutative rings, for instance: Take $R=\mathbb C[x_i:i\in \mathbb N]$ (polynomial ring in infinitely many variables), and take $I$ to be the ideal generated by all $x_i$ ($I$ isn't finitely generated). Then $\left\{\left(\begin{array}{cc}a&b\\ 0&a\end{array}\right)\mid a \in R, b \in I\right\}$ is a subalgebra of $M_2(R)$ which is neither free nor finitely generated. What dimension would you assign to it? $\endgroup$ Aug 7, 2012 at 13:35
  • $\begingroup$ Yes, I mean free as an $R$- module. $\endgroup$
    – zacarias
    Aug 7, 2012 at 13:39
  • 2
    $\begingroup$ No, if $R=\mathbb Z/4$ then in the algebra of $2\times 2$ matrices there is a maximal commutative algebra consisting of the matrices that are scalar plus even. $\endgroup$ Aug 7, 2012 at 14:04
  • 1
    $\begingroup$ @Zacarias: you should then edit your question to make it meaningful, which is not the case at the moment. $\endgroup$
    – YCor
    Aug 7, 2012 at 18:02

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.