餘代數_(圈)