Domains

class sage.categories.domains.Domains(s=None)

Bases: sage.categories.category_singleton.Category_singleton

The category of domains

An domain (or non-commutative integral domains), is a not necessarily commutative ring which has no zero divisors.

EXAMPLES:

sage: Domains()
Category of domains
sage: Domains().super_categories()
[Category of rings]

TESTS:

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

EXAMPLES:

sage: Domains().super_categories()
[Category of rings]

Previous topic

Division rings

Next topic

Enumerated Sets

This Page