fixedFieldOfComplexConjugation
P72960
predicate
Indicates the relation where a field is precisely the set of elements left unchanged by the complex conjugation automorphism on a larger complex field.
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| complexExtension | 1 |
Sample triples (2)
| Subject | Object |
|---|---|
| Gaussian rationals ℚ(i) | ℚ ⓘ |
|
Liouville numbers
surface form:
Liouville number
|
can be considered as complex numbers with zero imaginary part via predicate surface "complexExtension" ⓘ |