- #1
Math Amateur
Gold Member
MHB
- 3,998
- 48
I am reading The Basics of Abstract Algebra by Paul E. Bland ...
I am focused on Section 7.2 Euclidean, Principal Ideal, Unique Factorization Domains ... ...
I need help with the proof of Theorem 7.2.20 ... ... Theorem 7.2.20 and its proof reads as follows:https://www.physicsforums.com/attachments/8280
View attachment 8281
In the last paragraph of the above proof by Bland we read the following:
" ... ... If \(\displaystyle a = a_1 a_2 \ ... \ ... \ a_m = b_1 b_2 \ ... \ ... \ b_n\) where each \(\displaystyle a_i\) and \(\displaystyle b_i\) is irreducible, then \(\displaystyle a_1 \mid b_1 b_2 \ ... \ ... \ b_n\) ... ... "
Can someone please explain exactly and in detail why/how \(\displaystyle a_1 \mid b_1 b_2 \ ... \ ... \ b_n\) ... ... Peter
I am focused on Section 7.2 Euclidean, Principal Ideal, Unique Factorization Domains ... ...
I need help with the proof of Theorem 7.2.20 ... ... Theorem 7.2.20 and its proof reads as follows:https://www.physicsforums.com/attachments/8280
View attachment 8281
In the last paragraph of the above proof by Bland we read the following:
" ... ... If \(\displaystyle a = a_1 a_2 \ ... \ ... \ a_m = b_1 b_2 \ ... \ ... \ b_n\) where each \(\displaystyle a_i\) and \(\displaystyle b_i\) is irreducible, then \(\displaystyle a_1 \mid b_1 b_2 \ ... \ ... \ b_n\) ... ... "
Can someone please explain exactly and in detail why/how \(\displaystyle a_1 \mid b_1 b_2 \ ... \ ... \ b_n\) ... ... Peter