Antiautomorphisms with quasi-generalized Engel condition

2018 ◽  
Vol 17 (08) ◽  
pp. 1850145 ◽  
Author(s):  
M. Chacron
Keyword(s):  
Finite Order ◽  
Prime Ring ◽  
Division Ring ◽  
Idempotent Element ◽  
General Question ◽  
Engel Condition ◽  
Positive Integers

Let [Formula: see text] be a ring with 1. Given elements [Formula: see text], [Formula: see text] of [Formula: see text] and the integer [Formula: see text] define [Formula: see text] and [Formula: see text]. We say that a given antiautomorphism [Formula: see text] of [Formula: see text] is commuting if [Formula: see text], all [Formula: see text]. More generally, assume that [Formula: see text] satisfies the condition [Formula: see text] where [Formula: see text], [Formula: see text] are corresponding positive integers depending on [Formula: see text], and [Formula: see text] ranges over [Formula: see text]. To what extent can one say that [Formula: see text] is commuting? In this paper, we answer the question in the affirmative if R is a prime ring containing some idempotent element [Formula: see text]. In the diametrically opposed case in which [Formula: see text] is a division ring the answer is again yes provided [Formula: see text] is algebraic over its center and [Formula: see text] is of finite order. These two major complementary results will be put to work to provide an answer to the general question.

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

AN ENGEL CONDITION WITH AUTOMORPHISMS FOR LEFT IDEALS

2013 ◽  
Vol 13 (02) ◽  
pp. 1350092 ◽  
Author(s):  
CHENG-KAI LIU
Keyword(s):  
Left Ideal ◽  
Prime Ring ◽  
Von Neumann Algebras ◽  
Von Neumann ◽  
Identity Automorphism ◽  
Semiprime Rings ◽  
Engel Condition ◽  
Positive Integers

Let R be a prime ring and L a nonzero left ideal of R. For x, y ∈ R, we denote [x, y] = xy-yx the commutator of x and y. In this paper, we prove that if R admits a non-identity automorphism σ such that [[…[[σ(xn0), xn1], xn2], …], xnk] = 0 for all x ∈ L, where n0, n1, n2, …, nk are fixed positive integers, then R is commutative. The analogous results for semiprime rings and von Neumann algebras are also obtained.

A note on an Engel condition with derivations in rings

2017 ◽  
Vol 26 (1) ◽  
pp. 19-27
Author(s):  
Mohd Arif Raza ◽  
◽  
Nadeem Rehman ur ◽  
Keyword(s):  
Prime Ring ◽  
Semiprime Ring ◽  
Extended Centroid ◽  
Engel Condition ◽  
Positive Integers

Let $R$ be a prime ring with center $Z(R)$, $C$ the extended centroid of $R$, $d$ a derivation of $R$ and $n,k$ be two fixed positive integers. In the present paper we investigate the behavior of a prime ring $R$ satisfying any one of the properties (i)~$d([x,y]_k)^n=[x,y]_k$ (ii) if $char(R)\neq 2$, $d([x,y]_k)-[x,y]_k\in Z(R)$ for all $x,y$ in some appropriate subset of $R$. Moreover, we also examine the case when $R$ is a semiprime ring

An Engel condition with b-generalized derivations for Lie ideals

2018 ◽  
Vol 17 (03) ◽  
pp. 1850046 ◽  
Author(s):  
Pao-Kuei Liau ◽  
Cheng-Kai Liu
Keyword(s):  
Prime Ring ◽  
Analogous Result ◽  
Matrix Ring ◽  
Generalized Derivation ◽  
Lie Ideal ◽  
Extended Centroid ◽  
Generalized Derivations ◽  
Engel Condition ◽  
Positive Integers

Let [Formula: see text] be a prime ring with the extended centroid [Formula: see text], [Formula: see text] a noncommutative Lie ideal of [Formula: see text] and [Formula: see text] a nonzero [Formula: see text]-generalized derivation of [Formula: see text]. For [Formula: see text], let [Formula: see text]. We prove that if [Formula: see text] for all [Formula: see text], where [Formula: see text] are fixed positive integers, then there exists [Formula: see text] such that [Formula: see text] for all [Formula: see text] except when [Formula: see text], the [Formula: see text] matrix ring over a field [Formula: see text]. The analogous result for generalized skew derivations is also described. Our theorems naturally generalize the cases of derivations and skew derivations obtained by Lanski in [C. Lanski, An Engel condition with derivation, Proc. Amer. Math. Soc. 118 (1993), 75–80, Skew derivations and Engel conditions, Comm. Algebra 42 (2014), 139–152.]

