Conjugacy-Closed Subgroup¶

A subgroup whose distinct internal conjugacy classes remain distinct when its elements are compared in an ambient group.

Version: v1 · 2026-10-31 · History
Domain-specific #: 14476
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Group Theory → Mathematics
Aliases: Conjugacy Stable Subgroup

Core Idea¶

A subgroup H of a group G is conjugacy-closed when any two elements of H that are conjugate in G are already conjugate in H.^[1] Equivalently, if an element g of G carries x∈H to y∈H by gxg⁻¹=y, some h∈H also carries x to y by hxh⁻¹=y.^[1] The property is also called conjugacy stable.^[1]

Conjugacy divides a group into classes of elements related by internal conjugators.^[1] Enlarging H to G supplies more possible conjugators, but conjugacy-closedness says they do not merge distinct H-classes.^[1] It is a property of the particular inclusion H≤G, rather than of H alone.

How would you explain it like I'm…

No faithful explanation at this level. Two of three generators judged no five-year-old picture survives: it would reduce conjugacy to 'looking alike' or treat conjugacy-closure as a property of the small group alone, when the point is which group supplies the conjugator and that the property belongs to the embedding.

Small Group Keeps Its Matches

In math, a group is a set of moves you can do and undo, like turns of a puzzle. Two moves are 'conjugate' if one is really the other move done from a different starting position: do a move g, then x, then undo g. A smaller group sitting inside a bigger group is conjugacy-closed if whenever the big group can turn move x into move y this way, the small group could already do it using only its own moves. This depends on which bigger group the small group sits in, not just on the small group itself.

Conjugacy-Reflecting Subgroup Embedding

A group is a set with an operation, like the symmetries of a shape. Two elements x and y are conjugate in a group if y = gxg⁻¹ for some element g of that group — roughly, y is x 'seen from a different viewpoint' g. Now take a subgroup H inside a bigger group G. H is conjugacy-closed (or conjugacy stable) in G if any two elements of H that are conjugate using some g from G were already conjugate using some h from H. The reverse direction is automatic, because any h in H is also in G. So the property means G never merges two different conjugacy classes of H. It's a property of how H sits inside G: the cyclic group of order 3 is conjugacy-closed as a direct factor of a direct product but not as A₃ inside S₃, where its two nonidentity elements are conjugate in S₃ but not in the abelian A₃.

An inclusion of groups H ≤ G is conjugacy-closed, or conjugacy stable, when any two elements of H that are conjugate in G are already conjugate in H. Formally: for all x, y ∈ H, if y = gxg⁻¹ for some g ∈ G, then y = hxh⁻¹ for some h ∈ H. The converse holds trivially, since a conjugator in H is also a conjugator in G. So the condition says the inclusion reflects conjugacy for elements of H: passing to G cannot fuse two distinct H-conjugacy classes. It does not say a G-conjugacy class stays inside H; a G-class may contain elements outside H. This is a property of the embedding, not of H as an abstract group, and the same group can satisfy it in one ambient group and fail in another. For instance, the cyclic group of order 3 is conjugacy-closed as a direct factor of a direct product. But as A₃ in S₃ it fails: its two nonidentity elements are conjugate in S₃, yet cannot be conjugate in A₃ because A₃ is abelian.

Scope of Application¶

The condition belongs to group theory wherever a subgroup and its ambient group have been specified. It is useful when a conjugacy classification made inside H is compared with one made inside G. The source reports that GLₙ(k) is conjugacy-closed in GLₙ(K) for a subfield k⊂K, while the same claim need not hold for an arbitrary subring.^[1]

The condition passes along a chain: if H is conjugacy-closed in K and K is conjugacy-closed in G, then H is conjugacy-closed in G.^[1] Ambient conjugacy between H-elements first becomes K-conjugacy and then H-conjugacy.

Clarity¶

Being normal is different. Normality of H in G says that G-conjugation sends H-elements back into H; it does not say that the resulting elements were internally conjugate. For instance, A₃ is normal in S₃, but the two nonidentity 3-cycles are conjugate in S₃ and not within the abelian A₃. This counterexample follows by direct permutation calculation.

