hasUnramifiedPrimes
P72934
predicate
Indicates that, in a given field extension or number-theoretic context, certain prime ideals remain unramified (i.e., do not exhibit ramification) in that extension.
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| unramifiedAt | 1 |
Sample triples (2)
| Subject | Object |
|---|---|
|
cyclotomic fields
surface form:
cyclotomic field
|
primes not dividing n ⓘ |
| Hilbert class field | every nonzero prime ideal of the ring of integers of the base field via predicate surface "unramifiedAt" ⓘ |