Note 5. The case where M ~= Rn, for some n Z>0 can be settled using the algorithm for computing the minimum number of generators of a module, given in Theorem 4.1.3. 72 Algorithms for finite rings Dually to Theorem 5.9.1, we have the following result:
Appears in 2 contracts
Sources: Not Applicable, Doctoral Thesis