Definition:Power of Ideal of Ring/Definition 2
Jump to navigation
Jump to search
Definition
Let $\struct {R, +, \circ}$ be a ring.
Let $I$ be an ideal of $R$.
Let $n \in \Z$ be an integer such that $n \ge 1$.
The $n$th power of $I$ is the ideal generated by products of $n$ elements of $I$.
That is:
- $\ds I^n = \gen {\prod_{i \mathop = 1}^n a_i : a_i \in I}$
where the $\ds \prod_{i \mathop = 1}^n$ notation denotes a continued product on the ring product of $R$.
Also see
- Results about powers of ideals of ring can be found here.
Sources
- 2003: David S. Dummit and Richard M. Foote: Abstract Algebra (3rd ed.): $\S 7.3$