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.

Invariance conditions on substructures of division rings

2016 ◽  
Vol 15 (04) ◽  
pp. 1650058 ◽  
Author(s):  
M. Aaghabali ◽  
M. Amiri ◽  
M. Ariannejad ◽  
A. Madadi
Keyword(s):  
Division Ring ◽  
Lie Ideal ◽  
Basic Theorem ◽  
Division Rings ◽  
Nontrivial Automorphism ◽  
Main Notion ◽  
Division Ring With Involution

Cartan–Brauer–Hua Theorem is a well-known theorem which states that if [Formula: see text] is a subdivision ring of a division ring [Formula: see text] which is invariant under all elements of [Formula: see text] or [Formula: see text] for all [Formula: see text], then either [Formula: see text] or [Formula: see text] is contained in the center of [Formula: see text]. The invariance idea of this basic theorem is the main notion of this paper. We prove that if [Formula: see text] is a division ring with involution [Formula: see text] and [Formula: see text] is a subspace of [Formula: see text] which is invariant under all symmetric elements of [Formula: see text], then either [Formula: see text] is contained in the center of [Formula: see text] or is a Lie ideal of [Formula: see text]. Also, we show that if [Formula: see text] is a self-invariant subfield of a non-commutative division ring [Formula: see text] with a nontrivial automorphism, then [Formula: see text] contains at least one non-central proper subfield of [Formula: see text].

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.

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(𝔻).

Derivations on a Lie Ideal

1988 ◽  
Vol 31 (3) ◽  
pp. 280-286 ◽  
Author(s):  
Silvana Mauceri ◽  
Paola Misso
Keyword(s):  
Prime Ring ◽  
Division Ring ◽  
Lie Ideal ◽  
Inner Derivation

AbstractIn this paper we prove the following result: let R be a prime ring with no non-zero nil left ideals whose characteristic is different from 2 and let U be a non central Lie ideal of R.If d ≠ 0 is a derivation of R such that d(u) is invertible or nilpotent for all u ∈ U, then either R is a division ring or R is the 2 X 2 matrices over a division ring. Moreover in the last case if the division ring is non commutative, then d is an inner derivation of R.

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.

scholarly journals Some notes on Lie ideals in division rings

2018 ◽  
Vol 17 (03) ◽  
pp. 1850049
Author(s):  
M. Aaghabali ◽  
M. Ariannejad ◽  
A. Madadi
Keyword(s):  
Division Ring ◽  
Commutator Subgroup ◽  
Product Formula ◽  
Main Concern ◽  
Normal Subgroups ◽  
Lie Ideal ◽  
Additive Subgroup ◽  
Finitely Generated ◽  
Finite Dimensional ◽  
Lie Product Formula

A Lie ideal of a division ring [Formula: see text] is an additive subgroup [Formula: see text] of [Formula: see text] such that the Lie product [Formula: see text] of any two elements [Formula: see text] is in [Formula: see text] or [Formula: see text]. The main concern of this paper is to present some properties of Lie ideals of [Formula: see text] which may be interpreted as being dual to known properties of normal subgroups of [Formula: see text]. In particular, we prove that if [Formula: see text] is a finite-dimensional division algebra with center [Formula: see text] and [Formula: see text], then any finitely generated [Formula: see text]-module Lie ideal of [Formula: see text] is central. We also show that the additive commutator subgroup [Formula: see text] of [Formula: see text] is not a finitely generated [Formula: see text]-module. Some other results about maximal additive subgroups of [Formula: see text] and [Formula: see text] are also presented.

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

Sign in / Sign up

Export Citation Format

Share Document