[CRISP] 6 Examples of group classes

[Up] [Previous] [Index]

# 6 Examples of group classes

### Sections

1. Pre-defined group classes
2. Pre-defined projector functions
3. Pre-defined sets of primes

This chapter describes some pre-defined group classes, namely the classes of all abelian, nilpotent, and supersolvable groups. Moreover, there are some functions constructing the classes of all p-groups, pi-groups, and abelian groups whose exponent divides a given positive integer.

The definitions of these group classes can also serve as further examples of how group classes can be defined using the methods described in the preceding chapters.

## 6.1 Pre-defined group classes

- `TrivialGroups V`

  The global variable `TrivialGroups` contains the class of all trivial groups. It is a subgroup closed saturated Fitting formation.

- `NilpotentGroups V`

  subgroup closed saturated Fitting formation.

- `SupersolvableGroups V`

  is a subgroup closed saturated formation.

- `AbelianGroups V`

- `AbelianGroupsOfExponent(`n`) F`

  returns the class of all abelian groups of exponent dividing n, where n is a positive integer. It is always a subgroup-closed formation.

- `PiGroups(`pi`) F`

  constructs the class of all pi-groups. pi may be a non-empty class or a set of primes. The result is a subgroup-closed saturated Fitting formation.

- `PGroups(`p`) F`

  returns the class of all p-groups, where p is a prime. The result is a subgroup-closed saturated Fitting formation.

  ## 6.2 Pre-defined projector functions

- `NilpotentProjector(`grp`) A`

  groups. For a definition, see Projector. Note that the nilpotent projectors of a finite solvable group equal its a Carter subgroups, that is, its self-normalizing nilpotent subgroups.

- `SupersolvableProjector(`grp`) A`

  These functions return a projector for the class of all finite supersolvable groups. For a definition, see Projector.

  ## 6.3 Pre-defined sets of primes

- `AllPrimes V`

  installed as value for `Characteristic(`grpclass`)` if the group class grpclass contains cyclic groups of prime order p for arbitrary primes p.

  [Up] [Previous] [Index]