Coset Identity in Group Theory

• Coset Identity is a property where a nontrivial group word becomes trivial on every element of a coset of a finite-index or open subgroup, bridging algebraic and measure-theoretic concepts.
• Analytic rigidity forces positive Haar measure in the fiber of the word map to yield an open coset identity, underpinning results like the probabilistic Tits alternative.
• Its applications span compact p-adic analytic groups and pro-p groups, providing insights into distinguishing virtually solvable groups from those that are randomly free.

Searching arXiv for the primary paper and related usages of “coset identity”. In group theory, a coset identity is a nontrivial word that vanishes identically on a product of cosets of a finite-index subgroup, or, in the topological setting, of an open subgroup. In the framework of $\sigma$-compact $K$-analytic groups over a non-archimedean local field, the notion is tightly linked to probabilistic identities: positive Haar measure of the identity fiber of a word map forces the existence of such a coset-level vanishing set (Kionke et al., 25 Jul 2025). The term also appears with distinct technical meanings in several adjacent areas, but the group-theoretic usage is the one that underlies recent results on pro-$p$ groups, compact linear groups over local fields, and probabilistic Tits alternatives (Kionke et al., 25 Jul 2025).

1. Definition in topological and profinite group theory

Let $F_m$ be the free abstract group of rank $m \ge 1$, and let $w=w(x_1,\dots,x_m)\in F_m$ be a nontrivial group word. For a topological group $G$, the associated word map is

$$w_G:G^m\to G,\qquad (g_1,\dots,g_m)\mapsto w(g_1,\dots,g_m).$$

When $G$ is a $K$-analytic group, this map is analytic. A word $K$0 is a coset identity in $K$1 if there exist a finite-index subgroup $K$2 and elements $K$3 such that

$K$4

In the topological variant used for profinite and analytic groups, one replaces finite-index by open; then $K$5 is an open coset identity if

$K$6

For profinite groups, “coset identity” and “open coset identity” are equivalent (Kionke et al., 25 Jul 2025).

The corresponding measure-theoretic notion is a probabilistic identity. If $K$7 is a $K$8-compact $K$9-analytic group with Haar measure $p$0, then $p$1 is a probabilistic identity if

$p$2

For profinite $p$3, the notation $p$4 is used, and $p$5 is a probabilistic identity when $p$6. Since $p$7 is continuous, the fiber $p$8 is closed and therefore measurable (Kionke et al., 25 Jul 2025).

2. Analytic rigidity: probabilistic identity implies coset identity

The central analytic result is Theorem A: if $p$9 is a $F_m$0-compact $F_m$1-analytic group and $F_m$2 is nontrivial, then

$F_m$3

The statement also applies to words with parameters, because they define analytic maps as well (Kionke et al., 25 Jul 2025).

The proof rests on an analytic-geometric dichotomy for fibers of analytic maps. For an analytic map $F_m$4 between $F_m$5-analytic manifolds and a point $F_m$6, the fiber $F_m$7 is either locally negligible, meaning measure zero near every point, or has non-empty interior. The argument uses local analytic charts, reduction to convergent power series, reduction to a single coordinate function, the Weierstrass Preparation Theorem, and Fubini’s theorem. The outcome is that positive measure of a fiber forces interior (Kionke et al., 25 Jul 2025).

Applied to the word map $F_m$8 and $F_m$9, this yields that $m \ge 1$0 contains a product of cosets of an open subgroup,

$m \ge 1$1

which is exactly an open coset identity with $m \ge 1$2. In profinite groups, where open subgroups are precisely the finite-index subgroups, this recovers the equivalence between probabilistic identity and coset identity (Kionke et al., 25 Jul 2025).

3. Structural consequences and probabilistic Tits alternatives

One consequence is a probabilistic Tits alternative for compact linear groups over local fields. If $m \ge 1$3 is a local field, archimedean or non-archimedean, and $m \ge 1$4 is a compact subgroup of $m \ge 1$5, then $m \ge 1$6 is either virtually solvable or randomly free. In particular, a $m \ge 1$7-adic analytic pro-$m \ge 1$8 group is either solvable or randomly free (Kionke et al., 25 Jul 2025). The mechanism is that any probabilistic identity is, by Theorem A, a coset identity, while the existence of a dense free subgroup in the non-virtually solvable case excludes coset identities.

