scholarly journals A note on multiplicative commutators of division rings

2019 ◽  
Vol 18 (02) ◽  
pp. 1950031
Author(s):  
Roozbeh Hazrat
Keyword(s):  
Vector Space ◽  
Division Ring ◽  
Commutator Subgroup ◽  
Division Rings

We give an example of a division ring [Formula: see text] whose multiplicative commutator subgroup does not generate [Formula: see text] as a vector space over its center, thus disproving the conjecture posed in [M. Aghabali, S. Akbari, M. Ariannejad and A. Madadi, Vector space generated by the multiplicative commutators of a division ring, J. Algebra Appl. 12(8) (2013) 7 pp.].

scholarly journals On subgroups in division rings of type 2

2012 ◽  
Vol 49 (4) ◽  
pp. 549-557
Author(s):  
Bui Hai ◽  
Trinh Deo ◽  
Mai Bien
Keyword(s):  
Vector Space ◽  
Division Ring ◽  
Dimensional Vector ◽  
Dimensional Vector Space ◽  
Division Rings ◽  
Finite Dimensional Vector Space ◽  
Finite Dimensional ◽  
Multiplicative Subgroups

Let D be a division ring with center F. We say that D is a division ring of type 2 if for every two elements x, y ∈ D, the division subring F(x, y) is a finite dimensional vector space over F. In this paper we investigate multiplicative subgroups in such a ring.

scholarly journals LINEAR DIVISION RINGS

2009 ◽  
Vol 12 (17) ◽  
pp. 5-11
Author(s):  
Bien Hoang Mai ◽  
Hai Xuan Bui
Keyword(s):  
Vector Space ◽  
Division Ring ◽  
Finite Subset ◽  
Multiplicative Group ◽  
Dimensional Vector ◽  
Finitely Generated ◽  
Dimensional Vector Space ◽  
Division Rings ◽  
Finite Dimensional Vector Space ◽  
Finite Dimensional

Let D be a division ring with the center F and suppose that D* is the multiplicative group of D. D is called centrally finite if D is a finite dimensional vector space over F and D is locally centrally finite if every finite subset of D generates over F a division subring which is a finite dimensional vector space over F. We say that D is a linear division ring if every finite subset of D generates over Fa centrally finite division subring. It is obvious that every locally centrally finite division ring is linear. In this report we show that the inverse is not true by giving an example of a linear division ring which is not locally centrally finite. Further, we give some properties of subgroups in linear division rings. In particular, we show that every finitely generated subnormal subgroup in a linear ring is central. An interesting corollary is obtained as the following: If D is a linear division ring and D* is finitely generated, then D is a finite field.

Decompositions of Linear Transformations over Division Rings

2012 ◽  
Vol 19 (03) ◽  
pp. 459-464 ◽  
Author(s):  
Huanyin Chen
Keyword(s):  
Vector Space ◽  
Division Ring ◽  
Linear Transformations ◽  
Division Rings

Let V be a countably generated right vector space over a division ring D. If |D| ≠ 2,3, then for any γ ∈ End D(V), there exist α, β ∈ Aut D(V) such that γ-α, γ-α-1, γ2-β2 ∈ Aut D(V).

Groups definable in ordered vector spaces over ordered division rings

2007 ◽  
Vol 72 (4) ◽  
pp. 1108-1140 ◽  
Author(s):  
Pantelis E. Eleftheriou ◽  
Sergei Starchenko
Keyword(s):  
Fundamental Group ◽  
Vector Space ◽  
Division Ring ◽  
Quotient Group ◽  
Vector Spaces ◽  
Division Rings ◽  
Ordered Vector Space ◽  
Dimensional Group ◽  
Ordered Vector Spaces

AbstractLet M = 〈M, +, <, 0, {λ}λЄD〉 be an ordered vector space over an ordered division ring D, and G = 〈G, ⊕, eG〉 an n-dimensional group definable in M. We show that if G is definably compact and definably connected with respect to the t-topology, then it is definably isomorphic to a ‘definable quotient group’ U/L, for some convex V-definable subgroup U of 〈Mn, +〉 and a lattice L of rank n. As two consequences, we derive Pillay's conjecture for a saturated M as above and we show that the o-minimal fundamental group of G is isomorphic to L.

scholarly journals Free division rings of fractions of crossed products of groups with Conradian left-orders

2020 ◽  
Vol 32 (3) ◽  
pp. 739-772
Author(s):  
Joachim Gräter
Keyword(s):  
Vector Space ◽  
Endomorphism Ring ◽  
Division Ring ◽  
Skew Field ◽  
Division Rings ◽  
Products Of Groups ◽  
Ring Of Fractions ◽  
Left Order ◽  
The Right ◽  
Formal Power

AbstractLet D be a division ring of fractions of a crossed product {F[G,\eta,\alpha]}, where F is a skew field and G is a group with Conradian left-order {\leq}. For D we introduce the notion of freeness with respect to {\leq} and show that D is free in this sense if and only if D can canonically be embedded into the endomorphism ring of the right F-vector space {F((G))} of all formal power series in G over F with respect to {\leq}. From this we obtain that all division rings of fractions of {F[G,\eta,\alpha]} which are free with respect to at least one Conradian left-order of G are isomorphic and that they are free with respect to any Conradian left-order of G. Moreover, {F[G,\eta,\alpha]} possesses a division ring of fraction which is free in this sense if and only if the rational closure of {F[G,\eta,\alpha]} in the endomorphism ring of the corresponding right F-vector space {F((G))} is a skew field.

