If $G$ is a group, the **socle** of $G$, denoted $\mathrm{soc}(G)$, is the subgroup generated by all of the minimal normal subgroups of $G$.

That is, it is the join of subgroups $N$ which are normal in $G$ such that $N\neq \langle e \rangle$ and if $H$ is a normal subgroup of $G$ with $H\subseteq N$, then $H=N$ or $H=\langle e \rangle$. If there are no such subgroups $N$, then the socle of $G$ is defined to be $\langle e\rangle$.

If $G$ is a finite solvable group, then $\mathrm{soc}(G)$ is isomorphic to a product of some number of cyclic groups of prime order.

**Authors:**

**Knowl status:**

- Review status: reviewed
- Last edited by John Jones on 2022-05-12 20:39:40

**Referred to by:**

**History:**(expand/hide all)

- 2022-05-12 20:39:40 by John Jones (Reviewed)
- 2020-10-13 17:57:31 by David Roe (Reviewed)
- 2019-05-23 20:39:37 by John Jones

**Differences**(show/hide)