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.