Assertion: permutation matrix | /r/CapableOf | form group
Facets:
value: under matrix multiplication
type: OTHER
Source sentences:
text: If the matrix entries come from a field, the scalar matrices form a group, under matrix multiplication, that is isomorphic to the multiplicative group of nonzero elements of the field.