Related papers: On Conditions Relating to Nonsolvability

In this paper, we provide new criteria for the solvability and supersolvability of a finite group based on its number of cyclic subgroups. A finite group G is called n-cyclic if it contains n cyclic subgroups. This paper also partially…

We provide a list of (mainly unsolved) problems in ordered and orderable groups. These were originally compiled 10 years ago by the last two authors. New problems have been added to the list. Progress on some of these is noted and…

We investigate subgroups of the group PLo(I) of piecewise-linear, orientation preserving homeomorphisms of the unit interval with finitely many breaks in slope, and also subgroups of Thompson's group F. We find geometric criteria…

In this paper, we study the combinatorics of congruence subgroups of the modular group by generalizing results obtained in the non-modular case. For this, we define a notion of irreducible solutions from which we can build all the…

The uncertainty relation is a distinguishing feature of quantum theory, characterizing the incompatibility of noncommuting observables in the preparation of quantum states. Recently, many uncertainty relations were proposed with improved…

This paper classifies the factorizations of almost simple groups with a factor having at least two nonsolvable composition factors. This together with a previous classification result of the authors reduces the factorization problem of…

We give explicit criteria of solvability for families of linear systems on time scales. We introduce a new method of embedding a time scale into a non-autonomous system of ODEs. This will be the first step to implementing the structural…

We study groups, all maximal nilpotent subgroups of class at most $k$ in which are malnormal. We show that such groups share many similar properties with the ordinary CSA groups. Similarly, we introduce the class of {\em nilpotency…

In this note we show that the members of a certain class of local similarity groups are l2-invisible, i.e. the non-reduced group homology of the regular unitary representation vanishes in all degrees. This class contains for example…

Let $G$ be a finite group and $\psi(G) = \sum_{g \in G} o(g)$, where $o(g)$ denotes the order of $g \in G$. In [M. Herzog, et. al., Two new criteria for solvability of finite groups, J. Algebra, 2018], the authors put forward the following…

Recently, several public key exchange protocols based on symbolic computation in non-commutative (semi)groups were proposed as a more efficient alternative to well established protocols based on numeric computation. Notably, the protocols…

We initiate the study of the complexity-theoretic properties of convex logics in team semantics. We focus on the extension of classical propositional logic with the nonemptiness atom NE, a logic known to be both convex and union closed. We…

All groups are 2-generator. For any prime-power q, Theorem 1 constructs a solvable matrix group over a quotient of a Laurent polynomial ring. This group is closely related to a group of exponent q as shown in Theorems 2 & 3 . Theorem 4 in…

A proof of Thompson's conjecture for real semi-simple Lie groups has been given by Kapovich, Millson, and Leeb. In this note, we give another proof of the conjecture by using a theorem of Alekseev, Meinrenken, and Woodward from symplectic…

The possibility that non-supersymmetric quiver theories may have a renormalization-group fixed point at which there is conformal invariance requires non-perturbative information.

Here we study the nonlinear hyperbolic equations of the type of equations from theory of flows on networks, for which we prove the solvability theorem under the appropriate conditions and also investigate the behaviour of the solution.

Given a topological $G$-space we consider equations with parameters over $G$. In particular we formulate some very general conditions on words with parameters $w(\bar{y},\bar{g})$ over $G$ which guarantee that the inequality…

The dual character of invariance under transformations and definability by some operations has been used in classical work by for example Galois and Klein. Following Tarski, philosophers of logic have claimed that logical notions themselves…

Let F be the (Thompson's) group < x_0, x_1 | [x_0x_1^-1, x_0^-ix_1 x_0^i], i=1,2 >. We study the structure of F-limit groups. Let G_n= < y_1,..., y_m, x_0,x_1 | [x_0x_1^-1,x_0^-1x_1x_0],[x_0x_1^-1,x_0^-2x_1x_0^2], y_j^-1g_j,n(x_0,x_1),…

We formulate uncertainty relations for arbitrary $N$ observables. Two uncertainty inequalities are presented in terms of the sum of variances and standard deviations, respectively. The lower bounds of the corresponding sum uncertainty…