The tag has no wiki summary.

learn more… | top users | synonyms (1)

2
votes
0answers
66 views

Are semigroups with finite-to-one right multiplication “moving”?

A semigroup $S$ is moving if $S$ is infinite, and for all finite $F\subseteq S$ and infinite $A\subseteq S$, there are $a_{1},\dots,a_{k}\in A$ such that, for all but finitely many $s\in S$, $$ ...
-1
votes
0answers
51 views

Measure generated by Semigroup $\exp[-t|p|]$

I am studying Ingrid Daubechies' paper 'An Uncertainty Principle for Fermions with Generalized Kinetic Energy'. On page 514, the measure $\mu_{x,y;t}$ is introduced as generated by the semigroup ...
7
votes
1answer
269 views

About the convergence rate for an approximation to the heat kernel

Let $G(t,x)$ be the heat kernel $$ G(t,x)=\frac{1}{\sqrt{2\pi t}}e^{-\frac{x^2}{2t}}, \quad t>0, \:x\in\mathbb{R}. $$ Here is one approximation to $G(t,x)$: $$ G_\epsilon(t,x)=e^{-t/\epsilon} ...
-1
votes
1answer
76 views

Variety of commutative semi group [closed]

V is a variety of commutative semi group satisfying the identity $x^2 = x^3$. I need to prove that: $|F_V(\{x_1\dots,x_n\})|$ = $3^n -1$. Any hints on this ? $F_V$ is V-free algebra.
4
votes
2answers
145 views

Embedding a linearly ordered free monoid into a linearly ordered group

A linearly ordered (shortly, l.o.) monoid is a triple $\mathbb M = (M, \cdot, \le)$ for which $(M, \cdot)$ is a (multiplicatively written) monoid and $\le$ is a total order on $M$ such that $xy < ...
-4
votes
1answer
204 views

I need following books (soft copies) [closed]

