-
Centralizers of Jacobian derivations
Authors:
D. I. Efimov,
A. P. Petravchuk,
M. S. Sydorov
Abstract:
Let $\mathbb K$ be an algebraically closed field of characteristic zero, $\mathbb K[x, y]$ the polynonial ring in variables $x$, $y$ and let $W_2(\mathbb K)$ be the Lie algebra of all $\mathbb K$-derivations on $\mathbb K[x, y]$. A derivation $D \in W_2(\mathbb K)$ is called a Jacobian derivation if there exists $f \in \mathbb K[x, y]$ such that $D(h) = \det J(f, h)$ for any…
▽ More
Let $\mathbb K$ be an algebraically closed field of characteristic zero, $\mathbb K[x, y]$ the polynonial ring in variables $x$, $y$ and let $W_2(\mathbb K)$ be the Lie algebra of all $\mathbb K$-derivations on $\mathbb K[x, y]$. A derivation $D \in W_2(\mathbb K)$ is called a Jacobian derivation if there exists $f \in \mathbb K[x, y]$ such that $D(h) = \det J(f, h)$ for any $h \in \mathbb K[x, y]$ (here $J(f, h)$ is the Jacobian matrix for $f$ and $h$). Such a derivation is denoted by $D_f$. The kernel of $D_f$ in $\mathbb K[x, y]$ is a subalgebra $\mathbb K[p]$ where $p=p(x, y)$ is a polynomial of smallest degree such that $f(x, y) = \varphi (p(x, y)$ for some $\varphi (t) \in \mathbb K[t]$. Let $C = C_{W_2(\mathbb K)} (D_f)$ be the centralizer of $D_f$ in $W_2(\mathbb K)$. We prove that $C$ is the free $\mathbb K[p]$-module of rank 1 or 2 over $\mathbb K[p]$ and point out a criterion of being a module of rank $2$. These results are used to obtain a class of integrable autonomous systems of differential equations.
△ Less
Submitted 8 November, 2023;
originally announced November 2023.
-
Pairs of commuting nilpotent operators with one-dimensional intersection of kernels and matrices commuting with a Weyr matrix
Authors:
Vitalij M. Bondarenko,
Vyacheslav Futorny,
Anatolii P. Petravchuk,
Vladimir V. Sergeichuk
Abstract:
I.M. Gelfand and V.A. Ponomarev (1969) proved that the problem of classifying pairs (A,B) of commuting nilpotent operators on a vector space contains the problem of classifying an arbitrary t-tuple of linear operators. Moreover, it contains the problem of classifying representations of an arbitrary quiver, and so it is considered as hopeless. We give a simple normal form of the matrices of (A,B) i…
▽ More
I.M. Gelfand and V.A. Ponomarev (1969) proved that the problem of classifying pairs (A,B) of commuting nilpotent operators on a vector space contains the problem of classifying an arbitrary t-tuple of linear operators. Moreover, it contains the problem of classifying representations of an arbitrary quiver, and so it is considered as hopeless. We give a simple normal form of the matrices of (A,B) if the intersection of kernels of A and B is one-dimensional. We prove that this form is canonical if the Jordan matrix of A is a direct sum of Jordan blocks of the same size and the field is of zero characteristic.
△ Less
Submitted 7 December, 2020;
originally announced December 2020.
-
Nilpotent Lie algebras of derivations with the center of small corank
Authors:
Ie. Yu. Chapovskyi,
L. Z. Mashchenko,
A. P. Petravchuk
Abstract:
Let $\mathbb K$ be a field of characteristic zero, $A$ an integral domain over $\mathbb K$ with the field of fractions $R = \text{Frac}(A),$ and $\text{Der}_{\mathbb{K}}A$ the Lie algebra of all $\mathbb K$-derivations on $A$.
Let $W(A):=R\text{Der}_{\mathbb{K}} A$ and $L$ a nilpotent subalgebra of rank $n$ over $R$ of the Lie algebra $W(A).$ We prove that if the center $Z=Z(L)$ is of rank…
▽ More
Let $\mathbb K$ be a field of characteristic zero, $A$ an integral domain over $\mathbb K$ with the field of fractions $R = \text{Frac}(A),$ and $\text{Der}_{\mathbb{K}}A$ the Lie algebra of all $\mathbb K$-derivations on $A$.
Let $W(A):=R\text{Der}_{\mathbb{K}} A$ and $L$ a nilpotent subalgebra of rank $n$ over $R$ of the Lie algebra $W(A).$ We prove that if the center $Z=Z(L)$ is of rank $\geq n-2$ over $R$ and $F=F(L)$ is the field of constants for $L$ in $R,$ then the Lie algebra $FL$ is contained in a locally nilpotent subalgebra of $ W(A)$ of rank $n$ over $R$ with a natural basis over the field $R.$ It is also also proved that the Lie algebra $FL$ can be isomorphically embedded (as an abstract Lie algebra) into the triangular Lie algebra $u_n(F)$ which was studied early by other authors.
△ Less
Submitted 24 February, 2020;
originally announced February 2020.
-
Nilpotent modules over polynomial rings
Authors:
Ie. Yu. Chapovskyi,
A. P. Petravchuk
Abstract:
Let $\mathbb K$ be an algebraically closed field of characteristic zero, $\mathbb K[X]$ the polynomial ring in $n$ variables. The vector space $T_n = \mathbb K[X]$ is a $\mathbb K[X]$-module with the action $x_i \cdot v = v_{x_i}'$ for $v \in T_n$. Every finite dimensional submodule $V$ of $T_n$ is nilpotent, i.e. every polynomial $f \in \mathbb K[X]$ with zero constant term acts nilpotently (by m…
▽ More
Let $\mathbb K$ be an algebraically closed field of characteristic zero, $\mathbb K[X]$ the polynomial ring in $n$ variables. The vector space $T_n = \mathbb K[X]$ is a $\mathbb K[X]$-module with the action $x_i \cdot v = v_{x_i}'$ for $v \in T_n$. Every finite dimensional submodule $V$ of $T_n$ is nilpotent, i.e. every polynomial $f \in \mathbb K[X]$ with zero constant term acts nilpotently (by multiplication) on $V.$ We prove that every nilpotent $\mathbb K[X]$-module $V$ of finite dimension over $\mathbb K$ with one dimensional socle can be isomorphically embedded in the module $T_n$. The automorphism groups of the module $T_n$ and its finite dimensional monomial submodules are found. Similar results are obtained for (non-nilpotent) finite dimensional $\mathbb K[X]$-modules with one dimensional socle.
△ Less
Submitted 8 May, 2018; v1 submitted 2 May, 2018;
originally announced May 2018.
-
Wildness of the problem of classifying nilpotent Lie algebras of vector fields in four variables
Authors:
V. M. Bondarenko,
A. P. Petravchuk
Abstract:
Let $\mathbb F$ be a field $\mathbb F $ of characteristic zero. Let $W_{n}(\mathbb F)$ be the Lie algebra of all $\mathbb F$-derivations with the Lie bracket $[D_1, D_2]:=D_1D_2-D_2D_1$ on the polynomial ring $\mathbb F [x_1, \ldots , x_n]$. The problem of classifying finite dimensional subalgebras of $W_{n}(\mathbb F)$ was solved if $ n\leq 2$ and $\mathbb F=\mathbb C$ or $\mathbb F=\mathbb R.$ W…
▽ More
Let $\mathbb F$ be a field $\mathbb F $ of characteristic zero. Let $W_{n}(\mathbb F)$ be the Lie algebra of all $\mathbb F$-derivations with the Lie bracket $[D_1, D_2]:=D_1D_2-D_2D_1$ on the polynomial ring $\mathbb F [x_1, \ldots , x_n]$. The problem of classifying finite dimensional subalgebras of $W_{n}(\mathbb F)$ was solved if $ n\leq 2$ and $\mathbb F=\mathbb C$ or $\mathbb F=\mathbb R.$ We prove that this problem is wild if $n\geq 4$, which means that it contains the classical unsolved problem of classifying matrix pairs up to similarity. The structure of finite dimensional subalgebras of $W_{n}(\mathbb F)$ is interesting since each derivation in case $\mathbb F=\mathbb R$ can be considered as a vector field with polynomial coefficients on the manifold $\mathbb R^{n}.$
△ Less
Submitted 26 March, 2018;
originally announced March 2018.
-
Wildness of the problems of classifying two-dimensional spaces of commuting linear operators and certain Lie algebras
Authors:
Vyacheslav Futorny,
Tetiana Klymchuk,
Anatolii P. Petravchuk,
Vladimir V. Sergeichuk
Abstract:
For each two-dimensional vector space $V$ of commuting $n\times n$ matrices over a field $\mathbb F$ with at least 3 elements, we denote by $\widetilde V$ the vector space of all $(n+1)\times(n+1)$ matrices of the form $\left[\begin{smallmatrix}A&*\\0&0\end{smallmatrix}\right]$ with $A\in V$. We prove the wildness of the problem of classifying Lie algebras $\widetilde V$ with the bracket operation…
▽ More
For each two-dimensional vector space $V$ of commuting $n\times n$ matrices over a field $\mathbb F$ with at least 3 elements, we denote by $\widetilde V$ the vector space of all $(n+1)\times(n+1)$ matrices of the form $\left[\begin{smallmatrix}A&*\\0&0\end{smallmatrix}\right]$ with $A\in V$. We prove the wildness of the problem of classifying Lie algebras $\widetilde V$ with the bracket operation $[u,v]:=uv-vu$. We also prove the wildness of the problem of classifying two-dimensional vector spaces consisting of commuting linear operators on a vector space over a field.
△ Less
Submitted 29 September, 2017;
originally announced September 2017.
-
Locally nilpotent Lie algebras of derivations of integral domains
Authors:
A. P. Petravchuk,
O. M. Shevchyk,
K. Ya. Sysak
Abstract:
Let $\mathbb K$ be a field of characteristic zero and $A$ an integral domain over $\mathbb K.$ The Lie algebra $\Der_{\mathbb K} A$ of all $\mathbb K$-derivations of $A$ carries very important information about the algebra $A.$ This Lie algebra is embedded into the Lie algebra $R\Der_{\mathbb K} A\subseteq \Der_{\mathbb K}R$, where $R={\rm Frac}(A)$ is the fraction field of $A.$ The rank…
▽ More
Let $\mathbb K$ be a field of characteristic zero and $A$ an integral domain over $\mathbb K.$ The Lie algebra $\Der_{\mathbb K} A$ of all $\mathbb K$-derivations of $A$ carries very important information about the algebra $A.$ This Lie algebra is embedded into the Lie algebra $R\Der_{\mathbb K} A\subseteq \Der_{\mathbb K}R$, where $R={\rm Frac}(A)$ is the fraction field of $A.$ The rank $rk_{R}L$ of a subalgebra $L$ of $R\Der_{\mathbb K} A$ is defined as dimension $\dim_R RL.$ We prove that every locally nilpotent subalgebra $L$ of $R\Der_{\mathbb K} A$ with $rk_{R}L=n$ has a series of ideals $0=L_0\subset L_1\subset L_2\dots \subset L_n=L$ such that $\rank_R L_i=i$ and all the quotient Lie algebras $L_{i+1}/L_{i}, i=0, \ldots , n-1,$ are abelian. We also describe all maximal (with respect to inclusion) locally nilpotent subalgebras $L$ of the Lie algebra $R\Der_{\mathbb K} A$ with $rk_{R}L=3.$
△ Less
Submitted 26 September, 2017;
originally announced September 2017.
-
On Lie algebras associated with modules over polynomial rings
Authors:
A. P. Petravchuk,
K. Ya. Sysak
Abstract:
Let $\mathbb K$ be an algebraically closed field of characteristic zero. Let $V$ be a module over the polynomial ring $\mathbb K[x,y]$. The actions of $x$ and $y$ determine linear operators $P$ and $Q$ on $V$ as a vector space over $\mathbb K$. Define the Lie algebra $L_V=\mathbb K\langle P,Q\rangle \rightthreetimes V$ as the semidirect product of two abelian Lie algebras with the natural action o…
▽ More
Let $\mathbb K$ be an algebraically closed field of characteristic zero. Let $V$ be a module over the polynomial ring $\mathbb K[x,y]$. The actions of $x$ and $y$ determine linear operators $P$ and $Q$ on $V$ as a vector space over $\mathbb K$. Define the Lie algebra $L_V=\mathbb K\langle P,Q\rangle \rightthreetimes V$ as the semidirect product of two abelian Lie algebras with the natural action of $\mathbb K\langle P,Q\rangle$ on $V$. We show that if $\mathbb K[x,y]$-modules $V$ and $W$ are isomorphic or weakly isomorphic, then the corresponding associated Lie algebras $L_V$ and $L_W$ are isomorphic. The converse is not true: we construct two $\mathbb K[x,y]$-modules $V$ and $W$ of dimension $4$ that are not weakly isomorphic but their associated Lie algebras are isomorphic. We characterize such pairs of $\mathbb K[x, y]$-modules of arbitrary dimension. We prove that indecomposable modules $V$ and $W$ with $\dim V=\dim W\geq 7$ are weakly isomorphic if and only if their associated Lie algebras $L_V$ and $L_W$ are isomorphic.
△ Less
Submitted 13 January, 2017;
originally announced January 2017.
-
On Lie algebras consisting of locally nilpotent derivations
Authors:
A. P. Petravchuk,
K. Ya. Sysak
Abstract:
Let $K$ be an algebraically closed field of characteristic zero and $A$ an integral $K$-domain. The Lie algebra $Der_{K}(A)$ of all $K$-derivations of $A$ contains the set $LND(A)$ of all locally nilpotent derivations. The structure of $LND(A)$ is of great interest, and the question about properties of Lie algebras contained in $LND(A)$ is still open. An answer to it in the finite dimensional case…
▽ More
Let $K$ be an algebraically closed field of characteristic zero and $A$ an integral $K$-domain. The Lie algebra $Der_{K}(A)$ of all $K$-derivations of $A$ contains the set $LND(A)$ of all locally nilpotent derivations. The structure of $LND(A)$ is of great interest, and the question about properties of Lie algebras contained in $LND(A)$ is still open. An answer to it in the finite dimensional case is given. It is proved that any finite dimensional (over $K$) subalgebra of $Der_{K}(A)$ consisting of locally nilpotent derivations is nilpotent. In the case $A=K[x, y],$ it is also proved that any subalgebra of $Der_{K}(A)$ consisting of locally nilpotent derivations is conjugated by an automorphism of $K[x, y]$ with a subalgebra of the triangular Lie algebra.
△ Less
Submitted 4 August, 2016;
originally announced August 2016.
-
On nilpotent Lie algebras of derivations of fraction fields
Authors:
A. P. Petravchuk
Abstract:
Let $K$ be an arbitrary field of characteristic zero and $A$ a commutative associative $ K$-algebra which is an integral domain. Denote by $R$ the fraction field of $A$ and by $W(A)=RDer_{\mathbb K}A,$ the Lie algebra of $\mathbb K$-derivations of $R$ obtained from $Der_{\mathbb K}A$ via multiplication by elements of $R.$ If $L\subseteq W(A)$ is a subalgebra of $W(A)$ denote by $rk_{R}L$ the dimen…
▽ More
Let $K$ be an arbitrary field of characteristic zero and $A$ a commutative associative $ K$-algebra which is an integral domain. Denote by $R$ the fraction field of $A$ and by $W(A)=RDer_{\mathbb K}A,$ the Lie algebra of $\mathbb K$-derivations of $R$ obtained from $Der_{\mathbb K}A$ via multiplication by elements of $R.$ If $L\subseteq W(A)$ is a subalgebra of $W(A)$ denote by $rk_{R}L$ the dimension of the vector space $RL$ over the field $R$ and by $F=R^{L}$ the field of constants of $L$ in $R.$ Let $L$ be a nilpotent subalgebra $L\subseteq W(A)$ with $rk_{R}L\leq 3$. It is proven that the Lie algebra $FL$ (as a Lie algebra over the field $F$) is isomorphic to a finite dimensional subalgebra of the triangular Lie subalgebra $u_{3}(F)$ of the Lie algebra $Der F[x_{1}, x_{2}, x_{3}], $ where $u_{3}(F)=\{f(x_{2}, x_{3})\frac{\partial}{\partial x_{1}}+g(x_{3})\frac{\partial}{\partial x_{2}}+c\frac{\partial}{\partial x_{3}}\}$ with $f\in F[x_{2}, x_{3}], g\in F[x_3]$, $c\in F.$ In particular, a characterization of nilpotent Lie algebras of vector fields with polynomial coefficients in three variables is obtained.
△ Less
Submitted 10 August, 2016; v1 submitted 17 January, 2016;
originally announced January 2016.
-
On nilpotent and solvable Lie algebras of derivations
Authors:
Ie. O. Makedonskyi,
A. P. Petravchuk
Abstract:
Let K be a field and A be a commutative associative K-algebra which is an integral domain. The Lie algebra Der A of all K-derivations of A is an A-module in a natural way and if R is the quotient field of A, then RDer A is a vector space over R. It is proved that if L is a nilpotent subalgebra of RDer A of rank k over R (i.e. such that dim_{R}RL=k), then the derived length of L is at most k and L…
▽ More
Let K be a field and A be a commutative associative K-algebra which is an integral domain. The Lie algebra Der A of all K-derivations of A is an A-module in a natural way and if R is the quotient field of A, then RDer A is a vector space over R. It is proved that if L is a nilpotent subalgebra of RDer A of rank k over R (i.e. such that dim_{R}RL=k), then the derived length of L is at most k and L is finite dimensional over its field of constants. In case of solvable Lie algebras over a field of characteristic zero their derived length does not exceed 2k. Nilpotent and solvable Lie algebras of rank 1 and 2 (over R) from the Lie algebra RDer A are characterized. As a consequence we obtain the same estimations for nilpotent and solvable Lie algebras of vector fields with polynomial, rational, or formal coefficients.
△ Less
Submitted 6 May, 2013;
originally announced May 2013.
-
Finite-dimensional subalgebras in polynomial Lie algebras of rank one
Authors:
I. V. Arzhantsev,
E. A. Makedonskii,
A. P. Petravchuk
Abstract:
Let W_n(K) be the Lie algebra of derivations of the polynomial algebra K[X]:=K[x_1,...,x_n] over an algebraically closed field K of characteristic zero. A subalgebra L of W_n(K) is called polynomial if it is a submodule of the K[X]-module W_n(K). We prove that the centralizer of every nonzero element in L is abelian provided L has rank one. This allows to classify finite-dimensional subalgebras in…
▽ More
Let W_n(K) be the Lie algebra of derivations of the polynomial algebra K[X]:=K[x_1,...,x_n] over an algebraically closed field K of characteristic zero. A subalgebra L of W_n(K) is called polynomial if it is a submodule of the K[X]-module W_n(K). We prove that the centralizer of every nonzero element in L is abelian provided L has rank one. This allows to classify finite-dimensional subalgebras in polynomial Lie algebras of rank one.
△ Less
Submitted 9 May, 2010;
originally announced May 2010.
-
On pairs of commuting derivations of the polynomial ring in two variables
Authors:
Anatoliy P. Petravchuk
Abstract:
Let $k$ be an arbitrary field of characteristic zero, $k[x, y]$ be the polynomial ring and $D$ a $k$-derivation of the ring $k[x, y]$. Recall that a nonconstant polynomial $F\in k[x, y]$ is said to be a Darboux polynomial of the derivation $D$ if $D(F)=λF$ for some polynomial $λ\in k[x, y]$. We prove that any two linearly independent over the field $k$ commuting $k$-derivations $D_{1}$ and…
▽ More
Let $k$ be an arbitrary field of characteristic zero, $k[x, y]$ be the polynomial ring and $D$ a $k$-derivation of the ring $k[x, y]$. Recall that a nonconstant polynomial $F\in k[x, y]$ is said to be a Darboux polynomial of the derivation $D$ if $D(F)=λF$ for some polynomial $λ\in k[x, y]$. We prove that any two linearly independent over the field $k$ commuting $k$-derivations $D_{1}$ and $D_{2}$ of the ring $k[x, y]$ either have a common Darboux polynomial, or $D_{1}=D_{u_{1}}, D_{2}=D_{u_{2}}$ are Jacobian derivations i.e., $D_{i}(f)=\det J(u_{i}, f)$ for every $f\in k[x, y], i=1, 2,$ where the polynomials $u_{1}, u_{2}$ satisfy the condition $\det J(u_{1}, u_{2})=c\in k^{\star}.$ This statement about derivations is an analogue of the known fact from
Linear Algebra about common eigenvectors of pairs of commuting linear operators.
△ Less
Submitted 11 November, 2009;
originally announced November 2009.
-
On the annihilators of rational functions in the Lie algebra of derivations of k[x, y]
Authors:
O. G. Iena,
A. P. Petravchuk,
A. O. Regeta
Abstract:
Let k be an algebraically closed field of zero characteristic. The Lie algebra W_2 of all k-derivations of the polynomial ring k[x, y] naturally acts on the polynomial ring k[x, y] and also on the field of rational functions k(x, y). For a fixed non-constant rational function u from k(x,y) we consider the set A_{W_2}(u) of all derivations D from W_2 such that D(u)=0. We prove that A_{W_2}(u) is…
▽ More
Let k be an algebraically closed field of zero characteristic. The Lie algebra W_2 of all k-derivations of the polynomial ring k[x, y] naturally acts on the polynomial ring k[x, y] and also on the field of rational functions k(x, y). For a fixed non-constant rational function u from k(x,y) we consider the set A_{W_2}(u) of all derivations D from W_2 such that D(u)=0. We prove that A_{W_2}(u) is a free submodule of rank 1 of the k[x,y]-module W_2. A description of the maximal abelian subalgebras as well of the centralizers of elements in the Lie algebra A_{W_2}(u) has been obtained.
△ Less
Submitted 23 October, 2009;
originally announced October 2009.
-
On behavior of solvable ideals of Lie algebras under outer derivations
Authors:
Anatoliy P. Petravchuk
Abstract:
Let $L$ be a finite dimensional Lie algebra over a field $F$. It is well known that the solvable radical $S(L)$ of the algebra $L$ is a characteristic ideal of $L$ if $\char F=0$ and there are counterexamples to this statement in case $\char F=p>0$. We prove that the sum $S(L)$ of all solvable ideals of a Lie algebra $L$ (not necessarily finite dimensional) is a characteristic ideal of $L$ in th…
▽ More
Let $L$ be a finite dimensional Lie algebra over a field $F$. It is well known that the solvable radical $S(L)$ of the algebra $L$ is a characteristic ideal of $L$ if $\char F=0$ and there are counterexamples to this statement in case $\char F=p>0$. We prove that the sum $S(L)$ of all solvable ideals of a Lie algebra $L$ (not necessarily finite dimensional) is a characteristic ideal of $L$ in the following cases: 1) $\char F=0;$ 2) $S(L)$ is solvable and its derived length is less than $\log_{2}p.$ Some estimations (in characteristic 0) for the derived length of ideals $I+D(I)+... +D^{k}(I)$ are obtained where $I$ is a solvable ideal of $L$ and $D\in Der(L).$
△ Less
Submitted 24 August, 2008;
originally announced August 2008.
-
Saturated subfields and invariants of finite groups
Authors:
Ivan V. Arzhantsev,
Anatoliy P. Petravchuk
Abstract:
Every subfield $\kk(φ)$ of the field of rational functions $\kk(x_1,...,x_n)$ is contained in a unique maximal subfield of the form $\kk(ψ)$. The element $ψ$ is called generative for the element $φ$. A subfield of $\kk(x_1,...,x_n)$ is called saturated if it contains a generative element of each its element. We study the saturation property for subfields of invariants $\kk(x_1,...,x_n)^G$, where…
▽ More
Every subfield $\kk(φ)$ of the field of rational functions $\kk(x_1,...,x_n)$ is contained in a unique maximal subfield of the form $\kk(ψ)$. The element $ψ$ is called generative for the element $φ$. A subfield of $\kk(x_1,...,x_n)$ is called saturated if it contains a generative element of each its element. We study the saturation property for subfields of invariants $\kk(x_1,...,x_n)^G$, where $G$ is a finite group of automorphisms of the field $\kk(x_1,...,x_n)$.
△ Less
Submitted 29 April, 2009; v1 submitted 22 August, 2008;
originally announced August 2008.
-
On one-sided Lie nilpotent ideals of associative rings
Authors:
V. S. Luchko,
A. P. Petravchuk
Abstract:
We prove that a Lie nilpotent one-sided ideal of an associative ring $R$ is contained in a Lie solvable two-sided ideal of $R$. An estimation of derived length of such Lie solvable ideal is obtained depending on the class of Lie nilpotency of the Lie nilpotent one-sided ideal of $R.$ One-sided Lie nilpotent ideals contained in ideals generated by commutators of the form…
▽ More
We prove that a Lie nilpotent one-sided ideal of an associative ring $R$ is contained in a Lie solvable two-sided ideal of $R$. An estimation of derived length of such Lie solvable ideal is obtained depending on the class of Lie nilpotency of the Lie nilpotent one-sided ideal of $R.$ One-sided Lie nilpotent ideals contained in ideals generated by commutators of the form $[... [ [r_1, r_{2}], ... ], r_{n-1}], r_{n}]$ are also studied.
△ Less
Submitted 6 March, 2008;
originally announced March 2008.
-
On closed rational functions in several variables
Authors:
A. P. Petravchuk,
O. G. Iena
Abstract:
Let k be an algebraically closed field of characteristic zero. An element F from k(x_1,...,x_n) is called a closed rational function if the subfield k(F) is algebraically closed in the field k(x_1,...,x_n). We prove that a rational function F=f/g is closed if f and g are algebraically independent and at least one of them is irreducible. We also show that the rational function F=f/g is closed if…
▽ More
Let k be an algebraically closed field of characteristic zero. An element F from k(x_1,...,x_n) is called a closed rational function if the subfield k(F) is algebraically closed in the field k(x_1,...,x_n). We prove that a rational function F=f/g is closed if f and g are algebraically independent and at least one of them is irreducible. We also show that the rational function F=f/g is closed if and only if the pencil af+bg contains only finitely many reducible hypersurfaces. Some sufficient conditions for a polynomial to be irreducible are given.
△ Less
Submitted 12 February, 2007; v1 submitted 21 January, 2007;
originally announced January 2007.
-
Closed and Irreducible Polynomials in Several Variables
Authors:
Ivan V. Arzhantsev,
Anatoliy P. Petravchuk
Abstract:
New and old results on closed polynomials, i.e., such polynomials f in K[x_1,...,x_n] that the subalgebra K[f] is integrally closed in K[x_1,...,x_n], are collected. Using some properties of closed polynomials we prove the following factorization theorem: Let f be an element of K[x_1,...,x_n], where K is an algebraically closed field. Then for all but finite number of a's the polynomial f+a can…
▽ More
New and old results on closed polynomials, i.e., such polynomials f in K[x_1,...,x_n] that the subalgebra K[f] is integrally closed in K[x_1,...,x_n], are collected. Using some properties of closed polynomials we prove the following factorization theorem: Let f be an element of K[x_1,...,x_n], where K is an algebraically closed field. Then for all but finite number of a's the polynomial f+a can be decomposed into a product of irreducible polynomials of the same degree (not depending on a) such that their defferences are constants. An algorithm for finding of a generative polynomial of a given polynomial f, which is a closed polynomial h with f=F(h) for some F(t) in K[t], is given. Some types of saturated subalgebras A in K[x_1,...,x_n] are considered, i.e., such that for any f in A a generative polynomial of f is contained in A.
△ Less
Submitted 20 May, 2007; v1 submitted 7 August, 2006;
originally announced August 2006.
