M_{i}

M_{i,j,k,...} -- provides a map from a free module to the module M which sends the basis vectors to the generators of M numbered i, j, k, ...

Alternatively, if M is a monoid, then entries in the list are applied as exponents to the generators, returning a monomial.

     i1 = M = monoid [x,y,z]
     
     o1 = [x,y,z]
     
     o1 : GeneralOrderedMonoid

     i2 = M_{2,3,4}
     
           2  3  4
     o2 = x  y  z 
     
     o2 : [x,y,z]