 Resolvent-generated commutative algebra

The closed unital algebra generated by a bounded operator and all its resolvents is commutative, because the generators commute. It has exactly the original operator spectrum at that operator: all required inverses outside that spectrum were included, and an inverse in the smaller algebra is also an operator inverse. This permits commutative-algebra linear functional calculus without replacing the spectrum by the possibly larger spectrum of a polynomial-generated algebra.