Linear derivations with rings of constants generated by linear forms

Piotr Jędrzejewicz

Displaying similar documents to “Linear derivations with rings of constants generated by linear forms”

On rings of constants of derivations in two variables in positive characteristic

Piotr Jędrzejewicz (2006)

Colloquium Mathematicae

Similarity:

Let k be a field of chracteristic p > 0. We describe all derivations of the polynomial algebra k[x,y], homogeneous with respect to a given weight vector, in particular all monomial derivations, with the ring of constants of the form $k [x^{p}, y^{p}, f]$ , where $f \in k [x, y] ∖ k [x^{p}, y^{p}]$ .

Posner's second theorem and annihilator conditions with generalized skew derivations

Vincenzo De Filippis, Feng Wei (2012)

Colloquium Mathematicae

Similarity:

Let be a prime ring of characteristic different from 2, $_{r}$ be its right Martindale quotient ring and be its extended centroid. Suppose that is a non-zero generalized skew derivation of and f(x₁,..., xₙ) is a non-central multilinear polynomial over with n non-commuting variables. If there exists a non-zero element a of such that a[ (f(r₁,..., rₙ)),f(r₁, ..., rₙ)] = 0 for all r₁, ..., rₙ ∈ , then one of the following holds: (a) there exists λ ∈ such that (x) = λx for all x ∈ ; (b) there...

An example of a simple derivation in two variables

Andrzej Nowicki (2008)

Colloquium Mathematicae

Similarity:

Let k be a field of characteristic zero. We prove that the derivation $D = \partial / \partial x + (y^{s} + p x) (\partial / \partial y)$ , where s ≥ 2, 0 ≠ p ∈ k, of the polynomial ring k[x,y] is simple.

A note on the kernels of higher derivations

Jiantao Li, Xiankun Du (2013)

Czechoslovak Mathematical Journal

Similarity:

