We present a short and rather self-contained introduction to the theory of finite-dimensional division algebras, setting out from the basic definitions and leading up to recent results and current directions of research. In Sections 2-3 we develop the general theory over an arbitrary ground field k, with emphasis on the trichotomy of fields imposed by the dimensions in which a division algebra exists, the groupoid structure of the level subcategories 𝒟ₙ(k), and the role played by the irreducible...

We find examples of polynomials $f\in D[t;\sigma ,\delta ]$ whose eigenring $ℰ\left(f\right)$ is a central simple algebra over the field $F=C\cap \mathrm{Fix}\left(\sigma \right)\cap \mathrm{Const}\left(\delta \right)$.

Let $F$ be a class of entire functions represented by Dirichlet series with complex frequencies $\sum a_k{\mathrm{e}}^{\langle {\lambda }^k,z\rangle }$ for which $\left(\right|{\lambda }^k{|/\mathrm{e})}^{|{\lambda }^k|}k!\left|a_k\right|$ is bounded. Then $F$ is proved to be a commutative Banach algebra with identity and it fails to become a division algebra. $F$ is also proved to be a total set. Conditions for the existence of inverse, topological zero divisor and continuous linear functional for any element belonging to $F$ have also been established.

We explicitly construct a particular real form of the Lie algebra ${𝔢}_7$ in terms of symplectic matrices over the octonions, thus justifying the identifications ${𝔢}_7\cong \mathrm{𝔰𝔭}(6,𝕆)$ and, at the group level, $E_7\cong \text{Sp}(6,𝕆)$. Along the way, we provide a geometric description of the minimal representation of ${𝔢}_7$ in terms of rank 3 objects called cubies.

Cayley-Dickson construction produces a sequence of normed algebras over real numbers. Its consequent applications result in complex numbers, quaternions, octonions, etc. In this paper we formalize the construction and prove its basic properties.

Let $D$ be a division ring finite dimensional over its center $F$. The goal of this paper is to prove that for any positive integer $n$ there exists $a\in D^{\left(n\right)},$ the $n$th multiplicative derived subgroup such that $F\left(a\right)$ is a maximal subfield of $D$. We also show that a single depth-$n$ iterated additive commutator would generate a maximal subfield of $D.$

Given a euclidean vector space V = (V,〈〉) and a linear map η: V ∧ V → V, the anti-commutative algebra (V,η) is called dissident in case η(v ∧ w) ∉ ℝv ⊕ ℝw for each pair of non-proportional vectors (v,w) ∈ $V^2$. For any dissident algebra (V,η) and any linear form ξ: V ∧ V → ℝ, the vector space ℝ × V, endowed with the multiplication (α,v)(β,w) = (αβ -〈v,w〉+ ξ(v ∧ w), αw + βv + η(v ∧ w)), is a quadratic division algebra. Up to isomorphism, each real quadratic division algebra arises in this way. Vector...

Our article contributes to the classification of dissident maps on ℝ ⁷, which in turn contributes to the classification of 8-dimensional real division algebras. We study two large classes of dissident maps on ℝ ⁷. The first class is formed by all composed dissident maps, obtained from a vector product on ℝ ⁷ by composition with a definite endomorphism. The second class is formed by all doubled dissident maps, obtained as the purely imaginary parts of the structures of those 8-dimensional...

We generalize Knuth’s construction of Case I semifields quadratic over a weak nucleus, also known as generalized Dickson semifields, by doubling of central simple algebras. We thus obtain division algebras of dimension $2s^2$ by doubling central division algebras of degree $s$. Results on isomorphisms and automorphisms of these algebras are obtained in certain cases.

By a rotation in a Euclidean space V of even dimension we mean an orthogonal linear operator on V which is an orthogonal direct sum of rotations in 2-dimensional linear subspaces of V by a common angle α ∈ [0,π]. We present a criterion for the existence of a 2-dimensional subspace of V which is invariant under a given pair of rotations, in terms of the vanishing of a determinant associated with that pair. This criterion is constructive, whenever it is satisfied. It is also used to prove that every...

This is a study of morphisms in the category of finite-dimensional absolute valued algebras whose codomains have dimension four. We begin by citing and transferring a classification of an equivalent category. Thereafter, we give a complete description of morphisms from one-dimensional algebras, partly via solutions of real polynomials, and a complete, explicit description of morphisms from two-dimensional algebras. We then give an account of the reducibility of the morphisms, and for the morphisms...