ON THE TRANSITION SEMIGROUPS OF CENTRALLY LABELED RAUZY GRAPHS

2012 ◽  
Vol 22 (02) ◽  
pp. 1250018 ◽  
Author(s):  
JORGE ALMEIDA ◽  
ALFREDO COSTA
Keyword(s):  
Inverse Limit ◽  
Transition Semigroup ◽  
Regular Elements ◽  
Aperiodic Semigroup ◽  
Transition Semigroups ◽  
Partial Semigroups

Rauzy graphs of subshifts are endowed with an automaton structure. For Sturmian subshifts, it is shown that its transition semigroup is the syntactic semigroup of the language recognized by the automaton. An inverse limit of the partial semigroups of nonzero regular elements of their transition semigroups is described. If the subshift is minimal, then this inverse limit is isomorphic, as a partial semigroup, to the [Formula: see text]-class associated to it in the free pro-aperiodic semigroup.

scholarly journals Large Aperiodic Semigroups

2015 ◽  
Vol 26 (07) ◽  
pp. 913-931 ◽  
Author(s):  
Janusz Brzozowski ◽  
Marek Szykuła
Keyword(s):  
Finite Automata ◽  
Special Structure ◽  
Binary Trees ◽  
Aperiodic Semigroup ◽  
Complete Semigroup ◽  
Transition Semigroups ◽  
Single State ◽  
Empty Subset

We search for the largest syntactic semigroups of star-free languages having n left quotients; equivalently, we look for the largest transition semigroups of aperiodic finite automata with n states. We first introduce unitary semigroups generated by transformations that change only one state. In particular, we study unitary-complete semigroups which have a special structure, and show that each maximal unitary semigroup is unitary-complete. For [Formula: see text] we exhibit a unitary-complete semigroup that is larger than any aperiodic semigroup known to date. We then present even larger aperiodic semigroups, generated by transformations that map a non-empty subset of states to a single state; we call such transformations and semigroups semiconstant. We examine semiconstant tree semigroups which have a structure based on full binary trees. The semiconstant tree semigroups are at present the best candidates for largest aperiodic semigroups.

A closer look at the stable completion

2017 ◽  
Author(s):  
Ehud Hrushovski ◽  
François Loeser
Keyword(s):  
Inverse Limit ◽  
Unit Vector ◽  
Vector Spaces ◽  
Dimensional Vector ◽  
Compact Sets ◽  
Linear Topology ◽  
Topological Embedding ◽  
Definable Set ◽  
Finite Dimensional ◽  
The One

This chapter introduces the concept of stable completion and provides a concrete representation of unit vector Mathematical Double-Struck Capital A superscript n in terms of spaces of semi-lattices, with particular emphasis on the frontier between the definable and the topological categories. It begins by constructing a topological embedding of unit vector Mathematical Double-Struck Capital A superscript n into the inverse limit of a system of spaces of semi-lattices L(Hsubscript d) endowed with the linear topology, where Hsubscript d are finite-dimensional vector spaces. The description is extended to the projective setting. The linear topology is then related to the one induced by the finite level morphism L(Hsubscript d). The chapter also considers the condition that if a definable set in L(Hsubscript d) is an intersection of relatively compact sets, then it is itself relatively compact.

Generating the inverse limit of free groups

2021 ◽  
Vol 578 ◽  
pp. 371-401
Author(s):  
Gregory R. Conner ◽  
Wolfgang Herfort ◽  
Curtis A. Kent ◽  
Petar Pavešić
Keyword(s):  
Inverse Limit ◽  
Free Groups

scholarly journals THE SMOOTHNESS OF ORBITAL MEASURES ON NONCOMPACT SYMMETRIC SPACES

2021 ◽  
pp. 1-20
Author(s):  
SANJIV KUMAR GUPTA ◽  
KATHRYN E. HARE
Keyword(s):  
Symmetric Space ◽  
Symmetric Spaces ◽  
Continuous Measure ◽  
Convolution Product ◽  
Absolutely Continuous ◽  
Regular Elements ◽  
Connected Subgroup ◽  
Decay Properties ◽  
Absolutely Continuous Measure ◽  
Special Case

Abstract Let $G/K$ be an irreducible symmetric space, where G is a noncompact, connected Lie group and K is a compact, connected subgroup. We use decay properties of the spherical functions to show that the convolution product of any $r=r(G/K)$ continuous orbital measures has its density function in $L^{2}(G)$ and hence is an absolutely continuous measure with respect to the Haar measure. The number r is approximately the rank of $G/K$ . For the special case of the orbital measures, $\nu _{a_{i}}$ , supported on the double cosets $Ka_{i}K$ , where $a_{i}$ belongs to the dense set of regular elements, we prove the sharp result that $\nu _{a_{1}}\ast \nu _{a_{2}}\in L^{2},$ except for the symmetric space of Cartan class $AI$ when the convolution of three orbital measures is needed (even though $\nu _{a_{1}}\ast \nu _{a_{2}}$ is absolutely continuous).

