Division rings

class sage.categories.division_rings.DivisionRings(s=None)

Bases: sage.categories.category_singleton.Category_singleton

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]

TESTS:

sage: TestSuite(DivisionRings()).run()
class ElementMethods
class DivisionRings.ParentMethods
DivisionRings.super_categories()

EXAMPLES:

sage: DivisionRings().super_categories()
[Category of domains]

Previous topic

Crystals

Next topic

Domains

This Page