Quasinormal Subgroup¶

A subgroup that permutes, by set product, with every subgroup of its ambient group.

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

Core Idea¶

A subgroup H ≤ G is quasinormal, also called permutable, when its set product with every subgroup K ≤ G has the same elements in either order: HK = KH.^[1] To check quasinormality, it is enough to test cyclic subgroups K.^[1] Under this condition, HK is already the subgroup generated by H and K.^[1]

This is a property of the pair (H,G). It relaxes normality: every normal subgroup is quasinormal, while a nonnormal subgroup can still satisfy the product test.^[1] The universal quantifier matters. Permuting with one favored K says less than being quasinormal in G.

How would you explain it like I'm…

No faithful explanation at this level. All three generators agree that at a five-year-old level HK = KH collapses into 'order doesn't matter for each move' (elementwise commutation), whereas only the whole product sets must coincide, for every subgroup K.

Same-Either-Way Clubs

In math, a group is a set of moves, like turns and flips of a square, that you can combine. A subgroup H is a smaller club of moves that is itself a group. H is quasinormal if, for every other club K, doing 'an H move then a K move' gives exactly the same collection of results as doing 'a K move then an H move.' Single pairs of moves don't have to match in both orders; only the whole collections of results have to be the same. And it has to work for every club K, not just one.

Permutable Subgroups

For subgroups H and K of a group G, the set product HK is the set of all products hk with h in H and k in K. A subgroup H is quasinormal (or permutable) in G when HK = KH for every subgroup K of G. This is a statement about sets: hk need not equal kh, but every product formed one way can also be formed the other way with possibly different elements. Every normal subgroup is quasinormal, but some non-normal subgroups are quasinormal too, so this is a weaker condition than normality. It's enough to check K ranging over cyclic subgroups, and when the condition holds, HK is automatically the subgroup generated by H and K. Permuting with just one particular K is not enough.

A subgroup H ≤ G is quasinormal, or permutable, if HK = KH as sets for all subgroups K ≤ G. The equality is of product sets, not elementwise commutation, so hk may equal some other k'h'. Under this condition HK is itself a subgroup, namely the join ⟨H, K⟩. It suffices to verify the condition for cyclic subgroups K. Quasinormality is a property of the pair (H, G), not of H alone. It relaxes normality: every normal subgroup is quasinormal, and there are nonnormal subgroups that are still quasinormal. The universal quantifier is essential, since permuting with a single favored K is a much weaker statement.

Structural Signature¶

Sig role-phrases: ambient group → candidate subgroup → every comparison subgroup → set-product equality → generated subgroup.

Ambient group G. G supplies the operation and the collection of comparison subgroups. The same abstract H can be tested in different ambient groups.
Candidate subgroup H. H is the one subgroup whose permutability is asserted; the property is not a claim that every subgroup of G qualifies.
Comparison subgroup K. K ranges over all subgroups of G; Stonehewer notes that cyclic K suffice for the test.^[1]
Product-order test. HK and KH must coincide as sets. If a witness K gives different products, H is not quasinormal.
Closure consequence. When the products coincide, HK is the subgroup generated by H and K; the equality therefore makes a two-subgroup product behave as a subgroup.^[1]

Recognition test: fix H and G, then test HK = KH for all K ≤ G, or prove a result that implies the equality for the relevant class of G. A single successful pair (H,K) cannot discharge the universal condition.

What It Is Not¶

Not normality under another name. Normality implies quasinormality, but Stonehewer gives finite nonabelian cyclic-by-cyclic p-group extensions in which all subgroups are quasinormal and some are not normal.^[1]
Not mere conjugate permutability. Requiring H to permute with its conjugates tests a smaller family of subgroups than all K ≤ G.
Not an Iwasawa-group claim about G. In finite-group usage, an Iwasawa group is an ambient G in which every subgroup has the property.^[2] Quasinormality of one H can hold even when G has other subgroups that fail it.
Not unrestricted subnormality. A quasinormal subgroup of a finite group is subnormal; the corresponding assertion can fail in an infinite group.^[1]^[3]

Scope of Application¶

