OK, I may be guilty of a DoS attack attempt on mathematicians' brains here, so lest anyone waste too much precious brain time decoding this deliberately cryptic statement, let me do it for you. •1/15
\u2200x.\u2200y.((\u2200z.((z\u2208x) \u21d2 ((\u2200t.((t\u2208x) \u21d2 (t\u2208z) \u21d2 (t\u2208y)))) \u21d2 (z\u2208y))) \u21d2 (\u2200z.((z\u2208x) \u21d2 (z\u2208y))))
— Gro-Tsen (@gro_tsen) February 12, 2021
More from Maths
Loops and their multiplication groups
A thread in 15 parts
(0/15)
Recall that a quasigroup (Q,*) is a set Q with a binary operation * such that for each a,b in Q, the equations a*x=b and y*a=b have unique solutions x,y. Groups are quasigroups and this property is usually one of the first things proved in elementary group theory.
(1/15)
Note that we don't assume associativity of *!
A loop is a quasigroup with an identity element. The story of why they are called loops is an interesting one and may even be true, but I will save it for another day. I am going to focus on loops in this thread.
(2/15)
Natural examples of nonassociative loops:
- The nonzero octonions under multiplication
- The sphere S^7 under octonion multiplication
- I have discussed other examples
For each x in a loop Q, define the left & right translations L_x, R_x : Q->Q by L_x(y)=xy and R_x(y)=yx. These mappings are permutations of Q. The composition L_x L_y of two left translations is not necessarily a left translation because Q is not necessarily associative.
(4/15)
A thread in 15 parts
(0/15)
Recall that a quasigroup (Q,*) is a set Q with a binary operation * such that for each a,b in Q, the equations a*x=b and y*a=b have unique solutions x,y. Groups are quasigroups and this property is usually one of the first things proved in elementary group theory.
(1/15)
Note that we don't assume associativity of *!
A loop is a quasigroup with an identity element. The story of why they are called loops is an interesting one and may even be true, but I will save it for another day. I am going to focus on loops in this thread.
(2/15)
Natural examples of nonassociative loops:
- The nonzero octonions under multiplication
- The sphere S^7 under octonion multiplication
- I have discussed other examples
Rethinking Vector Addition
— Michael Kinyon (@ProfKinyon) December 1, 2020
or
How I Learned to Stop Worrying and Love Nonassociativity
A thread in 29 tweets
(0/28)
For each x in a loop Q, define the left & right translations L_x, R_x : Q->Q by L_x(y)=xy and R_x(y)=yx. These mappings are permutations of Q. The composition L_x L_y of two left translations is not necessarily a left translation because Q is not necessarily associative.
(4/15)