Definition:Ring of Polynomials in Ring Element

From ProofWiki
Jump to navigation Jump to search


Let $\struct {R, +, \circ}$ be a commutative ring.

Let $\struct {D, +, \circ}$ be an integral subdomain of $R$.

Let $x \in R$.

The subring of $R$ consisting of all the polynomials in $x$ over $D$ is called the ring of polynomials over $D$ and is denoted $D \sqbrk x$.

Also known as

Such a ring can also be referred to as a ring of polynomial forms, of which definition this is a particular case.

Also see