Đại số giao hoán, IX, p. 56
Cho A là một vành và T là một bất định. Ký hiệu bởi Λ(A) (hoặc ΛT(A)) tập hợp 1+TA[[T]] gồm các chuỗi hình thức với các hệ số trong A mà số hạng hằng của chúng bằng 1; đây là một nhóm con của nhóm nhân của A[[T]]. Định nghĩa
L:Λ(A)→AJ,L(f)=(Ln(f))n∈J, bởi
−TdTdf/f=n∈J∑Ln(f)(−T)n.
a) Bây giờ chứng minh rằng ta có L(fg)=L(f)+L(g) với mọi f,g∈Λ(A).
b) Nếu A là một Q-đại số, thì L là song ánh, nghịch đảo của nó ε được cho bởi
ε(a)=exp(−n∈J∑nan(−T)n) với
a∈AJ.