# Definition:Gradation Compatible with Ring Structure

Jump to navigation
Jump to search

## Definition

Let $\left({M, \cdot}\right)$ be a semigroup.

Let $\left({R, +, \circ}\right)$ be a ring.

Let $(R_n)_{n\in M}$ be an gradation of type $M$ on the additive group of $R$.

The gradation is **compatible with the ring structure** if and only if

- $\forall m, n \in M : \forall x \in S_m, y \in S_n: x \circ y \in S_{m \cdot n}$

and so:

- $S_m S_n \subseteq S_{m\cdot n}$

## Also known as

An **$M$-gradation** can also be seen referred to as an **$M$-grading**.

The terms **gradation** or **grading** can also be found when there is no chance of aumbiguity.

## Also see

### Homogeneous Elements

This page has been identified as a candidate for refactoring of basic complexity.In particular: This in its own page. And degree.Until this has been finished, please leave
`{{Refactor}}` in the code.
Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Refactor}}` from the code. |

Elements of $S_m$ are known as **homogeneous elements** of $R$ **of degree $m$**.