A Note on Differential Identities in Prime and Semiprime Rings

2020 ◽  
pp. 77-83
Author(s):  
Mohammad Shadab Khan ◽  
Mohd Arif Raza ◽  
Nadeemur Rehman
Keyword(s):  
Prime Ring ◽  
Semiprime Ring ◽  
Nonzero Ideal ◽  
Differential Identities ◽  
Standard Identity ◽  
Prime And Semiprime Rings ◽  
Semiprime Rings ◽  
Positive Integers

Let R be a prime ring, I a nonzero ideal of R, d a derivation of R and m, n fixed positive integers. (i) If (d ( r ○ s)(r ○ s) + ( r ○ s) d ( r ○ s)n - d ( r ○ s))m for all r, s ϵ I, then R is commutative. (ii) If (d ( r ○ s)( r ○ s) + ( r ○ s) d ( r ○ s)n - d (r ○ s))m ϵ Z(R) for all r, s ϵ I, then R satisfies s4, the standard identity in four variables. Moreover, we also examine the case when R is a semiprime ring.

scholarly journals Generalized derivations in prime and semiprime

2015 ◽  
Vol 34 (2) ◽  
pp. 29
Author(s):  
Shuliang Huang ◽  
Nadeem Ur Rehman
Keyword(s):  
Prime Ring ◽  
Semiprime Ring ◽  
Generalized Derivation ◽  
Nonzero Ideal ◽  
Generalized Derivations ◽  
Positive Integers

Let $R$ be a prime ring, $I$ a nonzero ideal of $R$ and $m, n$  fixed positive integers.  If $R$ admits a generalized derivation $F$ associated with a  nonzero derivation $d$ such that $(F([x,y])^{m}=[x,y]_{n}$ for  all $x,y\in I$, then $R$ is commutative. Moreover  we also examine the case when $R$ is a semiprime ring.

Extensions and applications of a tauberian theorem due to valiron

1951 ◽  
Vol 47 (1) ◽  
pp. 22-37 ◽  
Author(s):  
M. E. Noble
Keyword(s):  
Finite Order ◽  
Tauberian Theorem ◽  
Positive Integers

1. Introduction. In the course of an important memoir on integral functions of finite order†, G. Valiron discusses ‘fonctions orientées’, that is, functions with zeros an such that arg an tends to a limit as n → ∞. He obtains results that include the following two theorems, in which Vρ(x) denotes a function of the form , where α1, …, αν are positive integers, and n(r) has its usual significance in the theory of integral functions:.

Derivations with annihilator conditions on Lie ideals in prime rings

2019 ◽  
Vol 19 (02) ◽  
pp. 2050025 ◽  
Author(s):  
Shuliang Huang
Keyword(s):  
Prime Ring ◽  
Polynomial Identity ◽  
Lie Ideal ◽  
Prime Rings ◽  
Positive Integers

Let [Formula: see text] be a prime ring with characteristic different from two, [Formula: see text] a derivation of [Formula: see text], [Formula: see text] a noncentral Lie ideal of [Formula: see text], and [Formula: see text]. In the present paper, it is shown that if one of the following conditions holds: (i) [Formula: see text], (ii) [Formula: see text], (iii) [Formula: see text] and (iv) [Formula: see text] for all [Formula: see text], where [Formula: see text] are fixed positive integers, then [Formula: see text] unless [Formula: see text] satisfies [Formula: see text], the standard polynomial identity in four variables.

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 The Isomorphism of Certain Continuous Rings

1966 ◽  
Vol 18 ◽  
pp. 1333-1344 ◽  
Author(s):  
Brian P. Dawkins ◽  
Israel Halperin
Keyword(s):  
Finite Order ◽  
Division Ring ◽  
Factor Sequence

In this paper we shall prove the following two theorems (the terminology is explained in § 2 below; all rings are assumed to be associative).THEOREM 1. Suppose that is a division ring of finite order m over its centre Z and let μ(m) denote the factor sequence 1, m, m2, … , mn, … . Then the rings μ(w) and Zμ(m) are isomorphic.

Sign in / Sign up

Export Citation Format

Share Document