Showing 1–11 of 11 results for author: Margolis, S W

Degree 2 Transformation Semigroups as Continuous Maps on Graphs: Foundations and Structure

Authors: Stuart W. Margolis, John Rhodes

Abstract: We develop the theory of transformation semigroups that have degree 2, that is, act by partial functions on a finite set such that the inverse image of points have at most two elements. We show that the graph of fibers of such an action gives a deep connection between semigroup theory and graph theory. It is known that the Krohn-Rhodes complexity of a degree 2 action is at most 2. We show that the… ▽ More We develop the theory of transformation semigroups that have degree 2, that is, act by partial functions on a finite set such that the inverse image of points have at most two elements. We show that the graph of fibers of such an action gives a deep connection between semigroup theory and graph theory. It is known that the Krohn-Rhodes complexity of a degree 2 action is at most 2. We show that the monoid of continuous maps on a graph is the translational hull of an appropriate 0-simple semigroup. We show how group mapping semigroups can be considered as regular covers of their right letter mapping image and relate this to their graph of fibers. △ Less

Submitted 6 May, 2020; originally announced May 2020.

MSC Class: 20M20; 20M30; 20M10

Truncated Boolean Representable Simplicial Complexes

Authors: Stuart W. Margolis, John Rhodes, Pedro Silva

Abstract: We extend, in significant ways, the theory of truncated boolean representable simplicial complexes introduced in 2015. This theory, which includes all matroids, represents the largest class of finite simplicial complexes for which combinatorial geometry can be meaningfully applied We extend, in significant ways, the theory of truncated boolean representable simplicial complexes introduced in 2015. This theory, which includes all matroids, represents the largest class of finite simplicial complexes for which combinatorial geometry can be meaningfully applied △ Less

Submitted 8 April, 2019; originally announced April 2019.

On the Wilson Monoid of a Pairwise Balanced Design

Authors: Stuart W. Margolis, John Rhodes, Pedro Silva

Abstract: We give a new perspective of the relationship between simple matroids of rank 3 and pairwise balanced designs, connecting Wilson's theorems and tools with the theory of truncated boolean representable simplicial complexes. We also introduce the concept of Wilson monoid W(X) of a pairwise balanced design X. We present some general algebraic properties and study in detail the cases of Steiner triple… ▽ More We give a new perspective of the relationship between simple matroids of rank 3 and pairwise balanced designs, connecting Wilson's theorems and tools with the theory of truncated boolean representable simplicial complexes. We also introduce the concept of Wilson monoid W(X) of a pairwise balanced design X. We present some general algebraic properties and study in detail the cases of Steiner triple systems up to 19 points, as well as the case where a single block has more than 2 elements △ Less

Submitted 8 April, 2019; originally announced April 2019.

On the Dowling and Rhodes lattices and wreath products

Authors: Stuart W. Margolis, John Rhodes, Pedro V. Silva

Abstract: Dowling and Rhodes defined different lattices on the set of triples (Subset, Partition, Cross Section) over a fixed finite group G. Although the Rhodes lattice is not a geometric lattice, it defines a matroid in the sense of the theory of Boolean representable simplicial complexes. This turns out to be the direct sum of a complete matroid with a lift matroid of the complete biased graph over G. As… ▽ More Dowling and Rhodes defined different lattices on the set of triples (Subset, Partition, Cross Section) over a fixed finite group G. Although the Rhodes lattice is not a geometric lattice, it defines a matroid in the sense of the theory of Boolean representable simplicial complexes. This turns out to be the direct sum of a complete matroid with a lift matroid of the complete biased graph over G. As is well known, the Dowling lattice defines the frame matroid over a similar biased graph. This gives a new perspective on both matroids and also an application of matroid theory to the theory of finite semigroups. We also make progress on an important question for these classical matroids: what are the minimal Boolean representations and the minimum degree of a Boolean matrix representation? △ Less

Submitted 15 October, 2017; originally announced October 2017.

MSC Class: 05B35; 06B99; 18B40; 20E22

The q-theory of finite semigroups: history and mathematics

Authors: Stuart W. Margolis

Abstract: This paper is a historical and mathematical review of the book, "The q-theory of Finite Semigroups" by John Rhodes and Benjamin Steinberg. This paper is a historical and mathematical review of the book, "The q-theory of Finite Semigroups" by John Rhodes and Benjamin Steinberg. △ Less

Submitted 9 September, 2014; v1 submitted 8 September, 2014; originally announced September 2014.

Comments: Correction of Abstract

The etale groupoid of an inverse semigroup as a groupoid of filters

Authors: M. V. Lawson, S. W. Margolis, B. Steinberg

Abstract: Paterson showed how to construct an etale groupoid from an inverse semigroup using ideas from functional analysis. This construction was later simplified by Lenz. We show that Lenz's construction can itself be further simplified by using filters: the topological groupoid associated with an inverse semigroup is precisely a groupoid of filters. In addition, idempotent filters are closed inverse subs… ▽ More Paterson showed how to construct an etale groupoid from an inverse semigroup using ideas from functional analysis. This construction was later simplified by Lenz. We show that Lenz's construction can itself be further simplified by using filters: the topological groupoid associated with an inverse semigroup is precisely a groupoid of filters. In addition, idempotent filters are closed inverse subsemigroups and so determine transitive representations by means of partial bijections. This connection between filters and representations by partial bijections is exploited to show how linear representations of inverse semigroups can be constructed from the groups occuring in the associated topological groupoid. △ Less

