Related papers: On Conditions Relating to Nonsolvability
In this article we discuss the solvability of some class of fully nonlinear equations, and equations with p-Laplacian in more general conditions by using a new approach given in [1] for studying the nonlinear continuous operator. Moreover…
Logics with team semantics provide alternative means for logical characterization of complexity classes. Both dependence and independence logic are known to capture non-deterministic polynomial time, and the frontiers of tractability in…
The stability analysis of possibly time varying positive semigroups on non necessarily compact state spaces, including Neumann and Dirichlet boundary conditions is a notoriously difficult subject. These crucial questions arise in a variety…
We analyze the structure of correlations among more than two quantum systems. We introduce a classification of correlations based on the concept of non-separability, which is different {\em a priori} from the concept of entanglement.…
By applying some techniques of set-valued and variational analysis, we study solution stability of nonhomogeneous split equality problems and nonhomogeneous split feasibility problems, where the constraint sets need not be convex. Necessary…
The reality of the difficulties in investigation of finite groups are considered. It is shown that the consideration of symmetry properties of the $k$-orbits that are obtained with an action of a finite group $F=(V,\cdot)$ on Cartesian…
We study solvability, nilpotency and splitting property for algebraic supergroups over an arbitrary field $K$ of characteristic $\mathrm{char}\, K \ne 2$. Our first main theorem tells us that an algebraic supergroup $\mathbb{G}$ is solvable…
We introduce the concept of a type system~$\Part$, that is, a partition on the set of finite words over the alphabet~$\{0,1\}$ compatible with the partial action of Thompson's group~$V$, and associate a subgroup~$\Stab{V}{\Part}$ of~$V$. We…
Let G be a finite group. Denote by \psi(G) the sum \psi(G)=\sum_{x\in G}|x| where |x| denotes the order of the element x, and by o(G) the quotient o(G)=\frac{\psi(G)}{|G|}. Confirming a conjecture posed by E.I. Khukhro, A. Moreto and M.…
We give an algorithm that decides whether a single equation in a group that is virtually a class $2$ nilpotent group with a virtually cyclic commutator subgroup, such as the Heisenberg group, admits a solution. This generalises the work of…
We provide several characterizations of convergence to unstable equilibria in nonlinear systems. Our current contribution is three-fold. First we present simple algebraic conditions for establishing local convergence of non-trivial…
We study finite groups $G$ with the property that for any subgroup $M$ maximal in $G$ whose order is divisible by all the prime divisors of $|G|$, $M$ is supersolvable. We show that any nonabelian simple group can occur as a composition…
We define an equivalence relation on propositions and a proof system where equivalent propositions have the same proofs. The system obtained this way resembles several known non-deterministic and algebraic lambda-calculi.
We consider Hamiltonian systems with symmetry, and relative equilibria with isotropy subgroup of positive dimension. The stability of such relative equilibria has been studied by Ortega and Ratiu and by Lerman and Singer. In both papers the…
We prove that the word problem is undecidable in functionally recursive groups, and that the order problem is undecidable in automata groups, even under the assumption that they are contracting.
We study relationship among versions of the Knapsack Problem where variables take values in Z and the number of them is fixed. In particular, we construct a finitely presented group where the problem of solvability of exponential equations…
The Equation Problem in finitely presented groups asks if there exists an algorithm which determines in finite amount of time whether any given equation system has a solution or not. We show that the Equation Problem in central extensions…
Every abelian (and even every nilpotent) group contains a solution of any finite unimodular system of equations over itself. However, this is not true for infinite systems. We deduced a criterion for a periodic abelian group to contain a…
The work deals with the studies of the existence of solutions of an integro-differential equation in the situation of the difference of the standard Laplacian and the bi-Laplacian in the diffusion term. The proof of the existence of…
We study the limiting behavior for the solutions of a nonlinear recurrent relation which arises from the study of Navier-Stokes equations. Some stability theorems are also shown concerning a related class of linear recurrent relations.