Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 0708.3872

Commuting elements in conjugacy classes: An application of Hall's Marriage Theorem

John R. Britnell·Mark Wildon
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let G be a finite group. Define a relation ~ on the conjugacy classes of G by setting C ~ D if there are representatives c \in C and d \in D such that cd = dc. In the case where G has a normal subgroup H such that G/H is cyclic, two theorems are proved concerning the distribution, between cosets of H, of pairs of conjugacy classes of G related by ~. One of the proofs involves an interesting application of the famous Marriage Theorem of Philip Hall. The paper concludes by discussing some aspects of these theorems and of the relation ~ in the particular cases of symmetric and general linear groups, and by mentioning an open question related to Frobenius groups.

Explore related subjects

math.GRmath.CO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

John R. Britnell, Mark Wildon. 2008-10-25. Commuting elements in conjugacy classes: An application of Hall's Marriage Theorem. https://arxiv.org/abs/0708.3872

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Projective simplicity and Bergman's property for unit groups of continuous rings

We prove that the projective unit group $\mathrm{PGL}(R)$, i.e., the quotient of the unit group $\mathrm{GL}(R)$ modulo its center, of any non-discrete irreducible, continuous ring $R$ is simple. Moreover, we show that $\mathrm{GL}(R)$ has uncountable strong cofinality, that is, it is not the union of a countable chain of proper subgroups and it has finite width with respect to any generating set. Equivalently, every isometric action of $\mathrm{GL}(R)$ on a metric space has bounded orbits. It follows that every action of $\mathrm{GL}(R)$ by isometries on a non-empty complete $\mathrm{CAT}(0)$ space admits a fixed point. In particular, $\mathrm{GL}(R)$ possesses Serre's properties $(FH)$ and $(FA)$. Furthermore, our results entail that $\mathrm{PGL}(R)$ has bounded normal generation. In turn, we answer two questions by Carderi and Thom. Finally, building on work of Larsen and Shalev, we prove that $\mathrm{GL}(R)$ is verbally simple.

math.GR↗
arXiv2026

Hyperbolic models and stability recognition for Coxeter groups

Given a finite rank Coxeter system, we construct a hyperbolic space by coning off the wide parabolic subcomplexes of its Davis complex. The resulting space is ``stability recognizing'', in the sense that stable subspaces of the Davis complex are exactly the quasigeodesically connected subspaces whose images in the coned-off space are quasiisometrically embedded. Equivalently, the coned-off space is ``Morse recognizing'': a quasigeodesic in the Davis complex is Morse if and only if it is quasigeodesic in the coned-off space. Similar results are true for the mapping class group of a hyperbolic surface acting on its curve graph. We strengthen this analogy with additional results. First, the action of the Coxeter group on the coned-off space is acylindrical and gives the largest acylindrically hyperbolic structure for the Coxeter group. Second, the stable subgroups of a Coxeter group are characterized as the finitely generated subgroups that are undistorted and purely loxodromic with respect to the action on the coned-off space. The coned-off space, being constructed directly from the Coxeter structure, facilitates concrete characterizations of Morseness and stability for two important Coxeter-native families of objects: combinatorial geodesics and special subgroups.

math.GR↗
arXiv2026

Boundary Kernel Rigidity and Infinite-Dimensional Complex Hyperbolic Representations

For n>=2, we prove a rigidity theorem for the Hermitian boundary kernels L_{t,s}(x,y)=|1- |^t exp(is arg(1- )), x != y, on S^{2n-1}, with L_{t,s}(x,x)=0, t>0, and s in [-1,1]. Every finite Gram matrix of L_{t,s} has positive index at most one if and only if 0<t<=1 and s=+-t. The proof combines Fourier analysis on boundary circles with restrictions to two orthogonal complex directions. The dimension threshold is sharp. By normalizing the Gram kernels of equivariant boundary maps, we show that the translation-length factor t and the signed Cartan factor s of every continuous irreducible representation from PU(n,1) to the holomorphic isometry group of infinite-dimensional complex hyperbolic space satisfy s=+-t. Combining this with the known endpoint rigidity, Monod's constructions, and Ruiz Stolowicz's complete-invariant theorem yields the classification: the holomorphic conjugacy classes are parametrized by (t,epsilon) in (0,1) x {+-1}. Allowing anti-holomorphic conjugacy identifies the two signs. Using Monod's automatic-continuity argument and the same boundary rigidity, we also classify all irreducible self-representations of the full isometry group of infinite-dimensional complex hyperbolic space. Up to conjugacy, these are precisely Monod's representations with parameter 0<t<=1. In particular, the canonical-orbit hypothesis in Monod's classification theorem is automatic.

math.GR↗