All Questions
11 questions
27
votes
13
answers
4k
views
Homological algebra for commutative monoids?
Homological algebra for abelian groups is a standard tool in many fields of mathematics. How much carries over to the setting of commutative monoids (with unit)? It seems like there is a notion of ...
- 27.5k
42
votes
5
answers
4k
views
What are the main structure theorems on finitely generated commutative monoids?
I should read J. C. Rosales and P. A. García-Sánchez's book Finitely Generated Commutative Monoids and L. Redei's book The Theory of Finitely Generated Commutative Semigroups. I haven't. But here's ...
- 22.3k
4
votes
1
answer
364
views
Values attained by the coheight of $(H \setminus H^\times)^k$ as a function of $H$ and $k$
Edit (Apr 24, 2017). I'm updating this post in the light of the latest developments of a related thread.
Let $H$ be a multiplicatively written, commutative monoid, and set $M := H \setminus H^\times$,...
- 10.5k
3
votes
2
answers
165
views
Weak ideal systems $r$ for which the $r$-coheight satisfies a kind of triangle inequality
Let $H$ be a multiplicatively written, commutative monoid with identity $1_H$, and let $\mathcal P(H)$ be the power set of $H$. If $X, Y \subseteq H$, we will set $$XY := \{xy: x \in X,\, y \in Y\}.$$
...
- 10.5k
6
votes
0
answers
632
views
Generating functions in countable commutative monoids
Let $f: \mathbb{N}_0 \rightarrow \mathbb{C}$ be a function. The power series of $f$ can be viewed as the function $\mathscr{P}_f : q \mapsto \sum_{n \in \mathbb{N}_0}^{} f(n)q^n$ where $q \in \mathbb{...
- 405
5
votes
2
answers
236
views
Descent of flatness from algebras to monoids
Consider a morphism of commutative monoids $u\colon M\rightarrow N$. We say that $u$ is flat, if the tensor product functor $\bullet\otimes_MN$ from the category of $M$-modules to the category of $N$-...
- 6,700
4
votes
1
answer
385
views
Which monoids can be realized as the monoid of ideals of a commutative monoid?
Let $H$ be a commutative monoid (written multiplicatively). We say that a set $I \subseteq H$ is an ideal of $H$ if $IH = I$. The set $\mathcal I(H)$ of all ideals of $H$ is made into a (commutative) ...
- 10.5k
2
votes
1
answer
122
views
If $H$ is essentially equimorphic to $K$, then is $H$ atomic only if so is $K$?
I will first state my question, and then give all the relevant definitions.
Q. Let $H$ and $K$ be monoids, and assume $H$ is essentially equimorphic to $K$. Is it true that $H$ is atomic only if so ...
- 10.5k
2
votes
0
answers
106
views
Descent of flatness from algebras to monoids II
This is a follow-up question to this one. There, Benjamin Steinberg showed that a morphism of commutative monoids $u$ need not be flat if the induced morphism of $R$-algebras $R[u]$ is flat for some ...
- 6,700
2
votes
0
answers
119
views
The "matrix direct sum" monoid modulo unitary equivalence
Given a commutative $*$-ring $(R,*)$, let $M(R,*)$ be the monoid whose elements are matrices over $R$ of all possible shapes and entries, including those that have $0$ columns or $0$ rows. Let the ...
- 4,943
1
vote
1
answer
96
views
If $H$ is commutative and unit-cancellative, then so is the monoid of non-empty ideals of $H$
Let $H$ be a (multiplicatively written) commutative monoid with identity $1_H$. Given $X, Y \subseteq H$, we take
$$XY := \{xy: x \in X,\, y \in Y\}.$$
We call a set $I \subseteq H$ an ideal of $H$ ...
- 10.5k