arXiv subjects
Publications and source records attributed to Anatoliy Petravchuk.
Let $F$ be a field of positive characteristic, and let $A$ be a finitely generated commutative associative $F$-algebra. We study Lie subalgebras of $Der \, A$ generated by locally finite derivations. We prove that if all commutators of the generators satisfy a natural local finiteness condition, then the associative subalgebra of $End_{F}\, A$ generated by these derivations is finite-dimensional.
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 nilpotent matrices. A pair $P$ will be called {\it polynomially equivalent} to a pair $\overline{P}=(\overline{A}, \overline{B})$ if $\overline{A}=f(A,B), \overline{B}=g(A ,B)$ for some polynomials $f, g\in K[x,y]$ satisfying the next conditions: $f(0,0)=0, g(0,0)=0$ and $ {\rm det} J(f, g)(0, 0)\not =0,$ where $J(f, g)$ is the Jacobi matrix of polynomials $f(x, y)$ and $g(x, y).$ Further, pairs of matrices $P(A,B)$ and $\widetilde{P}(\widetilde{A}, \widetilde{B})$ from $\mathcal{N}(K)$ will be called {\it polynomially similar} if there exists a pair $\overline{P}(\overline{A}, \overline{B})$ from $\mathcal{N}(K)$ such that $P$, $\overline{P}$ are polynomially equivalent and $\overline{P}$, $\widetilde{P}$ are similar. The main result of the paper: it is proved that the problem of classifying pairs of matrices up to polynomial similarity is wild, i.e. it contains the classical unsolvable problem of classifying pairs of matrices up to similarity.
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)$.
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.