The tag has no wiki summary.

learn more… | top users | synonyms (1)

8
votes
5answers
877 views

Examples of left reversible semigroups

I am looking for concrete examples of cancellative, left reversible semigroups. Left reversible semigroups are also called "Ore semigroups". See this wikipedia page for the definition of a left ...
4
votes
2answers
176 views

What's the current state of one-rule semi-Thue system termination problem?

What's the current state of one-rule semi-Thue system termination problem? Search produces a lot of references, but it's hard to find out if decidability of this problem has been proven or not.
13
votes
1answer
432 views

Automorphisms of $P(\Bbb N)$

I believe I've proved that the power semigroup of non-negative integers with addition has a trivial automorphism group. The proof is a bit long, completely elementary and rather unremarkable (as the ...
10
votes
3answers
236 views

Does the generator of a 1-parameter group of Banach space isometries know which elements are entire?

Let $X$ be a complex Banach space. Let $(\sigma_t)_{t \in \mathbb{R}}$ be a 1-parameter group of linear isometries of $X$ which is strongly continuous i.e. $t \mapsto \sigma_t(x)$ is continuous for ...
7
votes
1answer
647 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?
4
votes
1answer
220 views

Cancellable elements of a power semigroup

For a semigroup $S,$ its power semigroup $P(S)$ is the semigroup of all non-empty subsets of $S$ with the operation given by $AB=\{ab\,|\,a\in A,b\in B\}.$ I would like to know about the cancellable ...
3
votes
1answer
180 views

Cancellative semigroup on a distributive lattice

Let $(S,\le)$ be a distributive lattice. Is there a semigroup structure on $S$ such that $S$ is cancellative and always $(x\wedge y)(x\vee y)=xy$?
8
votes
3answers
618 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 ...
7
votes
2answers
382 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 ...
4
votes
0answers
91 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 ...
3
votes
0answers
87 views

Certain conditions on cancellative semigroups

This is extracted from this question following Benjamin Steinberg's suggestion. For a semigroup $S,$ let $P(S)$ denote the power semigroup of $S,$ which is made up of all non-empty subsets of $S$ ...
2
votes
1answer
135 views

Terminology for the equation $a=a+b$ in commutative semigroups

Let $(S,+)$ be a commutative semigroup. For $a,b\in S$ consider the equation $a=a+b$. Does such a relation between the given $a$ and $b$ have a name? I am currently using such equations quite often ...
2
votes
1answer
255 views

fraction power of operators in $C_0$ semigroup

Let $X$ be Banach space, and $\{Z(t)\}_{t\geq 0}\subseteq B(X)$ be the $C_0$-Semigroup of operators defined on $X$. Moreover, let $A$ be the infinitesimal generator of $\{Z(t)\}_{t\geq 0}$. A ...
1
vote
1answer
240 views

A property of groups of operators

Let $X$ be a Banach space. We consider the evolution equation: $$x'(t)=Ax(t), \ \ \ \ \ \ \ t\in \mathbb{R},$$ where $A$ is a bounded operator. I know that if $X=\mathbb{R^n}$ and $A$ is a matrix, ...
0
votes
2answers
505 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 ...