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 r=1 in the associator identity; I can't tell what good it does to allow other values of r, and in any case, the construction of a JLB-algebra from a C*-algebra (which is supposed to be an equivalent notion!) always produces r=1.
Thanks!
I have also cross-linked that entry now with order-theoretic structure in quantum mechanics.
What I had for the norm on A+iA was wrong, and it was really hard to figure out how to define it from the norm on A. In general, it may not be possible. But we really care about the C*-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