OpenAI reports ordinary-to-strong pure infiniteness
- Mathematics
Every complex C∗-algebra in which each positive element is properly infinite is strongly purely infinite, satisfying the full positive-element diagonalization property.
Every complex C∗-algebra in which each positive element is properly infinite is strongly purely infinite, satisfying the full positive-element diagonalization property.
Every complex C∗-algebra in which each positive element is properly infinite is strongly purely infinite, satisfying the full positive-element diagonalization property.
Every complex C∗-algebra in which each positive element is properly infinite is strongly purely infinite, satisfying the full positive-element diagonalization property.
If correct, resolves the ordinary-to-strong implication without exactness, nuclearity, unitality or simplicity assumptions.
Does proper infiniteness of every positive element imply strong pure infiniteness?
Publication dates and editorial changes.
Allow optional Google Analytics to help improve AIProofWatch? Privacy details.