Let $R$ be a one-dimensional, reduced and noetherian $k$-algebra (we may also assume that $R$ is a finite $k[x]$-algebra). Let $M$ be a finitely generated, torsion-free module over $R$, i.e. no regular element of $R$ annihilates a non-zero element of $M$. Let $a \in R$ be regular.



> 
> Is there an invariant $\mu(M)$ of $M$ (maybe depending on the components of $\text{Spec}(R)$) such that $$\dim\_k M/aM = \mu(M) \cdot \dim\_k R/aR$$
>  or at least with inequality in one of the two directions?
> 
> 
> 


I am particularly interested in the case of $R$ non-integral and non-local. There are results (Eisenbud Lemma 11.12 for domains, Liu Ex. 7.1.6 for local rings) linking the length and the dimensions above.


In the case that $M$ is free of finite rank, to me it seems that $\mu(M) = \text{rank}\_R(M)$. But for more general $M$ I don't know.


I am grateful for any kind of help or input!



Is $\dim_k M/xM$ a multiple of $\dim_k R/xR$ for $M$ finitely generated, torsion-free $R$-module?
Here is a discussion only assuming that $R$ is Cohen-Macaulay. Let $G$ denote the Grothendieck group of all finitely generated $R$-modules. 


Fix a regular element $a$ and consider the function $$f(M) = \dim\_k Tor\_0(M,R/aR)- \dim\_k Tor\_1(M,R/aR)= \dim\_k M/aM - \dim\_k (0:\_Ma)$$


For torsion-free module (or just Cohen-Macaulay) $M$, note that $f(M) = \dim\_k M/aM$. Also, note that $f(N)=0$ if $N$ is torsion. So, for example, $f(m)=f(R)$ if $m$ is a maximal prime.


Thus $f$ induces a group homomorphism $\bar G \to \mathbb Z$, where $\bar G$ is $G/H$ where $H$ is the subgroup generated by torsion modules. Note that $\bar G$ is generated as an abelian group by the classes of $[R/P]$ where $P$ is a minimal prime. 


So, we have $f(M) = \mu f(R)$ if $[M]=\mu [R]$ in $\bar G$. This happens always if $R$ is a domain an $\mu$ is rank. In general one needs to understand $\bar G$ and $f(P)$ when $P$ is a minimal prime.


To be more precise, if $R$ is reduced, then $[R] = \sum\_1^s [R/P\_i]$ and $[M]= \sum a\_i[R/P\_i]$ in $\bar G$, where $P\_i$ are minimal primes of $R$ and $a\_i$ is the rank of $M\_{P\_i}$. So if we let $\mu= \min\{a\_i\}$ or $\mu = \max\{a\_i\}$ we get inequalities in either direction. If it happens that $f(P\_i)$ is a constant then $\mu = \sum a\_i/s$ works for equality, generalizing the domain case. 


Let me end with a concrete example of a non-integral, non-local ring. Let $R=k[x,y]/(xy)$ and $a=x-y$. Then the minimal primes are $P\_1=(x), P\_2=(y)$. We have $f(R/P\_i)=1$ for each $i$ and $f(R)=2$. Thus if we define $\mu(M)=\frac{a\_1+a\_2}{2}$ where $a\_i = rank\_{R\_{P\_i}} M\_{P\_i}$, we always have $f(M)= \mu(M)f(R)$. Such equality even works for *generic* a, but does not work for all $a$, for instance if $a=x-y^2$. 


