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¶

An inclusion of groups H ≤ G is conjugacy-closed (also called conjugacy stable) when two elements of H that become conjugate in G were already conjugate in H.^[1] In symbols, for every x, y ∈ H,

The condition is: if y = gxg⁻¹ for some g ∈ G, then y = hxh⁻¹ for some h ∈ H.^[1]

The converse needs no condition: a conjugator in H is already a conjugator in G. Thus the property says that the inclusion reflects conjugacy for elements of H. Passing to G cannot fuse two distinct H-conjugacy classes, although a G-conjugacy class may contain elements outside H.^[1]

This is a property of an Embedding, not of H in isolation. The same abstract group can be conjugacy-closed in one ambient group and fail in another. For example, the cyclic group of order three is conjugacy-closed when embedded as a direct factor of a direct product, but its usual embedding as A₃ in S₃ fails: the two nonidentity elements are conjugate in S₃ and, because A₃ is abelian, cannot be conjugate within A₃. This comparison follows by direct calculation from the definition.

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.

Structural Signature¶

Sig role-phrases: subgroup inclusion → internal conjugacy classes → ambient conjugacy comparison → no merger of distinct internal classes.

Embedded group H. H supplies the elements to be compared and its own conjugators.^[1] Without the subgroup operation, the internal conjugacy relation is undefined.
Ambient group G. G supplies a potentially larger set of conjugators.^[1] Without the inclusion H ≤ G, there is no second conjugacy relation to compare.
Class reflection. Whenever ambient conjugation connects two H-elements, an H-conjugator must connect that same pair.^[1] One ambient merger of two distinct H-classes falsifies the property.

Recognition test: partition H into its H-conjugacy classes, then inspect how those classes sit in G-conjugacy classes. No G-class may contain elements from two different H-classes.^[1] This describes the comparison without requiring every G-class to meet H.

What It Is Not¶

Not ordinary normality. H ◁ G means conjugating an H-element by G stays in H. It does not ensure that two elements so connected are conjugate inside H. A₃ ◁ S₃ is the counterexample, as calculated below.
Not equality of the two groups' conjugacy classes. A G-class meeting H may include elements outside H; the condition concerns how its intersection with H is partitioned by H-conjugacy.
Not a statement that all subgroups of H are normal in G. Under the extra assumption H ◁ G, the property implies that every normal K ◁ H is normal in G; it says nothing of this kind for arbitrary K ≤ H. The proof and its exact quantifier appear below.
Not a general conjugacy algorithm. The definition is a quantified relation between two groups. It does not by itself give an effective procedure for deciding conjugacy in either one.

Scope of Application¶

The literal home is group theory: an explicitly specified subgroup H inside an ambient group G, with conjugacy in each group understood. The condition is used when comparing conjugacy classifications or conjugacy decisions across an embedding. Fernández Martínez and Serbin study how to detect it in particular classes of groups.^[1] They also give the chain rule: if H is conjugacy-closed in K and K is conjugacy-closed in G, then H is conjugacy-closed in G.^[1] Indeed, G-conjugate elements of H first become K-conjugate by the second condition, then H-conjugate by the first.

An illustrative family is GLₙ(k) ≤ GLₙ(K) when k is a subfield of K. The cited paper reports conjugacy stability for this field-extension inclusion, while warning that the analogous assertion is not automatic for arbitrary subrings.^[1] A separately derived case is the direct factor H × {1} ≤ H × C: conjugating an H-element by (h,c) has the same effect as conjugating it by (h,1). These are unlike mathematical settings, but both have the same internal-versus-ambient comparison.

If the entire ambient group G is abelian, every H≤G is conjugacy-closed: all conjugation fixes each element, so there can be no merger of distinct H-classes. This is a direct boundary consequence of the definition, not an additional theorem attributed to the paper.

The entry's scope ends where no subgroup embedding or no internal conjugacy relation is specified. “Preserving a classification under enlargement” is a useful analogy elsewhere, not a literal use of this group-theoretic property.

Clarity¶

The phrase “conjugate in a larger group” can conceal a change of equivalence relation. Conjugacy-closedness tells us exactly when that change does not collapse distinctions already present inside H. To check it, the compared elements must both lie in H; the ambient conjugator may lie anywhere in G.

