Text this: Two canonical forms for matrices over an arbitrary field.