**0**

votes

**1**answer

179 views

### Cauculation of a conplex integrand. A question from the book PDE by A. Friedman

In the book Partial Diferential Equations by A. Friedman 1969.
Part 2
on page 104, in the proof of theorem 2.1 (d).
A is a operator of type $(\psi,M)$ ($-A$generate a analytic semigroup), and $\Gamma$...

**0**

votes

**1**answer

193 views

### Embedding a semigroup into a divisible semigroup

The following is motivated by the fact that I'd like to have a way, much better if canonical, to isometrically embed a normed group into a normed divisible group. But semigroups are a much more ...

**2**

votes

**2**answers

299 views

### Projective limit construction of a semigroup

Let $\tilde{\mathbb N}$ be the Abelian semigroup (under addition) given by $\mathbb N\cup\{0,\infty\}$, and let $S_n$ be the Abelian monoid $\tilde{\mathbb N}^{2^n}$ under point-wise addition. ...

**0**

votes

**1**answer

89 views

### What is the way to after finding Cohen-Macaulay semigroup as ring of monomial?

http://people.missouristate.edu/lesreid/reu/2007/PPT/robin.ppt
it said missing part inside and not missing part outside is non Cohen-Macaulay semigroup
which determine whether is missing in the ...

**3**

votes

**4**answers

505 views

### On the notion of partial semigroup

