Structures · Algebra
Algebra.Transcendental
An algebra is transcendental if some element is transcendental.
- Defined in
- Mathlib.RingTheory.Algebraic.Defs
- Shape
- 2 explicit arguments · adds transcendental
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 by10
- Algebra.TensorProduct.not_isField_of_transcendental
- Algebra.Transcendental.ringHom_of_comp_eq
- Algebra.Transcendental.transcendental
- Algebra.Transcendental.rank_eq_cardinalMk
- Field.finSepDegree_eq_zero_of_transcendental
- Algebra.injective_of_transcendental
- Algebra.Transcendental.infinite
- trdeg_pos
- Field.infinite_emb_of_transcendental
- Algebra.Transcendental.of_ringHom_of_comp_eq
Ancestors0
No ancestors.