群论

Let $\mathbb{K}$ be an unramified quadratic extension of $\mathbb{Q}_{p}$ for a fixed $p>2$. Projective general linear groups $G=\operatorname{PGL}_{2}(\mathbb{K})$ and $H=\operatorname{PGL}_{2}(\mathbb{Q}_{p})$ act transitively on…

The notion of conditional coproduct of a family of abelian pro-Lie groups in the category of abelian pro-Lie groups is introduced. It is shown that the cartesian product of an arbitrary family of abelian pro-Lie groups can be characterized…

A finite group with a Beauville structure gives rise to a certain compact complex surface called a Beauville surface. G\"{u}l and Uria-Albizuri showed that quotients of the periodic Grigorchuk-Gupta-Sidki (GGS-)groups that act on the…

The so--called subgroup commutativity degree $sd(G)$ of a finite group $G$ is the number of permuting subgroups $(H,K) \in \mathrm{L}(G) \times \mathrm{L}(G)$, where $\mathrm{L}(G)$ is the subgroup lattice of $G$, divided by…

For subsets $X,Y$ of a finite group $G$, let $Pr(X,Y)$ denote the probability that two random elements $x\in X$ and $y\in Y$ commute. Obviously, a finite group $G$ is nilpotent if and only if $Pr(P,Q)=1$ whenever $P$ and $Q$ are Sylow…

In this note we give an upper bound for the virtually cyclic dimension of any normally poly-free group in terms of its length. In particular, this implies that virtually even Artin groups of FC-type admit a finite dimensional model for the…

Let $G$ be a finite solvable group and $H$ a non-normal core-free subgroup of $G$. We show that if the normalizer of any non-trivial normal subgroup of $Fit(H)$ is equal $H$, then $H$ has a nilpotent normal complement $K$ such that $G=KH$…

M. Goncharov introduced and studied a Rota--Baxter operator on a cocommutative Hopf algebra. In the present paper we define relative Rota--Baxter operators on an arbitrary Hopf algebra. A particular case of this definition is Goncharov's…

For every group $G$, the set $\mathcal{P}(G)$ of its subsets forms a semiring under set-theoretical union $\cup$ and element-wise multiplication $\cdot$ and forms an involution semigroup under $\cdot$ and element-wise inversion ${}^{-1}$.…

We provide a quantitative formulation of the equivalence between hyperlinearity and soficity for amenable groups, showing that every hyperlinear approximation to such a group is essentially produced from a sofic approximation. This…

Let $F[X]$ be the polynomial ring over a finite field $F$. It is shown that, for $n\geq 3$, the special linear group $SL_n(F[X])$ is boundedly generated by the elementary matrices.

We present two analytic applications of the fact that a hyperbolic group can be endowed with a strongly hyperbolic metric. The first application concerns the crossed-product C*-algebra defined by the action of a hyperbolic group on its…

We estimate the operator norm of radial non-negative functions on hyperbolic groups. As a consequence, we show that several forms of Haagerup's inequality are optimal.

We determine the Dehn functions of central products of two families of filiform nilpotent Lie groups of arbitrary dimension with all simply connected nilpotent Lie groups with cyclic centre and strictly lower nilpotency class. We also…

In this paper, we introduce a kind of decomposition of a finite group called a uniform group factorization, as a generalization of exact factorizations of a finite group. A group $G$ is said to admit a uniform group factorization if there…

A finitely presented group F is called flawed if Hom(F,G)//G deformation retracts onto its subspace Hom(F,K)/K for reductive affine algebraic groups G and maximal compact subgroups K in G. After discussing generalities concerning flawed…

We show that the probability for a finitely generated subgroup of the modular group, of size $n$, to be almost malnormal or non-parabolic, tends to 0 as $n$ tends to infinity -- where the notion of the size of a subgroup is based on a…

Proof assistants are computer softwares that allow us to write mathematical proofs so as to assess their correctness. In November 2021, I started the project of checking the simplicity of the alternating groups within the Lean theorem…

If $(X,r)$ is a finite non-degenerate set-theoretic solution of the Yang--Baxter equation, the additive group of the structure skew brace $G(X,r)$ is an $FC$-group, i.e. a group whose elements have finitely many conjugates. Moreover, its…

We prove a new inequality for the asymptotic dimension of HNN-extensions. We deduce that the asymptotic dimension of every finitely generated one relator group is at most two, confirming a conjecture of A.Dranishnikov. As further…