MHB Prime and Maximal Ideals .... Bland -AA - Theorem 3.2.16 .... ....

  • Thread starter Thread starter Math Amateur
  • Start date Start date
  • Tags Tags
    Prime Theorem
Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading The Basics of Abstract Algebra by Paul E. Bland ...

I am focused on Section 3.2 Subrings, Ideals and Factor Rings ... ...

I need help with the proof of Theorem 3.2.16 ... ... Theorem 3.2.16 and its proof reads as follows:
View attachment 8266
In the above proof of $$(3) \Longrightarrow (1)$$ by Bland, we read the following:

" ... ... Then $$n_1 n_2 = p \in p \mathbb{Z}$$, so either $$n_1 \in p \mathbb{Z}$$ or $$n_2 \in p \mathbb{Z}$$. ... ... Can someone please explain how/why exactly ... $$n_1 n_2 = p \in p \mathbb{Z}$$ implies that either $$n_1 \in p \mathbb{Z}$$ or $$n_2 \in p \mathbb{Z}$$. ... ... Peter
========================================================
***NOTE***

It may help readers to have access to Bland's definition of a prime ideal ... so I am providing the same as follows:
View attachment 8267
View attachment 8268
Sorry about the legibility ... but Bland shades his definitions ...Peter
 
Physics news on Phys.org
The answer to your question lies in the definition: if $P$ is a prime ideal and $xy \in P$, then eiter $x \in P$ or $y \in P$.

It is given that $p \mathbb{Z}$ is aprime ideal, of course $p=p1 \in p \mathbb{Z}$. So, if $p=n_1 n_2 \in p \mathbb{Z}$, then either $n_1 \in p \mathbb{Z}$ or $n_2 \in p \mathbb{Z}$ by definition.
 
steenis said:
The answer to your question lies in the definition: if $P$ is a prime ideal and $xy \in P$, then eiter $x \in P$ or $y \in P$.

It is given that $p \mathbb{Z}$ is aprime ideal, of course $p=p1 \in p \mathbb{Z}$. So, if $p=n_1 n_2 \in p \mathbb{Z}$, then either $n_1 \in p \mathbb{Z}$ or $n_2 \in p \mathbb{Z}$ by definition.

Thanks Steenis ...

Peter
 
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