Kommutative Ringtheorie/Teilerfremd/Gemeinsamer Teiler ist Einheit/Definition

Teilerfremd

Es sei ${}R$ ein kommutativer Ring. Man sagt, dass zwei Elemente ${}a,b\in R$ teilerfremd sind, wenn jedes Element ${}c\in R$, das sowohl ${}a$ als auch ${}b$ teilt, eine Einheit ist.