University of Hertfordshire Research Archive

        JavaScript is disabled for your browser. Some features of this site may not work without it.

        Browse

        All of UHRABy Issue DateAuthorsTitlesThis CollectionBy Issue DateAuthorsTitles

        Arkivum Files

        My Downloads
        View Item 
        • UHRA Home
        • University of Hertfordshire
        • Research publications
        • View Item
        • UHRA Home
        • University of Hertfordshire
        • Research publications
        • View Item

        Sets of universal sequences for the symmetric group and analogous semigroups

        View/Open
        sets_of_sequences.pdf (PDF, 245Kb)
        Author
        Peresse, Yann
        Hyde, James
        Mitchell, James D.
        Jonusas, Julius
        Attention
        2299/23166
        Abstract
        A universal sequence for a group or semigroup S is a sequence of words w1,w2,… such that for any sequence s1,s2,…∈S, the equations wi=si, i∈N, can be solved simultaneously in S. For example, Galvin showed that the sequence {a−1(aiba−i)b−1(aib−1a−i)ba:i∈N} is universal for the symmetric group Sym(X) when X is infinite, and Sierpiński showed that (a2b3(abab3)n+1ab2ab3)n∈N is universal for the monoid XX of functions from the infinite set X to itself. In this paper, we show that under some conditions, the set of universal sequences for the symmetric group on an infinite set X is independent of the cardinality of X. More precisely, we show that if Y is any set such that |Y|≥|X|, then every universal sequence for Sym(X) is also universal for Sym(Y). If |X|>2ℵ0, then the converse also holds. It is shown that an analogue of this theorem holds in the context of inverse semigroups, where the role of the symmetric group is played by the symmetric inverse monoid. In the general context of semigroups, the full transformation monoid XX is the natural analogue of the symmetric group and the symmetric inverse monoid. If X and Y are arbitrary infinite sets, then it is an open question as to whether or not every sequence that is universal for XX is also universal for YY. However, we obtain a sufficient condition for a sequence to be universal for XX which does not depend on the cardinality of X. A large class of sequences satisfy this condition, and hence are universal for XX for every infinite set X
        Publication date
        2020-01-28
        Published in
        Proceedings of the American Mathematical Society
        Published version
        https://doi.org/10.1090/proc/14881
        Other links
        http://hdl.handle.net/2299/23166
        Metadata
        Show full item record
        Keep in touch

        © 2019 University of Hertfordshire

        I want to...

        • Apply for a course
        • Download a Prospectus
        • Find a job at the University
        • Make a complaint
        • Contact the Press Office

        Go to...

        • Accommodation booking
        • Your student record
        • Bayfordbury
        • KASPAR
        • UH Arts

        The small print

        • Terms of use
        • Privacy and cookies
        • Criminal Finances Act 2017
        • Modern Slavery Act 2015
        • Sitemap

        Find/Contact us

        • T: +44 (0)1707 284000
        • E: ask@herts.ac.uk
        • Where to find us
        • Parking
        • hr
        • qaa
        • stonewall
        • AMBA
        • ECU Race Charter
        • disability confident
        • AthenaSwan