GaloisGroupOver
P72958
predicate
Indicates the relationship where a group is the Galois group of a given field extension, capturing the automorphisms of the extension field that fix the base field.
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| isGaloisGroupOf | 1 |
Sample triples (2)
| Subject | Object |
|---|---|
| Gaussian rationals ℚ(i) | cyclic group of order 2 ⓘ |
| S5 | generic irreducible quintic polynomial over Q via predicate surface "isGaloisGroupOf" ⓘ |