Structures · Algebra
ValuativeRel.IsRankLeOne
We say that a ring with a valuative relation is of rank one if
there exists a strictly monotone embedding of the "canonical" value group-with-zero into
the nonnegative reals, and the image of this embedding contains some element different
from 0 and 1.
- Shape
- One type argument · adds nonempty
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by0
Nothing extends this class yet.
Concrete types that are instances1
- Padic
How is a type an instance?
Loading the hierarchy index…
Assumed by4
Ancestors0
No ancestors.