Definition 2.8.21.  Let R be a ring, a ∈ R, n ∈ ℕ. We define
an
by:
a0 := 1Rax+1 := ax ⋅ a  (x ∈ ℕ)
References.