The literal setting is group theory, wherever a subgroup H and its ambient group G are specified. The test is meaningful for finite and infinite groups, abelian and nonabelian groups, and for subgroup-product arguments. Its consequences require their own hypotheses: Stonehewer reports Ore's finite-group subnormality theorem and contrasts it with infinite examples that are not subnormal.^[1]

In an abelian G, every subgroup is normal and therefore quasinormal.^[1] The distinction from normality becomes visible in nonabelian groups: some have nonnormal quasinormal subgroups, while others contain subgroups that do not permute.^[1] This range keeps the definition tied to a checkable relation rather than to a named group family.

The frozen source article also discusses modular subgroup lattices, PT-groups and terminology history. Those are neighboring results or contextual claims; they are not imported into this bounded definition without separately inspected support.

Clarity¶

For subsets A,B of G, AB means all products ab with a∈A and b∈B.^[1] Thus HK = KH is a set equality, not a claim that every h commutes elementwise with every k.^[1] H and K can permute as subgroups even when individual elements fail to commute.^[1]

The order of quantifiers is equally important. In S₃, A₃ is normal and hence quasinormal by Stonehewer's normality rule.^[1] Yet S₃ itself does not have every subgroup permutable: the two distinct subgroups generated by (12) and (13) have different products in the two orders, as direct enumeration shows.^[1] This calculation separates a positive pair (A₃,S₃) from an all-subgroups property of S₃.

Manages Complexity¶

The condition replaces many pairwise product questions about H with one stable classification. Once H is known to be quasinormal, any subgroup K can be joined to it simply by forming HK. Stonehewer's cyclic-subgroup reduction can further shrink the proof obligation: a theorem or calculation covering every cyclic K covers arbitrary K.^[1]

The compression does not identify which subgroups of a new group are quasinormal. A finite group can have a large subgroup lattice, and the universal test may require a structural theorem rather than enumeration. Conversely, one explicit K with HK ≠ KH is a complete negative certificate.

Abstract Reasoning¶

Start with a pair H ≤ G, not just the name of H. Ask whether each K ≤ G yields the same set product in both orders. If yes, HK = ⟨H,K⟩ for each K; if no, preserve the witnessing K.^[1] This turns a vague statement that H “fits well” inside G into an exact algebraic assertion.

Then apply consequences only under their stated scope. In a finite G, quasinormality entails subnormality.^[1] In an infinite G, Lennox's publisher extract describes quasinormal examples that are not subnormal, so the finite theorem cannot be transported unchanged.^[1]^[3] Normality is a sufficient route to the condition in any G, not a necessary characterization.^[1]

Knowledge Transfer¶

Within group theory, the same test applies to unlike ambient groups. In an odd-prime cyclic-by-cyclic extension, a nonnormal subgroup can satisfy it; in S₃, a normal subgroup satisfies it while other subgroups do not, as the worked calculations below demonstrate.^[1] The invariant transferred between the two settings is the universal equality HK = KH, not the reason each case passes.

Outside group theory, “two components combine regardless of order” can be an analogy, but it is not automatically quasinormality. The literal name requires subgroups of one group and the set-product quantifier over all its subgroups.

Examples¶

Canonical¶

Stonehewer identifies an odd-prime cyclic-by-cyclic extension class in which every subgroup is quasinormal.^[1] Take the explicit member G = C₉ ⋊ C₃ with generators a,b satisfying a⁹=b³=1 and bab⁻¹=a⁴, and set H=⟨b⟩; this p=3 presentation is derived here from the cited class, not printed in the source.^[1] Its nontrivial action makes H nonnormal: aba⁻¹ belongs to the coset a⁶⟨b⟩ and is outside ⟨b⟩.^[1] Yet HK=KH for every K≤G by the extension-class result.^[1]

Mapped back: G is the ambient nonabelian 3-group; H is the tested cyclic complement; K ranges over every subgroup; the product-order equality holds even though H is not normal; and each HK is the generated subgroup ⟨H,K⟩.^[1] The example shows why the weaker condition deserves its own identity.

Applied/practice¶

