Arithmetic with Modules

Some arithmetic operations can be carried out involving modules and their elements and compatible ideals to gain more modules.

I * M : RngOrdIdl, ModOrd -> ModOrd

M * I : ModOrd, RngOrdIdl -> ModOrd

The module generated by the products of the ideals of M with I.

M1 * M2 : ModOrd, ModOrd -> ModOrd

The module generated by the ideals of M1 and the ideals of M2.

M1 + M2 : ModOrd, ModOrd -> ModOrd

The union of M1 and M2.

u * I : ModOrdElt, RngOrdIdl -> ModOrd

I * u : RngOrdIdl, ModOrdElt -> ModOrd

The module containing elements which are products of u and an element lying in I.