The A₃ ≤ S₃ example makes the distinction sharp. Let a=(123), so a⁻¹=(132). A transposition in S₃ conjugates a to a⁻¹. Yet every conjugation inside the abelian A₃ fixes each element, so {a} and {a⁻¹} are separate A₃-classes. Normality keeps the conjugated element inside A₃; it does not preserve A₃'s finer class partition. This counterexample is verified by direct permutation calculation.

Manages Complexity¶

An ambient group can contain many more possible conjugators than H. Instead of checking each external conjugator as a separate phenomenon, the property asks one structural question: does any G-class meeting H intersect more than one H-class? A counterexample is concrete—a pair x,y∈H plus a G-conjugator, together with proof that H has none. A positive proof may exploit a structural feature of the embedding, such as a commuting direct-product factor, rather than enumerate conjugators.

This compression does not remove all work. In an arbitrary group, describing internal classes or proving the universal implication may be difficult. The statement identifies what must be shown; it does not promise a uniform decision method.

Abstract Reasoning¶

Suppose a calculation in G shows that two elements of H are conjugate. If H is conjugacy-closed in G, the calculation can be transferred back to an H-conjugacy statement. Conversely, if those elements are known to occupy distinct H-classes, a single G-conjugator disproves conjugacy-closedness. The direction of implication matters: an H-conjugacy result always transfers upward, while a G-conjugacy result transfers downward only under this condition.

When H ◁ G and H is conjugacy-closed, a further consequence can be derived. Let K ◁ H, k∈K, and g∈G. Normality of H puts gkg⁻¹ in H. Conjugacy-closedness supplies h∈H with gkg⁻¹=hkh⁻¹, which lies in K because K ◁ H. Hence K ◁ G. The quantifier over normal subgroups K of H is essential; dropping normality of K breaks the proof. This is a consequence of the property under an added hypothesis, not its definition.

Knowledge Transfer¶

Within group theory, the test transfers from finite permutation groups to matrix groups, direct products, and any other setting where an inclusion and the two conjugacy relations are defined. The direct-product proof below uses a commuting factor; that is an author-derived argument, not a claim of the cited paper. The matrix-group field-extension result, by contrast, is reported in the cited paper.^[1]

The broader pattern—an embedding that reflects an equivalence relation—may help formulate questions in other mathematical domains. That pattern is more general than conjugacy-closedness. Calling another embedding “conjugacy-closed” without group conjugation would erase the condition that gives this entry its mathematical content.

Examples¶

Canonical: field-extension matrix groups¶

Take k⊂K and include GLₙ(k) in GLₙ(K). The source reports that if two invertible k-matrices are similar over K, then they are already similar over k: the larger field does not merge their k-similarity classes.^[1] For a small visible instance, let k=ℝ, K=ℂ, A=((0,-1),(1,0)), and B=((0,1),(-1,0)). The real invertible matrix P=diag(1,-1) satisfies B=PAP⁻¹. The theorem covers all pairs of this kind; this displayed pair is an author-computed internal witness rather than a proof of the theorem.

Mapped back: H=GL₂(ℝ) supplies the matrices and internal real conjugators; G=GL₂(ℂ) supplies possible complex conjugators; class reflection means that a complex similarity between real matrices has a real witness. The same mapping holds for general n and subfields k⊂K as reported in the source.^[1]

Applied / In Practice: a direct-product embedding¶

Let D₈ denote the order-eight dihedral group and put H=D₈×{1} inside G=D₈×C₂. For x=(x₀,1) and any ambient g=(d,c), direct-product multiplication gives gxg⁻¹=(dx₀d⁻¹,1). The element (d,1)∈H gives the same conjugate. Thus every ambient conjugacy between H-elements is witnessed in H. This example follows directly from the definition; it is not attributed as a theorem of the cited paper.

Mapped back: H supplies the internal D₈ classes; G adds an external C₂ coordinate; that coordinate commutes with H and contributes no new conjugation, so distinct H-classes stay distinct.

Structural Tensions¶