A parallel statement holds for finitely generated linear groups. If $m \ge 1$9 is a finitely generated linear group, then $w=w(x_1,\dots,x_m)\in F_m$0 is either virtually solvable or randomly free; moreover, any probabilistic identity, possibly with parameters, is a coset identity. The argument passes through an embedding into $w=w(x_1,\dots,x_m)\in F_m$1 for a finitely generated integral domain $w=w(x_1,\dots,x_m)\in F_m$2, then into the ring of integers of a local field, and finally to the compact analytic closure (Kionke et al., 25 Jul 2025).

The same dichotomy extends to several pro-$w=w(x_1,\dots,x_m)\in F_m$3 classes obtained from free constructions. If $w=w(x_1,\dots,x_m)\in F_m$4 is a virtually free pro-$w=w(x_1,\dots,x_m)\in F_m$5 group, then $w=w(x_1,\dots,x_m)\in F_m$6 is either virtually procyclic or randomly free. For finitely generated Demushkin groups, nontrivial free pro-$w=w(x_1,\dots,x_m)\in F_m$7 products, and pro-$w=w(x_1,\dots,x_m)\in F_m$8 analogues of limit groups in the class $w=w(x_1,\dots,x_m)\in F_m$9, one likewise has: either $G$0 is solvable, or $G$1 is randomly free. The proofs use surjections onto virtually free non-abelian pro-$G$2 groups, induction or representation-theoretic arguments, and the fact that random freeness can be pushed back along quotients (Kionke et al., 25 Jul 2025).

4. Torsion probabilistic identities and Lie-theoretic characterization

A torsion probabilistic identity is a probabilistic identity for a power word $G$3; equivalently, on a compact group $G$4,

$G$5

For compact $G$6-adic analytic groups, the paper gives a Lie-theoretic characterization. The following are equivalent:

$G$7

$G$8

Here $G$9 is conjugation by $$w_G:G^m\to G,\qquad (g_1,\dots,g_m)\mapsto w(g_1,\dots,g_m).$$0, and $$w_G:G^m\to G,\qquad (g_1,\dots,g_m)\mapsto w(g_1,\dots,g_m).$$1 is the Lie algebra of $$w_G:G^m\to G,\qquad (g_1,\dots,g_m)\mapsto w(g_1,\dots,g_m).$$2. The implication $$w_G:G^m\to G,\qquad (g_1,\dots,g_m)\mapsto w(g_1,\dots,g_m).$$3 comes from Theorem A: a torsion probabilistic identity yields an open coset $$w_G:G^m\to G,\qquad (g_1,\dots,g_m)\mapsto w(g_1,\dots,g_m).$$4 consisting of torsion, and for torsion-free uniform $$w_G:G^m\to G,\qquad (g_1,\dots,g_m)\mapsto w(g_1,\dots,g_m).$$5 this forces $$w_G:G^m\to G,\qquad (g_1,\dots,g_m)\mapsto w(g_1,\dots,g_m).$$6. The equivalence $$w_G:G^m\to G,\qquad (g_1,\dots,g_m)\mapsto w(g_1,\dots,g_m).$$7 transfers fixed-point-free behavior between the group and the Lie algebra. For $$w_G:G^m\to G,\qquad (g_1,\dots,g_m)\mapsto w(g_1,\dots,g_m).$$8, one studies

$$w_G:G^m\to G,\qquad (g_1,\dots,g_m)\mapsto w(g_1,\dots,g_m).$$9

whose differential is $G$0; invertibility makes $G$1 locally surjective near $G$2, so an open subgroup lies in $G$3, and the corresponding coset consists of torsion (Kionke et al., 25 Jul 2025).

Several consequences follow. If $G$4 is a compact $G$5-adic analytic group that is not virtually solvable, then $G$6. More specifically, when $G$7 for a $G$8-adic analytic pro-$G$9 group, the group is solvable and admits an open uniform subgroup $K$0 and a torsion element $K$1 with $K$2. If $K$3 is a probabilistic identity, then $K$4 is nilpotent, hence $K$5 is nilpotent (Kionke et al., 25 Jul 2025).

