Abstract:We introduce a new class of division algebras, the hyperpolyadic algebras, which correspond to the binary division algebras $\mathbb{R}$, $\mathbb{C}$, $\mathbb{H}$, $\mathbb{O}$ without considering new elements. First, we use the matrix polyadization procedure proposed earlier which increases the dimension of the algebra. The algebras obtained in this way obey binary addition and a nonderived n-ary multiplication and their subalgebras are division n-ary algebras. For each invertible element we define a new norm which is polyadically multiplicative, and the corresponding map is a $n$-ary homomorphism. We define a polyadic analog of the Cayley-Dickson construction which corresponds to the consequent embedding of monomial matrices from the polyadization procedure. We then obtain another series of n-ary algebras corresponding to the binary division algebras which have a higher dimension, that is proportional to the intermediate arities. Second, a new polyadic product of vectors in any vector space is defined. Endowed with this product the vector space becomes a polyadic algebra which is a division algebra under some invertibility conditions, and its structure constants are computed. Third, we propose a new iterative process ("imaginary tower"), which leads to nonunital nonderived ternary division algebras of half the dimension, which we call "half-quaternions" and "half-octonions". The latter are not subalgebras of the binary division algebras, but subsets only, since they have different arity. Nevertheless, they are actually ternary division algebras, because they allow division, and their nonzero elements are invertible. From the multiplicativity of the introduced "half-quaternion" norm we obtain the ternary analog of the sum of two squares identity. We show that the ternary division algebra of imaginary "half-octonions" is unitless and totally associative.

Arity shape of polyadic algebraic structures

Hyperpolyadic structures

Polymorphism-homogeneity and universal algebraic geometry

Graded medial $n$-ary algebras and polyadic tensor categories

Polyadic supersymmetry

Polyadic sigma matrices

Structures on Categories of Polynomials

Mal'cev Complexes

Remarks on some Limit Geometric Properties related to an Idempotent and Non-Associative Algebraic Structure

Poly-analytic functions AND representation theory

Higher coherence and a generalization of higher categorified algebraic structures

Splines, lattice points, and arithmetic matroids

Enriched structure-semantics adjunctions and monad-theory equivalences for subcategories of arities

What kind of linearly distributive category do polynomial functors form?

Polynomial Universes and Dependent Types

A reference for categorical structures on $\mathbf{Poly}$

Ehrhart polynomials, Hecke series, and affine buildings

A general framework for product representations: bilattices and beyond

Algebras and varieties where Sasaki operations form an adjoint pair

A many-sorted polyadic modal logic

Simple polyadic groups