scholarly journals A characterization of a map whose inverse limit is an arc

2021 ◽  
pp. 1-17
Author(s):  
SINA GREENWOOD ◽  
SONJA ŠTIMAC
Keyword(s):  
Continuous Function ◽  
Inverse Limit ◽  
Splitting Sequence

Abstract For a continuous function $f:[0,1] \to [0,1]$ we define a splitting sequence admitted by f and show that the inverse limit of f is an arc if and only if f does not admit a splitting sequence.

scholarly journals ON MATRIX KP AND SUPER-KP HIERARCHIES IN THE HOMOGENEOUS GRADING

1996 ◽  
Vol 11 (18) ◽  
pp. 3257-3295 ◽  
Author(s):  
F. TOPPAN
Keyword(s):  
Power Series ◽  
Symmetric Spaces ◽  
Unexpected Result ◽  
Hermitian Symmetric Spaces ◽  
Regular Elements ◽  
Symmetry Properties ◽  
Alternating Sums ◽  
Spectral Parameter Power Series ◽  
Special Limit ◽  
Free Parameters

Constrained KP and super-KP hierarchies of integrable equations (generalized NLS hierarchies) are systematically produced through a Lie-algebraic AKS matrix framework associated with the homogeneous grading. The role played by different regular elements in defining the corresponding hierarchies is analyzed, as well as the symmetry properties under the Weyl group transformations. The coset structure of higher order Hamiltonian densities is proven. For a generic Lie algebra the hierarchies considered here are integrable and essentially dependent on continuous free parameters. The bosonic hierarchies studied in Refs. 1 and 2 are obtained as special limit restrictions on Hermitian symmetric spaces. In the supersymmetric case the homogeneous grading is introduced consistently by using alternating sums of bosons and fermions in the spectral parameter power series. The bosonic hierarchies obtained from [Formula: see text] and the supersymmetric ones derived from the N=1 affinization of sl (2), sl (3) and osp (1|2) are explicitly constructed. An unexpected result is found: only a restricted subclass of the sl (3) bosonic hierarchies can be supersymmetrically extended while preserving integrability.

scholarly journals Simplex algebras and their representation

1973 ◽  
Vol 14 (2) ◽  
pp. 136-144
Author(s):  
M. S. Vijayakumar
Keyword(s):  
Left Ideal ◽  
Maximal Ideal ◽  
Banach Algebras ◽  
Principal Component ◽  
Nonempty Interior ◽  
Regular Elements ◽  
Maximal Left Ideal ◽  
The Relationship ◽  
Order Identity ◽  
Real Matrices

This paper establishes a relationship (Theorem 4.1) between the approaches of A. C. Thompson [8, 9] and E. G. Effros [2] to the representation of simplex algebras, that is, real unital Banach algebras that are simplex spaces with the unit for order identity. It proves that the (nonempty) interior of the associated cone is contained in the principal component of the set of all regular elements of the algebra. It also conjectures that each maximal ideal (in the order sense—see below) of a simplex algebra contains a maximal left ideal of the algebra. This conjecture and other aspects of the relationship are illustrated by considering algebras of n × n real matrices.

scholarly journals A note on Noetherian orders in Artinian rings

1979 ◽  
Vol 20 (2) ◽  
pp. 125-128 ◽  
Author(s):  
A. W. Chatters
Keyword(s):  
Noetherian Ring ◽  
Quotient Ring ◽  
Triangular Matrix ◽  
Idempotent Element ◽  
Noetherian Rings ◽  
Central Idempotent ◽  
Matrix Rings ◽  
Regular Elements ◽  
Zero Divisors ◽  
Left And Right

Throughout this note, rings are associative with identity element but are not necessarily commutative. Let R be a left and right Noetherian ring which has an Artinian (classical) quotient ring. It was shown by S. M. Ginn and P. B. Moss [2, Theorem 10] that there is a central idempotent element e of R such that eR is the largest Artinian ideal of R. We shall extend this result, using a different method of proof, to show that the idempotent e is also related to the socle of R/N (where N, throughout, denotes the largest nilpotent ideal of R) and to the intersection of all the principal right (or left) ideals of R generated by regular elements (i.e. by elements which are not zero-divisors). There are many examples of left and right Noetherian rings with Artinian quotient rings, e.g. commutative Noetherian rings in which all the associated primes of zero are minimal together with full or triangular matrix rings over such rings. It was shown by L. W. Small that if R is any left and right Noetherian ring then R has an Artinian quotient ring if and only if the regular elements of R are precisely the elements c of R such that c + N is a regular element of R/N (for further details and examples see [5] and [6]). By the largest Artinian ideal of R we mean the sum of all the Artinian right ideals of R, and it was shown by T. H. Lenagan in [3] that this coincides in any left and right Noetherian ring R with the sum of all the Artinian left ideals of R.

Sign in / Sign up

Export Citation Format

Share Document