T1: more ambient conjugators versus preserved internal distinctions. Enlarging H to G creates more possible conjugators, which could simplify a classification by merging H-classes. Conjugacy-closedness is precisely the demand that this apparent freedom create no merger among H-elements. If a proposed embedding fails, work done with its finer H-classes cannot automatically be recovered from G-classes. Diagnostic: can an element outside H conjugate representatives of two distinct H-classes?

T2: ambient witnesses versus internal witnesses. The definition tests every G-conjugacy between H-elements, yet a proof must produce an H-conjugator for each one. Examining external elements individually can obscure why an entire family works; a structural conversion, such as discarding a commuting direct-product coordinate, explains all cases at once but is unavailable for a general inclusion. Diagnostic: for this embedding, what operation turns any ambient conjugator's effect on H into an internal conjugation?

Structural–Framed Character¶

Evaluative weight: this is a formal yes-or-no property of a specified embedding; usefulness for a classification is an application, not part of its truth condition. Human-practice dependence: mathematicians choose which groups and inclusions to study, but the implication holds or fails independently of that choice. Institutional origin: it is a mathematical definition used in research on subgroup conjugacy, not a rule enacted by an institution.

Vocabulary travel: terms such as “class preservation” and “reflection” can appear elsewhere, while conjugation, subgroups, and ambient groups retain exact group-theoretic meanings here. Import versus recognition: importing the name into a new setting requires an actual group inclusion and proof of its conjugacy relation; merely observing that a category survives enlargement is an analogy. Portable skeleton: an embedding can reflect an internal equivalence relation. That possible skeleton does not make the named group property a cross-domain Prime. Spectrum placement: the entry is nearer the structural end than a historically situated practice, but still domain-framed by group operations. Its character: structurally precise but domain-framed, because group conjugation is constitutive of both the classes and the comparison.

Structural Core vs. Domain Accent¶

The skeletal relation is reflection of equivalence under inclusion: if two embedded objects become equivalent in a larger setting, they were equivalent in the smaller one. For this entry, equivalence is specifically conjugacy, objects are elements of a subgroup, and witnesses are conjugating group elements. Changing those operations produces a different property, even if the implication has the same logical shape.

The named entry does not clear the Prime bar because its necessary roles remain group-theoretic. Future Prime question: does a genuinely substrate-independent principle of equivalence reflection under embedding recur literally across several fields, with a stable identity that is not already owned by Embedding or Equivalence Relation? A positive decision would require distinct non-group settings, the same necessary roles in each, and a catalog comparison showing nonduplication. This article supplies only group-theoretic evidence and therefore does not assert that Prime. Any typed parent must be chosen from the live catalog by the separate DAG gate.

This entry includes Equivalence Relation and is a kind of Embedding.

Embedding is a strict subsumption parent when the nominated preserved structure is the group operation. Every H≤G inclusion is then a group embedding; conjugacy-closedness adds reflection of the internal conjugacy relation. A₃≤S₃ shows that an operation-preserving embedding need not have that extra property.

Equivalence Relation is a separate strict internal constituent (part_of, with parent inside child): H-conjugacy and G-conjugacy restricted to H each partition H into classes, and this entry says those two relations coincide. Removing their class structure would remove the comparison itself. This constituent is not supplied merely by the Embedding genus.

The live catalog's Conjugacy Class and Conjugacy Problem are domain-specific neighbors: the former describes an equivalence block in one group, and the latter asks whether a pair is conjugate. This property compares those judgments across an embedding. Transitively Normal Subgroup is a nearby consequence only when H is itself normal; the proof about K ◁ H above explains why it is neither the definition nor a general synonym.

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¶

Normal subgroup: does ambient conjugation merely stay inside H, or is every resulting pair internally conjugate? A₃≤S₃ distinguishes them.
Conjugacy class: is the object one class inside a group, or a property of the inclusion comparing all internal classes with ambient classes?
Conjugacy problem: is the question whether a given pair is conjugate, or whether ambient conjugacy always reflects back to H for pairs in H?
Equality of class counts: numerical coincidence alone does not identify which classes merge or how H sits in G; test actual pairs and witnesses.

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 . The paper's broad wording about subgroups of a normal conjugacy-closed H is not adopted here; the narrower normal-K result above is proved directly. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m