# All Sylow subgroups are Schur-trivial implies Schur-trivial

From Groupprops

## Contents

## Definition

Suppose is a finite group such that for *every* prime number , the -Sylow subgroup of is a Schur-trivial group. Then, is also a Schur-trivial group.

Note that even though a group may have more than one -Sylow subgroup for any fixed prime , Sylow implies order-conjugate, hence isomorphic, so one is Schur-trivial if and only if all the others are.

## Related facts

## Facts used

## Proof

The proof follows from Fact (1), along with the observation that a collection containing one -Sylow subgroup for every prime divisor of the order of satisfies the conditions of Fact (1). Note that the "relatively prime" of Fact (1) refers to the collective gcd of all the indices, and is weaker than saying "pairwise relatively prime."