A matrix G ∈ Mm×n(F), F an arbitrary field, is right divisible by F ∈ Mk×n(F) if
G = HF for some H ∈ Mm×k(F). F is called a right divisor (or right factor) of G,
and H is called a right quotient of G and F (the remainder is always assumed to be
zero). Similar definitions hold for left division. Since in this paper we shall be