Subnormal Subgroups of Division Rings

1963 ◽  
Vol 15 ◽  
pp. 80-83 ◽  
Author(s):  
I. N. Herstein ◽  
W. R. Scott
Keyword(s):  
Normal Subgroup ◽  
Division Ring ◽  
Multiplicative Group ◽  
Finite Sequence ◽  
Division Rings ◽  
Subnormal Subgroups

Let K be a division ring. A subgroup H of the multiplicative group K′ of K is subnormal if there is a finite sequence (H = A0, A1, . . . , An = K′) of subgroups of K′ such that each Ai is a normal subgroup of Ai+1. It is known (2, 3) that if H is a subdivision ring of K such that H′ is subnormal in K′, then either H = K or H is in the centre Z(K) of K.

Derivations with Invertible Values on a Lie Ideal

1988 ◽  
Vol 31 (1) ◽  
pp. 103-110 ◽  
Author(s):  
Jeffrey Bergen ◽  
L. Carini
Keyword(s):  
Division Ring ◽  
Unit Element ◽  
Lie Ideal ◽  
Division Rings

AbstractLet R be a ring which possesses a unit element, a Lie ideal U ⊄ Z, and a derivation d such that d(U) ≠ 0 and d(u) is 0 or invertible, for all u ∈ U. We prove that R must be either a division ring D or D2, the 2 X 2 matrices over a division ring unless d is not inner, R is not semiprime, and either 2R or 3R is 0. We also examine for which division rings D, D2 can possess such a derivation and study when this derivation must be inner.

Open questions concerning antiautomorphisms of division rings with quasi-generalized Engel conditions

2019 ◽  
Vol 18 (09) ◽  
pp. 1950167 ◽  
Author(s):  
M. Chacron ◽  
T.-K. Lee
Keyword(s):  
Finite Order ◽  
Division Ring ◽  
Affirmative Answer ◽  
Major Result ◽  
Division Rings ◽  
Open Questions ◽  
Engel Condition ◽  
Open Question ◽  
Positive Integers

Let [Formula: see text] be a noncommutative division ring with center [Formula: see text], which is algebraic, that is, [Formula: see text] is an algebraic algebra over the field [Formula: see text]. Let [Formula: see text] be an antiautomorphism of [Formula: see text] such that (i) [Formula: see text], all [Formula: see text], where [Formula: see text] and [Formula: see text] are positive integers depending on [Formula: see text]. If, further, [Formula: see text] has finite order, it was shown in [M. Chacron, Antiautomorphisms with quasi-generalised Engel condition, J. Algebra Appl. 17(8) (2018) 1850145 (19 pages)] that [Formula: see text] is commuting, that is, [Formula: see text], all [Formula: see text]. Posed in [M. Chacron, Antiautomorphisms with quasi-generalised Engel condition, J. Algebra Appl. 17(8) (2018) 1850145 (19 pages)] is the question which asks as to whether the finite order requirement on [Formula: see text] can be dropped. We provide here an affirmative answer to the question. The second major result of this paper is concerned with a nonnecessarily algebraic division ring [Formula: see text] with an antiautomorphism [Formula: see text] satisfying the stronger condition (ii) [Formula: see text], all [Formula: see text], where [Formula: see text] and [Formula: see text] are fixed positive integers. It was shown in [T.-K. Lee, Anti-automorphisms satisfying an Engel condition, Comm. Algebra 45(9) (2017) 4030–4036] that if, further, [Formula: see text] has finite order then [Formula: see text] is commuting. We show here, that again the finite order assumption on [Formula: see text] can be lifted answering thus in the affirmative the open question (see Question 2.11 in [T.-K. Lee, Anti-automorphisms satisfying an Engel condition, Comm. Algebra 45(9) (2017) 4030–4036]).

Homomorphisms of Matrix Semigroups over Division Rings from Dimension Two to Three

2011 ◽  
Vol 18 (03) ◽  
pp. 437-446
Author(s):  
Gregor Dolinar ◽  
Janko Marovt
Keyword(s):  
Division Ring ◽  
Multiplicative Semigroup ◽  
Division Rings ◽  
Matrix Semigroups

Let 𝔻 be an arbitrary division ring and Mn(𝔻) the multiplicative semigroup of all n × n matrices over 𝔻. We describe the general form of non-degenerate homomorphisms from M2(𝔻) to M3(𝔻).

scholarly journals Classical groups over division rings of characteristic two

1972 ◽  
Vol 7 (2) ◽  
pp. 191-226 ◽  
Author(s):  
William M. Pender ◽  
G.E. Wall
Keyword(s):  
Normal Subgroup ◽  
Quadratic Form ◽  
Division Ring ◽  
Quadratic Forms ◽  
Factor Group ◽  
Classical Groups ◽  
Isometry Groups ◽  
Division Rings ◽  
Characteristic Two

The notion of quadratic form over a field of characteristic two is extended to an arbitrary division ring of characteristic two with an involution of the first kind. The resulting isometry groups are shown to have a simple normal subgroup and the structure of the factor group is calculated. It is indicated how one may define and analyse all the classical groups in a unified manner by means of quadratic forms.

Sign in / Sign up

Export Citation Format

Share Document