Manuscript OpenAI@2026-10-07 · OpenAI.tex · remark · 6a931f8f
Remark: Family 287. All nonabelian free group factors are isomorphic
Family claims › Operator algebras · lines 1891–1896
OpenAI@2026-10-07#rem:oai-287
Resolves the free group factor isomorphism problem: , and hence all interpolated free group factors, including , are isomorphic. Their common factor has fundamental group .
The authors are OpenAI. This companion does not verify the proof. The claim is not a theorem of the Enter series and not a premise of any registered sheet. It does not close O.1. O.1 stays NOT_CLOSED. It is not a de Sitter state and not the QdS external-leg scheme. No quantum coefficient is admitted. No compilation is asserted.
Nearby in this section
- remark: Remark: Family 285. Counterexamples to Baum–Connes and Kadison–Kaplansky
- remark: Remark: Family 286. Arithmetic rigidity of lattice von Neumann algebras
- remark: Remark: Family 288. Kadison's similarity conjecture
- remark: Remark: Family 289. The strong Kadison–Kastler conjecture
- remark: Remark: Family 290. Connes' bicentralizer conjecture and relative bicentralizers
- remark: Remark: Family 291. Toms–Winter and equivariant Jiang–Su stability
- remark: Remark: Family 292. A counterexample to Kirchberg's norm-ultrapower embedding problem
- remark: Remark: Family 293. A counterexample to the hyperinvariant-subspace problem