Submitted 21 February, 2012; v1 submitted 26 June, 2011; originally announced June 2011.

Comments: This is the final journal version of the paper

Quivers of monoids with basic algebras

Authors: Stuart W. Margolis, Benjamin Steinberg

Abstract: We compute the quiver of any monoid that has a basic algebra over an algebraically closed field of characteristic zero. More generally, we reduce the computation of the quiver over a splitting field of a class of monoids that we term rectangular monoids (in the semigroup theory literature the class is known as $\mathbf{DO}$) to representation theoretic computations for group algebras of maximal su… ▽ More We compute the quiver of any monoid that has a basic algebra over an algebraically closed field of characteristic zero. More generally, we reduce the computation of the quiver over a splitting field of a class of monoids that we term rectangular monoids (in the semigroup theory literature the class is known as $\mathbf{DO}$) to representation theoretic computations for group algebras of maximal subgroups. Hence in good characteristic for the maximal subgroups, this gives an essentially complete computation. Since groups are examples of rectangular monoids, we cannot hope to do better than this. For the subclass of $\mathscr R$-trivial monoids, we also provide a semigroup theoretic description of the projective indecomposables and compute the Cartan matrix. △ Less

Submitted 24 June, 2011; v1 submitted 2 January, 2011; originally announced January 2011.

Comments: Minor corrections and improvements to exposition were made. Some theorem statements were simplified. Also we made a language change. Several of our results are more naturally expressed using the language of Karoubi envelopes and irreducible morphisms. There are no substantial changes in actual results

Journal ref: Compositio Math. 148 (2012) 1516-1560

Subgroups of free idempotent generated semigroups: full linear monoid

Authors: Mark Brittenham, Stuart W. Margolis, John Meakin

Abstract: We develop some new topological tools to study maximal subgroups of free idempotent generated semigroups. As an application, we show that the rank 1 component of the free idempotent generated semigroup of the biordered set of a full matrix monoid of n x n matrices, n>2$ over a division ring Q has maximal subgroup isomorphic to the multiplicative subgroup of Q. We develop some new topological tools to study maximal subgroups of free idempotent generated semigroups. As an application, we show that the rank 1 component of the free idempotent generated semigroup of the biordered set of a full matrix monoid of n x n matrices, n>2$ over a division ring Q has maximal subgroup isomorphic to the multiplicative subgroup of Q. △ Less

Submitted 28 September, 2010; originally announced September 2010.

Comments: We hope to use similar methods to study the higher rank components

MSC Class: 20M05; 20F05

Subgroups of free idempotent generated semigroups need not be free

Authors: Mark Brittenham, Stuart W. Margolis, John Meakin

Abstract: We use topological methods to study the maximal subgroups of the free idempotent generated semigroup on a biordered set. We use these to give an example of a free idempotent generated semigroup with maximal subgroup isomorphic to the free abelian group of rank 2. This is the first example of a non-free subgroup of a free idempotent generated semigroup. We use topological methods to study the maximal subgroups of the free idempotent generated semigroup on a biordered set. We use these to give an example of a free idempotent generated semigroup with maximal subgroup isomorphic to the free abelian group of rank 2. This is the first example of a non-free subgroup of a free idempotent generated semigroup. △ Less

Submitted 13 August, 2008; originally announced August 2008.

MSC Class: 20M17;20M05

Two-letter group codes that preserve aperiodicity of inverse finite automata

Authors: Jean-Camille Birget, Stuart W. Margolis

Abstract: We construct group codes over two letters (i.e., bases of subgroups of a two-generated free group) with special properties. Such group codes can be used for reducing algorithmic problems over large alphabets to algorithmic problems over a two-letter alphabet. Our group codes preserve aperiodicity of inverse finite automata. As an application we show that the following problems are PSpace-complet… ▽ More We construct group codes over two letters (i.e., bases of subgroups of a two-generated free group) with special properties. Such group codes can be used for reducing algorithmic problems over large alphabets to algorithmic problems over a two-letter alphabet. Our group codes preserve aperiodicity of inverse finite automata. As an application we show that the following problems are PSpace-complete for two-letter alphabets (this was previously known for large enough finite alphabets): The intersection-emptiness problem for inverse finite automata, the aperiodicity problem for inverse finite automata, and the closure-under-radical problem for finitely generated subgroups of a free group. The membership problem for 3-generated inverse monoids is PSpace-complete. △ Less

Submitted 9 January, 2007; originally announced January 2007.

Comments: 10 pages

A complete rewrite system and normal forms for (S)_reg

Authors: Jean-Camille Birget, Stuart W. Margolis

Abstract: The (.)_reg construction was introduced in order to make an arbitrary semigroup S divide a regular semigroup (S)_reg which shares some important properties with S (e.g., finiteness, subgroups, torsion bounds, J-order structure). We show that (S)_reg can be described by a rather simple complete string rewrite system, as a consequence of which we obtain a new proof of the normal form theorem for (… ▽ More The (.)_reg construction was introduced in order to make an arbitrary semigroup S divide a regular semigroup (S)_reg which shares some important properties with S (e.g., finiteness, subgroups, torsion bounds, J-order structure). We show that (S)_reg can be described by a rather simple complete string rewrite system, as a consequence of which we obtain a new proof of the normal form theorem for (S)_reg. The new proof of the normal form theorem is conceptually simpler than the previous proofs. △ Less

Submitted 20 December, 2001; originally announced December 2001.

MSC Class: 29M05; 20M17; 68W30