Skip to main content
added a proof that $M$ is sumpact
Source Link
Jeremy Rickard
  • 35.2k
  • 2
  • 110
  • 151

If it's considered bad form to resurrect year-old threads, then please slap my wrist (gently, please; I'm new here!)

A fairly simple explicit example of a "sumpact" module that is not f.g. is as follows.

Let $R$ be the ring of functions from an uncountable set $X$ to, say, a field $k$. Let $M$ be the ideal of functions with countable support.

Then it's very easy to show that $M$ isn't f.g., and fairly easy to show that it is "sumpact", using no set theory beyond the fact that a countable union of countable sets is countable.

Edit to add details requested in comments:

To show that $M$ is "sumpact", suppose that $\alpha:M\to\bigoplus_{i\in I}N_i$ is a homomorphism that doesn't factor through a finite subsum. I.e., for infinitely many $i$ the composition $\pi_i\alpha:M\to\bigoplus_{i\in I}N_i\to N_i$ of $\alpha$ with projection onto the summand $N_i$ is non-zero. Replacing $I$ with a countable collection of such $i$ we can assume that $I$ is countable and that $\pi_i\alpha$ is non-zero for all $i\in I$.

For each $i\in I$ choose $f_i\in M$ so that $\pi_i\alpha(f_i)\neq0$. Then the union of the supports $\text{supp}(f_i)$ is countable, so there is some $f\in M$ with $\text{supp}(f)=\bigcup_{i\in I}\text{supp}(f_i)$.

But then the ideal generated by $f$ contains every $f_i$, and so $\pi_i\alpha(f)\neq0$ for every $i$, contradicting the fact that $\alpha(f)\in\bigoplus_{i\in I}N_i$.

If it's considered bad form to resurrect year-old threads, then please slap my wrist (gently, please; I'm new here!)

A fairly simple explicit example of a "sumpact" module that is not f.g. is as follows.

Let $R$ be the ring of functions from an uncountable set $X$ to, say, a field $k$. Let $M$ be the ideal of functions with countable support.

Then it's very easy to show that $M$ isn't f.g., and fairly easy to show that it is "sumpact", using no set theory beyond the fact that a countable union of countable sets is countable.

If it's considered bad form to resurrect year-old threads, then please slap my wrist (gently, please; I'm new here!)

A fairly simple explicit example of a "sumpact" module that is not f.g. is as follows.

Let $R$ be the ring of functions from an uncountable set $X$ to, say, a field $k$. Let $M$ be the ideal of functions with countable support.

Then it's very easy to show that $M$ isn't f.g., and fairly easy to show that it is "sumpact", using no set theory beyond the fact that a countable union of countable sets is countable.

Edit to add details requested in comments:

To show that $M$ is "sumpact", suppose that $\alpha:M\to\bigoplus_{i\in I}N_i$ is a homomorphism that doesn't factor through a finite subsum. I.e., for infinitely many $i$ the composition $\pi_i\alpha:M\to\bigoplus_{i\in I}N_i\to N_i$ of $\alpha$ with projection onto the summand $N_i$ is non-zero. Replacing $I$ with a countable collection of such $i$ we can assume that $I$ is countable and that $\pi_i\alpha$ is non-zero for all $i\in I$.

For each $i\in I$ choose $f_i\in M$ so that $\pi_i\alpha(f_i)\neq0$. Then the union of the supports $\text{supp}(f_i)$ is countable, so there is some $f\in M$ with $\text{supp}(f)=\bigcup_{i\in I}\text{supp}(f_i)$.

But then the ideal generated by $f$ contains every $f_i$, and so $\pi_i\alpha(f)\neq0$ for every $i$, contradicting the fact that $\alpha(f)\in\bigoplus_{i\in I}N_i$.

Source Link
Jeremy Rickard
  • 35.2k
  • 2
  • 110
  • 151

If it's considered bad form to resurrect year-old threads, then please slap my wrist (gently, please; I'm new here!)

A fairly simple explicit example of a "sumpact" module that is not f.g. is as follows.

Let $R$ be the ring of functions from an uncountable set $X$ to, say, a field $k$. Let $M$ be the ideal of functions with countable support.

Then it's very easy to show that $M$ isn't f.g., and fairly easy to show that it is "sumpact", using no set theory beyond the fact that a countable union of countable sets is countable.