Some monothetic subsemigroups of S(R)

DOI10.1007/BF02574086MaRDI QIDQ1905979zbMATH OpenWikidataFDO

Authors Prabudh R. Misra

Publication date 2 June 1996

Published in Semigroup Forum (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/135438

zbMATH Keywords

cyclic subsemigroupsfinite subgroupsfinite subsemigroupsmonothetic semigroupssemigroups of continuous selfmapsspaces of real numbers

Mathematics Subject Classification ID

Semigroups of transformations, relations, partitions, etc. (20M20) Transformation groups and semigroups (topological aspects) (54H15)

Review text

Let \(R^n\) denote the \(n\)-dimensional Euclidean topological space and denote by \(S(R^n)\) the semigroup, under composition, of all continuous selfmaps of \(R^n\). It has been known for a long time that \(S(R^n)\) contains a copy of every finite semigroup if \(n>1\). This is not at all the case for the semigroup \(S(R)\), of all continuous selfmaps of a space \(R\) of real numbers. For example, the only finite subgroups of \(S(R)\) are the cyclic groups of orders one and two. In general, however, not much seemed to have been known about the finite subsemigroups of \(S(R)\). For \(f\in S(R)\), denote by \(C(f)\) the cyclic subsemigroup which is generated by \(f\). The reviewer posed [in `Some properties of \(S(R)\)', Proc. Monash Conf. on Semigroup Theory (in honor of G. B. Preston) Ed. by T. E. Hall, P. R. Jones and J. C. Meakin, World Scientific, Inc., New Jersey, 163-179 (1991)]\ the problem of characterizing those functions \(f\in S(R)\) for which \(C(f)\) is a finite semigroup and conjectured that for a certain ``steplike function \(f_m\) with \(m\) ``steps where \(m\) is a positive integer, the order of the semigroup \(C(f_m)\) is \(2r+5\) where \(2^r\leq m< 2^{r+1}\) and \(r\) is a positive integer. In the main result of the paper, the author shows that this conjecture is true. He also determines that the order of \(C(f_m\circ f_m)\) is \(r+2\) which means that \(S(R)\) contains a subsemigroup of order \(n\) for each positive integer \(n\), a fact which heretofore did not seem to be known.

Recommendations

• scientific article; zbMATH DE number 3859998
• The primes of S(R)
• A dense subsemigroup of S(R) generated by two elements
• The semigroup of continuous selfmaps ofIhas infinitely many ideals
• Maximal inverse subsemigroups of \(S(S^ n)\)

Cites work

• A survey of semigroups of continuous selfmaps
• Some finitely generated subsemigroups of S(X)

Cited in

(7)

• Discontinuous maps whose iterations are continuous
• On monotonic bijections on subgroups of R
• Finite semigroups generated by two idempotents and realized by triangular mappings
• Representations of finite cyclic semigroups by continuous mappings of the interval
• The primes of S(R)
• scientific article; zbMATH DE number 7070495 (Why is no real title available?)
• Schützenberger groups of some even degree polynomials in S(R)

This page was built for publication: Some monothetic subsemigroups of \(S(\mathbb{R})\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1905979)