Representable ∗*-regular rings and ultraproducts of artinian rings

About 11 years old · traced to

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

ι:R⟶End⁡(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 r∈Rr\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.

References

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.