hasGaloisGroup
P72927
predicate
Indicates that one mathematical object (typically a field extension or polynomial) has the specified group as its Galois group, capturing the symmetries of its roots or structure.
Observed surface forms (1)
- appearsInGaloisTheoryAs ×1
Sample triples (3)
| Subject | Object |
|---|---|
|
cyclotomic fields
surface form:
cyclotomic field
|
multiplicative group of units modulo n ⓘ |
| Galois extension | finite group when the extension is finite ⓘ |
| S5 | Galois group of many quintic extensions of Q via predicate surface "appearsInGaloisTheoryAs" ⓘ |