Cat::SkewField

Category of skew fields

Description

Cat::SkewField represents the category of skew fields (division rings).

A Cat::SkewField represents a ring with unit where each non-zero element is invertible. This structure is also called division ring in the literature.

Categories

Cat::Ring

Was this topic helpful?