モノイドMに対して、次のような条件を考える： (条件A)任意のx∊Mに対して、x=yz となるようなy,zの組は有限個。Mを条件Aを満たすモノイド、Rを環とする。関数 f:M→R 全体は、点ごとの加法によってアーベル群となる。ここに次のような積(畳み込み積)を考える…