Power-sum conjecture for matrix rings over finite commutative rings

From papers

Let d>1d>1 and let RR be a finite commutative ring. For k1k\geq 1, write Sk(Md(R))=AMd(R)AkS_k(\mathbb{M}_d(R))=\sum_{A\in\mathbb{M}_d(R)}A^k. The unique element eR0e\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, R2(mod4)|R|\equiv 2\pmod{4}, 1<k1,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.

Progress summary

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

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.