show · group.find_input all knowls · up · search:

To find a specific abstract group, enter its label.

You can also specify a group that occurs in a family by entering its name. For instance, the cyclic group $C_6$ of order $6$ can be specified by C6, and $\GL(2,3)$ by GL(2,3). The currently supported families are listed here.

Finally, you can give the output of Magma's GroupName command, such as C3:C4 (which uniquely specifies a group) or C16.D4 (which is the name of two non-isomorphic groups). Direct products are indicated by *, semidirect products by : and nonsplit products by .. Note that order is important and must match the string generated by Magma: C2*A5 will succeed but A5*C2 will not.

Knowl status:
  • Review status: reviewed
  • Last edited by David Roe on 2021-10-11 17:24:34
Referred to by:
History: (expand/hide all) Differences (show/hide)