FractionByCategory0

Next: order Up: Commutative Algebra Previous: FractionByCategory Contents Index

FractionByCategory0

$\begin{usage} FractionByCategory0~R: Category \end{usage}$

$\begin{params} {\em R} & \htmlref{\texttt{IntegralDomain}}{IntegralDomain} & an integral domain\\ \end{params}$

$\begin{descr} FractionByCategory0(R) is the category of fractions of the integ... ...}the set of all fractions whose denominator is a power of {\em p}.\end{descr}$

Exports

FractionCategory R

order: % $\to$ Integer Valuation at p

shift: (%, Integer) $\to$ % Multiplication by a power of p

Subsections

order
shift

Manuel Bronstein 2000-12-13

`FractionCategory` R
`order`:	% $\to$ `Integer`	Valuation at p
`shift`:	(%, `Integer`) $\to$ %	Multiplication by a power of p