2
$\begingroup$

Let $G$ be a finite group. It is possible that $Soc(G)=G$. For example: if $G=\prod_{i=1}^n \mathbb{Z}_{p_i}$ for some primes $p_1,\dotsc,p_n$ (not necessarily distinct), then $Soc(G)=G$.

Can this happen for non-abelian groups? If the answer is affirmative, can we find a condition that guarantees that $Soc(G)$ is a proper subgroup of $G$?

EDIT: It always happens if $G$ is simple, so there are non-abelian examples. The question about a general condition remains though.

EDIT: A related question is: for which groups does it hold that taking $Soc$ some finite number of times results in an abelian group. That is: $Soc(Soc(Soc(\dotsm G\dotsm)))$ is abelian for some finite number of iterations of taking the socle.

  • 0
    @Asaf: $Soc(G)$ is the subgroup generated by all minimal nontrivial normal subgroups of $G$.2011-05-09

1 Answers 1

8

(All groups are finite.)

The following are equivalent:

  • G is a direct product of simple groups
  • G = Soc(G), that is, G is the product of its minimal normal subgroups

Such a group is called completely reducible.

From this it should be clear that Soc(Soc(G)) = Soc(G), that is, Soc is idempotent. Hence the following are equivalent:

  • Soc(Soc(...(Soc(G))...)) is abelian
  • Soc(G) is abelian
  • Every minimal normal subgroup is (elementary) abelian

I don't know a name for such groups, but in line with the previous question, an abelian socle only requires that the minimal normal subgroups are modules at all.

If one requires an abelian socle not only of G, but also of H=G/Soc(G), and K=H/Soc(H), etc. then one gets solvable groups. So:

  • nilpotent means every chief factor is a one dimensional module and central
  • supersolvable means every chief factor is a one dimensional module
  • solvable means every chief factor is a module

When people define iterated socles, they usually mean:

$\newcommand{\Soc}{\operatorname{Soc}} \Soc^{n+1}(G)/\Soc^n(G) = \Soc( G/\Soc^n(G) )$

This is sometimes called the (upper) Loewy series of G.

  • 0
    @user3533: Yup, that is a fine way to think of it. I do mean a little more than that: It is an abelian group N such that G/N acts on it as automorphisms, and so I might distinguish between the abelian group of order 3 that is central and the abelian group of order 3 that is not. Both are modules, but they are different modules.2011-05-09