Oliver subgroup

From Groupprops
Revision as of 20:30, 15 January 2012 by Vipul (talk | contribs) (Created page with "{{subgroup-defining function}} ==Definition== Suppose <math>p</math> is a prime number and <math>P</math> is a finite p-group. The '''Oliver subgroup''' of <math>P</...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
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 p is a prime number and P is a finite p-group. The Oliver subgroup of P, denoted X(P) (don't know what that letter actually is) is defined as the unique largest subgroup of P such that there exists an ascending series of subgroups of X(P):

 \{ e \} = Q_0 \le Q_1 \le \dots \le Q_n = X(P)

such that:

  1. Each Q_i is a normal subgroup of P.
  2. We have the condition that for all i

\! [\Omega_1(C_P(Q_{i-1})),Q_i;p-1] = \{ e \}

where the ;p - 1</math. indicates an iterated commutator of the form <math>[[[ \dots [\Omega_1(C_P(Q_{i-1})),Q_i],Q_i],\dots,Q_i] with Q_i occurring p - 1 times.