A partial binary operation on a set $X$ is just a (partial) function $\varphi: X \times X \rightharpoonup X$ (I'm using \rightharpoonup for partial maps), and a partial magma is a pair $\mathbb M = (M,...

**2**

votes

**2**answers

303 views

### How many idempotent relations are there on an $n$-element set?

As far as I know, it is an open problem to give a formula counting transitive relations on an $n$-element set. Is it easier to count the idempotent relations, that is relations that are both ...

**1**

vote

**2**answers

747 views

### on the set of numbers generated by integer linear combination of two real numbers.

Let $b > a > 0$ be two real numbers. I am interested in the set of numbers
$X(p,q) = p a + q b$ with $p,q$ positive integers. Basically this is the set $a \mathbb{N} + b \mathbb{N}$.
What ...

**2**

votes

**2**answers

360 views

### On exponential formula

Let $T(t),t\geq 0$, be a $C_0$-semigroup on a Banach space $X$. If $A$ is the infinitesimal generator of $T(t),t\geq 0$, then
$$T(t)x=\lim_{n\infty}(I-\frac{t}{n}A)^{-n}x$$
for every $x \in X, t\geq ...

**2**

votes

**0**answers

255 views

### Continuity of multiplicative character

Let $G$ be a discrete group and $\beta (G)$ denote the Stone-Cech compactification of $G$, a right topological semigroup. By a multiplicative character, I mean a mapping that preserves multiplication ...

**3**

votes

**0**answers

115 views

### A question of terminology - Unitizations of semigroups

There are at least two standard ways of unitizing a (small) semigroup $\mathbb A$:
(i) We add an identity regardless that $\mathbb A$ is already unital.
(ii) We add an identity only if none is ...

**2**

votes

**1**answer

157 views

**4**

votes

**1**answer

241 views

### Generator of a $C_0$-semigroup restricted to a subspace

Suppose we have a decreasing filtration of Banach spaces $(E_t)\_{t\geq0}$, inclusions $V_{s+t,t}:E_{s+t}\to E_t$ and projections $P_{t,s+t}:E_t\to E_{s+t}$ such that $P_{t,s+t}V_{s+t,t}=I_{E_{s+t}}$. ...

**1**

vote

**0**answers

70 views

### Semiflows and continuous symmetries

Given a differential equation on a Banach space $\mathcal{X}$ of the form $\frac{d u}{d t} = F(u)$, it is often the case that $F$ is equivariant under translations, i.e. that $T_\alpha F(u) = F(T_\...

**1**

vote

**1**answer

185 views

### Counting modular squares in an interval

For an integer $m$, let $S^m_{x_0,x_1} = \{ t | x_0 ≤ t ≤ x_1 $ and $t$ is a square modulo $m \}$. Let $S^m_x$ = $S^m_{0,x}$.
Determining whether the sets $S^m_x$ are empty is easy (1 is always a ...

**1**

vote

**2**answers

306 views

### What are the monoids in which every globally idempotent subsemigroup contains the identity element?

A semigroup is called globally idempotent when for any $x\in S$ there are $y,z\in S$ such that $x=yz$.
Is there a name for monoids whose every globally idempotent subsemigroup contains the identity ...

**0**

votes

**1**answer

192 views

### When does a power semigroup have a zero, and what can the zero be?

Let $S$ be a semigroup. The power semigroup of $S$ is the set $P(S)=2^S\setminus\lbrace\varnothing\rbrace $ with the operation $$AB=\lbrace ab\ |\ a\in A,\ b\in B\rbrace.$$
This operation is ...

**27**

votes

**5**answers

3k views

### How many binary operations are associative?

Let $X$ be a finite set of $n$ elements, and consider a binary operation $\odot: X \times X \rightarrow X$. There are $n^{n^2}$ such binary operations, as the $n \times n$ table entries can each
be ...

**3**

votes

**2**answers

187 views

### A linearly orderable monoid which does not embed into a linearly orderable group

It is known (after an example of A.I. Mal'cev) that there exist cancellative semigroups which do not embed into a group. On the other hand, it is not difficult to see that every linearly orderable ...

**0**

votes

**0**answers

198 views

**2**

votes

**1**answer

201 views

### On the notion of torsion-freeness in semigroup theory

The following seems to be the "official" notion of torsion-freeness in the context of semigroups:
TF1. A (multiplicatively written) semigroup $\mathfrak A$ is torsion-free if there do not ...

**1**

vote

**1**answer

225 views

### Strictly totally ordered semigroups - Looking for references

Let $\mathfrak A = (A, \cdot)$ be a semigroup (written multiplicatively). We say that $\mathfrak A$ is linearly orderable if there exists a total order $\le$ on $A$ such that $ac < bc$ and $ca < ...

**4**

votes

**1**answer

363 views

### What do we know about the semigroup $e^{it\sqrt{-\Delta}}$

I'm very interested in the properties of the semigroup $e^{it\sqrt{-\Delta}}$, it may has some fundamental differences(such as the kernel) with the well-known schrodinger semigroup $e^{it\Delta}$.
...

**4**

votes

**1**answer

264 views

### Reference for subsemigroups of $\mathbb{N}^n$

A well known result about the natural numbers $\mathbb{N}$ says that for any finite subset $A \subset \mathbb{N}$ there exists $R \ge 0$ such that if $n$ is in the subgroup of $\mathbb{Z}$ generated ...

**2**

votes

**1**answer

220 views

### Embedding Semigroups in Rings

Let $S$ be a finite commutative semigroup with identity. Under what conditions (on the semigroup $S$) it is possible to find a ring $R$ such that the multiplicative structure of $R - \{0\}$ is ...

**3**

votes

**2**answers

262 views

### Minimal right ideals in finite semigroup

Let $E$ be a finite semigroup. According to N. Bourbaki (Algèbre I p. 121 exerc. 14 c), if $M$ and $M'$ are minimal right ideals in $E$, then they are isomorphic. I spent some time browsing through ...

**3**

votes

**1**answer

215 views

### Is the universal inverse semigroup of a commutative semigroup an embedding?

The question of existence of a universal inverse semigroup of an arbitrary semigroup has been answered before (this is a construction similar to the Grothendieck group). Let's refer to the universal ...

**2**

votes

**2**answers

219 views

### Idempotent semigroups: Are they all residually finite?

As pointed out by Mark Sapir in his answer to a related question, every residually finite divisible semigroup is idempotent (hence uniquely divisible). On another hand, it is not difficult to prove ...

**2**

votes

**1**answer

298 views

### On a property of subsemigroups

Let $H$ denote a subsemigroup of a semigroup $G$.
I'm interested in the following property:
$$\forall g\in G\exists h\in H:gh\in H.$$
This property is weaker than the property that $H$ is an ideal ...

**3**

votes

**1**answer

252 views

### A semigroup with the property that $x^n = a$ has at least one solution

Is there a standard name for a (multiplicatively-written) semigroup $(A, \cdot)$ such that, given an arbitrary $a \in A$, the equation $x^n = a$ has at least one solution $x \in A$ for each $n \in \...

**7**

votes

**2**answers

401 views

### Is the class of inverse semigroups globally determined?

This question is a follow-up to this one I asked on math.stackexchange. I've decided to ask here because I believe this is a research-level question. I'm sorry if I'm wrong -- I'm not a researcher ...

**7**

votes

**2**answers

330 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 ...

**3**

votes

**2**answers

440 views

### subsets of $\mathbb{R}^+$ closed under addition

No one's answered this question so here's a simpler question: Has anyone described or catalogued all sets of non-negative real numbers that are closed under addition? In particular, how about those ...

**7**

votes

**2**answers

614 views

### Which semigroups can be linearly ordered?

As usual I consider a semigroup to be a structure $(A, +)$ such that $+$ is an associative binary function over the set $A$. The notion of linearly-ordered semigroup corresponds to structures of the ...

**9**

votes

**3**answers

703 views

### What is the smallest variety of algebras containing all fields?

A field is a ring whose nonzero elements form a commutative group under multiplication. A field is also a commutative inverse semigroup with respect to multiplication. The unique multiplicative ...

**3**

votes

**0**answers

268 views

### Is there a homological way to compute quiver presentations?

I have recently been studying with colleagues the representation theory of certain finite monoids that come up in probability theory and combinatorics, see Ken Brown's beautiful survey here.
These ...

**3**

votes

**2**answers

548 views

### Do these kernel functions satisfy the semi-group property?

Dear Friends,
Define the kernel functions for $a\ge 1$,
$$
G_a(t,x) := \frac{C_a t}{t^{1+1/a}+|x|^{1+a}}, \qquad \forall t>0,\: x\in R\;,
$$
where the constant $C_a$ is some normalization ...

**20**

votes

**2**answers

666 views

### Mapping from a finite index subgroup onto the whole group

Dear All,
here is the question:
Does there exist a finitely generated group $G$ with a proper subgroup $H$ of finite index, and an (onto) homomorphism $\phi:G\to G$ such that $\phi(H)=G$?
My guess ...

**13**

votes

**2**answers

873 views

### Economical hard word problem

Can anyone give me an example of a very simple word problem, where by "simple" I mean that it has very few generators and relations, that is nevertheless insoluble. To make the question easier, I am ...

**4**

votes

**0**answers

248 views

### What is the pro-algebraic completion of the free semigroup on one generator?

This question is motivated by an attempt to understand what is going on in Tom's post from a certain point of view.
Let $\mathbb N^+$ be the free semigroup on one generator (so the positive natural ...

**2**

votes

**1**answer

254 views

### Is there existing terminology for this technical condition on semilattices?

Given a semilattice $S$, a subset $E$, and a positive integer $n$, let $E^{[n]}$ be the set of all products of $n$-tuples in $E$. Thus $\bigcup_{n\geq 1} E^{[n]}$ is nothing but the subsemigroup of $S$...

**7**

votes

**1**answer

663 views

### How is called a semigroup…

Does anyone know, how is called a semigroup in which every equation $ax=b$ has only a finite set (maybe empty) of solutions?

**3**

votes

**1**answer

461 views

### Study of free monoids of the recursive S. Eilenberg.

Compared to the usual treatises on recursion (eg, Rogers H. "Computability and Undecidability." McGraw-Hill, New York) the book of Samuel Eilenberg & Calvin C. Elgot "Recursiveness" treats such ...

**3**

votes

**1**answer

267 views

### submonoid of a matrix monoid with a common eigenvector

Hello,
I am considering two real invertible $3\times 3$ matrices $A$ and $B$ and a nonzero vector $v\in\mathbb{R}^3$ and i am wondering if the submonoid $E$ of the monoid $(A,B)$ genererated by $A$ ...

**5**

votes

**3**answers

759 views

### Reference on Semigroup Theory and Parabolics PDE'S

Recently started to study Semigroup Theory. My background is equivalent to the first three chapters of the Jack Hale's book, Asymptotic Behavior of Dissipative Systems.
Looking for a reference to an ...

**0**

votes

**0**answers

159 views

### semigroup actions of groups on regular rooted trees

If $G$ is a group which has a semigroup action on a regular rooted tree via prefix-preserving, continuous transformations (I give the tree the path metric), what kinds of algebraic restrictions can we ...

**1**

vote

**1**answer

207 views

### The intersection of Block Groups and R-trivial (finite) monoids

Let $\textbf{BG}$ be the pseudovariety of block groups, also known as $\textbf{EJ}, \textbf{PG},\ldots,\text{etc.}$(see [1]), and let $\textbf{R}$ be the pseudovariety of R-trivial monoids, by the ...

**6**

votes

**1**answer

197 views

### Positive cone of a subgroup of Z^n

This question sounds like it should be very well known, but for some reason I failed to find a decent answer anywhere. Let $G\subset\mathbb{Z}^n$ be a subgroup, and $G_+=G\cap\mathbb{Z}_{\ge0}^n$ be a ...

**8**

votes

**1**answer

520 views

### Magma “actions” (or alternatively, “What is the Yoneda lemma for magmas?”)

Arguably the most import thing about groups, semigroups and more generally categories, is that they can act on sets (or even collections of sets in the case of a category). This is the basis for all ...

**5**

votes

**1**answer

308 views

### $C_0$-semigroups applications

My graduation thesis was about stability theorems for $C_0$-semigroups (see the Wikipedia article for the definitions: http://en.wikipedia.org/wiki/C0-semigroup). I would like to know if there is ...

**5**

votes

**2**answers

544 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 ...