For an advanced treatment, see Kostrikin & Manin (1997).
لمعالجةٍ متقدمة، انظر Kostrikin & Manin (1997).