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.

The commutativity degree of a finite group is the probability that two randomly chosen group elements commute. The object of this paper is to compute the commutativity degree of a class of finite groups obtained by semidirect product of two finite abelian groups. As a byproduct of our result, we provide an affirmative answer to an open question posed by Lescot.

In a recent article [K. H. Hofmann and F. G. Russo, ‘The probability that $x$ and $y$ commute in a compact group’, Math. Proc. Cambridge Phil Soc., to appear] we calculated for a compact group $G$ the probability $d(G)$ that two randomly selected elements $x, y\in G$ satisfy $xy=yx$, and we discussed the remarkable consequences on the structure of $G$ which follow from the assumption that $d(G)$ is positive. In this note we consider two natural numbers $m$ and $n$ and the probability $d_{m,n}(G)$ that for two randomly selected elements $x, y\in G$ the relation $x^my^n=y^nx^m$ holds. The situation is more complicated whenever $n,m\gt 1$. If $G$ is a compact Lie group and if its identity component $G_0$ is abelian, then it follows readily that $d_{m,n}(G)$ is positive. We show here that the following condition suffices for the converse to hold in an arbitrary compact group $G$: for any nonopen closed subgroup $H$ of $G$, the sets $\{g\in G: g^k\in H\}$ for both $k=m$ and $k=n$ have Haar measure $0$. Indeed, we show that if a compact group $G$ satisfies this condition and if $d_{m,n}(G)\gt 0$, then the identity component of $G$is abelian.

We compute commutativity degrees of wreath products of finite Abelian groups A and B. When B is fixed of order n the asymptotic commutativity degree of such wreath products is 1/n2. This answers a generalized version of a question posed by P. Lescot. As byproducts of our formula we compute the number of conjugacy classes in such wreath products, and obtain an interesting elementary number-theoretic result.