package jsci.maths.algebras;

import jsci.maths.fields.Ring;
import jsci.maths.groups.AbelianGroup;

/**
* This interface defines a module.
* @jsci.planetmath Module
* @version 1.0
* @author Mark Hale
*/
public interface Module extends AbelianGroup {
        /**
        * This interface defines a member of a module.
        */
        interface Member extends AbelianGroup.Member {
                /**
                * The scalar multiplication law.
                * @param r a ring member
                */
                Member scalarMultiply(Ring.Member r);
        }
}