Being a UFD in general is not enough, but being a UFD in which 2, 3, and 5 are (co)prime is certainly sufficient for incommensurability of 3/2, 2, and 5/4 in the relevant sense.
I agree that it's rather odd to start discussing UFDs in general, Gaussian integers, etc., just for this incommensurability result, but since unique prime factorization is the key to the whole thing, it's not entirely out of left field.
(I'm also not accustomed to considering the ring of integers modulo 7 a UFD, insofar as exponents in prime factorizations are never unique as integers in this context (only as integers modulo 6), but that's just a minor difference in the way we apparently use terminology)
"Being a UFD in general is not enough, but being a UFD in which 2, 3, and 5 are (co)prime is certainly sufficient for incommensurability of 3/2, 2, and 5/4 in the relevant sense."
Ok, this seems like kind of a contrived condition though, compared to, say, the condition that 2, 3, and 5 are prime (which also suffices).
Something that occurred to me after I made my last post (and possibly what you meant in the second paragraph?): perhaps the author didn't mean to imply that the UFD property is useful for characterizing when you have incommensurability in different rings, but rather that it's relevant because it's used as a step in the proof that these ratios are incommensurable in the case of Z. This makes sense to me but in my opinion it wouldn't hurt if the article were more explicit on this point.
I'm not familiar with a commonly-used definition of UFD for which the ring of integers mod 7 is not a UFD. Could you please point me to a reference that contains this alternate definition of UFD you are referring to? The definition I am using is the one in Abstract Algebra by Dummit & Foote, which happens to agree with the definition on wikipedia at the time of this posting.
Yes, I think what you're saying in your third paragraph is what I was trying to say in my second paragraph. And I agree that the article could stand to be much clearer on its motivations.
Re: the integers mod 7, I had a brainfart; of course the integers mod 7 are a UFD, but trivially so, as they are a field. My apologies!
I agree that it's rather odd to start discussing UFDs in general, Gaussian integers, etc., just for this incommensurability result, but since unique prime factorization is the key to the whole thing, it's not entirely out of left field.
(I'm also not accustomed to considering the ring of integers modulo 7 a UFD, insofar as exponents in prime factorizations are never unique as integers in this context (only as integers modulo 6), but that's just a minor difference in the way we apparently use terminology)