Primeness of Cayley graphs over finite rings

Question 4.28 · arXiv:2401.06062

arXiv Question high confidence— first stated 2024-01-11

Authors: Maria Chudnovsky, Michal Cizek, Logan Crew, Ján Mináč, Tung T. Nguyen, Sophie Spirkl, Nguyên Duy Tân

Status partial medium confidence

Question 4.28 asks when $X_R$ is prime, where $X_R$ is the Cayley graph on a finite ring $R$ built from its group of units. The source paper itself reduces the question to the semisimple case (non-semisimple $R$ yields non-prime $X_R$) and further to a combinatorial question about primality of tensor products of complete graphs. A March 2024 follow-up (arXiv:2403.05635) establishes necessary and sufficient conditions for primality in the related $p$-unitary Cayley graph setting, partially addressing the broader question for certain classes of finite commutative rings, but the full general question for arbitrary finite rings appears to remain open.

Cited literature (1)

partial On certain properties of the p-unitary Cayley graph over a finite ring (2024)

Authors not confirmed from abstract fetch · arXiv preprint · arXiv:2403.05635

Establishes necessary and sufficient conditions for p-unitary Cayley graphs over finite commutative rings to be prime (under mild conditions), addressing a related but more restricted variant of Question 4.28.

Reviewer notes. The source paper (2401.06062) was published in the Journal of Combinatorics (2025/2026). The paper reduces Question 4.28 to the semisimple case and then to tensor-product primality. arXiv:2403.05635 (March 2024) provides necessary and sufficient conditions for the p-unitary Cayley graph to be prime, which is a related but distinct graph construction from X_R. A further paper arXiv:2603.21239 ('On U-unitary Cayley graphs over finite rings', March 2026) appeared in search results but could not be verified within the 5-call cap. Author names for 2403.05635 were not retrieved from the abstract fetch.

Auto-reviewed 2026-05-15 with claude-sonnet-4-6 (web search enabled).

Question. When is $X_{R}$ prime?

Context

$X_R$ denotes the Cayley graph constructed from a finite ring $R$ using its group of units and a connection set derived from the ring structure. This question is the central driving question of Section 4, and is reduced first to the semisimple case (showing non-semisimple $R$ gives non-prime $X_R$) and then to a combinatorial question about tensor products of complete graphs.

Notes. This question appears to be answered within the paper via Theorem 4.35; it is posed as the key structural question leading to the main results.

Source paper

On prime Cayley graphs
Maria Chudnovsky, Michal Cizek, Logan Crew, Ján Mináč, Tung T. Nguyen, Sophie Spirkl, Nguyên Duy Tân · 2024-01-11
https://arxiv.org/abs/2401.06062