NonCommutativeIntegralDomain

Next: leftExactQuotient Up: Basic Categories Previous: times! Contents Index

NonCommutativeIntegralDomain

$\begin{usage} NonCommutativeIntegralDomain: Category \end{usage}$

$\begin{descr} NonCommutativeIntegralDomain~is the category of non--commutative integral domains. \end{descr}$

Exports

Ring

leftExactQuotient: (%, %) $\to$ Partial % Left exact quotient

rightExactQuotient: (%, %) $\to$ Partial % Right exact quotient

Subsections

leftExactQuotient
rightExactQuotient

Manuel Bronstein 2000-12-13

`Ring`
`leftExactQuotient`:	(%, %) $\to$ `Partial` %	Left exact quotient
`rightExactQuotient`:	(%, %) $\to$ `Partial` %	Right exact quotient