Related papers: An analytic approach to a weak non-Abelian Kneser-…

In the paper we introduce a weak set theory $\mathsf{H}_{<\omega}$ . A formalization of arithmetic on finite von Neumann ordinals gives an embedding of arithmetical language into this theory. We show that $\mathsf{H}_{<\omega}$ proves a…

In this paper we consider the notion of commutation for a pair of continuous and convex Hamiltonians, given in terms of commutation of their Lax- Oleinik semigroups. This is equivalent to the solvability of an associated multi- time…

Hom-groups are nonassociative generalizations of groups where the unitality and associativity are twisted by a map. We show that a Hom-group (G, {\alpha}) is a pointed idempotent quasigroup (pique). We use Cayley table of quasigroups to…

Let G be a semisimple linear algebraic group defined over rational numbers, K be a maximal compact subgroup of its real points and {\Gamma} be an arithmetic lattice. One can associate a probability measure {\mu}(H) on {\Gamma}\G for each…

Suppose that $A$, $B$ and $S$ are non-empty subsets of a finite abelian group $G$. Then the generalized restricted sumset $$ A\stackrel{S}+B:=\{a+b:\,a\in A,\ b\in B,\ a-b\not\in S\} $$ contains at least $$ \min\{|A|+|B|-3|S|,p(G)\} $$…

Let $H\leq K$ be subgroups of a group G. We say that H is strongly closed in K with respect to G if whenever $a^g \in K$ where $a \in H, g \in G,$ then $a^g \in H.$ In this paper, we investigate the structure of a group G under the…

We show that the Harnack inequality for a class of degenerate parabolic quasilinear PDE $$\p_t u=-X_i^* A_i(x,t,u,Xu)+ B(x,t,u,Xu),$$ associated to a system of Lipschitz continuous vector fields $X=(X_1,...,X_m)$ in in $\Om\times (0,T)$…

A result of Pyber states that every finite group $G$ contains an abelian subgroup whose order is quasi-polynomially large in $\lvert G\rvert$. We prove a similar result for $K$-approximate subgroups of solvable groups under only modest…

Let $G\cong \mathbb Z/m_1\mathbb Z\times\ldots\times \mathbb Z/m_r\mathbb Z$ be a finite abelian group with $m_1\mid\ldots\mid m_r=\exp(G)$. The Kemperman Structure Theorem characterizes all subsets $A,\,B\subseteq G$ satisfying…

For a finite group $G$ and an element $x\in G$, the subset $$ nil_G(x)=\{y\in G \mid <x,y>~~ is ~~ nilpotent\}$$ is called nilpotentizer of $x$ in $G$. In this paper, we give two solvabilty criteria for a finite group by the structure and…

We show that a finite set of integers $A \subseteq \mathbb{Z}$ with $|A+A| \le K |A|$ contains a large piece $X \subseteq A$ with Fre\u{i}man dimension $O(\log K)$, where large means $|A|/|X| \ll \exp(O(\log^2 K))$. This can be thought of…

The main result of this paper is a convexity theorem for momentum mappings of certain hamiltonian actions of noncompact semisimple Lie groups. The image is required to fall within a certain open subset D of the (dual of the) Lie algebra,…

Consider a Lie group $\mathbb{G}$ with a normal abelian subgroup $\mathbb{A}$. Suppose that $\mathbb{G}$ acts on a Hamiltonian fashion on a symplectic manifold $(M,\omega)$. Such action can be restricted to a Hamiltonian action of…

In the present article we study the following problem. Let G be a linear algebraic group over Q, $\Gamma$ be an arithmetic lattice and H be an observable Q-subgroup. There is a H-invariant measure $\mu_H$ supported on the closed submanifold…

A Riemannian manifold is called \emph{weakly Einstein} if the tensor $R_{iabc}R_{j}^{~~abc}$ is a scalar multiple of the metric tensor $g_{ij}$. We consider weakly Einstein Lie groups with a left-invariant metric which are weakly Einstein.…

We show that every product of f.g.\ submonoids of a group $G$ is a section of a f.g.\ submonoid of $G{\times}H_5(\mathbb{Z})$, where $H_5(\mathbb{Z})$ is a Heisenberg group. This gives us a converse of a reduction of Bodart, and a new…

Using methods of associative algebras, Lie theory, group cohomology, and modular representation theory, we construct profinite $p$-adic analytic groups such that the centralizer of each of their non-trivial elements is abelian. The paper…

A weakly complete vector space over $\mathbb{K}=\mathbb{R}$ or $\mathbb{K}=\mathbb{C}$ is isomorphic to $\mathbb{K}^X$ for some set $X$ algebraically and topologically. The significance of this type of topological vector spaces is…

Let $G$ be a finite abelian group. A nonempty subset $A$ in $G$ is called a basis of order $h$ if $hA=G$; when $hA \neq G$, it is called a nonbasis of order $h$. Our interest is in all possible sizes of $hA$ when $A$ is a nonbasis of order…

A subgroup $G$ of a product $\prod\limits_{i\in\mathbb{N}}G_i$ is \emph{rectangular} if there are subgroups $H_i$ of $G_i$ such that $G=\prod\limits_{i\in\mathbb{N}}H_i$. We say that $G$ is \emph{weakly rectangular} if there are finite…