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.

We obtain two equivalent conditions for m polynomials in n variables to form a p-basis of a ring of constants of some polynomial K-derivation, where K is a unique factorization domain of characteristic p > 0. One of these conditions involves Jacobians while the other some properties of factors. In the case m = n this extends the known theorem of Nousiainen, and we obtain a new formulation of the Jacobian conjecture in positive characteristic.

2000 Mathematics Subject Classification: 13N15, 13A50, 16W25.We reduce the Nowicki conjecture on Weitzenböck derivations of polynomial algebras to a well known problem of classical invariant theory.

Let A be a commutative algebra without zero divisors over a field k. If A is finitely generated over k, then there exist well known characterizations of all k-subalgebras of A which are rings of constants with respect to k-derivations of A. We show that these characterizations are not valid in the case when the algebra A is not finitely generated over k.

2000 Mathematics Subject Classification: Primary: 14R10. Secondary: 14R20, 13N15.Let R be a UFD containing a field of characteristic 0, and Bm = R[Y1, . . . , Ym] be a polynomial ring over R. It was conjectured in [5] that if D is an R-elementary monomial derivation of B3 such that ker D is a finitely generated R-algebra then the generators of ker D can be chosen to be linear in the Yi ’s. In this paper, we prove that this does not hold for B4. We also investigate R-elementary derivations D of Bm...

At first we prove some results on a general polynomial derivation using few results of linear derivation. Then we study the ring of constants of a linear derivation for some rings. We know that any linear derivation is a nonsimple derivation. In the last section we find the smallest integer $w>1$ such that the polynomial ring in $n$ variables is $w$-differentially simple, all $w$ derivations are nonsimple and the $w$ derivations set contains a linear derivation.

Free Poisson algebras are very closely connected with polynomial algebras, and the Poisson brackets are used to solve many problems in affine algebraic geometry. In this note, we study Poisson derivations on the symplectic Poisson algebra, and give a connection between the Jacobian conjecture with derivations on the symplectic Poisson algebra.

We observe that the characterization of rings of constants of derivations in characteristic zero as algebraically closed subrings also holds in positive characteristic after some natural adaptation. We also present a characterization of such rings in terms of maximality in some families of rings.

A concept of a slice of a semisimple derivation is introduced. Moreover, it is shown that a semisimple derivation d of a finitely generated commutative algebra A over an algebraically closed field of characteristic 0 is nothing other than an algebraic action of a torus on Max(A), and, using this, that in some cases the derivation d is linearizable or admits a maximal invariant ideal.

We connect the theorems of Rentschler [rR68] and Dixmier [jD68] on locally nilpotent derivations and automorphisms of the polynomial ring $A_0$ and of the Weyl algebra $A_1$, both over a field of characteristic zero, by establishing the same type of results for the family of algebras $$A_h=\langle x,y\mid yx-xy=h\left(x\right)\rangle ,$$ where $h$ is an arbitrary polynomial in $x$. In the second part of the paper we consider a field $𝔽$ of prime characteristic and study $𝔽\left[t\right]$comodule algebra structures on $A_h$. We also compute the Makar-Limanov invariant of absolute constants...

It is explained that the following two problems are equivalent: (i) describing all affine rulings of any given weighted projective plane; (ii) describing all weighted-homogeneous locally nilpotent derivations of k[X,Y,Z]. Then the solution of (i) is sketched. (Outline of our joint work with Peter Russell.)

In my talk I am going to remind you what is the AK-invariant and give examples of its usefulness. I shall also discuss basic conjectures about this invariant and some positive and negative results related to these conjectures.

This paper deals with integrability issues of the Euler-Lagrange equations associated to a variational problem, where the energy function depends on acceleration and drag. Although the motivation came from applications to path planning of underwater robot manipulators, the approach is rather theoretical and the main difficulties result from the fact that the power needed to push an object through a fluid increases as the cube of its speed.

This paper gives an algorithm for computing the kernel of a locally finite higher derivation on the polynomial ring k[x₁,..., xₙ] up to a given bound.

An algorithm is described which computes generators of the kernel of derivations on k[X₁,...,Xₙ] up to a previously given bound. For w-homogeneous derivations it is shown that if the algorithm computes a generating set for the kernel then this set is minimal.

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

Border bases are an alternative to Gröbner bases. The former have several more desirable properties. In this paper some constructions and operations on border bases are presented. Namely; the case of a restriction of an ideal to a polynomial ring (in a smaller number of variables), the case of the intersection of two ideals, and the case of the kernel of a homomorphism of polynomial rings. These constructions are applied to the ideal of relations and to factorizable derivations.