The monoid of generalized hypersubstitutions of type τ = (n)

Wattapong Puninagool; Sorasak Leeratanavalee

Displaying similar documents to “The monoid of generalized hypersubstitutions of type τ = (n)”

Fundamental relation onm-idempotent hyperrings

Morteza Norouzi, Irina Cristea (2017)

Open Mathematics

Similarity:

The γ*-relation defined on a general hyperring R is the smallest strongly regular relation such that the quotient R/γ* is a ring. In this note we consider a particular class of hyperrings, where we define a new equivalence, called [...] εm∗ $ε_{m}^{*}$ , smaller than γ* and we prove it is the smallest strongly regular relation on such hyperrings such that the quotient R/ [...] εm∗ $ε_{m}^{*}$ is a ring. Moreover, we introduce the concept of m-idempotent hyperrings, show that they are a characterization for...

Regular elements and Green's relations in Menger algebras of terms

Klaus Denecke, Prakit Jampachon (2006)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

Defining an (n+1)-ary superposition operation $S^{n}$ on the set $W_{τ} (X_{n})$ of all n-ary terms of type τ, one obtains an algebra $n - c l o n e τ : = (W_{τ} (X_{n}); S^{n}, x_{1}, . . ., x_{n})$ of type (n+1,0,...,0). The algebra n-clone τ is free in the variety of all Menger algebras ([9]). Using the operation $S^{n}$ there are different possibilities to define binary associative operations on the set $W_{τ} (X_{n})$ and on the cartesian power $W_{τ} {(X_{n})}^{n}$ . In this paper we study idempotent and regular elements as well as Green’s relations in semigroups of terms with these binary associative...

Some model theory of SL(2,ℝ)

Jakub Gismatullin, Davide Penazzi, Anand Pillay (2015)

Fundamenta Mathematicae

Similarity:

We study the action of G = SL(2,ℝ), viewed as a group definable in the structure M = (ℝ,+,×), on its type space $S_{G} (M)$ . We identify a minimal closed G-flow I and an idempotent r ∈ I (with respect to the Ellis semigroup structure * on $S_{G} (M)$ ). We also show that the “Ellis group” (r*I,*) is nontrivial, in fact it is the group with two elements, yielding a negative answer to a question of Newelski.

On the K-theory of the $C^{*}$ -algebra generated by the left regular representation of an Ore semigroup

Joachim Cuntz, Siegfried Echterhoff, Xin Li (2015)

Journal of the European Mathematical Society

Similarity:

We compute the $K$ -theory of $C^{*}$ -algebras generated by the left regular representation of left Ore semigroups satisfying certain regularity conditions. Our result describes the $K$ -theory of these semigroup $C^{*}$ -algebras in terms of the $K$ -theory for the reduced group $C^{*}$ -algebras of certain groups which are typically easier to handle. Then we apply our result to specific semigroups from algebraic number theory.

The algebra of the subspace semigroup of $M ₂ (_{q})$

Jan Okniński (2002)

Colloquium Mathematicae

Similarity:

The semigroup $S = S (M ₂ (_{q}))$ of subspaces of the algebra $M ₂ (_{q})$ of 2 × 2 matrices over a finite field $_{q}$ is studied. The ideal structure of S, the regular -classes of S and the structure of the complex semigroup algebra ℂ[S] are described.

Convergence of orthogonal series of projections in Banach spaces

Ryszard Jajte, Adam Paszkiewicz (1997)

Annales Polonici Mathematici

Similarity:

For a sequence $(A_{j})$ of mutually orthogonal projections in a Banach space, we discuss all possible limits of the sums $S_{n} = \sum_{j = 1}^{n} A_{j}$ in a “strong” sense. Those limits turn out to be some special idempotent operators (unbounded, in general). In the case of X = L₂(Ω,μ), an arbitrary unbounded closed and densely defined operator A in X may be the μ-almost sure limit of $S_{n}$ (i.e. $S_{n} f \to A f$ μ-a.e. for all f ∈ (A)).

Every braid admits a short sigma-definite expression

Jean Fromentin (2011)

Journal of the European Mathematical Society

Similarity:

A result by Dehornoy (1992) says that every nontrivial braid admits a $σ$ -definite expression, defined as a braid word in which the generator $σ_{i}$ with maximal index $i$ appears with exponents that are all positive, or all negative. This is the ground result for ordering braids. In this paper, we enhance this result and prove that every braid admits a $σ$ -definite word expression that, in addition, is quasi-geodesic. This establishes a longstanding conjecture. Our proof uses the dual braid monoid...

The Gibbs phenomenon and Lebesgue constants for regular $A (λ)$ means

V. Swaminathan (1977)

Matematički Vesnik

Similarity:

On semigroups with an infinitesimal operator

Jolanta Olko (2005)

Annales Polonici Mathematici

Similarity:

