On Asano’s theorem

2019 ◽  
Vol 18 (10) ◽  
pp. 1950181
Author(s):  
Münevver Pınar Eroǧlu ◽  
Tsiu-Kwen Lee ◽  
Jheng-Huei Lin

Let [Formula: see text] be a division algebra over an infinite field [Formula: see text] such that every element of [Formula: see text] is a sum of finitely many algebraic elements. As a generalization of Asano’s theorem, it is proved that every noncentral subspace of [Formula: see text] invariant under all inner automorphisms induced by algebraic elements contains [Formula: see text], the additive subgroup of [Formula: see text] generated by all additive commutators of [Formula: see text]. From the viewpoint we study the existence of normal bases of certain subspaces of division algebras. It is proved among other things that [Formula: see text] is generated by multiplicative commutators as a vector space over the center of [Formula: see text].

Author(s):  
Bernhard M¨uhlherr ◽  
Holger P. Petersson ◽  
Richard M. Weiss

This chapter proves that Bruhat-Tits buildings exist. It begins with a few definitions and simple observations about quadratic forms, including a 1-fold Pfister form, followed by a discussion of the existence part of the Structure Theorem for complete discretely valued fields due to H. Hasse and F. K. Schmidt. It then considers the generic unramified cases; the generic semi-ramified cases, the generic ramified cases, the wild unramified cases, the wild semi-ramified cases, and the wild ramified cases. These cases range from a unique unramified quadratic space to an unramified separable quadratic extension, a tamely ramified division algebra, a ramified separable quadratic extension, and a unique unramified quaternion division algebra. The chapter also describes ramified quaternion division algebras D₁, D₂, and D₃ over K containing a common subfield E such that E/K is a ramified separable extension.


2017 ◽  
Vol 9 (2) ◽  
pp. 95
Author(s):  
Andre S. Diabang ◽  
Alassane Diouf ◽  
Mankagna A. Diompy ◽  
Alhousseynou Ba

In this paper, we study partially the automorphisms groups of four-dimensional division algebra. We have proved that there is an equivalence between Der(A)=su(2) and Aut(A)=SO(3). For an unitary four-dimensional real division algebra, there is an equivalence between dim(Der(A))=1 and Aut(A)=SO(2).


1978 ◽  
Vol 30 (01) ◽  
pp. 161-163 ◽  
Author(s):  
Gary R. Greenfield

Let D be a division algebra and let D* denote the multiplicative group of nonzero elements of D. In [3] Herstein and Scott asked whether any subnormal subgroup of D* must be normal in D*. Our purpose here is to show that division algebras over certain p-local fields do not satisfy such a “subnormal property”.


Author(s):  
Bart De Bruyn ◽  
Hendrik Van Maldeghem

AbstractSuppose 𝕆 is an alternative division algebra that is quadratic over some subfield 𝕂 of its center


2012 ◽  
Vol 11 (03) ◽  
pp. 1250052 ◽  
Author(s):  
CÉCILE COYETTE

The first section of this paper yields a sufficient condition for a Mal'cev–Neumann ring of formal series to be a noncrossed product division algebra. This result is used in Sec. 2 to give an elementary proof of the existence of noncrossed product division algebras (of degree 8 or degree p2 for p any odd prime). The arguments are based on those of Hanke in [A direct approach to noncrossed product division algebras, thesis dissertation, Postdam (2001), An explicit example of a noncrossed product division algebra, Math. Nachr.251 (2004) 51–68, A twisted Laurent series ring that is a noncrossed product, Israel. J. Math.150 (2005) 199–2003].


2018 ◽  
Vol 30 (2) ◽  
pp. 385-395
Author(s):  
Mehran Motiee

AbstractLetDbe a division algebra over its centerFof degreen. Consider the group{\mu_{Z}(D)=\mu_{n}(F)/Z(D^{\prime})}, where{\mu_{n}(F)}is the group of all then-th roots of unity in{F^{*}}, and{Z(D^{\prime})}is the center of the commutator subgroup of the group of units{D^{*}}ofD. It is shown that if{\mu_{Z}(D\otimes_{F}L)\neq 1}for someLcontaining all the primitive{n^{k}}-th roots of unity for all positive integersk, thenDis not split by any cyclic extension ofF. This criterion is employed to prove that some special classes of division algebras are not cyclically split.


2005 ◽  
Vol 2005 (4) ◽  
pp. 571-577 ◽  
Author(s):  
Karim Mounirh

This paper deals with the structure of nicely semiramified valued division algebras. We prove that any defectless finite-dimensional central division algebra over a Henselian fieldEwith an inertial maximal subfield and a totally ramified maximal subfield (not necessarily of radical type) (resp., split by inertial and totally ramified field extensions ofE) is nicely semiramified.


Author(s):  
Marina Tvalavadze ◽  
Noureddine Motya ◽  
Abdellatif Rochdi

We introduce two groups of duplication processes that extend the well known Cayley–Dickson process. The first one allows to embed every [Formula: see text]-dimensional (4D) real unital algebra [Formula: see text] into an 8D real unital algebra denoted by [Formula: see text] We also find the conditions on [Formula: see text] under which [Formula: see text] is a division algebra. This covers the most classes of known [Formula: see text]D real division algebras. The second process allows us to embed particular classes of [Formula: see text]D RDAs into [Formula: see text]D RDAs. Besides, both duplication processes give an infinite family of non-isomorphic [Formula: see text]D real division algebras whose derivation algebras contain [Formula: see text]


1995 ◽  
Vol 118 (2) ◽  
pp. 215-221
Author(s):  
A. I. Lichtman

Let K be an arbitrary field, G a polycyclic-by-finite group and A a prime ideal of the group ring KG. It is well known that the quotient ring (KG)/A is a Goldie ring; we denote by R its ring of fractions. Let U be a subgroup of units of the matrix ring Rn×n let K[U] be the linear envelope of U and let rad (K[U]) be the nilpotent radical of K [U].


1993 ◽  
Vol 45 (2) ◽  
pp. 357-368 ◽  
Author(s):  
Ming–Huat Lim

AbstractLet U be a finite dimensional vector space over an infinite field F. Let U(r) denote the r–th symmetric product space over U. Let T: U(r) → U(s) be a linear transformation which sends nonzero decomposable elements to nonzero decomposable elements. Let dim U ≥ s + 1. Then we obtain the structure of T for the following cases: (I) F is algebraically closed, (II) F is the real field, and (III) T is injective.


Sign in / Sign up

Export Citation Format

Share Document