On the dimensions of automorphism groups of four-dimensional double loops.
The concept of doubling, which was introduced around 1840 by Graves and Hamilton, associates with any quadratic algebra 𝓐 over a field k of characteristic not 2 its double 𝓥(𝓐 ) = 𝓐 × 𝓐 with multiplication (w,x)(y,z) = (wy - z̅x,xy̅ + zw). This yields an endofunctor on the category of all quadratic k-algebras which is faithful but not full. We study in which respect the division property of a quadratic k-algebra is preserved under doubling and, provided this is the case, whether the...
The algebras ℂ (complex numbers), ℍ (quaternions), and 𝕆 (octonions) are real division algebras obtained from the real numbers ℝ by a doubling procedure called the Cayley-Dickson Process. By doubling ℝ (dim 1), we obtain ℂ (dim 2), then ℂ produces ℍ (dim 4), and ℍ yields 𝕆 (dim 8). The next doubling process applied to 𝕆 then yields an algebra 𝕊 (dim 16) called the sedenions. This study deals with the subalgebra structure of the sedenion algebra 𝕊 and its zero divisors. In particular, it shows...
In this paper we consider completely decomposable torsion-free groups and we determine the subgroups which are ideals in every ring over such groups.
We develop a structure theory for left divsion absolute valued algebras which shows, among other things, that the norm of such an algebra comes from an inner product. Moreover, we prove the existence of left division complete absolute valued algebras with left unit of arbitrary infinite hilbertian division and with the additional property that they have nonzero proper closed left ideals. Our construction involves results from the representation theory of the so called "Canonical Anticommutation...
On définit plusieurs opérades différentielles graduées, dont certaines en relation avec des familles de polytopes : les simplexes et les permutoèdres. On obtient également une présentation de l’opérade liée aux associaèdres introduite dans un article antérieur.
In [8] we studied Koszulity of a family of operads depending on a natural number and on the degree of the generating operation. While we proved that, for , the operad is Koszul if and only if is even, and while it follows from [4] that is Koszul for even and arbitrary , the (non)Koszulity of for odd and remains an open problem. In this note we describe some related numerical experiments, and formulate a conjecture suggested by the results of these computations.
This is an extended version of a talk presented by the second author on the Third Mile High Conference on Nonassociative Mathematics (August 2013, Denver, CO). The purpose of this paper is twofold. First, we would like to review the technique developed in a series of papers for various classes of di-algebras and show how the same ideas work for tri-algebras. Second, we present a general approach to the definition of pre- and post-algebras which turns out to be equivalent to the construction of dendriform...
In this paper we give the description of some non-strongly nilpotent Leibniz algebras. We pay our attention to the subclass of nilpotent Leibniz algebras, which is called filiform. Note that the set of filiform Leibniz algebras of fixed dimension can be decomposed into three disjoint families. We describe the pre-derivations of filiform Leibniz algebras for the first and second families and determine those algebras in the first two classes of filiform Leibniz algebras that are non-strongly nilpotent....