Nonassociative cyclic algebras

Nonassociative division algebras have been recently proposed as an alternative way to design fully-diverse space-time codes. In particular, nonassociative cyclic algebras provide division algebras more easily than their associative counter-part. In this paper, we propose a few space-time code constructions coming from both associative and nonassociative cyclic algebras of degree 4, suitable for 4 transmit and 2 receive antennas, which furthermore exhibit good fast-decodability.

In this article, we explore new aspects in the classification of non-associative division algebras. By a detailed study of the representations of the Lie group of autotopies of real division algebras we show that, if the group of autotopies has a sufficiently rich structure, then the algebra is isotopic to one of the classical real division algebras. This turns out to be the case for large classes of real division algebras, including many that are defined by identities. In several cases, a classification up to isomorphism can be worked out from this information.

We look at classes of semiassociative algebras, with an emphasis on those that canonically generalize associative (generalized) cyclic algebras, and at their behaviour in the semiassociative Brauer monoid defined by Blachar, Haile, Matzri, Rein, and Vishne. A possible way to generalize this monoid in characteristic p that includes nonassociative differential algebras is briefly considered.

Introduction. Let G1 and G be connected semisimple algebraic groups defined over a field K of characteristic zero and assume that there is an isomorphism f of G1 onto G which is defined over R, the algebraic closure of K. If p: G -? GL(V) is an absolutely irreducible (finite-dimensional) representation of G defined over K, then p of is an absolutely irreducible representation of G1 defined over K. Satake [7, p. 230] has shown that there is a field K1 which is a finite extension of K, a (unique) central simple division algebra K# defined over K1, a finite-dimensional right vector space V1 over K#, and a K1-homomorphism pi: G1 -GL(V1/K#) (the group of all nonsingular K#-linear endomorphisms of V1) such that (p of)(g) = 01(p1(g)) for all g E G1 where 01 is a unique absolutely irreducible representation of End (V1/K#) (the algebra of all K#-linear endomorphisms of V1) onto End (V). In this paper we are interested in the case where K= K1 and where there are invariant forms on V and V1. More precisely, we state the following two problems. PROBLEM 1. Assume that K#=K and that there are invariant bilinear forms B on V and B1 on V1 which are defined over K. What is the relationship between these two forms over K? Of course, if B is alternating, so is B1 and both are determined by dim V=dim V1. Hence, we shall always take B and B1 to be symmetric. PROBLEM 2. Assume that K# is a nontrivial division algebra over K (i.e., K# AK) and that there is an invariant bilinear form B on V and an invariant ?hermitian form F (c = + 1 or 1) on V1 both of which are defined over K. What is the relationship between these two forms over K? We are especially interested in the case K= Q,, a p-adic field. (In a future paper, we shall discuss the case K=R.) Here, some simplifications are immediately available. In Problem 2, it can be shown [7, p. 232] that K# has an involution of the first kind; but over Q,, it is known that the only such division algebra is the quaternion division algebra. Furthermore, it is known that a hermitian form on a finite-dimensional vector space over a quaternion division algebra defined over Q, is determined only by the dimension of the vector space. Therefore, in Problem 2 we shall always take F to be skew-hermitian; in the case where K# is a quaterion division algebra, this means that the form B is symmetric [7, p. 233]. If W is a vector space defined over K and if S is a symmetric form on W which is also defined over K, then three invariants can be associated with the pair (W, S),

Let K/k be a separable field extension of degree 2, D be a finite-dimensional central division algebra over K with a K/k-involution τ, h be an Hermitian anisotropic form on a right D-vector space with respect to τ, and let U(h) be the unitary group of h. Then the reduced Whitehead group of its special linear subgroup is defined as follows: $$ \mathrm{SUK}_1^{\mathrm{an}}(h)={{{\mathrm{SU}(h)}} \left/ {{\left[ {U(h),U(h)} \right]}} \right.} $$ , where [U(h), U(h)] is the commutator subgroup of U(h). The first main result establishes a link between the above group and its analog SUK1(h) for the case of isotropic h (with respect to the same τ). Theorem. There exists a surjective homomorphism from $$ \mathrm{SUK}_1^{\mathrm{an}}(h) $$ to SUK1(h). Furthermore, we also give a solution of the conjugacy problem for special unitary subgroups of anisotropic Hermitian forms over quaternion division algebras as subgroups of their multiplicative groups. Bibliography: 32 titles.

