Skip to main content

Showing 1–25 of 25 results for author: Petravchuk, A

Searching in archive math. Search in all archives.
.
  1. arXiv:2505.21709  [pdf, ps, other

    math.RA

    Module structure of the Lie algebra $W_n(K)$ over $sl_n(K)$

    Authors: Y. Chapovskyi, A. Petravchuk

    Abstract: Let $\mathbb K$ be an algebraically closed field of characteristic zero, $A = \mathbb K[x_1,\dots,x_n]$ the polynomial ring, and let $W_n(\mathbb K)$ denote the Lie algebra of all $\mathbb K$-derivations on $A$. The Lie algebra $W_n := W_n(\mathbb K)$ admits a natural grading $W_n = \bigoplus_{i \ge -1} W^{[i]}_n$, where $W^{[i]}_n$ consists of all homogeneous derivations whose coefficients are ho… ▽ More

    Submitted 27 May, 2025; originally announced May 2025.

    MSC Class: 17B65; 17B66; 17B10

  2. arXiv:2412.03688  [pdf, ps, other

    math.GR

    Decomposition of matrices from $SL_ 2(K[x, y])$

    Authors: Y. Chapovskyi, O. Kozachok, A. Petravchuk

    Abstract: Let $\mathbb{K}$ be an algebraically closed field of characteristic zero and $\mathbb{K}[x,y]$ the polynomial ring. The group $\text{SL}_{2}\left(\mathbb{K}[x,y]\right)$ of all matrices with determinant equal to $1$ over $\mathbb{K}[x,y]$ can not be generated by elementary matrices. The known counterexample was pointed out by P.M. Cohn. Conversely, A.A.Suslin proved that the group… ▽ More

    Submitted 4 December, 2024; originally announced December 2024.

  3. arXiv:2408.04244  [pdf, ps, other

    math.RT

    Polynomial similarity of pairs of matrices

    Authors: Vitaliy Bondarenko, Anatoliy Petravchuk, Maryna Styopochkina

    Abstract: Let $K$ be a field, $R=K[x, y]$ the polynomial ring and $\mathcal{M}(K)$ the set of all pairs of square matrices of the same size over $K.$ Pairs $P_1=(A_1,B_1)$ and $P_2=(A_2,B_2)$ from $\mathcal{M}(K)$ are called similar if $A_2=X^{-1}A_1X$ and $B_2=X^{-1}B_1X$ for some invertible matrix $X$ over $K$. Denote by $\mathcal{N}(K)$ the subset of $\mathcal{M}(K)$, consisting of all pairs of commuting… ▽ More

    Submitted 8 August, 2024; originally announced August 2024.

    MSC Class: 15A21; 15A99; 16G60

  4. arXiv:2311.04866  [pdf, ps, other

    math.RA

    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

    Submitted 8 November, 2023; originally announced November 2023.

    Comments: 7 pages

  5. arXiv:2302.02441  [pdf, ps, other

    math.AC math.RA

    Centralizers of linear and locally nilpotent derivations

    Authors: L. Bedratyuk, Y. Chapovskyi, A. Petravchuk

    Abstract: Let $K$ be an algebraically closed field of characteristic zero, $A = K[x_1,\dots,x_n]$ the polynomial ring, $R = K(x_1,\dots,x_n)$ the field of rational functions, and let $W_n(K) = \Der_{K}A$ be the Lie algebra of all $K$-derivations on $A$. If $D \in W_n(K),$ $D\not =0$ is linear (i.e. of the form $D = \sum_{i,j=1}^n a_{ij}x_j \frac{\partial}{\partial x_i}$) we give a description of the central… ▽ More

    Submitted 11 March, 2023; v1 submitted 5 February, 2023; originally announced February 2023.

    Comments: 10 pages

    MSC Class: 17B66; 17B05; 13N15

  6. arXiv:2211.10781  [pdf, ps, other

    math.RA

    Automorphisms and derivations of affine commutative and PI-algebras

    Authors: Oksana Bezushchak, Anatoliy Petravchuk, Efim Zelmanov

    Abstract: We prove analogs of A.~Selberg's result for finitely generated subgroups of $\text{Aut}(A)$ and of Engel's theorem for subalgebras of $\text{Der}(A)$ for a finitely generated associative commutative algebra $A$ over an associative commutative ring. We prove also an analog of the theorem of W.~Burnside and I.~Schur about locally finiteness of torsion subgroups of $\text{Aut}(A)$.

    Submitted 19 November, 2022; originally announced November 2022.

    MSC Class: Primary 13N15; 16R99; 16W20; Secondary 16R40; 16W25; 17B40; 17B66

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

    Submitted 7 December, 2020; originally announced December 2020.

    MSC Class: 15A21; 15A27; 16G60

    Journal ref: Linear Algebra and its Applications 612 (2021) 188-205

  8. arXiv:2002.10165  [pdf, ps, other

    math.RA

    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

    Submitted 24 February, 2020; originally announced February 2020.

    MSC Class: Primary 17B66; Secondary 17B05; 13N15

  9. arXiv:1805.00933  [pdf, ps, other

    math.RA math.AC

    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

    Submitted 8 May, 2018; v1 submitted 2 May, 2018; originally announced May 2018.

    MSC Class: Primary 13C13; Secondary 13F25; 20F29

  10. arXiv:1803.09772  [pdf, ps, other

    math.RA

    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

    Submitted 26 March, 2018; originally announced March 2018.

    MSC Class: Primary 17B66; 16G60; Secondary 34C14

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

    Submitted 29 September, 2017; originally announced September 2017.

    Comments: 11 pages

    MSC Class: 15A21; 16G60; 17B10

    Journal ref: Linear Algebra and Its Applications 536 (2018) 201-209

  12. arXiv:1709.08824  [pdf, ps, other

    math.RA math.AC

    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

    Submitted 26 September, 2017; originally announced September 2017.

    MSC Class: 17B66 (Primary); 17B05; 13N15 (Secondary)

  13. arXiv:1701.03750  [pdf, ps, other

    math.RA

    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

    Submitted 13 January, 2017; originally announced January 2017.

    MSC Class: Primary 17B30; 17B60; Secondary 13C13

  14. arXiv:1608.01490  [pdf, ps, other

    math.RA

    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

    Submitted 4 August, 2016; originally announced August 2016.

  15. arXiv:1601.04313  [pdf, ps, other

    math.RA

    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

    Submitted 10 August, 2016; v1 submitted 17 January, 2016; originally announced January 2016.

    Comments: Corrected typos. Revised formulation of Theorem 1, results unchanged

    MSC Class: Primary 17B66; Secondary 17B05; 13N15

  16. arXiv:1305.1174  [pdf, ps, other

    math.RA math.AC

    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

    Submitted 6 May, 2013; originally announced May 2013.

  17. arXiv:1211.4165  [pdf, ps, other

    math.RA math.AC math.AP

    On finite dimensional Lie algebras of planar vector fields with rational coefficients

    Authors: Ievgen Makedonskyi, Anatoliy Petravchuk

    Abstract: The Lie algebra of planar vector fields with coefficients from the field of rational functions over an algebraically closed field of characteristic zero is considered. We find all finite-dimensional Lie algebras that can be realized as subalgebras of this algebra.

    Submitted 9 January, 2013; v1 submitted 17 November, 2012; originally announced November 2012.

    Comments: 15 pages, abstract shortened, references added

  18. arXiv:1005.1415  [pdf, ps, other

    math.RA

    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

    Submitted 9 May, 2010; originally announced May 2010.

    Comments: 5 pages

    MSC Class: 17B66; 16W25; 17A36

    Journal ref: Ukrainian Math. Journal 63 (2011), no. 5, 827 - 832

  19. arXiv:0911.2073  [pdf, ps, other

    math.AC math.RA

    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

    Submitted 11 November, 2009; originally announced November 2009.

    Comments: 5 pages

    MSC Class: 13N15; 17A36

  20. arXiv:0910.4465  [pdf, ps, other

    math.RA math.AC

    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

    Submitted 23 October, 2009; originally announced October 2009.

    MSC Class: 13N15; 16W25; 17B65

  21. arXiv:0808.3262  [pdf, ps, other

    math.RA

    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

    Submitted 24 August, 2008; originally announced August 2008.

    MSC Class: 17B40; 17B30

  22. arXiv:0808.3132  [pdf, ps, other

    math.RA math.AC

    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

    Submitted 29 April, 2009; v1 submitted 22 August, 2008; originally announced August 2008.

    Comments: 4 pages, some remarks and new references are added

    MSC Class: 12F20; 20B25

    Journal ref: Mat. Zametki 86:5 (2009), 659--663; transl. in Math. Notes 86 (2009), no. 5, 625--628

  23. arXiv:0803.0968  [pdf, ps, other

    math.RA

    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

    Submitted 6 March, 2008; originally announced March 2008.

    Comments: 5 pages

    MSC Class: 16D70

  24. arXiv:math/0701588  [pdf, ps, other

    math.RA math.AC

    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

    Submitted 12 February, 2007; v1 submitted 21 January, 2007; originally announced January 2007.

    Comments: Added references, corrected some typos

    MSC Class: 26C15

  25. arXiv:math/0608157  [pdf, ps, other

    math.AC math.RA

    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

    Submitted 20 May, 2007; v1 submitted 7 August, 2006; originally announced August 2006.

    Comments: 13 pages, changes in Section 4

    MSC Class: 11C08; 12Y05; 13N15

    Journal ref: Ukrain. Mat. Zh. 59:12 (2007), 1587--1593; transl. in Ukrainian Math. J. 59:12 (2007), 1783--1790