Let G=S₃ and H=A₃. H is normal, so it permutes with every K≤S₃ by the general normality rule.^[1] But the subgroups ⟨(12)⟩ and ⟨(13)⟩ do not permute with one another: direct multiplication gives two distinct four-element product sets containing opposite 3-cycles.^[1] Thus G fails the all-subgroups condition while the pair (H,G) is positive; this is an elementary calculation using the cited definition.^[1]

Mapped back: G supplies comparison subgroups; H=A₃ is the candidate; K ranges over every subgroup of S₃; all products HK agree in either order because H is normal; each such product is the generated subgroup ⟨H,K⟩.^[1] The failing pair of order-two subgroups tests the distinct property of G, not the status of H.

Structural Tensions¶

T1: Universal scope vs selective compatibility. Requiring H to permute with every K makes a strong property and excludes subgroups that work only with favored partners. Restricting K to a special family admits more H and may support a different theorem, but it changes the identity rather than merely easing its proof. Diagnostic: Does the claim still quantify over all subgroups of G, or has it become a weaker relation to a selected family?

T2: Product permutability vs elementwise commutation. Elementwise commutation gives an easy sufficient test, at the cost of excluding genuine cases where HK=KH although individual factors do not commute. Using set equality captures those cases, but requires a subgroup-product argument rather than pairwise commutator checks. Diagnostic: Does the proposed proof establish equality of the two product sets, or demand equality of each ordered pair of elements?

T3: Normal inclusion vs nonnormal extension. Normality gives a reliable positive route, and relying only on it makes classification easy. That reliance misclassifies nonnormal quasinormal subgroups such as the complement in the displayed 27-element group. Testing products directly admits them, at the cost of a harder universal proof. Diagnostic: Is a candidate H dismissed merely because conjugation moves it, or is its product relation with every K actually tested?

T4: One-subgroup property vs carrier-wide property. Qualifying one H lets the relation occur inside groups where other subgroups fail it, as A₃ does in S₃. Demanding it of every H characterizes a stronger class of ambient groups, but would wrongly discard positive pair-level cases. Diagnostic: Is the assertion about this specified (H,G), or about every subgroup of G?

T5: Subgroup inclusion vs product compatibility. H≤G supplies an inclusion with preserved group operation, but that relation alone leaves HK=KH undecided. Requiring the product test gains a finer subgroup classification at the cost of checking its universal comparison; treating inclusion as the whole identity loses this distinction. Diagnostic: Has the argument established only H≤G, or also the product equality for every K? The accepted Embedding genus preserves the inclusion while the separate Closure genus preserves the universal product test; neither alone exhausts the child differentia.

Structural–Framed Character¶

The entry sits near the structural end of the structural–framed spectrum. Its truth for a specified pair (H,G) is fixed by subgroup membership and product-set equality. Evaluative weight: “quasinormal” does not praise H or rank it as useful; it labels a mathematical predicate. Human-practice dependence: people choose which group and subgroup to study and how to prove the result, but their preference does not decide whether ∀K≤G, HK=KH. Institutional origin: the name and research tradition arose in mathematics, yet no institutional role or rule is an operand of the test.

Vocabulary travel: “group,” “subgroup,” and “set product” retain technical meanings; importing the name into an unrelated setting without those meanings would be metaphorical. Import versus recognition: within another group-theoretic setting, checking the same predicate recognizes a structure already there; applying it to teams or organizations would import group-theory language and need a separately defined model. The portable part is the existing Closure prime's universal self-containment test under a designated operation, together with the existing Embedding prime's faithful inclusion; neither transfers the specialist name to another domain. Its character: structurally determined and minimally framed by research vocabulary, with literal scope restricted to group-theoretic subgroup products.

Structural Core vs. Domain Accent¶

The portable skeleton has two existing parents. Embedding captures the injective, operation-preserving inclusion H↪G. Closure captures universal self-containment: for S=Sub(G), the unary operation F_H(K)=HK has outputs in S for every K exactly when H is quasinormal. The domain mechanism is sharper: H and K must be subgroups of the same group G, composition means subgroup set product, and K ranges over all subgroups. These commitments make the property testable and support its group-theoretic consequences.

