Gillam's abelian-to-normal replacement theorem for metabelian groups

From Groupprops
Revision as of 23:53, 16 January 2012 by Vipul (talk | contribs) (Created page with "{{replacement theorem}} ==Statement== Suppose <math>p</math> is a prime number and <math>P</math> is a finite p-group. Suppose <math>P</math> is a [[metabelian group...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
This article defines a replacement theorem
View a complete list of replacement theorems| View a complete list of failures of replacement

Statement

Suppose p is a prime number and P is a finite p-group. Suppose P is a metabelian group, i.e., its derived length is at most two. Then, the following are true:

  1. For any abelian subgroup of maximum order A in P, there exists an abelian normal subgroup B of P that is contained in the normal closure of A in P and has the same order as A.
  2. For any elementary abelian subgroup of maximum order A in P, there exists a elementary abelian normal subgroup B of P that is contained in the normal closure of A in P and has the same order as A.