Module arithmetic