# Socle over solvable radical

From Groupprops

Revision as of 15:32, 6 February 2010 by Vipul (talk | contribs) (Created page with '{{subgroup-defining function}} ==Definition== Suppose <math>G</math> is a finite group. The '''socle over solvable radical''' of <math>G</math>, denoted <math>\operatorname…')

This article defines a subgroup-defining function, viz., a rule that takes a group and outputs a unique subgroup

View a complete list of subgroup-defining functions OR View a complete list of quotient-defining functions

## Definition

Suppose is a finite group. The **socle over solvable radical** of , denoted , is defined as the unique subgroup of such that contains the solvable radical of and the quotient group is the socle of the quotient group .

## Facts

If is the socle over solvable radical of , then and is a direct product of simple non-abelian groups.