Fraleigh (A First Course in Abstract Algebra) defines principal ideals in section 27 on page 250. His definition is as follows:

================================================== =============================================

"27.21 Definition

If R is a commutative ring with unity and $\displaystyle a \in R $ , the ideal $\displaystyle \{ ra | r \in R \} $ of all multiples of a is the principal ideal generated by a and is denoted <a>.

An ideal N of R is a principal ideal if N = <a> for some $\displaystyle a \in R $

================================================== ===============================================

Consider $\displaystyle N =\{ ra | r \in R \} $ ...........................(1)

If we take r = a in (1) then we have $\displaystyle ra = aa = a^2 \in N $

If we take r = a and $\displaystyle a^2 \in N $ the we have using (1) again that $\displaystyle ra = a^2 a = a^3 \in N$

Continuing this, then we have $\displaystyle a, a^2, a^3, a^4, a^5 $ , .... all belonging to N along with the other elements where $\displaystyle r \ne a $

Is the above analysis correct regarding the nature of principal ideals?

Would really appreciate this issue being clarified.

Peter