Schur-trivial group: Difference between revisions

Revision as of 23:49, 12 January 2013

This article defines a group property: a property that can be evaluated to true/false for any given group, invariant under isomorphism
View a complete list of group properties
VIEW RELATED: Group property implications | Group property non-implications |Group metaproperty satisfactions | Group metaproperty dissatisfactions | Group property satisfactions | Group property dissatisfactions

Definition

A group is said to be Schur-trivial if its Schur multiplier is the trivial group.

Examples

Extreme examples

The trivial group is Schur-trivial.
Cyclic groups are Schur-trivial.

Somewhat important groups:

	GAP ID
Quaternion group	8 (4)

Less important/more complicated groups:

Metaproperties

Metaproperty name	Satisfied?	Proof	Statement with symbols
subgroup-closed group property	No	Schur-triviality is not subgroup-closed	It is possible to have a Schur-trivial group $G$ and a subgroup $H$ of $G$ such that $H$ is not Schur-trivial. (For a finite group, every subgroup being Schur-trivial is equivalent to the group being a finite group with periodic cohomology).
characteristic subgroup-closed group property	No	Schur-triviality is not characteristic subgroup-closed	It is possible to have a Schur-trivial group $G$ and a characteristic subgroup $H$ of $G$ such that $H$ is not Schur-trivial.
quotient-closed group property	No	Schur-triviality is not quotient-closed	It is possible to have a Schur-trivial group $G$ and a normal subgroup $H$ of $G$ such that the quotient group $G / H$ is not Schur-trivial.
finite direct product-closed group property	No	Schur-triviality is not finite direct product-closed	It is possible to have two Schur-trivial groups $G_{1}$ and $G_{2}$ such that the external direct product $G_{1} \times G_{2}$ is not Schur-trivial.
isoclinism-invariant group property	No	Schur-triviality is not isoclinism-invariant	It is possible to have isoclinic groups $G_{1}$ and $G_{2}$ such that $G_{1}$ is Schur-trivial but $G_{2}$ is not Schur-trivial.

Facts

Relation with other properties

Stronger properties

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
cyclic group	generated by one element	Schur multiplier of cyclic group is trivial	the smallest nontrivial group with trivial Schur multiplier is symmetric group:S3.	Schur-trivial group\|cyclic group}}
free group	has a freely generating set	Schur multiplier of free group is trivial	any finite cyclic group gives a counterexample.	\|FULL LIST, MORE INFO
Z-group	finite group in which every Sylow subgroup is cyclic	Z-group implies Schur-trivial	(infinite free groups; also, lots of counterexamples among finite groups, such as the quaternion group and various universal central extensions (Schur covering groups of centerless groups). For instance, SL(2,3), SL(2,5))	\|FULL LIST, MORE INFO
finite group with periodic cohomology	finite group in which every abelian subgroup is cyclic. Equivalently, every Sylow subgroup for odd primes is cyclic, and the 2-Sylow subgroup is cyclic or a generalized quaternion group	finite group with periodic cohomology is Schur-trivial		\|FULL LIST, MORE INFO

@@ Line 26: / Line 26: @@
 |-
 | [[dissatisfies metaproperty::subgroup-closed group property]] || No || [[Schur-triviality is not subgroup-closed]] || It is possible to have a Schur-trivial group <math>G</math> and a subgroup <math>H</math> of <math>G</math> such that <math>H</math> is not Schur-trivial. (For a finite group, every subgroup being Schur-trivial is equivalent to the group being a [[finite group with periodic cohomology]]).
+|-
+| [[dissatisfies metaproperty::characteristic subgroup-closed group property]] || No || [[Schur-triviality is not characteristic subgroup-closed]] || It is possible to have a Schur-trivial group <math>G</math> and a [[characteristic subgroup]] <math>H</math> of <math>G</math> such that <math>H</math> is not Schur-trivial.
 |-
 | [[dissatisfies metaproperty::quotient-closed group property]] || No || [[Schur-triviality is not quotient-closed]] || It is possible to have a Schur-trivial group <math>G</math> and a [[normal subgroup]] <math>H</math> of <math>G</math> such that the [[quotient group]] <math>G/H</math> is not Schur-trivial.