# Superperfectness is finite direct product-closed

This article gives the statement, and possibly proof, of a group property (i.e., superperfect group) satisfying a group metaproperty (i.e., finite direct product-closed group property)

View all group metaproperty satisfactions | View all group metaproperty dissatisfactions |Get help on looking up metaproperty (dis)satisfactions for group properties

Get more facts about superperfect group |Get facts that use property satisfaction of superperfect group | Get facts that use property satisfaction of superperfect group|Get more facts about finite direct product-closed group property

## Contents

## Statement

### Statement for two groups

Suppose and are superperfect groups (possibly isomorphic, possibly non-isomorphic). Then, the external direct product is also a superperfect group.

### Statement for finitely many groups

Suppose with a positive integer. Suppose are superperfect groups (possibly isomorphic, possibly non-isomorphic). Then, the external direct product is also a superperfect group.

## Examples

Since the smallest nontrivial superperfect group is SL(2,5) which has order 120, the smallest nontrivial example of a superperfect group obtained as a direct product of smaller superperfect groups is the direct product of SL(2,5) and SL(2,5), which is a group of order 14400.

## Facts used

## Proof

### Proof for two groups

The proof basically follows from Fact (1), which allows us to compute the homology groups of a direct product in terms of the homology groups of the direct factors.

### Proof for finitely many groups

This follows from the proof for two groups and using mathematical induction.