Telescopic, Multiplicative, and Rational Extensions of Summations

Abstract

A summation is a shift-invariant $\mathrm{R}$-module homomorphism from a submodule of $\mathrm{R}[[\sigma ]]$ to $\mathrm{R}$ or another ring. [11] formalized a method for extending a summation to a larger domain by telescoping. In this paper, we revisit telescoping, we study multiplicative closures of summations (such as the usual summation on convergent series) that are not themselves multiplicatively closed, and we study rational extensions as a generalization of telescoping.

26 pages, 2 figures