The named entry does not clear the prime bar: removing the subgroup and set-product meanings leaves the already available Closure and Embedding structures, plus an underspecified compatibility metaphor. No independently evidenced cross-domain identity carries the exact all-subgroups product test. Group supplies the mathematical carrier, but its full identity alone does not describe the distinguished H and the unary closure condition.

This entry is a kind of Closure and is a kind of Embedding.

Embedding is a strict parent: inclusion H↪G is faithful and preserves multiplication, while quasinormality adds a condition that many subgroup embeddings fail. Closure is a second strict parent: S=Sub(G) is closed under F_H(K)=HK exactly for a quasinormal H. These are independent tests; H=⟨(12)⟩≤S₃ passes Embedding but fails Closure at K=⟨(13)⟩.

Group is the carrier's background structure, already specified by the group embedding; it is not separately asserted as a direct edge. Commutativity is a related prime but its canonical all-pairs operation signature is stronger than the one-distinguished-H quantifier here; HK=KH also concerns product sets, not elementwise hk=kh. Compatibility and Constraint describe broad relational or predicate aspects without adding a necessary direct genus beyond the reviewed parents. Iwasawa group is a distinct group-level neighbor: it requires every subgroup H to pass, while this entry qualifies one pair (H,G).

Relationships to Other Abstractions¶

Current abstraction Quasinormal Subgroup Domain-specific

Parents (2) — outgoing typed relations

Quasinormal Subgroup is a kind of Closure Prime

Quasinormality is closure of Sub(G) under the unary operation K to HK for a fixed subgroup H.
Quasinormal Subgroup is a kind of Embedding Prime

A quasinormal subgroup is a faithful group embedding with universal subgroup-product permutability added.

Hierarchy paths (2) — routes to 2 parentless roots

Quasinormal Subgroup → is a kind of Closure

Show alternative path (1)

Neighborhood in Abstraction Space¶

Quasinormal Subgroup sits in a moderately populated region (59^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Algebraic Substructures & Closures (13 abstractions)

Nearest neighbors

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

Not to Be Confused With¶

Iwasawa group: a property of G as an all-subgroups carrier, whereas quasinormality can be asserted for one H in a non-Iwasawa G.
Conjugacy-closed subgroup: a subgroup inclusion that reflects conjugacy classes; it compares conjugacy relations, not set products with every subgroup.
Transitively normal subgroup: an inheritance claim about normal subgroups inside H remaining normal in G; its quantifiers and test differ.
Statistical subgroup analysis: a study-analysis method; the shared word “subgroup” is a retrieval false friend.

References¶

[1] Stewart E. Stonehewer, “Old, Recent and New Results on Quasinormal Subgroups,” Irish Mathematical Society Bulletin 56 (2005), 125–133, especially p. 125. Full society-hosted PDF inspected: https://www.irishmathsoc.org/bull56/GiG5612.pdf The displayed C₉ ⋊ C₃ presentation and S₃ products are explicit deductions from the cited general rules and were independently recalculated; the source does not print those exact cases. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n ↩o ↩p ↩q ↩r ↩s ↩t ↩u ↩v ↩w ↩x ↩y ↩z ↩27 ↩28 ↩29 ↩30 ↩31

[2] Marius Tărnăuceanu, “Minimal Non-Iwasawa Finite Groups,” Results in Mathematics 73, article 143 (2018), Introduction, p. 1. Full author-hosted journal PDF inspected: https://www.math.uaic.ro/~martar/pdf/articole/articol%2099.pdf The paper restricts its claims to finite groups and distinguishes Iwasawa groups from merely modular groups. registry ↩

[3] John C. Lennox, “On quasinormal subgroups of certain finitely generated groups,” Proceedings of the Edinburgh Mathematical Society 26, no. 1 (1983), 25–28, especially the publisher's opening extract. Only the publisher extract was inspected, not the complete article: https://www.cambridge.org/core/journals/proceedings-of-the-edinburgh-mathematical-society/article/on-quasinormal-subgroups-of-certain-finitely-generated-groups/BADAE01EE8F3C44F0C6AE97CBE5F7122 registry ↩a ↩b