# Module ^ List -- projection onto summand

• Operator: ^

## Description

M^{i,j,k,...} -- provides the projection map from a free module M to the free module corresponding to the basis vectors whose index numbers are listed.

 i1 : (ZZ^5)^{2,3} o1 = | 0 0 1 0 0 | | 0 0 0 1 0 | 2 5 o1 : Matrix ZZ <--- ZZ

## See also

• _ -- a binary operator, used for subscripting and access to elements
• Module -- the class of all modules
• List -- the class of all lists -- {...}