(1/15)
Loops and their multiplication groups
A thread in 15 parts
(0/15)
(1/15)
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)
- The nonzero octonions under multiplication
- The sphere S^7 under octonion multiplication
- I have discussed other examples previously:
https://t.co/q5LjmxHEIF
https://t.co/UPHSMwQo75
(3/15)
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)
(4/15)
(5/15)
(6/15)
(7/15)
Now back to the general case where Q is any loop.
(8/15)
(9/15)
Loops can be studied via their multiplication and inner mapping groups. I will give one example of how this works.
(10/15)
(11/15)
1. N is the kernel of a homomorphism,
2. N is invariant under Inn(Q),
3. N is a block of Mlt(Q).
Such an N is called a normal subloop of Q. Q is simple if it has no nontrivial normal subloops.
(12/15)
Theorem (Albert 1941): A loop Q is simple if and only if Mlt(Q) is primitive.
(13/15)
More from Maths
In light of my tweet thread about the category of finite sets and commutative monoids (https://t.co/jnY0wZZbxq), I thought I might try to say what the analogue is for braided monoidal things (although much of this is still somewhat hypothetical).
It's also just kind of a cool combinatorial structure! I've been talking to @CreeepyJoe about this lately, as well as @grassmannian.
The first thing you have to know is that, in a braided monoidal category you can still have commutative monoids. Since a braided monoidal category C has a "twist" map for every object β(x):x⊗x→x⊗x, if x is a monoid you can ask for the following diagram to commute:
Remember that being symmetric monoidal just means that if you take the twist map above and do it twice, you get the identity map, but braided monoidal doesn't mean that. But it's okay! You can still define commutative monoids here.
But so anyway, we can talk about commutative monoids in braided monoidal categories.
So okay, here's a thread on the category of finite sets and a way in which it controls algebraic structure in symmetric monoidal categories. I think it's some really pretty stuff.
— Jonathan Beardsley (@JBeardsleyMath) December 6, 2020
It's also just kind of a cool combinatorial structure! I've been talking to @CreeepyJoe about this lately, as well as @grassmannian.
The first thing you have to know is that, in a braided monoidal category you can still have commutative monoids. Since a braided monoidal category C has a "twist" map for every object β(x):x⊗x→x⊗x, if x is a monoid you can ask for the following diagram to commute:
Remember that being symmetric monoidal just means that if you take the twist map above and do it twice, you get the identity map, but braided monoidal doesn't mean that. But it's okay! You can still define commutative monoids here.
But so anyway, we can talk about commutative monoids in braided monoidal categories.
