## `Cat::Ring` -- the category of rings

#### Introduction

`Cat::Ring` represents the category of rings.

#### Generating the category

`Cat::Ring()`

#### Categories

`Cat::Rng`

, `Cat::Monoid`, `Cat::LeftModule(dom)`

#### Details

- A `Cat::Ring` is a ring with a unit `dom::one`, i.e. an abelian group according to the operation `+` (`_plus`) and a non-abelian monoid according to the operation `*` (`_mult`) where in addition the two distributive laws a (b + c) = a b + a c and (a + b) c = a c + b c hold.
- A `Cat::Ring` is also a left module over itself. The left multiplication of the module is also writen as `*` (`_mult`).
- Note that a ring without unit is a `Cat::Rng`.

#### Basic Entries

characteristic

  Must hold the characteristic of this ring.

#### Changes

- no changes

Do you have questions or comments?
Copyright © SciFace Software GmbH & Co. KG 2000