On the commuting probability for subgroups of a finite group

Let $K$ be a subgroup of a finite group $G$ . The probability that an element of $G$ commutes with an element of $K$ is denoted by $Pr(K,G)$ . Assume that $Pr(K,G)\geq \epsilon$ for some fixed $\epsilon >0$ . We show that there is a normal subgroup $T\leq G$ and a subgroup $B\leq K$ such that the indices $[G:T]$ and $[K:B]$ and the order of the commutator subgroup $[T,B]$ are $\epsilon$ -bounded. This extends the well-known theorem, due to P. M. Neumann, that covers the case where $K=G$ . We deduce a number of corollaries of this result. A typical application is that if $K$ is the generalized Fitting subgroup $F^{*}(G)$ then $G$ has a class-2-nilpotent normal subgroup $R$ such that both the index $[G:R]$ and the order of the commutator subgroup $[R,R]$ are $\epsilon$ -bounded. In the same spirit we consider the cases where $K$ is a term of the lower central series of $G$ , or a Sylow subgroup, etc.

Transversals, Near Transversals, and Diagonals in Iterated Groups and Quasigroups

Given a binary quasigroup $G$ of order $n$, a $d$-iterated quasigroup $G[d]$ is the $(d+1)$-ary quasigroup equal to the $d$-times composition of $G$ with itself. The Cayley table of every $d$-ary quasigroup is a $d$-dimensional latin hypercube. Transversals and diagonals in multiary quasigroups are defined so as to coincide with those in the corresponding latin hypercube. We prove that if a group $G$ of order $n$ satisfies the Hall–Paige condition, then the number of transversals in $G[d]$ is equal to $ \frac{n!}{ |G'| n^{n-1}} \cdot n!^{d} (1 + o(1))$ for large $d$, where $G'$ is the commutator subgroup of $G$. For a general quasigroup $G$, we obtain similar estimations on the numbers of transversals and near transversals in $G[d]$ and develop a method for counting diagonals of other types in iterated quasigroups.

One-relator groups and algebras related to polyhedral products

We link distinct concepts of geometric group theory and homotopy theory through underlying combinatorics. For a flag simplicial complex $K$ , we specify a necessary and sufficient combinatorial condition for the commutator subgroup $RC_K'$ of a right-angled Coxeter group, viewed as the fundamental group of the real moment-angle complex $\mathcal {R}_K$ , to be a one-relator group; and for the Pontryagin algebra $H_{*}(\Omega \mathcal {Z}_K)$ of the moment-angle complex to be a one-relator algebra. We also give a homological characterization of these properties. For $RC_K'$ , it is given by a condition on the homology group $H_2(\mathcal {R}_K)$ , whereas for $H_{*}(\Omega \mathcal {Z}_K)$ it is stated in terms of the bigrading of the homology groups of $\mathcal {Z}_K$ .

Groups where non-normal subgroups are close to Abelian groups

In this paper we consider solvable groups, each subgroup of which is either normal or has a Chernikov commutator subgroup.