We consider the second-order impulsive differential equation with impulses in derivative and with... more We consider the second-order impulsive differential equation with impulses in derivative and without the damping term. Sufficient conditions that a nontrivial solution of the homogeneous equation having a zero of its derivative does not have a zero itself are obtained. On the basis of the obtained results on differential inequalities, which can be considered as analogues of the Vallee–Poussin theorems, new sufficient conditions on the negativity of Green’s functions are obtained.
The generalized L’vov-Kaplansky conjecture states that for any finite-dimensionl simple algebraA ... more The generalized L’vov-Kaplansky conjecture states that for any finite-dimensionl simple algebraA the image of a multilinear polynomial on A is a vector space. In this paper we prove it for the algebra of octonions O over a field satisfying certain specified conditions (in particular, we prove it for quadratically closed field and for field R). In fact, we prove that the image set must be either {0}, F , the space of pure octonions V , or O. We discuss possible evaluations of semihomogeneous polynomials on O and of arbitrary polynomials on the corresponding Malcev algebra.
This work presents a sample constructions of two algebras both with the ideal of relations define... more This work presents a sample constructions of two algebras both with the ideal of relations defined by a finite Gr\"obner basis. For the first algebra the question whether a given element is nilpotent is algorithmically unsolvable, for the second one the question whether a given element is a zero divisor is algorithmically unsolvable. This gives a negative answer to questions raised by Latyshev.
Let ${\mathbb F}$ be an arbitrary field. We consider a commutative, non-associative, $4$-dimensio... more Let ${\mathbb F}$ be an arbitrary field. We consider a commutative, non-associative, $4$-dimensional algebra ${\mathfrak M}$ of the rock, the paper and the scissors with unit over ${\mathbb F}$ and we prove that the image over ${\mathfrak M}$ of every non-associative multilinear polynomial over ${\mathbb F}$ is a vector space. The same question we consider for two subalgebras: an algebra of the rock, the paper and the scissors without unit, and an algebra of trace zero elements with zero scalar part. Moreover in this paper we consider the questions of possible evaluations of homogeneous polynomials on these algebras.
This paper surveys results related to well-known works of B. Plotkin and V. Remeslennikov on the ... more This paper surveys results related to well-known works of B. Plotkin and V. Remeslennikov on the edge of algebra, logic and geometry. We start from a brief review of the paper and motivations. The first sections deal with model theory. In the first part of the second section we describe the geometric equivalence, the elementary equivalence, and the isotypicity of algebras. We look at these notions from the positions of universal algebraic geometry and make emphasis on the cases of the first order rigidity. In this setting Plotkin’s problem on the structure of automorphisms of (auto)endomorphisms of free objects, and auto-equivalence of categories is pretty natural and important. The second part of the second section is dedicated to particular cases of Plotkin’s problem. The last part of the second section is devoted to Plotkin’s problem for automorphisms of the group of polynomial symplectomorphisms. This setting has applications to mathematical physics through the use of model theo...
What constitutes learning in the 21st century is the capacity for e-learning. Integral components... more What constitutes learning in the 21st century is the capacity for e-learning. Integral components of e-education are training content management systems. Existing content generators more transform content than create original content. Creating a methodology and technology for generating original content is important and relevant. In order to form adequate methods for generating content, primarily for mathematical and related disciplines, the problem of generating a triangle, together with its many attributes, is considered as the simplest object of elementary mathematics. We create a simulation model that describes the properties of the object and apply modified methods of optimization and corresponding algorithms to it. The current algorithmic layout demonstrates the performance of the developed system. It generates triangles in any configurations matching the given parameters and demonstrates their properties.
International Journal of Algebra and Computation, 2018
This work provides an example of a finitely presented semigroup [Formula: see text] with zero con... more This work provides an example of a finitely presented semigroup [Formula: see text] with zero containing an infinite ideal of the form [Formula: see text], where [Formula: see text] is a generator of [Formula: see text], such that every word in generators representing an element of [Formula: see text] is square free (i.e. any word of the type [Formula: see text], for non-empty [Formula: see text], equals zero in [Formula: see text]).
We give a new proof of the Gromov theorem: For any $C>0$ and integer $n>1$ there exists a f... more We give a new proof of the Gromov theorem: For any $C>0$ and integer $n>1$ there exists a function $\Delta_{C,n}$ such that if the Gromov--Hausdorff distance between complete Riemannian $n$-manifolds $V$ and $W$ is not greater than $\delta$, absolute values of their sectional curvatures $|K_{\sigma}|\leq C$, and their injectivity radii $\geq 1/C$, then the Lipschitz distance between $V$ and $W$ is less than $\Delta_{C,n}(\delta)$ and $\Delta_{C,n}\to 0$ as $\delta\to 0$.
Let $f$ be an arbitrary polynomial in several non commutative variables. Kaplansky asked about th... more Let $f$ be an arbitrary polynomial in several non commutative variables. Kaplansky asked about the possible images of $f$. In this note we let $f$ be a Lie polynomial in several non-commuting variables with constant term $0$ and coefficients in an algebraically closed field $K$. We describe all possible images of $f$ and provide an example of $f$ whose image is the set of trace zero matrices without nilpotent non zero matrices. We provide an arithmetic criterion for this case.
Let p be a multilinear polynomial in several non-commuting variables with coefficients in an arbi... more Let p be a multilinear polynomial in several non-commuting variables with coefficients in an arbitrary field K. Kaplansky conjectured that for any n, the image of p evaluated on the set Mn(K) of n × n matrices is either zero, or the set of scalar matrices, or the set sl n(K) of matrices of trace 0, or all of Mn(K). This conjecture was proved for n = 2 when K is closed under quadratic extensions. In this paper, the conjecture is verified for K = ℝ and n = 2, also for semi-homogeneous polynomials p, with a partial solution for an arbitrary field K.
We consider the second-order impulsive differential equation with impulses in derivative and with... more We consider the second-order impulsive differential equation with impulses in derivative and without the damping term. Sufficient conditions that a nontrivial solution of the homogeneous equation having a zero of its derivative does not have a zero itself are obtained. On the basis of the obtained results on differential inequalities, which can be considered as analogues of the Vallee–Poussin theorems, new sufficient conditions on the negativity of Green’s functions are obtained.
The generalized L’vov-Kaplansky conjecture states that for any finite-dimensionl simple algebraA ... more The generalized L’vov-Kaplansky conjecture states that for any finite-dimensionl simple algebraA the image of a multilinear polynomial on A is a vector space. In this paper we prove it for the algebra of octonions O over a field satisfying certain specified conditions (in particular, we prove it for quadratically closed field and for field R). In fact, we prove that the image set must be either {0}, F , the space of pure octonions V , or O. We discuss possible evaluations of semihomogeneous polynomials on O and of arbitrary polynomials on the corresponding Malcev algebra.
This work presents a sample constructions of two algebras both with the ideal of relations define... more This work presents a sample constructions of two algebras both with the ideal of relations defined by a finite Gr\"obner basis. For the first algebra the question whether a given element is nilpotent is algorithmically unsolvable, for the second one the question whether a given element is a zero divisor is algorithmically unsolvable. This gives a negative answer to questions raised by Latyshev.
Let ${\mathbb F}$ be an arbitrary field. We consider a commutative, non-associative, $4$-dimensio... more Let ${\mathbb F}$ be an arbitrary field. We consider a commutative, non-associative, $4$-dimensional algebra ${\mathfrak M}$ of the rock, the paper and the scissors with unit over ${\mathbb F}$ and we prove that the image over ${\mathfrak M}$ of every non-associative multilinear polynomial over ${\mathbb F}$ is a vector space. The same question we consider for two subalgebras: an algebra of the rock, the paper and the scissors without unit, and an algebra of trace zero elements with zero scalar part. Moreover in this paper we consider the questions of possible evaluations of homogeneous polynomials on these algebras.
This paper surveys results related to well-known works of B. Plotkin and V. Remeslennikov on the ... more This paper surveys results related to well-known works of B. Plotkin and V. Remeslennikov on the edge of algebra, logic and geometry. We start from a brief review of the paper and motivations. The first sections deal with model theory. In the first part of the second section we describe the geometric equivalence, the elementary equivalence, and the isotypicity of algebras. We look at these notions from the positions of universal algebraic geometry and make emphasis on the cases of the first order rigidity. In this setting Plotkin’s problem on the structure of automorphisms of (auto)endomorphisms of free objects, and auto-equivalence of categories is pretty natural and important. The second part of the second section is dedicated to particular cases of Plotkin’s problem. The last part of the second section is devoted to Plotkin’s problem for automorphisms of the group of polynomial symplectomorphisms. This setting has applications to mathematical physics through the use of model theo...
What constitutes learning in the 21st century is the capacity for e-learning. Integral components... more What constitutes learning in the 21st century is the capacity for e-learning. Integral components of e-education are training content management systems. Existing content generators more transform content than create original content. Creating a methodology and technology for generating original content is important and relevant. In order to form adequate methods for generating content, primarily for mathematical and related disciplines, the problem of generating a triangle, together with its many attributes, is considered as the simplest object of elementary mathematics. We create a simulation model that describes the properties of the object and apply modified methods of optimization and corresponding algorithms to it. The current algorithmic layout demonstrates the performance of the developed system. It generates triangles in any configurations matching the given parameters and demonstrates their properties.
International Journal of Algebra and Computation, 2018
This work provides an example of a finitely presented semigroup [Formula: see text] with zero con... more This work provides an example of a finitely presented semigroup [Formula: see text] with zero containing an infinite ideal of the form [Formula: see text], where [Formula: see text] is a generator of [Formula: see text], such that every word in generators representing an element of [Formula: see text] is square free (i.e. any word of the type [Formula: see text], for non-empty [Formula: see text], equals zero in [Formula: see text]).
We give a new proof of the Gromov theorem: For any $C>0$ and integer $n>1$ there exists a f... more We give a new proof of the Gromov theorem: For any $C>0$ and integer $n>1$ there exists a function $\Delta_{C,n}$ such that if the Gromov--Hausdorff distance between complete Riemannian $n$-manifolds $V$ and $W$ is not greater than $\delta$, absolute values of their sectional curvatures $|K_{\sigma}|\leq C$, and their injectivity radii $\geq 1/C$, then the Lipschitz distance between $V$ and $W$ is less than $\Delta_{C,n}(\delta)$ and $\Delta_{C,n}\to 0$ as $\delta\to 0$.
Let $f$ be an arbitrary polynomial in several non commutative variables. Kaplansky asked about th... more Let $f$ be an arbitrary polynomial in several non commutative variables. Kaplansky asked about the possible images of $f$. In this note we let $f$ be a Lie polynomial in several non-commuting variables with constant term $0$ and coefficients in an algebraically closed field $K$. We describe all possible images of $f$ and provide an example of $f$ whose image is the set of trace zero matrices without nilpotent non zero matrices. We provide an arithmetic criterion for this case.
Let p be a multilinear polynomial in several non-commuting variables with coefficients in an arbi... more Let p be a multilinear polynomial in several non-commuting variables with coefficients in an arbitrary field K. Kaplansky conjectured that for any n, the image of p evaluated on the set Mn(K) of n × n matrices is either zero, or the set of scalar matrices, or the set sl n(K) of matrices of trace 0, or all of Mn(K). This conjecture was proved for n = 2 when K is closed under quadratic extensions. In this paper, the conjecture is verified for K = ℝ and n = 2, also for semi-homogeneous polynomials p, with a partial solution for an arbitrary field K.
Uploads