All Questions
Tagged with semigroup-theory or semigroups-and-monoids
605 questions
6
votes
1
answer
516
views
Growth zeta-functions of regular languages
Dear All,
my following question may be known and ought to be known, so in case it is folklore please could you give me the references.
To start, it is obvious that growth of rational languages are ...
- 1,437
6
votes
3
answers
551
views
Conjecture about commutative semigroups
Conjecture: given any commutative semigroup $S$ of order $n \ge 4$, there exist $a, b \in S$ with $a \ne b$, an integer $m \ge \lfloor (n-1)/2 \rfloor$, and two $m$-element subsets $X = \{x_1, \ldots, ...
- 1,000
6
votes
2
answers
183
views
a category associated with an inverse semigroup
Let $S$ be an inverse semigroup. Define a category $C(S)$ as follows:
the objects of $C(S)$ are the elements of $S$
for any $a,b,e\in S$ let $e\colon a\to b$ be a morphism of $C(S)$ iff $aa^{-1}eb^{-...
- 379
6
votes
2
answers
422
views
Monoids in which every prime is an atom
Let $H$ be a multiplicatively written monoid with identity $1_H$. We write $H^\times$ for the set of units (or invertible elements) of $H$. We say that an element $a \in H$ is an atom if $a \notin H^\...
- 10.5k
6
votes
1
answer
1k
views
Who coined "mob" and "clan" and why these words?
A mob is a word used for a topological semigroup which is a Hausdorff space. A clan is a compact connected mob with a two-sided identity element.
Who used these words with these meanings first and ...
- 1,445
6
votes
2
answers
462
views
need references regarding the elementary theory of free semigroup and free abelian groups
Recently, I read that two free abelian groups $S$ and $T$ have the same elementary theory if and only if rank$S$=rank$T$. Does anyone have a reference with a proof of this? Also, what is known about ...
- 549
6
votes
1
answer
393
views
Algebra generated by transformation matrices
Let $T_n$ be the full transformation monoid of an $n$-set $N_n$ with elements 1,...,n consisting of all functions $f: N_n \rightarrow N_n$.
We can associate to each function $f$ a matrix $M_f$ in the ...
- 26.5k
6
votes
1
answer
903
views
Monoids and groups of fractions
Let $G$ be a group containing a monoid $M$ that spans $G$ as a group. Is it possible to have a proper quotient $\varphi \colon G \to Q$ of $G$ such that the restriction of $\varphi$ to $M$ is ...
- 2,050
6
votes
1
answer
371
views
Embedding a cancellative monoid into another in such a way that a prescribed element becomes left-invertible
Let $\mathbb A = (A, +_A)$ be a cancellative, but possibly non-commutative, monoid with identity $0$, and fix an element $x \in A$. Does there always exist a cancellative monoid $\mathbb B = (B, +)$ ...
- 10.5k
6
votes
3
answers
411
views
Problem 0.9.10 in Cohn's "Free Ideal Rings and Localization in General Rings" (CUP, 2006)
Let $S$ be a monoid. On p. xvii of P.M. Cohn's Free Ideal Rings and Localization in General Rings (CUP, 2006), one reads that
an element $u \in S$ is regular if (quote) "[...] it can be ...
- 10.5k
6
votes
1
answer
185
views
A name for semigroups in which left and right principal ideals coincide
Is there any standard name for semigroups $S$ in which $xS=Sx$ for all $x\in S$?
Examples of such semigroups are commutative semigroups and Clifford inverse semigroups.
- 41.8k
6
votes
1
answer
128
views
Ascending sequences of idempotents in inverse semigroups
I've enocuntered the following question in my current research, and I'd appreciate any help you could give me. This is probably well known to experts on the subject.
Let $S = \langle K \rangle$ be a ...
- 733
6
votes
1
answer
917
views
Does the category PCM (partial commutative monoids) have a closed symmetric monoidal product?
A partial commutative monoid (PCM) is, roughly speaking, a set with a partially defined binary operation that is as associative as it can be (given that not all products are defined) and commutative. ...
- 6,229
6
votes
1
answer
587
views
Study of convex polytopes via commutative algebra
Let $P \subset \mathbb{R}^d$ be any convex polytope with integral vertices, and let $M$ be the additive submonoid of $\mathbb{R}^{d+1}$ which is generated by $\{ (v,1) : v \in P \cap \mathbb{Z}^d \}$. ...
- 211
6
votes
1
answer
202
views
Identities of finite inverse semigroups
An inverse semigroup is an algebra with two operations: binary $\cdot$ and unary $^{-1}$ such that $\cdot$ is associative and $xx^{-1}x=x, xx^{-1}yy^{-1}=yy^{-1}xx^{-1}$. The Brandt semigroup with 1, $...
user158834
6
votes
1
answer
449
views
Comonoids in the category of monoids
Let us give the category of monoids $\mathbf{Mon}$ a monoidal structure with $\otimes = \sqcup$ (coproduct). How can we classify $\mathbf{CoMon}(\mathbf{Mon})$, the category of comonoids of monoids?
...
- 5,482
6
votes
2
answers
781
views
What is the combinatorial data classifying non-normal affine toric varieties?
Recall that a toric variety is a variety $V$ containing an open dense algebraic torus. Here an algebraic torus means a finite product of copies of the multiplicative group of the ground field (which I ...
- 38.6k
6
votes
1
answer
173
views
References on semigroup actions
I posted this question on Math Stack Exchange about 10 days ago, but received no answer (https://math.stackexchange.com/q/4843881/1223994).
I would like to ask for references on semigroup actions on ...
- 339
6
votes
2
answers
438
views
Grouplike and idempotent monoids
Call a monoid group-like if it embeds into its group completion. There exists an obvious tension between group-like and idempotent monoids in that a group cannot contain non-trivial idempotent ...
6
votes
1
answer
259
views
are endomorphisms "small" compared to the full transformations?
$\DeclareMathOperator\End{End}$Let $T_n$ be the full transformation semigroup/monoid of $[n]=\{1,\dots,n\}$. Let $\End(T_n)$ be the set of [endomorphisms][1] of $T_n$. Then, $\# T_n=n^n$ and
$$\# \End(...
- 43.2k
6
votes
1
answer
622
views
When is the cofibrant replacement of a product the product of the cofibrant replacements?
I'm in a situation where I'd like to prove $Q(E\otimes E) \simeq QE \otimes QE$ for a monoid $E$ in a symmetric monoidal model category. I know it's not true in general that $Q(E\otimes F)\simeq QE \...
- 30.3k
6
votes
1
answer
236
views
Two numerical monoids are isomorphic iff they are equal
A numerical monoid (or numerical semigroup) is a submonoid $S$ of the additive monoid $(\mathbb N, +)$ of non-negative integers with the property that the set $\mathbb N \setminus S$ is finite.
It is ...
- 10.5k
6
votes
1
answer
135
views
Automorphisms of special egg-box diagrams
By a egg-box diagram I will simply mean a (possibly infinite) rectangular array of holes, with some of the holes containing an egg (denoted by a filled-in circle) and the rest of the holes are empty (...
- 18.7k
6
votes
0
answers
151
views
On dual notions of morphisms of algebraic structures obtained by replacing equaliser with coequalisers
This question is based on this discussion from the Category Theory Zulip. See also the earlier question Natural cotransformations and "dual" co/limits.
Let $G$ and $H$ be groups. We define ...
- 11.8k
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
6
votes
0
answers
259
views
Usefulness of total algebras and exotic generating series
In his first Algebra volume, Bourbaki [1] defines the structure of a “total algebra” i.e. the space of functions on a monoid $M$ (to a ring $k$) with the convolution product ( a function $f:\ M\to k$ ...
- 3,738
6
votes
0
answers
183
views
Examples of groups with a positive homogeneous presentation without the Haagerup property or not of type $F_\infty$
I am looking for groups with a certain presentation that do not have the Haagerup property or are finitely presented but not of type $F_\infty$ (meaninig that for some $n\geq 3$ we cannot find any ...
- 61
6
votes
0
answers
177
views
Is the monoid of all cancellative finitely generated commutative monoids cancellative?
$\DeclareMathOperator\Mon{Mon}\DeclareMathOperator\Grp{Grp}$Let $\Mon'$ be the set of isomorphism classes of (small) commutative, unital, cancellative ($a + t = b + t$ implies $a = b$) monoids. It is ...
- 1,084
6
votes
0
answers
190
views
The highest degree of a polynomial on a finite group
This question is motivated by the comments and the answer to this MO-question.
First let us recall some definitions.
A function $f:X\to X$ on a group $X$ is called a polynomial if there exists $n\in\...
- 41.8k
6
votes
0
answers
89
views
Maximal number of commuting functions of a finite set
Let $S$ be a finite set with $n$ elements and let $F_S$ denote the set of functions from $S$ to $S$. I wonder whether anything is known about the maximal cardinality of a commuting subset of $F_S$? A ...
- 23.2k
6
votes
0
answers
132
views
Generalization of pseudogroups
Pseudogroups are defined here: https://ncatlab.org/nlab/show/pseudogroup
One of the problems with defining manifolds in terms of pseudogroups is that it gives no notion of a morphism between manifolds,...
- 181
6
votes
0
answers
47
views
Special monomorphism to encode the inclusion of topological submonoids
Consider the category $\mathrm{TopMon}$ of topological monoids and continuous monoid homomorphisms.
Consider the inclusion $i:\Bbb{R}_{\ge 0}\hookrightarrow \Bbb{R}$, where the spaces are taken with ...
- 2,129
6
votes
0
answers
340
views
Would you like a subject class for semigroup theory on the arXiv?
After contacting the arxiv recently about possibly adding semigroup theory as a subject class, they suggested I canvas the research community to establish whether such a subject class would be used ...
- 77
6
votes
0
answers
117
views
Closedness of the partial order in complete Hausdorff semitopological semilattices
First some definitions.
A semilattice is a commutative semigroup consisting of idempotents (i.e., elements such that $xx=x$). A typical example of a semilattice is the unit interval endowed with the ...
- 41.8k
6
votes
0
answers
81
views
Representing meet-semilattices with vector spaces of specified dimensions
Take $K$ to be a field and take $L$ to be a finite meet-semilattice. I'm interested in the set of functions $n: L \rightarrow \mathbb{Z}^{\ge 0}$ such that there is some function $V$ from $L$ to ...
6
votes
0
answers
215
views
Matrix semigroups in which a weighted average of eigenvalues is multiplicative
A problem in fractal geometry requires me to consider matrix semigroups with the following curious property. For a $d \times d$ real matrix $A$ let $\lambda_1(A) \geq \lambda_2(A) \geq \cdots \geq \...
- 6,206
6
votes
0
answers
294
views
Laurent and power series over the field with one element?
Question. Is there a suitable notion of the Laurent series ring $\mathbb{F}_1((t))$ and power series ring $\mathbb{F}_1[[t]]$ in some framework for the field with one element $\mathbb{F}_1$?
For ...
user1437
6
votes
0
answers
572
views
Computing the pro-solvable closure of a finitely generated subgroup of a free group
The pro-solvable topology on a group $G$ is the unique group topology such that the set of normal subgroups $N\lhd G$ with $G/N$ a finite solvable group is a fundamental system of neighborhoods of the ...
- 38.6k
6
votes
0
answers
618
views
Duality between conjugacy classes and irreducible characters for finite monoids?
Qiaochu's answer to this question suggests that the proper way to view the bijection between conjugacy classes and irreducible complex representations of a finite group is via a duality. My question ...
- 38.6k
5
votes
3
answers
576
views
Is the class of power-associative binars finitely axiomatizable?
A binar is simply a set $S$ equipped with a single binary operation $*$. A power-associative binar is a binar where the subalgebra generated by a single element is associative. Equivalently, they can ...
- 2,013
5
votes
3
answers
758
views
Locally finite varieties which are not finitely generated
Let $\Sigma$ be a signature consisting of operations with finite arity. Let $\mathcal{V}$ be a variety of algebras for this signature. Further suppose that $\mathcal{V}$ is locally finite i.e. every ...
- 1,271
5
votes
3
answers
851
views
What are some examples of non-commutative $\mathbb{Q}$-monoids and/or $\mathbb{R}$-monoids?
Definition 0. Let $R$ denote a commutative semiring with $0$ and $1$. By an $R$-monoid, I mean a monoid $M$ equipped with an action $R \times M \rightarrow M$ denoted $r,m \mapsto m^r$, satisfying the ...
- 3,793
5
votes
1
answer
3k
views
Does the category Monoid of monoids have finite coproducts?
Does the category Monoid of monoids have finite coproducts?
- 67
5
votes
3
answers
688
views
examples of finitely generated semigroups that are not residually finite
Does anybody know of any finitely generated semigroups that are not residually finite and whose group of units (if there is an identity) is trivial? Basically, I'm looking for finitely generated ...
- 549
5
votes
2
answers
804
views
Cancellation property for commutative monoid
Let $(M,+,e)$ be a commutative monoid with unit $e$. An element $a\in M$ is called cancellative element if
for any $b,c \in M$ such that $a+b=a+c$ implies that $b=c$.
Let $(\mathbf{N},+,0)$ the ...
- 511
5
votes
2
answers
409
views
Extending monoids to a ring
I started reading about monoids (and semigroups in general) and came across of the example of some non-commutative monoids which cannot be endowed with some addition turning it into a ring (the monoid ...
- 1,045
5
votes
1
answer
243
views
Terminology for a monoid $H$ s.t. $xy \in H^\times$ only if $x, y \in H^\times$
The title has it all. Is there any consolidated terminology for referring to a (multiplicative) monoid $H$ such that $xy \in H^\times$ (if and) only if $x, y \in H^\times$? Here is a short list of ...
- 10.5k
5
votes
2
answers
387
views
Concatenation of strings [closed]
We have two strings (i. e., finite tuples) $A$ and $B$.
We have to find if for some positive integers $n$ and $m$, the string $A$ concatenated $n$ times equals the string $B$ concatenated $m$ times or ...
- 59
5
votes
2
answers
754
views
Do all finitely generated nilpotent semigroups have polynomial growth?
The notion of nilpotency passes nicely from groups to semigroups. Define $q_1(x,y)=xy$ and $$q_{i+1}(x,y,z_1,\cdots,z_i)=q_i(x,y,z_1,\cdots,z_{i-1})z_iq_i(y,x,z_1,\cdots,z_{i-1})$$ inductively for all ...
- 1,437
5
votes
2
answers
537
views
If $k[S]$ is noetherian, is S finitely generated?
Let $S$ be a semigroup. If $S$ is abelian, then it follows that the semigroup algebra $k[S]$ is finitely generated if and only if $S$ is.
What if we relax the condition on $k[S]$, so that $k[S]$ is ...
- 11.6k