Let $F^{t} : t \geq 0$ be an iteration semigroup of linear continuous set-valued functions. If the semigroup has an infinitesimal operator then it is a uniformly continuous semigroup majorized by an exponential semigroup. Moreover, for sufficiently small t every linear selection of $F^{t}$ is invertible and there exists an exponential semigroup $f^{t} : t \geq 0$ of linear continuous selections $f^{t}$ of $F^{t}$ .

On upper triangular nonnegative matrices

Yizhi Chen, Xian Zhong Zhao, Zhongzhu Liu (2015)

Czechoslovak Mathematical Journal

Similarity:

We first investigate factorizations of elements of the semigroup $S$ of upper triangular matrices with nonnegative entries and nonzero determinant, provide a formula for $ρ (S)$ , and, given $A \in S$ , also provide formulas for $l (A)$ , $L (A)$ and $ρ (A)$ . As a consequence, open problem 2 and problem 4 presented in N. Baeth et al. (2011), are partly answered. Secondly, we study the semigroup of upper triangular matrices with only positive integral entries, compute some invariants of such semigroup, and also partly answer...

On sandwich sets and congruences on regular semigroups

Mario Petrich (2006)

Czechoslovak Mathematical Journal

Similarity:

Let $S$ be a regular semigroup and $E (S)$ be the set of its idempotents. We call the sets $S (e, f) f$ and $e S (e, f)$ one-sided sandwich sets and characterize them abstractly where $e, f \in E (S)$ . For $a, a^{'} \in S$ such that $a = a a^{'} a$ , $a^{'} = a^{'} a a^{'}$ , we call $S (a) = S (a^{'} a, a a^{'})$ the sandwich set of $a$ . We characterize regular semigroups $S$ in which all $S (e, f)$ (or all $S (a))$ are right zero semigroups (respectively are trivial) in several ways including weak versions of compatibility of the natural order. For every $a \in S$ , we also define $E (a)$ as the set of all idempotets $e$ such that, for any congruence...

A local Landau type inequality for semigroup orbits

Gerd Herzog, Peer Christian Kunstmann (2014)

Studia Mathematica

Similarity:

Given a strongly continuous semigroup ${(S (t))}_{t \geq 0}$ on a Banach space X with generator A and an element f ∈ D(A²) satisfying $| | S (t) f | | \leq e^{- ω t} | | f | |$ and $| | S (t) A ² f | | \leq e^{- ω t} | | A ² f | |$ for all t ≥ 0 and some ω > 0, we derive a Landau type inequality for ||Af|| in terms of ||f|| and ||A²f||. This inequality improves on the usual Landau inequality that holds in the case ω = 0.

Universal completely regular dendrites

K. Omiljanowski, S. Zafiridou (2005)

Colloquium Mathematicae

Similarity:

We define a dendrite $E_{n}$ which is universal in the class of all completely regular dendrites with order of points not greater than n. In particular, the dendrite $E_{ω}$ is universal in the class of all completely regular dendrites. The construction starts with the standard universal dendrite $D_{n}$ of order n described by J. J. Charatonik.

On the asymptotics of counting functions for Ahlfors regular sets

Dušan Pokorný, Marc Rauch (2022)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We deal with the so-called Ahlfors regular sets (also known as $s$ -regular sets) in metric spaces. First we show that those sets correspond to a certain class of tree-like structures. Building on this observation we then study the following question: Under which conditions does the limit ${lim}_{ε \to 0 +} ε^{s} N (ε, K)$ exist, where $K$ is an $s$ -regular set and $N (ε, K)$ is for instance the $ε$ -packing number of $K$ ?

Algebra in the superextensions of twinic groups

Taras Banakh, Volodymyr Gavrylkiv

Similarity:

Given a group X we study the algebraic structure of the compact right-topological semigroup λ(X) consisting of all maximal linked systems on X. This semigroup contains the semigroup β(X) of ultrafilters as a closed subsemigroup. We construct a faithful representation of the semigroup λ(X) in the semigroup ${(X)}^{(X)}$ of all self-maps of the power-set (X) and show that the image of λ(X) in ${(X)}^{(X)}$ coincides with the semigroup $E n d_{λ} ((X))$ of all functions f: (X) → (X) that are equivariant, monotone and symmetric...

Spaces of multipliers and their preduals for the order multiplication on [0,1]. II

Savita Bhatnagar (2004)

Colloquium Mathematicae

Similarity:

Consider I = [0,1] as a compact topological semigroup with max multiplication and usual topology, and let $C (I), L^{p} (I), 1 \leq p \leq \infty$ , be the associated algebras. The aim of this paper is to study the spaces $H o m_{C (I)} (L^{r} (I), L^{p} (I))$ , r > p, and their preduals.

Geometry of oblique projections

E. Andruchow, Gustavo Corach, D. Stojanoff (1999)

Studia Mathematica

Similarity:

Let A be a unital C*-algebra. Denote by P the space of selfadjoint projections of A. We study the relationship between P and the spaces of projections $P_{a}$ determined by the different involutions $_{a}$ induced by positive invertible elements a ∈ A. The maps $φ : P \to P_{a}$ sending p to the unique $q \in P_{a}$ with the same range as p and $Ω_{a} : P_{a} \to P_{a}$ sending q to the unitary part of the polar decomposition of the symmetry 2q-1 are shown to be diffeomorphisms. We characterize the pairs of idempotents q,r ∈ A with ||q-r|| <...

Operator theoretic properties of semigroups in terms of their generators

S. Blunck, L. Weis (2001)

Studia Mathematica

Similarity:

Let $(T_{t})$ be a C₀ semigroup with generator A on a Banach space X and let be an operator ideal, e.g. the class of compact, Hilbert-Schmidt or trace class operators. We show that the resolvent R(λ,A) of A belongs to if and only if the integrated semigroup $S_{t} : = \int_{0}^{t} T_{s} d s$ belongs to . For analytic semigroups, $S_{t} \in$ implies $T_{t} \in$ , and in this case we give precise estimates for the growth of the -norm of $T_{t}$ (e.g. the trace of $T_{t}$ ) in terms of the resolvent growth and the imbedding D(A) ↪ X.

Spaces of multipliers and their preduals for the order multiplication on [0, 1]

Savita Bhatnagar, H. L. Vasudeva (2002)

Colloquium Mathematicae

Similarity:

Let I = [0, 1] be the compact topological semigroup with max multiplication and usual topology. C(I), $L^{p} (I)$ , 1 ≤ p ≤ ∞, are the associated Banach algebras. The aim of the paper is to characterise $H o m_{C (I)} (L^{r} (I), L^{p} (I))$ and their preduals.

Regular coordinates and reduction of deformation equations for Fuchsian systems

Yoshishige Haraoka (2012)

Banach Center Publications

Similarity:

For a Fuchsian system $d Y / d x = (\sum_{j =}^{p} (A_{j}) / (x - t_{j})) Y$ , (F) $t ₁, t ₂, . . ., t_{p}$ being distinct points in ℂ and $A ₁, A ₂, . . ., A_{p} \in M (n \times n; ℂ)$ , the number α of accessory parameters is determined by the spectral types $s (A ₀), s (A ₁), . . ., s (A_{p})$ , where $A ₀ = - \sum_{j = 1}^{p} A_{j}$ . We call the set $z = (z ₁, z ₂, . . ., z_{α})$ of α parameters a regular coordinate if all entries of the $A_{j}$ are rational functions in z. It is not yet known that, for any irreducibly realizable set of spectral types, a regular coordinate does exist. In this paper we study a process of obtaining a new regular coordinate from a given one by a coalescence of eigenvalues...

Internally club and approachable for larger structures

John Krueger (2008)

Fundamenta Mathematicae

Similarity:

We generalize the notion of a fat subset of a regular cardinal κ to a fat subset of $P_{κ} (X)$ , where κ ⊆ X. Suppose μ < κ, $μ^{< μ} = μ$ , and κ is supercompact. Then there is a generic extension in which κ = μ⁺⁺, and for all regular λ ≥ μ⁺⁺, there are stationarily many N in ${[H (λ)]}^{μ ⁺}$ which are internally club but not internally approachable.

Assertion Q distinguishes topologically ω* and $𝔪$ when $𝔪$ regular and $𝔪 > ω$

R. Frankiewicz (1978)

Colloquium Mathematicae

Similarity:

Inverses of generators of nonanalytic semigroups

Ralph deLaubenfels (2009)

Studia Mathematica

Similarity:

Suppose A is an injective linear operator on a Banach space that generates a uniformly bounded strongly continuous semigroup ${e^{t A}}_{t \geq 0}$ . It is shown that $A^{- 1}$ generates an $O (1 + τ) A {(1 - A)}^{- 1}$ -regularized semigroup. Several equivalences for $A^{- 1}$ generating a strongly continuous semigroup are given. These are used to generate sufficient conditions on the growth of ${e^{t A}}_{t \geq 0}$ , on subspaces, for $A^{- 1}$ generating a strongly continuous semigroup, and to show that the inverse of -d/dx on the closure of its image in L¹([0,∞)) does not generate...

On the arithmetic of arithmetical congruence monoids

M. Banister, J. Chaika, S. T. Chapman, W. Meyerson (2007)

Colloquium Mathematicae

Similarity:

Let ℕ represent the positive integers and ℕ₀ the non-negative integers. If b ∈ ℕ and Γ is a multiplicatively closed subset of $ℤ_{b} = ℤ / b ℤ$ , then the set $H_{Γ} = x \in ℕ | x + b ℤ \in Γ \cup 1$ is a multiplicative submonoid of ℕ known as a congruence monoid. An arithmetical congruence monoid (or ACM) is a congruence monoid where Γ = ā consists of a single element. If $H_{Γ}$ is an ACM, then we represent it with the notation M(a,b) = (a + bℕ₀) ∪ 1, where a, b ∈ ℕ and a² ≡ a (mod b). A classical 1954 result of James and Niven implies that the...