I know this is not the place to ask for such help, but I cant find these books in my country and not even on line and the shipping is very expensive. If someone out there have any of these books (soft ...
1
vote
0answers
28 views

Involution on Inveres semigroups [closed]

I'm trying to prove the following for inverse semigroups $\bf Def:$ an inverse semigroup $S$is a semigruop such that for each $x\in S$ the exists a unique $y\in S$ such that $xyx=x$ and $yxy=y$. An ...
3
votes
0answers
87 views

Correspondence between numerical semigroups and polynomials?

A numerical semigroup $A$ is defined as a subsemigroup of the semigroup $(\mathbb{N},+)$ of the positive integers such that the set $\mathbb{N}\setminus A$ is finite. Equivalently (for a subsemigroup) ...
3
votes
0answers
106 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 ...
2
votes
2answers
80 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 ...
5
votes
1answer
93 views

A question about uniformly bounded semigroups

Let $A$ be an unbounded linear operator of domain $D(A)$ defined on a Banach space $X$. Suppose that $A$ generates a $C_0$-semigroup $T(t)$ which is uniformly bounded. I would like to know if there ...
1
vote
1answer
161 views

Coin problem with permutations

Let $a,b,c$ be positive integers with gcd$(a,b,c)=1$, and let $\mathbb{N}$ denote the set of nonnegative integers. It is well known that $\mathbb{N} \setminus (a \mathbb{N}+b \mathbb{N} + c ...
2
votes
1answer
110 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 ...
3
votes
1answer
72 views

Integral representation of the resolvent of a semigroup

Let $T(t)$ be a $C_{0}$-semigroup with the generator $A$. Now, does the so called integral representation of the resolvent $$ (\lambda - A)^{-1} = \int_{0}^{\infty} e^{-t\lambda}T(t) dt $$ hold for ...
1
vote
0answers
104 views

Classification of rings between a PID and its field of fractions?

Let $D$ be a PID and let $\mathrm{Frac}(D)$ be its field of fractions. I want to classify the intermediate rings $D\subseteq R\subseteq \mathrm{Frac}(D)$. Theorem: Every such ring $R$ is a ...
3
votes
0answers
103 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 ...
5
votes
1answer
116 views

Is irreducibility sufficient for uniqueness of invariant distribution for a Feller Semigroup?

Let $(T_t)$ be a strongly continuous semigroup of positive operators on $C(K)$, where $K$ is a compact space. Assume also that $T_t1 =1 $ for every $t\geq 0$. (This is also called a Feller Semigroup.) ...
9
votes
3answers
186 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 ...
0
votes
0answers
44 views

Semigroups admitting generating sets which induce a “weight” on elements of the semigroup

Neither universal algebra nor semigroup theory is something I really know much about, so this question might not be appropriate for MO; if so, I'll move it to MSE. Recently, I've been playing ...
3
votes
2answers
153 views

Examples of cancellative normal semigroups

I've got a couple of things to test against normality in cancellative semigroups. A normal semigroup $S$ is one in which for any $x\in S$ we have $xS=Sx.$ This implies the Ore condition $$x,y\in ...
2
votes
0answers
203 views

Complete presentations for one-relator semigroups (100\$+100\$ question)

It is an open problem whether word problem for one-relator semigroups is decidable, but it is even unnknown if one-relator semigroups always admit finite complete presentations (i.e. a finite complete ...
0
votes
0answers
36 views

Decomposition results for locally commutative semigroups

Every finite abelian group is the direct product of its cyclic groups of prime order, and every commutative monoid divides a product of its cyclic submonoids. Could these results generalized to ...
2
votes
0answers
81 views

On the infinitesimal generator of a 1-dimensional stochastic heat equation: core and explicit form

Denote $E = C([0, 1])$. I am consider a 1-dimentional stochastic heat equation on $h$: $\partial_tu(t, x) = \partial_x^2u(t, x) - V'(u(t, x)) + \dot{W}(t, x)$, for all $(t, x) \in (0, ...
2
votes
2answers
195 views

How much information does the multiplicative semigroup of an algebra contain?

How much do we know about an given algebra when we only know its semigroup strucure under the product law? How far can two algebras be distinguished by knowing only their semigroup strucure? The ...
1
vote
1answer
192 views

positive semigroups and convex operator

Let $\{Z(t)\}_{t\geq 0}$ be a strongly continuous positive semigroup on a Banach lattice V. (endowed with ordering $\leq$). $\phi:V\rightarrow V$ is a convex operator. I want to prove that ...
2
votes
1answer
82 views

Maximal sub-inverse semigroups of $M_n(\mathbb{C})$ and $M_n(F_p)$

An inverse semigroup $S$ is a semigroup in which every element $x \in S$ has a unique inverse $y \in S$ such that $x = xyx$ and $y = yxy$. Are there some references characterizing the maximal ...
1
vote
1answer
114 views

Relation of spectrum

Let $X$ denotes a complex $C^*$-algebra and $\{Z(t)\}_{t\geq 0}$ is a $C_0$-Semigroup of operators on $X$. If for $x\in X$, I have $x=x^*$ (x is selfadjoint), and its spectrum $\sigma(x)\subset ...
3
votes
1answer
117 views

what is the meaning of the operator $ EXP[\frac{ \theta }{2}\frac{\partial^2}{\partial \overrightarrow{v}^2}]$

the name of this operator is one-parameter semigroup for example $ EXP[\frac{ \theta }{2}\frac{\partial^2}{\partial \overrightarrow{v}^2}]f$, $ f$is the function of $\overrightarrow{v}$ what is ...
2
votes
1answer
141 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 ...
3
votes
1answer
180 views

Proving that a semigroup is regular

In a number of diverse situations of interest to me (mostly associated with something called the abelian sandpile model), one can define a nonabelian semigroup generated by commuting elements ...
11
votes
1answer
350 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 ...
3
votes
0answers
139 views

What can we say about a semigroup that's acted on by an ideal of polynomials?

This got no response on MSE, so posting here. Let $S = \{ (a,b) \in \Bbb{Z}^2 : \gcd(a,b) \neq 1 \} \cup (1,1)$. Then $S$ forms a semigroup. The operation being componentwise multiplication. Let ...
2
votes
0answers
55 views

series representation for *un*bounded perturbations of semigroup generators

Let $A$ generate an analytic $C_0$-semigroup on a Banach space $X$ and $B$ be a relatively compact perturbation, i.e., $B$ is compact as an operator from $D(A)$ (with the graph norm) to $X$. Then ...
4
votes
1answer
125 views

Progress on group languages characterizations

Def. A group language is a recognizable language whose syntactic monoid is a group. q1. Is it known a "nice" combinatorial characterization of group languages ? q1.1. If no, is it well understood ...
25
votes
3answers
539 views

What is the probability two random maps on n symbols commute?

It is well known that two randomly chosen permutations of $n$ symbols commute with probability $p_n/n!$ where $p_n$ is the number of partitions of $n$. This is a special case of the fact that in a ...
3
votes
0answers
66 views

Hindman's theorem variant for noncommutative semigroups

The well set proof of Hindman's finite sums theorem applied to noncommutative semigroups yields a sequence of elements such that finite products ordered coherently with this sequence are in one set. ...
1
vote
1answer
124 views

Idempotents in Green J classes

I recently read this article Syntactic semigroups. In page $8$, he speaks about a J class having an idempotent is called regular: A $\mathcal J$-class containing an idempotent is called regular. ...
2
votes
3answers
254 views

Generalized free product of semigroups with amalgamated subsemigroups

Hanna Neumann in [American Journal of Mathematics, 1948, http://www.jstor.org/discover/10.2307/2372201?uid=2&uid=4&sid=21102497379451 ] introduced a notion of generalized free product of ...
6
votes
1answer
171 views

Strongly continuous semigroups that cannot be contractions

Let $X$ be a Banach space, and $(P_t)_{t \ge 0}$ a strongly continuous semigroup of bounded operators on $X$. Using the uniform boundedness principle, it's simple to prove that there are constants ...
5
votes
2answers
291 views

Existence of a possible counterexample in automaton semigroups

In an attempt to resolve a question posed by Cain in his paper on Automaton Semigroups (open problem 6.12), I would like to know if there exists a finite semigroup $S$ satisfying the following ...
0
votes
0answers
49 views

Is there a strongly stable semigroup which is not uniformly bounded

Let $X$ be a Hilbert space and let $(T(t))_{t\geq 0}$ a $C_0$-semigroup on $X$, we recall that: 1- $(T(t))_{t\geq 0}$ is said to be uniformly bounded if there exists $M\geq 0$ such that for all ...
0
votes
1answer
52 views

Transformation terminology question

Given a transformation $t$ from the transformation semigroup $T_{n}$, if you take powers of $t$ under composition you get a length $s$ stem followed by a cycle. Permutations by definition have a ...
5
votes
2answers
205 views

For a monoid with zero $M$, how many additive operations on $M$ can there be making $M$ a ring?

Let $(M,\times)$ be a monoid with zero. Let $\Sigma(M,\times)$ be the set of binary operations $+$ on $M$ such that $(M,+,\times)$ is a ring. Let $\sim$ be an equivalence relation on ...
3
votes
0answers
79 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 ...
0
votes
1answer
90 views

What are the semigroups in which congruence classes can be multplied like sets?

For a semigroup $S$ and a congruence $\rho$ on $S$, let's say that $\rho$ is good when for all $a,b\in S$ we have that $[ab]=[a][b],$ where $[x]$ denotes the congruence class of $x$ modulo $\rho$ and ...
0
votes
1answer
174 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 ...
0
votes
1answer
160 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
2answers
248 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
1answer
81 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 ...
2
votes
4answers
284 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 = ...