Structures · Algebra
NumberField.IsTotallyComplex
A field K is totally complex if all of its infinite places are complex.
- Shape
- One type argument · adds isComplex
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by0
Nothing extends this class yet.
Concrete types that are instances0
No instance on a concrete type; it is reached through other classes.
How is a type an instance?
Loading the hierarchy index…
Assumed by16
- NumberField.IsTotallyComplex.isComplex
- NumberField.CMExtension.equivMaximalRealSubfield
- NumberField.IsTotallyComplex.complexEmbedding_not_isReal
- NumberField.IsTotallyComplex.finrank
- NumberField.IsTotallyComplex.mult_eq
- NumberField.IsTotallyComplex.nrRealPlaces_eq_zero
- NumberField.abs_discr_ge_of_isTotallyComplex
- NumberField.isTotallyComplex_of_algebra
- NumberField.IsCMField.ofCMExtension
- NumberField.CMExtension.equivMaximalRealSubfield_apply
- NumberField.CMExtension.eq_maximalRealSubfield
- NumberField.IsCMField.of_isAbelianGalois
- NumberField.CMExtension.algebraMap_equivMaximalRealSubfield_symm_apply
- NumberField.IsCMField.of_forall_isConj
- NumberField.CMExtension.equivMaximalRealSubfield.congr_simp
- NumberField.abs_discr_rpow_ge_of_isTotallyComplex
Ancestors0
No ancestors.