If R is a ring and M is an ordered monoid, then R M denotes the ordered monoid ring constructed from them.
If r is an element of R and m is an element of M then r m denotes the corresponding element of R M, provided R M has already been constructed.
Elements of these rings are displayed with the monoid elements appearing in decreasing order from left to right.
Operations on rings:
Operations on ring elements:
Producing ring elements:
Keys used:
See also OrderedMonoid and RingElement.
Go to main index.
Go to concepts index.