For a fixed weight $w$ and degree $d$, the set of (conjugacy classes of) Sato-Tate groups $G$ with the same identity component $G^0$ form a partially ordered set under inclusion. This partially ordered set is finite if we restrict to rational Sato-Tate groups, but it need not contain a unique maximal element.

The set of maximal subgroups of a Sato-Tate group is always finite, since component groups are finite, but the list of minimal supergroups is not finite in general.

For rational Sato-Tate groups the set of minimal supergroups that are also rational is finite, and we restrict to these when listing minimal supergroups of rational Sato-Tate groups; for irrational Sato-Tate groups we list just the first few minimal supergroups.

**Authors:**

**Knowl status:**

- Review status: reviewed
- Last edited by Andrew Sutherland on 2021-01-01 14:57:01

**Referred to by:**

**History:**(expand/hide all)

- 2021-01-01 14:57:01 by Andrew Sutherland (Reviewed)
- 2021-01-01 14:52:49 by Andrew Sutherland
- 2016-05-04 20:48:18 by Andrew Sutherland (Reviewed)

**Differences**(show/hide)