6:58 AM
I have added and here. Any ideas for better tags. (More generally, tags for questions about gcd domains, Bezout domains and similar topics.)
7

Wikipedia's proof of Gauss's lemma requires this theorem: If $(C \mid S\cdot T) \land \lnot \operatorname{invertible}(C)$, $C$ has a non-invertible divisor in common with at least one of $S$ and $T$. I can prove it for a Bézout domain, but not a GCD domain. Can anybody help me? Original te...