To save anyone else the trouble: discussion there is not really worth looking at (largely a flame war), except: the author of this disproof seems to be a crank, and the disproof's been refuted.
> Corollary 14 (There is no such thing as a torsor). A torsor is defined as a “group without a distinguished identity element.” No such object exists. The proof is immediate from the axioms of group theory.
I somehow doubt that a standard concept you can look up [0] is vacuous due to simple word games.
(dupe) OpenAI's claimed disproof of Connes' Rigidity Conjecture is invalid [pdf]
~ https://news.ycombinator.com/item?id=49140869To save anyone else the trouble: discussion there is not really worth looking at (largely a flame war), except: the author of this disproof seems to be a crank, and the disproof's been refuted.
I'm going to believe that both results are true, while simultaneously being not true.
> Corollary 14 (There is no such thing as a torsor). A torsor is defined as a “group without a distinguished identity element.” No such object exists. The proof is immediate from the axioms of group theory.
I somehow doubt that a standard concept you can look up [0] is vacuous due to simple word games.
[0] https://ncatlab.org/nlab/show/torsor