Related papers: Complete group classification of a class of nonlin…
Full set of autonomous completely solvable differential systems of equations in total differentials is built by basis of infinitesimal operators, universal invariant, and structure constants of admited multiparametric Lie group (abelian and…
We perform a detailed classification of the Lie point symmetries and of the resulting similarity transformations for the Generalized Boiti-Leon-Pempinelli equations. The latter equations for a system of two nonlinear 1+2 partial…
A previous article was devoted to an analysis of the symmetry properties of a class of first-order delay ordinary differential systems (DODSs). Here we concentrate on linear DODSs. They have infinite-dimensional Lie point symmetry groups…
We present a formalization, in the theorem prover Lean, of the classification of solvable Lie algebras of dimension at most three over arbitrary fields. Lie algebras are algebraic objects which encode infinitesimal symmetries, and as such…
We provide a new foundational approach to the generalization of terms up to equational theories. We interpret generalization problems in a universal-algebraic setting making a key use of projective and exact algebras in the variety…
We first give a pedagogical introduction to the differential calculus on q-groups and analize the relation between differential calculus and q-Lie algebra. Equivalent definitions of bicovariant differential calculus are studied and their…
The phase space of general relativity in a finite subregion is characterized by edge modes localized at the codimension-2 boundary, transforming under an infinite-dimensional group of symmetries. The quantization of this symmetry algebra is…
In this paper, we consider a class of fully nonlinear equations on closed smooth Riemannian manifolds, which can be viewed as an extension of $\sigma_k$ Yamabe equation. Moreover, we prove local gradient and second derivative estimates for…
We study a notion of indecomposability in differential algebraic groups which is inspired by both model theory and differential algebra. After establishing some basic definitions and results, we prove an indecomposability theorem for…
This paper consists of three parts: (I) To develop general theory of a (large) class of central simple finite dimensional algebras and answering some natural questions about them (that in general situation it is not even clear how to…
This paper presents a full catalogue, up to conjugacy and subgroups of finite index, of all matrix groups $H < {\rm GL}(3,\mathbb{R})$ that give rise to a continuous wavelet transform with associated irreducible quasi-regular…
We investigate the finite-dimensional Lie groups whose points are separated by the continuous homomorphisms into groups of invertible elements of locally convex algebras with continuous inversion that satisfy an appropriate completeness…
We give a full classification, up to equivalence, of finite-dimensional graded division algebras over the field of real numbers. The grading group is any abelian group.
The notion of a \emph{$G$-completely reducible} subgroup is important in the study of algebraic groups and their subgroup structure. It generalizes the usual idea of complete reducibility from representation theory: a subgroup $H$ of a…
We give a comprehensive analysis of interrelations between the basic concepts of the modern theory of symmetry (classical and non-classical) reductions of partial differential equations. Using the introduced definition of reduction of…
We find the group of equivalence transformations for equations of the form $y''= A(x)y' + F(y),$ where $A$ and $F$ are arbitrary functions. We then give a complete group classification of these families of equations, using a direct method…
A systematic and unified approach to transformations and symmetries of general second order linear parabolic partial differential equations is presented. Equivalence group is used to derive the Appell type transformations, specifically…
We consider a class of generalized Kuznetsov--Zabolotskaya--Khokhlov (gKZK) equations and determine its equivalence group, which is then used to give a complete symmetry classification of this class. The infinite-dimensional symmetry is…
The class of finitely presented algebras over a field $K$ with a set of generators $a_{1},\ldots , a_{n}$ and defined by homogeneous relations of the form $a_{1}a_{2}\cdots a_{n} =a_{\sigma (1)} a_{\sigma (2)} \cdots a_{\sigma (n)}$, where…
Revisiting the results by Winternitz [Symmetry in physics, CRM Proc. Lecture Notes 34, American Mathematical Society, Providence, RI, 2004, pp. 215-227], we thoroughly refine his classification of Lie subalgebras of the real order-three…