All Questions
16 questions
7
votes
0
answers
138
views
The smallest cardinality of a cover of a group by algebraic sets
$\DeclareMathOperator\cov{cov}$A subset $A$ of a semigroup $X$ is called algebraic if $$A=\{x\in X: a_0xa_1x...xa_n=b\}$$ for some $b\in X$ and $a_0,a_1,...,a_n \in X^1=X\cup \{1\}$. The smallest ...
- 41.8k
1
vote
0
answers
121
views
Why $\beta S$ is not a semigroup when $S$ is a (directed) partial semigroup?
Given a semigroup $(S, *)$ we extend the semigroup operation $*$ of $S$ to a operation $*$ on $\beta S$ (the set of ultrafilters on $S$) defined as
$$
\mathcal{U} * \mathcal{V} = \left\{ A \...
- 59
3
votes
2
answers
249
views
"Completion property" in $(\beta\omega,+)$
Let $\beta\omega$ be collection of all ultrafilters on $\omega$ (principal and non-principal). We endow $\beta\omega$ with an operation $+$ in the following way. For ${\bf a}, {\bf b}\in \beta\omega$, ...
- 48.9k
4
votes
1
answer
222
views
Addition and Rudin-Keisler ordering in $\beta \omega$
$\DeclareMathOperator{\RK}{\mathrm{RK}}$Let $\beta\omega$ be the Stone-Cech compactification of $\omega$ with the discrete topology. We can endow $\beta\omega$ with an addition operation that extends ...
- 48.9k
10
votes
1
answer
409
views
Does every set have a rigid self-map?
The question was asked on Mathematics Stackexchange
but has remained unanswered so far.
A self-map is a map $f:X\to X$ from a set $X$ to itself. There is an obvious notion of morphism, and thus of ...
- 4,416
3
votes
1
answer
203
views
Centralizer of a single element in the monoid of self-maps of a set
This is a follow-up to this question: For what sets $X$ do there exist a pair of functions from $X$ to $X$ with the identity being the only function that commutes with both?
Let $X$ be a set, and $X^...
- 63.9k
13
votes
1
answer
1k
views
For what sets $X$ do there exist a pair of functions from $X$ to $X$ with the identity being the only function that commutes with both?
It is not too difficult to show that if $X$ is an infinite set, then there exists a two-element subset of the group $\operatorname{Sym}(X)$ with trivial centralizer iff $\lvert X\rvert \leq \lvert\...
- 328
6
votes
3
answers
472
views
Spaces with unique endomorphism monoids
If $(X,\tau)$ is a topological space, let $\text{End}(X)$ denote the collection of all continuous maps $f: X\to X$. With composition, this becomes the endomorphism monoid $(\text{End}(X), \circ)$.
We ...
- 48.9k
5
votes
1
answer
254
views
Examples of Yang-Baxter monoids
Then we say that an algebra $(X,f,g,\circ,1)$ is a Yang-Baxter monoid if it satisfies the following identities:
$(X,\circ,1)$ is a monoid,
$f(x,1)=1,f(1,x)=x,g(x,1)=x,g(1,x)=1$
$x\circ y=f(x,y)\circ ...
8
votes
1
answer
448
views
Can a Shelah semigroup be commutative?
A semigroup $S$ is called
$\bullet$ $n$-Shelah for a positive integer $n$ if $S=A^n$ for any subset $A\subset S$ of cardinality $|A|=|S|$;
$\bullet$ Shelah if $S$ is $n$-Shelah for some $n\in\mathbb N$...
- 41.8k
3
votes
1
answer
122
views
Partition theorems for located words
In this paper Bergelson, Blass, and Hindman prove the following
Theorem 1.2 Let $W(\Sigma; v)$ be colored with finitely may colors and let $\bar s$ be an infinite sequence from $W(\Sigma; v)$. ...
5
votes
2
answers
402
views
Maximal commuting subsets of $\text{End}(X)$
Let $X$ be a set and let $\text{End}(X)$ be the set of all functions $f:X\to X$. We say that $f, g\in \text{End}(X)$ commute if $g\circ f = f\circ g$, and $S\subseteq \text{End}(X)$ is a commuting ...
- 48.9k
8
votes
2
answers
483
views
Posets obtained from a semigroup by the definition $x \leq y \iff x \cdot y = x$
A po-groupoid is a groupoid $\langle A,\cdot\rangle $ such that the relation
defined by
$$
x \leq y \text{ if and only if } x \cdot y = x
$$
is a partial order on $A$, the order related to $\langle ...
- 1,124
10
votes
0
answers
314
views
How much do idempotent ultrafilters generate in terms of semigroups?
It is known that the set of ultrafilters on, say, the natural numbers $\mathbb{N}$, can naturally be endowed with the structure of a compact topological left semigroup (which fails to be anything ...
- 1,914
8
votes
2
answers
427
views
Is there a general result that theorems about finite structures proved in ZFC can be proved in ZF?
The title question is too vague so let me be specific.
Much of modern finite semigroup theory uses profinite semigroups and properties of profinite semigroups that depend on the existence of prime ...
- 38.6k
0
votes
1
answer
147
views
Small set of acts over a countable monoid?
Given a countable monoid $S$, is the set of all (isomorphic representatives of) $S$-acts a small set?
- 11