A nonassociative algebra endowed with a Lie bracket, called a torsion algebra, is viewed as an algebraic analog of a manifold with an affine connection. Its elements are interpreted as vector fields and its multiplication is interpreted as a connection. This provides a framework for differential geometry on a formal manifold with a formal connection. A torsion algebra is a natural generalization of pre‐Lie algebras which appear as the “torsionless” case. The starting point is the observation that the associator of a nonassociative algebra is essentially the curvature of the corresponding Hochschild quasicomplex. It is a cocycle, and the corresponding equation is interpreted as Bianchi identity. The curvature‐associator‐monoidal structure relationships are discussed. Conditions on torsion algebras allowing to construct an algebra of functions, whose algebra of derivations is the initial Lie algebra, are considered. The main example of a torsion algebra is provided by the pre‐Lie algebra of Hochschild cochains of a K‐module, with Lie bracket induced by Gerstenhaber composition.

Color algebras and affine connections on S6

Theorem. If a tensor product of a division algebra D D with a quaternion algebra Q Q is not a division algebra, then either D D and Q Q possess a common quadratic subfield or D D contains a splitting field of Q Q not quadratic over the base field. The above theorem generalizes a recently published result of Albert’s. Theorem. If the tensor product of two division algebras over a local or a global field K K is not a division algebra, then they contain a common extension field of K K .

In this paper we study the problem of quantizing theories defined over a nonclassical configuration space. If one follows the path-integral approach, the first problem one is faced with is the one of definition of the integral over such spaces. We consider this problem and we show how to define an integration which respects the physical principle of composition of the probability amplitudes for a very large class of algebras. 1 Introduction and

Powers of elements in A(+ agree with their powers in A. Thus the powerassociativity of A implies the power-associativity of AW. This paper is chiefly concerned with the class of nonassociative algebras satisfying (1) and having At+ a separable Jordan algebra. We shall denote this class by the letters SJ. Suppose that G is a nonassociative algebra over a field F of characteristic not 2 and G contains a subspace S closed under the operation (x, y) defined by (2). The set of all finite linear combinations of elements in G of the form xy -yx for x and y in S form a subspace U(S) of G. If T is any linear mapping on U(S) into S we call the mapping T a bonding mapping of G [2](2). Every bonding mapping determines an algebra B (G, S, T) which is the same vector space as S and is defined by the product

ABSTRACTLet σ be an automorphism of a field K with fixed field F. We study the automorphisms of nonassociative unital algebras which are canonical generalizations of the associative quotient algebras K[t;σ]∕fK[t;σ] obtained when the twisted polynomial f∈K[t;σ] is invariant, and were first defined by Petit. We compute all their automorphisms if σ commutes with all automorphisms in AutF(K) and n≥m−1, where n is the order of σ and m the degree of f, and obtain partial results for n<m−1. In the case where K∕F is a finite Galois field extension, we obtain more detailed information on the structure of the automorphism groups of these nonassociative unital algebras over F. We also briefly investigate when two such algebras are isomorphic.

In 1991, Nisan proved an exponential lower bound on the size of an algebraic branching program (ABP) that computes the determinant of a matrix in the noncommutative “free algebra” setting, in which there are no nontrivial relationships between the matrix entries. By contrast, when the matrix entries commute there are polynomial size ABPs for the determinant. This paper extends Nisan’s result to a much wider class of noncommutative algebras, including all nontrivial matrix algebras over any field of characteristic 0, group algebras of all nonabelian finite groups over algebraically closed fields of characteristic 0, the quaternion algebra, and the Clifford algebras. As a result, we obtain more compelling evidence for the essential role played by commutativity in the efficient computation of the determinant. The key to our approach is a characterization of noncommutative algebras by means of the polynomial identities that they satisfy. Extending Nisan’s lower bound framework, we find that any reduction in complexity compared to the free algebra must arise from the ability of the identities to reduce the rank of certain naturally associated matrices. Using results from the theory of algebras with polynomial identities, we are able to show that none of the identities of the above classes of algebras is able to achieve such a rank reduction.

Brauer classes of a global field can be represented by cyclic algebras. Effective constructions of such algebras and a maximal order therein are given for$\mathbb{F}_{q}(t)$, excluding cases of wild ramification. As part of the construction, we also obtain a new description of subfields of cyclotomic function fields.

This chapter investigates the consequences of the assumption that one Moufang set is weakly isomorphic to another. It first introduces some well-known facts about involutions which are assembled in a few lemmas, including those dealing with an involutory set, a biquaternion division algebra, and a quaternion division algebra with a standard involution. It then presents a notation for a non-trivial anisotropic quadratic space and another for an involutory set are presented, along with assumptions for a pointed anisotropic quadratic space and the standard involution of a quaternion. It also makes a number of propositions regarding the standard involution of a quaternion and a biquaternion. Results about weak isomorphisms between Moufang sets arising from involutory sets are given.

Gonosomal algebras and associated discrete-time dynamical systems