Content deleted Content added
Added a more succinct definition |
m →Definition: clean up and formatting, typo(s) fixed: In other words → In other words, using AWB |
||
Line 10:
:<math>\sum_i K_i(p_1,\ldots,p_i) z^i = \sum_j K_j(p'_1,\ldots,p'_j) z^j \cdot \sum_k K_k(p''_1,\ldots,p''_k) z^k </math>
In other words, <math>p\mapsto K(p)</math> is required to be an endomomorphism of the multiplicative monoid <math>(A[[X]],\cdot)</math>.
The power series
| |||