FractionFieldCategory0

Next: / Up: Commutative Algebra Previous: FractionFieldCategory Contents Index

FractionFieldCategory0

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

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

$\begin{descr} FractionFieldCategory0~R is the category of the fraction fields of R. \end{descr}$

Exports

Field

FractionCategory R

/: (R,R) $\to$ % Quotient of two ring elements

if has CharacteristicZero then
QRing

Subsections

Manuel Bronstein 2000-12-13

`Field`
`FractionCategory` R
`/`:	(R,R) $\to$ %	Quotient of two ring elements