MHB How can we conclude from that that I is a principal ideal?

  • Thread starter Thread starter mathmari
  • Start date Start date
mathmari
Gold Member
MHB
Messages
4,984
Reaction score
7
Hey! :o

Let $R$ be a commutative ring with unit.
I want to show that if $I$ is an ideal of $R$ then $I$ is a free $R$-module iff it is a principal ideal that is generated by an element $a$ that is not a zero-divisor in $R$.

Suppose that $I$ is an ideal of $R$ and it is a free $R$-module.
Then it has a basis, i.e., a generating set consisting of linearly independent elements.
How can we conclude from that that $I$ is a principal ideal? (Wondering)
 
Physics news on Phys.org
Suppose that $I$ is a free ideal, so it has a basis, i.e., a generating set consisting of linearly independent elements. Suppose that $I$ is not a principal domain.
Does this mean that the basis has more than one element? (Wondering)
Suppose that it has two elements in the basis, say $x_1,x_2$.
Then $I=\{r_1x_1+r_2x_2\}$.
Do we take $r_1=x_2$ and $r_2=−x_1$ ? (Wondering)
Then we would have $x_2x_1−x_1x_2=0$. But since the set is linearly independent, and $x_1,x_2$ are non-zero, we have a contradiction.
Therefore, it is generated by one element $a$. Can we say also that $a$ is not a zero-divisor in $R$ ? (Wondering)
Is this correct? (Wondering)

For the other direction, suppose that $I$ is a principal ideal, that is generated by an element $a$ that is not a zero-divisor in $R$.
How could we conclude that $I$ is a free $R$-module? (Wondering)
 
Thread 'Derivation of equations of stress tensor transformation'
Hello ! I derived equations of stress tensor 2D transformation. Some details: I have plane ABCD in two cases (see top on the pic) and I know tensor components for case 1 only. Only plane ABCD rotate in two cases (top of the picture) but not coordinate system. Coordinate system rotates only on the bottom of picture. I want to obtain expression that connects tensor for case 1 and tensor for case 2. My attempt: Are these equations correct? Is there more easier expression for stress tensor...
Back
Top