Co-Addition for free Non-Associative Algebras and the Hausdorff Series

L. Gerritzen,R. Holtkamp
DOI: https://doi.org/10.48550/arXiv.math/0207083
2002-12-17
Abstract:Generalizations of the series exp and log to noncommutative non-associative and other types of algebras were considered by <a class="link-external link-http" href="http://M.Lazard" rel="external noopener nofollow">this http URL</a>, and recently by <a class="link-external link-http" href="http://V.Drensky" rel="external noopener nofollow">this http URL</a> and <a class="link-external link-http" href="http://L.Gerritzen" rel="external noopener nofollow">this http URL</a>. There is a unique power series exp(x) in one non-associative variable x such that exp(x)exp(x)=exp(2x), exp'(0)=1. We call the unique series H=H(x,y) in two non-associative variables satisfying exp(H)=exp(x)exp(y) the non-associative Hausdorff series, and we show that the homogeneous components of H are primitive elements with respect to the co-addition for non-associative variables. We describe the space of primitive elements for the co-addition in non-associative variables using Taylor expansion and a projector onto the algebra A_0 of constants for the partial derivations. By a theorem of Kurosh, A_0 is a free algebra. We describe a procedure to construct a free algebra basis consisting of primitive elements.
Rings and Algebras,Combinatorics
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the construction and properties of generalized exponential and logarithmic series in non - associative algebras, especially the properties of non - associative Hausdorff series. Specifically: 1. **Definition and Properties of Generalized Exponential and Logarithmic Series**: - The paper explores how to generalize the classical exponential function \( \exp \) and logarithmic function \( \log \) to non - commutative and non - associative algebras. - For a non - associative variable \( x \), there exists a unique power series \( \exp(x) \) such that \( \exp(x)\exp(x)=\exp(2x) \) and \( \exp'(0) = 1 \). 2. **Introduction of Non - associative Hausdorff Series**: - A unique series \( H = H(x,y) \) on two non - associative variables \( x \) and \( y \) is defined such that \( \exp(H)=\exp(x)\exp(y) \). - This series is called the non - associative Hausdorff series, and the properties of its homogeneous components \( H_n \) are studied. 3. **Properties of Primitive Elements**: - It is proved that the homogeneous component \( H_n \) of the non - associative Hausdorff series is a primitive element with respect to the co - addition of non - associative variables. - The space of primitive elements of the co - addition of non - associative variables is described, and these primitive elements are characterized by using Taylor expansion and projection operators. 4. **Construction of Free Algebras**: - Using Kurosh's theorem, a method for constructing a free algebra generated by primitive elements is described. - A process for constructing a basis of a free algebra generated by homogeneous primitive polynomials is proposed. 5. **Hopf Algebra Structure**: - The co - additive Hopf algebra structure on non - associative algebras is studied, including the co - commutativity and co - associativity of co - multiplication, and the existence of left - and right - anti - homomorphisms. By solving these problems, the paper aims to gain a deep understanding of the generalized exponential and logarithmic series in non - associative algebras and provide a theoretical basis for their applications in fields such as mathematical physics.