Schur multiplier of Z-group is trivial

From Groupprops
Revision as of 03:22, 10 January 2013 by Vipul (talk | contribs) (Created page with "{{group property implication| stronger = Z-group| weaker = Schur-trivial group}} ==Statement== Suppose <math>G</math> is a Z-group, i.e., <math>G</math> is a finite gr...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
This article gives the statement and possibly, proof, of an implication relation between two group properties. That is, it states that every group satisfying the first group property (i.e., Z-group) must also satisfy the second group property (i.e., Schur-trivial group)
View all group property implications | View all group property non-implications
Get more facts about Z-group|Get more facts about Schur-trivial group

Statement

Suppose G is a Z-group, i.e., G is a finite group such that every Sylow subgroup of G is a cyclic group (and in particular, a finite cyclic group). Then, G is a Schur-trivial group: the Schur multiplier of G is the trivial group.

Facts used

  1. Cyclic implies Schur-trivial
  2. All Sylow subgroups are Schur-trivial implies Schur-trivial, which in turn is a corollary of the fact that finite group generated by Schur-trivial subgroups of relatively prime indices is Schur-trivial

Proof

The proof follows directly from facts (1) and (2).