Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

In Smalo: Degenerations of Representations of Associative Algebras, Milan J. Math., 2008 there is an application of Hilbert's basis theorem that I don't understand:

Two orders are defined on the set of $d$-dimensional modules over a finite dimensional algebra $\Lambda$. One by $M\leq_{\operatorname{Hom}} N$ iff $\dim \operatorname{Hom}(X,M)\leq \dim \operatorname{Hom}(X,N)$ for all $X$ and one by $M\leq_n N$ iff $\dim \operatorname{Hom}(\Lambda^n/\Lambda^nA,M)\leq \dim \operatorname{Hom}(\Lambda^n/\Lambda^nA,N)$ for all $n\times n$-matrices $A$. It is now claimed that from Hilbert's basis theorem for $n$ large enough one gets that $\leq_n$ is equivalent to $\leq_{\operatorname{Hom}}$. Can somebody provide a more detailed argument?

share|improve this question
add comment

Your Answer


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

Browse other questions tagged or ask your own question.