The condition does not demand that every G-class be represented in H or that a G-class contain only H-elements. It only prevents one G-class from meeting two distinct H-classes.

Manages Complexity¶

To test a proposed inclusion, compare H-conjugacy classes with the intersections of G-conjugacy classes and H. One ambient merger supplies a counterexample. A positive proof can replace many checks with a structural argument: in H×{1}≤H×C, the second factor has no effect on conjugating an H-element, so every ambient effect has an internal witness.

Abstract Reasoning¶

An H-conjugacy always remains a G-conjugacy. The reverse inference is licensed only after the inclusion is known to be conjugacy-closed. When H is also normal in G, every normal subgroup K of H is normal in G: for k∈K and g∈G, normality keeps gkg⁻¹ in H; conjugacy-closedness gives an H-conjugate of k; normality of K in H puts it back in K. The word normal before K cannot be dropped.

Knowledge Transfer¶

The same question can be asked for permutation groups, matrix groups, direct products, or other group inclusions. Their proofs differ; a direct-product witness does not establish the field-extension matrix theorem. Outside group conjugation, “an embedding reflects an equivalence relation” is a broader analogy, not another literal case of this named property.

Structurally, this is a subtype of Embedding: the subgroup inclusion preserves group operations and adds a conjugacy-reflection condition. Equivalence Relation is also an internal constituent: the H and restricted G conjugacy relations are the two partitions being compared. These distinct relationships do not turn the named group property into a general cross-domain rule.

Examples¶

Field-extension matrix groups. The cited paper reports GLₙ(k)≤GLₙ(K) as a conjugacy-stable inclusion when k⊂K are fields.^[1] Mapped back: H is the group of invertible matrices over k, G adds matrices over K, and any similarity between H-elements found in G already has a witness in H.^[1]

Direct product. Put D₈×{1} inside D₈×C₂. Conjugating (x,1) by (d,c) yields (dxd⁻¹,1), exactly what conjugating by (d,1) inside the subgroup yields. Mapped back: D₈×{1} supplies the internal classes; the ambient C₂ coordinate supplies no new mergers. This is a direct calculation from the definition.

Boundary case. Every subgroup of an abelian ambient group is conjugacy-closed because all conjugations fix each element. In contrast, A₃≤S₃ is not conjugacy-closed despite normality.

Relationships to Other Abstractions¶

Current abstraction Conjugacy-Closed Subgroup Domain-specific

Parents (2) — outgoing typed relations

Conjugacy-Closed Subgroup is a kind of Embedding Prime

A conjugacy-closed subgroup is an operation-preserving group embedding with the additional reflection of conjugacy.
Conjugacy-Closed Subgroup includes Equivalence Relation Prime

The property compares two conjugacy equivalence relations on H and requires them to coincide.

Hierarchy paths (2) — routes to 2 parentless roots

Conjugacy-Closed Subgroup → is a kind of Embedding → is a kind of Representation → presupposes Abstraction

Show alternative path (1)

Neighborhood in Abstraction Space¶

Conjugacy-Closed Subgroup sits in a sparse region of the domain-specific corpus (62^nd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Abstract Algebra & Category Theory (26 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-31

Not to Be Confused With¶

Conjugacy class: a single class within a group; this entry concerns all classes across an inclusion.
Conjugacy problem: the question whether a particular pair is conjugate; this property compares the answers in two groups for every pair from H.
Normal subgroup: ambient conjugation remains inside H, but distinct H-classes may still merge.

References¶

[1] Isabel Fernández Martínez and Denis Serbin, “Detecting Conjugacy Stability of Subgroups in Certain Classes of Groups,” arXiv:2007.07490v1 (2020), Introduction, PDF p. 1, and §2 definition and Lemma 1, PDF p. 2. The Introduction reports the GLₙ(k)≤GLₙ(K) field-extension case and warns about generalizing to subrings. https://arxiv.org/pdf/2007.07490 . registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i