Representable *-regular rings and ultraproducts of artinian rings

Let RR be a *-regular ring. It is representable if there are a vector space VDV_D, a ring embedding

ι:REnd(VD),\iota:R\longrightarrow \operatorname{End}(V_D),

a *-hermitian form Φ\Phi on VDV_D, and the property that ι(r)\iota(r^*) is the adjoint of ι(r)\iota(r) for every rRr\in R. A ring is subdirectly irreducible if it has a least nonzero congruence. An ultraproduct is formed from a family of rings with respect to an ultrafilter.

Representable-ring ultraproduct conjecture. Every subdirectly irreducible representable *-regular ring can be embedded into a homomorphic image of a regular *-subring of an ultraproduct of artinian *-regular rings.

The conjecture would connect geometric representability with constructions from artinian *-regular rings. The source presents it as open and separately asks whether every *-regular ring is representable.

Sources & referencesView supporting material

Primary source

Christian Herrmann and Michael S. Roddy, “Proatomic modular ortholattices: Representation and equational theory”, arXiv:1501.02477 (2015).

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.