In einem kommutativen Halbring R {\displaystyle {}R} nennt man zu k ∈ N ≥ 1 {\displaystyle {}k\in \mathbb {N} _{\geq 1}} und einem Element r ∈ R {\displaystyle {}r\in R} ein Element x ∈ R {\displaystyle {}x\in R} mit
eine k {\displaystyle {}k} -te Wurzel von r {\displaystyle {}r} .