That is, it is the intersection 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$.
- Review status: beta
- Last edited by John Jones on 2019-05-23 20:39:37
Not referenced anywhere at the moment.