Page 1 Next

Displaying 1 – 20 of 42

Showing per page

A general approach to finite-dimensional division algebras

Ernst Dieterich (2012)

Colloquium Mathematicae

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...

A symplectic representation of E 7

Tevian Dray, Corinne A. Manogue, Robert A. Wilson (2014)

Commentationes Mathematicae Universitatis Carolinae

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 𝔰𝔭 ( 6 , 𝕆 ) and, at the group level, E 7 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

Artur Korniłowicz (2012)

Formalized Mathematics

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.

Dissident algebras

Ernst Dieterich (1999)

Colloquium Mathematicae

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...

Dissident maps on the seven-dimensional Euclidean space

Ernst Dieterich, Lars Lindberg (2003)

Colloquium Mathematicae

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...

Existence and construction of two-dimensional invariant subspaces for pairs of rotations

Ernst Dieterich (2009)

Colloquium Mathematicae

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...

Morphisms in the category of finite-dimensional absolute valued algebras

Seidon Alsaody (2011)

Colloquium Mathematicae

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...

Octonion multiplication and Heawood’s map

Bruno Sévennec (2013)

Confluentes Mathematici

In this note, the octonion multiplication table is recovered from a regular tesselation of the equilateral two timensional torus by seven hexagons, also known as Heawood’s map.

Octonionic Cayley spinors and E 6

Tevian Dray, Corinne A. Manogue (2010)

Commentationes Mathematicae Universitatis Carolinae

Attempts to extend our previous work using the octonions to describe fundamental particles lead naturally to the consideration of a particular real, noncompact form of the exceptional Lie group E 6 , and of its subgroups. We are therefore led to a description of E 6 in terms of 3 × 3 octonionic matrices, generalizing previous results in the 2 × 2 case. Our treatment naturally includes a description of several important subgroups of E 6 , notably G 2 , F 4 , and (the double cover of) S O ( 9 , 1 ) . An interpretation of the actions...

On free subgroups of units in quaternion algebras

Jan Krempa (2001)

Colloquium Mathematicae

It is well known that for the ring H(ℤ) of integral quaternions the unit group U(H(ℤ) is finite. On the other hand, for the rational quaternion algebra H(ℚ), its unit group is infinite and even contains a nontrivial free subgroup. In this note (see Theorem 1.5 and Corollary 2.6) we find all intermediate rings ℤ ⊂ A ⊆ ℚ such that the group of units U(H(A)) of quaternions over A contains a nontrivial free subgroup. In each case we indicate such a subgroup explicitly. We do our best to keep the arguments...

On free subgroups of units in quaternion algebras II

Jan Krempa (2003)

Colloquium Mathematicae

Let A ⊆ ℚ be any subring. We extend our earlier results on unit groups of the standard quaternion algebra H(A) to units of certain rings of generalized quaternions H(A,a,b) = ((-a,-b)/A), where a,b ∈ A. Next we show that there is an algebra embedding of the ring H(A,a,b) into the algebra of standard Cayley numbers over A. Using this embedding we answer a question asked in the first part of this paper.

Currently displaying 1 – 20 of 42

Page 1 Next