5
$\begingroup$

This post is a generalization of Uniqueness of the direct product decomposition of finite groups.
Here we look inclusions of finite groups $(H \subset G)$ instead of just finite groups.

Definition: Two inclusions of finite groups are equivalent, $(A \subset B) \sim (C \subset D)$, if: $(A/A_B \subset B/A_B) \simeq (C/C_D \subset D/C_D)$ with $A_B$ the normal core of $A$ in $B$.

Remark: The equivalence class of $(A \subset B)$ is the same that the conjugacy class of a transitive permutation group $G$ (see this GAP Data Library) with $(A \subset B) \sim (G_1 \subset G)$.

Definition: An inclusion of groups $(H \subset G)$ is indecomposable if (for $H_i \le G_i)$: "$(H \subset G) \sim (H_1 \times H_2 \subset G_1 \times G_2)$" $\Rightarrow$ "$\exists i$ such that $H_i = G_i$"

Examples: The maximal inclusions are indecomposable.
Warning: $(H \subset G)$ maximal (a fortiori indecomposable) $\not \Rightarrow$ $G$ indecomposable (see here).

An inclusion of finite groups decomposes into a direct product of indecomposable inclusions: $$(H \subset G) \sim (\prod_i H_i \subset \prod_i G_i)$$ with $(H_i \subset G_i)$ an indecomposable inclusion of finite groups $\forall i$.

Question: Is this decomposition unique (up to permutation and equivalence $\sim$)?

Remark: The finite group case comes from the the Krull–Schmidt theorem. It generalizes into the Kurosh-Ore theorem in the general theory of modular lattices, with a specific relevant additional result if the lattice is distributive. Perhaps we can use this theorem for answering the question.

$\endgroup$

migrated from math.stackexchange.com Sep 9 '14 at 6:42

This question came from our site for people studying math at any level and professionals in related fields.

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.