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 Moufang loop and some links. It would be good to update the proof that the tangent bundle of a Lie group is trivial to include the case of the tangent bundle of a smooth Moufang loop.
a stub (please expand whoever has the energy), for better disambiguation with loop (topology)
changed higher algebra - contents to algebra - contents in context sidebar
Anonymouse
added missing pointer to commutative monoid in a symmetric monoidal category
I have touched the Idea-section, trying to streamline a little.
In particular I added cross-links with magma and Moufang loop.
changed higher algebra - contents to algebra - contents in context sidebar.
But also, isn’t this just the same as a semigroup?
Anonymouse
changed higher algebra - contents to algebra - contents in context sidebar
Anonymouse
changed higher algebra - contents to algebra - contents in context sidebar
Anonymouse
I have added to alternative algebra the characterization in terms of skew-symmetry of the associator.
changed higher algebra - contents to algebra - contents in context sidebar
Anonymouse
changed higher algebra - contents to algebra - contents in context sidebar
Anonymouse
changed higher algebra - contents to algebra - contents in context sidebar
Anonymouse
changed higher algebra - contents to algebra - contents in context sidebar
Anonymouse
Added the definition of “basic triples” of octonions, and the statement that they form a torsor over Aut(𝕆)=G2.
changed higher algebra - contents to algebra - contents in context sidebar
Anonymouse
I have made explicit the example of involutive Hopf algebras, and how most of the other examples previously listed here are special cases of this one. Also expanded a little and organized it all into a new Examples-subsection (here)
created stub for Jordan-Lie-Banach algebra
changed higher algebra - contents to algebra - contents in context sidebar
Anonymouse
stub for Poisson algebra
stub right now, I hope to write about some of the smooth and analytic properties of real-valued cubic functions and their inverses in the same way I did for real quadratic functions
Anonymous
I wrote out a proof which uses very little machinery at fundamental theorem of algebra. It is just about at the point where it is not only short and rigorous, but could be understood by an eighteenth-century mathematician. (Nothing important, just fun!)
changed higher algebra - contents to algebra - contents in context sidebar
Anonymouse
at normed division algebra it used to say that “A normed field is either ℝ or ℂ. ” I have changed that to “a normed field over ℝ is…” and changed normed field from being a redirect to “normed division algebra” to instead being an entry on its own.
I am trying to imrpove the complex of entries revolving around the Hurwitz theorem. I am not done yet at all, but since in the process I am touching a lot of entries, I thought I’d drop a note now for those anxiously following the RecentlyRevised notifications.
So I gave Hurwitz theorem its own entry, first of all, cross linking to the details (a proof,in fact), that may be found at composition algebra, but which previously could not be found from normed division alegbra. Now there are cross-links.
I also tried to add more references, but this needs work. It seems that Wikipedia says both that the source is
as well as that “was published posthumously in 1923”.
But I haven’t really spent much effort yet to check.
I also added cross-links with Hopf invariant one, but this is plain stubby for the moment.
added pointer to today’s article by Ross Street:
A general abstract formulation of Rost 96 in terms of string diagrams in additive braided monoidal categories is in
changed higher algebra - contents to algebra - contents in context sidebar
Anonymouse
differential algebra, just for completeness
expanded homomorphism
I created another floating TOC additive and abelian categories - contents and added it to the relevant entries