Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
created stub for Jordan-Lie-Banach algebra
I added a definition from the top reference. I modified it to use only in the associator identity; I can't tell what good it does to allow other values of , and in any case, the construction of a JLB-algebra from a -algebra (which is supposed to be an equivalent notion!) always produces .
Thanks!
I have also cross-linked that entry now with order-theoretic structure in quantum mechanics.
What I had for the norm on was wrong, and it was really hard to figure out how to define it from the norm on . In general, it may not be possible. But we really care about the -case, and there the norm is defined by the algebraic structure, so let's just punt on it.
ETA: If you want to look at the diff, then also look at the previous diff, which actually has most of what I changed today.
changed higher algebra - contents to algebra - contents in context sidebar
Anonymouse
1 to 6 of 6