For a given system (A, B, C) necessary and sufficient conditions are given
to assign invariant factors to the matrix of the system performing a state
feedback and an output injection, over an arbitrary field. (C) 2001 Elsevie
r Science Inc. All rights reserved.