`k[[X]]/(g)` has length equal to the order of `g`, and multiplication by `g` is injective iff `g ≠ 0`.

Initializing...

`k[[X]]/(g)` has length equal to the order of `g`, and multiplication by `g` is injective iff `g ≠ 0`. · Prove2Me