Division rings¶
-
sage.categories.division_rings.
DivisionRings
¶ The category of division rings
A division ring (or skew field) is a not necessarily commutative ring where all non-zero elements have multiplicative inverses
EXAMPLES:
sage: DivisionRings() Category of division rings sage: DivisionRings().super_categories() [Category of domains]