Socle, the subgroup generated by the minimal subgroups

Edit: It may be a little opinion-based, so I’ve posted it on MathOverflow: The importance/use of socle in the theory of finite groups.

———————————————————————

Actually, I’m new here and not quite sure whether I should post this question on this site. If you think it is more suitable for MathOverflow, please tell me and I will delete this post.

Definition. The socle of a group $$G$$, denoted $${\rm Soc}(G)$$, is the subgroup generated by the minimal normal subgroups of $$G$$.

Here we only discuss it in the theory of finite groups.

I know some basic facts.

1. $${\rm Soc}(G)$$ is the direct product of some of the minimal normal subgroups of $$G$$.
2. $${\rm Soc}(G)$$ is semisimple.
3. $${\rm Soc}(H\times K)={\rm Soc}(H)\times {\rm Soc}(K)$$.
4. $${\rm Soc}({\rm Soc}(G))={\rm Soc}(G)$$.
5. If $$G$$ is nilpotent, then $${\rm Soc}(G)$$ is central and hence abelian.
6. ••••••

I can find the definition of socle in many, though not all, of the text books, but always not much is discussed about it. They don’t seem to attach much importance to the concept of socle.

I think the concept of socle is important, because it is literally the “socle”, the plinth, of a group.

So my question is: How is this concept used in the theory of finite groups? I’m a beginner and I want to know if there is any important use of the concept of solcle.

I’m interested in it. Is there any theorem or article or book that you think I should know and read about it?

Any comment or answer is welcome. Any help is sincerely appreciated. Thanks!

• “Why don’t people talk about this? Is it not as important as I think?” Is not a suitable question for this site. It might have a better chance as “how is the concept of socle used in group theory?” Apr 26 '20 at 12:42
• @rschwieb Thanks. I’ve edited the question.
– user517681
Apr 26 '20 at 12:45
• Fact 1 is not quite right. It should be "${\rm Soc}(G)$ is the direct product of some minimal normal subgroups of the group" (i.e. not necessarily all of them). Apr 26 '20 at 12:47
• @DerekHolt Thanks for pointing it out. It’s a typo.
– user517681
Apr 26 '20 at 12:49
• Apr 26 '20 at 13:43

Here is one vitally important example. Let $$G$$ be a primitive permutation group (i.e., transitive and the point stabilizer is a maximal subgroup). If $$G$$ is soluble, then the degree of $$G$$ is a power $$p^n$$ of a prime $$p$$. This degree is the order of some minimal normal subgroup, which since $$G$$ is soluble, must be an elementary abelian $$p$$-group (direct product of cyclic groups of order $$p$$). This subgroup is regular on the set.
Another use of minimal normal subgroups is in reduction theorems for finite groups. Let $$G$$ be an arbitrary finite group, and suppose you want to prove some conjecture about it. You have the classification of finite simple groups, and you want to apply that. This means you need to reduce the problem to a question about simple groups.
For some problems it is often easy to eliminate the case where there is an abelian normal subgroup. Thus a minimal normal subgroup is a direct product of isomorphic simple groups. The socle of this group, often called the layer or the Bender subgroup in this situation, contains its own centralizer. (Note that this requires there to be no abelian normal subgroups!) If $$N$$ is a normal subgroup of $$G$$ such that $$C_G(N)\leq N$$ and $$N$$ is a product of non-abelian simple groups, then $$C_G(N)=1$$ and so $$G$$ is a subgroup of $$\mathrm{Aut}(N)$$.
Another example is with classifying maximal subgroups of finite groups. A theorem of Aschbacher and Scott states that one can understand the maximal subgroups of all finite groups if and only if one can understand the maximal subgroups of groups $$M\rtimes G$$, where $$G$$ is a simple group (technically, almost simple, but simple is interesting enough), and $$M$$ is an elementary abelian $$p$$-group for some prime $$p$$ on which $$G$$ acts. Here the socle is $$M$$, and this reduction theorem was obtained by looking precisely at this sort of minimal normal structure.