Let $k \subseteq k^{'}$ be a field extension. We give relations between the kernels of higher derivations on $k [X]$ and $k^{'} [X]$ , where $k [X] : = k [x_{1}, \dots, x_{n}]$ denotes the polynomial ring in $n$ variables over the field $k$ . More precisely, let $D = {D_{n}}_{n = 0}^{\infty}$ a higher $k$ -derivation on $k [X]$ and $D^{'} = {D_{n}^{'}}_{n = 0}^{\infty}$ a higher $k^{'}$ -derivation on $k^{'} [X]$ such that $D_{m}^{'} (x_{i}) = D_{m} (x_{i})$ for all $m \geq 0$ and $i = 1, 2, \dots, n$ . Then (1) $k {[X]}^{D} = k$ if and only if $k^{'} {[X]}^{D^{'}} = k^{'}$ ; (2) $k {[X]}^{D}$ is a finitely generated $k$ -algebra if and only if $k^{'} {[X]}^{D^{'}}$ is a finitely generated $k^{'}$ -algebra. Furthermore, we also show that the kernel $k {[X]}^{D}$ of a higher derivation $D$ of $k [X]$ can be generated...

On $(σ, τ)$ -derivations in prime rings

Mohammad Ashraf, Nadeem-ur-Rehman (2002)

Archivum Mathematicum

Similarity:

Let $R$ be a 2-torsion free prime ring and let $σ, τ$ be automorphisms of $R$ . For any $x, y \in R$ , set ${[x, y]}_{σ, τ} = x σ (y) - τ (y) x$ . Suppose that $d$ is a $(σ, τ)$ -derivation defined on $R$ . In the present paper it is shown that $(i)$ if $R$ satisfies ${[d (x), x]}_{σ, τ} = 0$ , then either $d = 0$ or $R$ is commutative $(i i)$ if $I$ is a nonzero ideal of $R$ such that $[d (x), d (y)] = 0$ , for all $x, y \in I$ , and $d$ commutes with both $σ$ and $τ$ , then either $d = 0$ or $R$ is commutative. $(i i i)$ if $I$ is a nonzero ideal of $R$ such that $d (x y) = d (y x)$ , for all $x, y \in I$ , and $d$ commutes with $τ$ , then $R$ is commutative. Finally a related result has been obtain...

A Characterization of One-Element p-Bases of Rings of Constants

Piotr Jędrzejewicz (2011)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

Let K be a unique factorization domain of characteristic p > 0, and let f ∈ K[x₁,...,xₙ] be a polynomial not lying in $K [x ₁^{p}, . . ., x ₙ^{p}]$ . We prove that $K [x ₁^{p}, . . ., x ₙ^{p}, f]$ is the ring of constants of a K-derivation of K[x₁,...,xₙ] if and only if all the partial derivatives of f are relatively prime. The proof is based on a generalization of Freudenburg’s lemma to the case of polynomials over a unique factorization domain of arbitrary characteristic.

On skew derivations as homomorphisms or anti-homomorphisms

Mohd Arif Raza, Nadeem ur Rehman, Shuliang Huang (2016)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let $R$ be a prime ring with center $Z$ and $I$ be a nonzero ideal of $R$ . In this manuscript, we investigate the action of skew derivation $(δ, ϕ)$ of $R$ which acts as a homomorphism or an anti-homomorphism on $I$ . Moreover, we provide an example for semiprime case.

About G-rings

Najib Mahdou (2017)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

In this paper, we are concerned with G-rings. We generalize the Kaplansky’s theorem to rings with zero-divisors. Also, we assert that if $R \subseteq T$ is a ring extension such that $m T \subseteq R$ for some regular element $m$ of $T$ , then $T$ is a G-ring if and only if so is $R$ . Also, we examine the transfer of the G-ring property to trivial ring extensions. Finally, we conclude the paper with illustrative examples discussing the utility and limits of our results.

Generalized derivations on Lie ideals in prime rings

Basudeb Dhara, Sukhendu Kar, Sachhidananda Mondal (2015)

Czechoslovak Mathematical Journal

Similarity:

Let $R$ be a prime ring with its Utumi ring of quotients $U$ and extended centroid $C$ . Suppose that $F$ is a generalized derivation of $R$ and $L$ is a noncentral Lie ideal of $R$ such that $F (u) {[F (u), u]}^{n} = 0$ for all $u \in L$ , where $n \geq 1$ is a fixed integer. Then one of the following holds: (1) ...

On matrix Lie rings over a commutative ring that contain the special linear Lie ring

Evgenii L. Bashkirov, Esra Pekönür (2016)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let $K$ be an associative and commutative ring with $1$ , $k$ a subring of $K$ such that $1 \in k$ , $n \geq 2$ an integer. The paper describes subrings of the general linear Lie ring $g l_{n} (K)$ that contain the Lie ring of all traceless matrices over $k$ .

On some noetherian rings of $C^{\infty}$ germs on a real closed field

Abdelhafed Elkhadiri (2011)

Annales Polonici Mathematici

Similarity:

Let R be a real closed field, and denote by $_{R, n}$ the ring of germs, at the origin of Rⁿ, of $C^{\infty}$ functions in a neighborhood of 0 ∈ Rⁿ. For each n ∈ ℕ, we construct a quasianalytic subring $_{R, n} \subset_{R, n}$ with some natural properties. We prove that, for each n ∈ ℕ, $_{R, n}$ is a noetherian ring and if R = ℝ (the field of real numbers), then $_{ℝ, n} = ₙ$ , where ₙ is the ring of germs, at the origin of ℝⁿ, of real analytic functions. Finally, we prove the Real Nullstellensatz and solve Hilbert’s 17th Problem for the ring $_{R, n}$ . ...

On n-derivations and Relations between Elements rⁿ-r for Some n

Maciej Maciejewski, Andrzej Prószyński (2014)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We find complete sets of generating relations between the elements [r] = rⁿ - r for $n = 2^{l}$ and for n = 3. One of these relations is the n-derivation property [rs] = rⁿ[s] + s[r], r,s ∈ R.

Bounds for quotients in rings of formal power series with growth constraints

Vincent Thilliez (2002)

Studia Mathematica

Similarity:

In rings $Γ_{M}$ of formal power series in several variables whose growth of coefficients is controlled by a suitable sequence $M = {(M_{l})}_{l \geq 0}$ (such as rings of Gevrey series), we find precise estimates for quotients F/Φ, where F and Φ are series in $Γ_{M}$ such that F is divisible by Φ in the usual ring of all power series. We give first a simple proof of the fact that F/Φ belongs also to $Γ_{M}$ , provided $Γ_{M}$ is stable under derivation. By a further development of the method, we obtain the main result of the paper,...

On near-ring ideals with $(σ, τ)$ -derivation

Öznur Golbaşi, Neşet Aydin (2007)

Archivum Mathematicum

Similarity:

Let $N$ be a $3$ -prime left near-ring with multiplicative center $Z$ , a $(σ, τ)$ -derivation $D$ on $N$ is defined to be an additive endomorphism satisfying the product rule $D (x y) = τ (x) D (y) + D (x) σ (y)$ for all $x, y \in N$ , where $σ$ and $τ$ are automorphisms of $N$ . A nonempty subset $U$ of $N$ will be called a semigroup right ideal (resp. semigroup left ideal) if $U N \subset U$ (resp. $N U \subset U$ ) and if $U$ is both a semigroup right ideal and a semigroup left ideal, it be called a semigroup ideal. We prove the following results: Let $D$ be a $(σ,$ $τ)$ -derivation...