For countably based profinite groups, torsion conjugacy classes can also be measured explicitly. If $K$6 has a normal finitely generated non-abelian free pro-$K$7 subgroup $K$8, then for any torsion $K$9 one has $K$00. More generally, for $K$01,

$K$02

The proof uses Lie ring methods, lower central series, and fixed-point arguments on nilpotent quotients of $K$03 (Kionke et al., 25 Jul 2025).

5. Examples, counterexamples, and hypotheses

The commutator word $K$04 gives a basic test case. If $K$05 is a $K$06-compact $K$07-analytic group and

$K$08

then there exist an open subgroup $K$09 and elements $K$10 such that

$K$11

Thus the cosets $K$12 and $K$13 commute pairwise. In many settings, if one of these cosets generates an open subgroup, this forces an open abelian subgroup. By contrast, in compact linear groups that are not virtually solvable, the set of commuting pairs has Haar measure zero (Kionke et al., 25 Jul 2025).

Concrete examples illustrate the rigidity. $K$14 is a compact $K$15-adic analytic group that is not virtually solvable, so it is randomly free. Therefore no nontrivial word, including $K$16 or $K$17, has positive-measure identity fiber; in particular, $K$18 and

$K$19

Likewise, non-abelian free pro-$K$20 groups of finite rank at least $K$21 are randomly free unless virtually procyclic, so they admit no probabilistic identities and no positive-measure torsion sets (Kionke et al., 25 Jul 2025).

The analytic theorem depends on regularity assumptions that are not formalities. The fiber dichotomy uses $K$22-compactness to pass from local negligibility to global measure zero via countable subcovers. Haar measure on $K$23 and its product measure on $K$24 are essential, and the argument uses local non-archimedean analytic geometry, power series in charts, Weierstrass Preparation, and analytic implicit-function arguments. In the profinite case, quotient maps decrease measure, so randomly free behavior can be lifted from quotients back to the original group (Kionke et al., 25 Jul 2025).

6. Other technical meanings of the term

The expression “coset identity” is not uniform across the literature. In descriptive-topological group theory, the closely related problem is the existence of a common transversal for left and right coset spaces. If $K$25 is Polish and $K$26 is compact, and if

$K$27

then there exists a Borel set $K$28 such that

$K$29

so $K$30 realizes a Borel bijection between $K$31 and $K$32 (Ando et al., 2023). This is a statement about simultaneous left-right coset representatives, not about word identities.

In $K$33-dimensional topological order, gauging a non-normal subgroup $K$34 produces a coset non-invertible symmetry whose identity object is the condensation defect

$K$35

Within the sandwich construction,

$K$36

and the fusion rule is

$K$37

with $K$38 as the tensor unit after canonical normalization (Hsin et al., 2024).

In categorical coset constructions and vertex-operator-algebra theory, the phrase refers to field identification and selection rules. The Kac–Wakimoto set

$K$39

generates the identification group, while the selection rule is expressed by a Müger-centralizer condition. If $K$40 is cyclic, multiplicities are $K$41, and coset labels are identified along $K$42-orbits (Dong et al., 2024).

In skew lattices, coset identities are flat coset laws rather than word identities. For comparable $K$43-classes $K$44, one has factorization formulas such as

$K$45

and, under the stated hypothesis on full cosets,

$K$46

These laws control normality, quasi-normality, and cancellation properties (Costa et al., 2014). In coset relation algebras, the characteristic identity is a coset-shifted multiplication law,

$K$47

which defines the class of full coset relation algebras and underlies the variety theorem for coset relation algebras (Givant et al., 2018). Related but different uses also occur in coset-based constructions of supersymmetric Born–Infeld theory, where a covariant Bianchi identity is derived from Maurer–Cartan constraints, and in symmetric-space supergravity reductions, where the identity point is encoded by a basepoint matrix $K$48 of a coset representative (Bellucci et al., 2015, Clément et al., 2013).