Left–right symmetry of PCI and V-domain properties

A V-ring has injective simple modules on the specified side; a PCI ring has injective proper cyclic modules on that side. Must right PCI imply left PCI, and must a left V-domain also be a right V-domain?

Why it matters and what counts as progress

Why it matters: These implications test left–right symmetry without the extra Ore or Noetherian hypotheses used in earlier results.

What counts as progress: A proof of either unrestricted implication, or a domain with the required one-sided injectivity properties and failure on the opposite side.

How the problem developed

  1. 24 Sept 2026 · Counterexample [1][2]

    AI-generated manuscript; repository commit by Vlad Tsyrklevich Released a countable domain that is left PCI and left V but not right Ore; its opposite is right PCI and right V but not left PCI, left V, or left Ore.

AI contribution

Sources

  1. Primary ring-theory manuscript
  2. Vlad Tsyrklevich, initial public repository commit
  3. Construction, prior questions and AI provenance
  4. Lean solution module
  5. Compared theorem configuration
Website timeline

Publication dates and editorial changes.