This is machine translation

Translated by Microsoft
Mouseover text to see original. Click the button below to return to the English version of the page.

Note: This page has been translated by MathWorks. Click here to see
To view all translated materials including this page, select Country from the country navigator on the bottom of this page.


Category of rings without unit

MuPAD® notebooks will be removed in a future release. Use MATLAB® live scripts instead.

MATLAB live scripts support most MuPAD functionality, though there are some differences. For more information, see Convert MuPAD Notebooks to MATLAB Live Scripts.


Cat::Rng represents the category of rings without unit.

A Cat::Rng is a ring without a unit, i.e. an Abelian group according to the operation + (_plus) and a non-Abelian semi-group according to the operation * (_mult) where in addition the two distributive laws a (b + c) = ab + ac and (a + b) c = ac + bc hold.

Use the axiom Ax::noZeroDivisors to state that there are no zero divisors according to *, i.e. that the product of non-zero elements never is zero.