specific-question I have added ring-theory and gcd here. Any ideas for better tags. (More generally, tags for questions about gcd domains, Bezout domains and similar topics.)
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...
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...
