Power-sum conjecture for matrix rings over finite commutative rings

About 10 years old · traced to

Let d>1d>1 and let RR be a finite commutative ring. For k≥1k\geq 1, write Sk(Md(R))=∑A∈Md(R)AkS_k(\mathbb{M}_d(R))=\sum_{A\in\mathbb{M}_d(R)}A^k. The unique element e∈R∖0e\in R\setminus\\{0\\} such that 2e=02e=0 is assumed to be defined when the stated exceptional conditions hold. Power-sum conjecture for matrix rings. Sk(Md(R))=0S_k(\mathbb{M}_d(R))=0 unless d=2d=2, ∣R∣≡2(mod4)|R|\equiv 2\pmod{4}, 1<k≡−1,0,1(mod6)1<k\equiv -1,0,1\pmod{6}, and ee is idempotent. In that exceptional case,

Sk(Md(R))=(e00e).S_k(\mathbb{M}_d(R))=\begin{pmatrix}e&0\\\\0&e\end{pmatrix}.

This conjecture extends the known calculation for matrix rings over finite fields and proposes a complete description of when the power sum can be nonzero for matrices over a finite commutative ring. The source provides no resolution, so its status remains open.

References

Primary source

Jose Maria Grau and Antonio. M. Oller-Marcen, “Power sums over commutative and unitary rings”, arXiv:1603.05787 (2016).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.