Formal calculus MOC

Formal logarithm

Let be a field with [[Characteristic|]]. The formal logarithm is defined as¹ fcalc

Properties

The following identities relate the formal logarithm with the formal exponential amd formal binomial expansion

the proofs being given by the relations of the coëfficients in standard calculus.

---

tidy | en | sembr

Footnotes

1. 1988. Vertex operator algebras and the Monster, §3.4, pp. 76–77 ↩