Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Hi Let $R = K[X_1,\ldots, X_n]$ where $K$ is a computable field. Suppose we are given two modules with presentations

$$ R^n \rightarrow R^m \rightarrow M \rightarrow 0 $$ and $$ R^l \rightarrow R^p \rightarrow N \rightarrow 0 $$

Then is it possible to verify whether $M$ is isomorphic to $N$ (using a computer algebra software)?

Longtime ago (in 2003) this was not possible. I do not know whether it is possible now.

share|improve this question
    
Are they arbitrary modules? I believe that if they are finitely generated and graded, then there is some hope. –  Youngsu Jun 21 '13 at 14:42
    
they are finitely generated and graded –  Tony Puthenpurakal Jun 28 '13 at 10:18
add comment

1 Answer

up vote 2 down vote accepted

You can almost do. There is a theorem (due essentially to Bongartz, but in this form perhaps can be found in Yongwei Yao's thesis) that if $\rm{length}(M\otimes L)) = \rm{length}(N\otimes L))$ for all finite length module $L$, then $M\cong N$ (this is a local result, but under reasonable assumptions, for example if both $M,N$ are presented by matrices in $m=(x_1,\dots,x_n)$, it still should be OK).

So, one can generate a bunch of random modules $L$ supported at the origin and compare the lengths. If they are equal for say, 1000 of them, then the universe has to really conspire against you for the modules not to be isomorphic! $\text{}$

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.