 Now, if formula_225, then such a cyclic module (for formula_226) has a basis in which the restriction of "f" is represented by a Jordan matrix.Thus, if, say, "k" is algebraically closed, then all formula_226's are of the form formula_228 and the above decomposition corresponds to the Jordan canonical form of "f".In algebraic geometry, UFDs arise because of smoothness.