fittingIdeal -- Fitting ideal of a module

fittingIdeal -- Fitting ideal of a module

fittingIdeal(i,M) -- the i-th Fitting ideal of the module M

i1 : R = ZZ/101[x];

i2 : k = coker vars R



o2 = cokernel | x |



                            1

o2 : R-module, quotient of R

i3 : M = R^3 ++ k^5;

i4 : fittingIdeal(3,M)



            5

o4 = ideal x



o4 : Ideal of R

i5 : fittingIdeal(8,M)



o5 = ideal 1



o5 : Ideal of R

Ways to use fittingIdeal :