相关论文: The solvable length of groups of local diffeomorph…

We study first-order logic over unordered structures whose elements carry a finite number of data values from an infinite domain. Data values can be compared wrt.\ equality. As the satisfiability problem for this logic is undecidable in…

In [13], it is proved that any subgroup of $\mathrm{Diff}_{+}^{\omega }(I)$ (the group of orientation preserving analytic diffeomorphisms of the interval) is either metaabelian or does not satisfy a law. A stronger question is asked whether…

The local topological dynamics of subgroups of ${\rm Diff} ({\mathbb C^n}, 0)$, with special emphasis on ${\rm Diff} ({\mathbb C^2}, 0)$, is discussed with a view towards integrability questions. It is proved in particular that a subgroup…

We discuss the finiteness of the topological entropy of continuous endomorphims for some classes of locally compact groups. Firstly, we focus on the abelian case, imposing the condition of being compactly generated, and note an interesting…

Let $G$ be a finite soluble group and $h(G)$ its Fitting length. The aim of this paper is to give certain upper bounds for $h(G)$ as functions of the Fitting length of at least three Hall subgroups of $G$ which factorize $G$ in a particular…

We study the Diophantine problem (decidability of finite systems of equations) in different classes of finitely generated solvable groups (nilpotent, polycyclic, metabelian, free solvable, etc), which satisfy some natural…

We show that for any connected smooth manifold $M$ of dimension different from $3$ the restriction of the compact-open topology to the diffeomorphism group of $M$ is minimal, i.e. the group does not admit a strictly coarser Hausdorff group…

We produce two separate algebraic descriptions of the isomorphism classes of the solvable subgroups of the group PLo(I) of piecewise-linear orientation-preserving homeomorphisms of the unit interval under the operation of composition, and…

We study the complex irreducible representations of special linear, symplectic, orthogonal and unitary groups over principal ideal local rings of length two. We construct a canonical correspondence between the irreducible representations of…

In this note we prove that every finite collection of connected algebraic subgroups of the group of triangular automorphisms of the affine space generates a connected solvable algebraic subgroup.

We show that the set of locally finite Borel graphs with finite Borel asymptotic dimension is $\mathbf{\Sigma}^1_2$-complete. The result is based on a combinatorial characterization of finite Borel asymptotic dimension for graphs generated…

We construct the first examples of an algorithmically complex finitely presented residually finite groups and first examples of finitely presented residually finite groups with arbitrarily large (recursive) Dehn function and depth function.…

We prove the following: For any $\rho\in\left(0,1\right)$, if a finite group $G$ has an automorphism with a cycle of length at least $\rho\cdot|G|$, then the index of the solvable radical $\operatorname{Rad}(G)$ in $G$ is bounded from above…

Suppose that a Lie algebra $L$ admits a finite Frobenius group of automorphisms $FH$ with cyclic kernel $F$ and complement $H$ of order 2, such that the fixed-point subalgebra of $F$ is trivial and the fixed-point subalgebra of $H$ is…

We decide the Borel complexity of the conjugacy problem for automorphism groups of countable homogeneous digraphs. Many of the homogeneous digraphs, as well as several other homogeneous structures, have already been addressed in previous…

We study the structure of infinite discrete sets D definable in expansions of ordered Abelian groups whose theories are strong and definably complete, with particular emphasis on the set D' comprised of differences between successive…

We study sets of local dimensions for self-similar measures in $\mathbb{R}$ satisfying the finite neighbour condition, which is formally stronger than the weak separation condition but satisfied in all known examples. Under a mild technical…

Every finite group $G$ has a normal series each of whose factors is either a solvable group or a direct product of non-abelian simple groups. The minimum number of nonsolvable factors, attained on all possible such series in $G$, is called…

Solving the algebraic dichotomy conjecture for constraint satisfaction problems over structures first-order definable in countably infinite finitely bounded homogeneous structures requires understanding the applicability of…

For mappings of finite distortion actively investigated last 15--20 years, problems of a so-called lower order are discussed. It is proved that, mappings with finite length distortion $f:D\rightarrow {\Bbb R}^n,$ $n\ge 2,$ which have…