Showing 1–9 of 9 results for author: Faul, P F

F-Inverse Monoids as Weakly Schreier Extensions

Authors: Peter F. Faul

Abstract: It is known that an inverse monoid $M$ is E-unitary if and only if the following diagram is an extension: $E(M) \to M \to M/σ$, where $E(M)$ is the semilattice of idempotents and $M/σ$ is the minimal group quotient. F-inverse monoids are another fundamental class of inverse semigroup and all F-inverse monoids are E-unitary. Thus given that F-inverse monoids have an associated extension it is natur… ▽ More It is known that an inverse monoid $M$ is E-unitary if and only if the following diagram is an extension: $E(M) \to M \to M/σ$, where $E(M)$ is the semilattice of idempotents and $M/σ$ is the minimal group quotient. F-inverse monoids are another fundamental class of inverse semigroup and all F-inverse monoids are E-unitary. Thus given that F-inverse monoids have an associated extension it is natural to ask if these extensions satisfy any special properties. Indeed we show that $M$ is F-inverse if and only if the aforementioned extension is weakly Schreier. This latter result allows us to make use of relaxed factor systems to provide a new characterization of F-inverse monoids. We end by restricting to the Clifford case and find a new characterization of these with much in common with Artin gluings of frames. △ Less

Submitted 15 January, 2025; originally announced January 2025.

Comments: 8 pages

The Case for Inverse Semirings

Authors: Peter F. Faul, Amartya Goswami, Gideo Joubert, Graham Manuell

Abstract: A semiring generalises the notion of a ring, replacing the additive abelian group structure with that of a commutative monoid. In this paper, we study a notion positioned between a ring and a semiring -- a semiring whose additive monoid is a commutative inverse semigroup. These inverse semirings include some important classes of semirings, as well as some new motivating examples. We devote particu… ▽ More A semiring generalises the notion of a ring, replacing the additive abelian group structure with that of a commutative monoid. In this paper, we study a notion positioned between a ring and a semiring -- a semiring whose additive monoid is a commutative inverse semigroup. These inverse semirings include some important classes of semirings, as well as some new motivating examples. We devote particular attention to the inverse semiring of bounded polynomials and argue for their computational significance. We then prove a number of fundamental results about inverse semirings, their modules and their ideals. Parts of the theory show strong similarities with rings, while other parts are akin to the theory of idempotent semirings or distributive lattices. We note in particular that downward-closed submodules are precisely kernels. We end by exploring a connection to the theory of E-unitary inverse semigroups. △ Less

Submitted 19 November, 2024; originally announced November 2024.

Comments: 16 pages

MSC Class: 16Y60; 20M18; 06F25

The Reverse Representation Problem

Authors: Peter F. Faul, Zurab Janelideze, Gideo Joubert

Abstract: Cayley's theorem tells us that all groups $\mathbf{G}$ occur as subgroups of the group of automorphisms over some set $X$. In this paper we consider a `sort-of' converse to this question: given a set $X$ and some transformation group $\mathbf{S}$ over $X$, what are the possible group structures on $X$ that result in groups represented by $\mathbf{S}$? We solve this problem in the more general sett… ▽ More Cayley's theorem tells us that all groups $\mathbf{G}$ occur as subgroups of the group of automorphisms over some set $X$. In this paper we consider a `sort-of' converse to this question: given a set $X$ and some transformation group $\mathbf{S}$ over $X$, what are the possible group structures on $X$ that result in groups represented by $\mathbf{S}$? We solve this problem in the more general setting of faithful semigroups and observe that the solutions to this problem, which we term unrepresentations, have the structure of a heap. We study this phenomenon in depth and then move onto looking at particular classes of semigroups namely monoids, groups, inverse semigroups and Clifford semigroups. △ Less

Submitted 30 September, 2024; originally announced October 2024.

Comments: 12 pages

MSC Class: 20M30

Machine Space I: Weak exponentials and quantification over compact spaces

Authors: Peter F. Faul, Graham Manuell

Abstract: Topology may be interpreted as the study of verifiability, where opens correspond to semi-decidable properties. In this paper we make a distinction between verifiable properties themselves and processes which carry out the verification procedure. The former are simply opens, while we call the latter machines. Given a frame presentation $\mathcal{O} X = \langle G \mid R\rangle$ we construct a space… ▽ More Topology may be interpreted as the study of verifiability, where opens correspond to semi-decidable properties. In this paper we make a distinction between verifiable properties themselves and processes which carry out the verification procedure. The former are simply opens, while we call the latter machines. Given a frame presentation $\mathcal{O} X = \langle G \mid R\rangle$ we construct a space of machines $Σ^{Σ^G}$ whose points are given by formal combinations of basic machines corresponding to generators in $G$. This comes equipped with an `evaluation' map making it a weak exponential for $Σ^X$. When it exists, the true exponential $Σ^X$ occurs as a retract of machine space. We argue this helps explain why some spaces are exponentiable and others not. We then use machine space to study compactness by giving a purely topological version of Escardó's algorithm for universal quantification over compact spaces in finite time. Finally, we relate our study of machine space to domain theory and domain embeddings. △ Less

Submitted 21 September, 2023; v1 submitted 22 September, 2022; originally announced September 2022.

Comments: 20 pages, made some minors edits

MSC Class: 54B20; 54-08; 54C35; 06D22; 06B35; 54D30

A Survey of Schreier-Type Extensions of Monoids

Authors: P. F. Faul

Abstract: We give an overview of a number of Schreier-type extensions of monoids and discuss the relation between them. We begin by discussing the characterisations of split extensions of groups, extensions of groups with abelian kernel and finally non-abelian group extensions. We see how these characterisations may be immediately lifted to Schreier split extensions, special Schreier extensions and Schreier… ▽ More We give an overview of a number of Schreier-type extensions of monoids and discuss the relation between them. We begin by discussing the characterisations of split extensions of groups, extensions of groups with abelian kernel and finally non-abelian group extensions. We see how these characterisations may be immediately lifted to Schreier split extensions, special Schreier extensions and Schreier extensions respectively. Finally, we look at weakenings of these Schreier extensions and provide a unified account of their characterisation in terms of relaxed actions. △ Less

Submitted 28 February, 2022; v1 submitted 25 February, 2021; originally announced February 2021.

Comments: 17 pages. Fixed some minor errors

MSC Class: 20M50; 18G50; 20M18

Artin glueings of toposes as adjoint split extensions

Authors: Peter F. Faul, Graham Manuell, José Siqueira

Abstract: Artin glueings of frames correspond to adjoint split extensions in the category of frames and finite-meet-preserving maps. We extend these ideas to the setting of toposes and show that Artin glueings of toposes correspond to a 2-categorical notion of adjoint split extensions in the 2-category of toposes, finite-limit-preserving functors and natural transformations. A notion of morphism between the… ▽ More Artin glueings of frames correspond to adjoint split extensions in the category of frames and finite-meet-preserving maps. We extend these ideas to the setting of toposes and show that Artin glueings of toposes correspond to a 2-categorical notion of adjoint split extensions in the 2-category of toposes, finite-limit-preserving functors and natural transformations. A notion of morphism between these split extensions is introduced, which allows the category Ext(H,N) to be constructed. We show that Ext(H,N) is contravariantly equivalent to Hom(H,N), and moreover, that this can be extended to a 2-natural contravariant equivalence between the Hom 2-functor and a naturally defined Ext 2-functor. △ Less

Submitted 5 July, 2022; v1 submitted 9 December, 2020; originally announced December 2020.

Comments: 41 pages. Fixed minor errors and improved clarity. Includes some proofs we had to remove from the published version

MSC Class: 18B25 (Primary); 18G50; 54B99 (Secondary)

Journal ref: J. Pure Appl. Algebra 227(5), 107273 (2023)

2-dimensional bifunctor theorems and distributive laws

Authors: Peter F. Faul, Graham Manuell, Jose Siqueira

Abstract: In this paper we consider the conditions that need to be satisfied by two families of pseudofunctors with a common codomain for them to be collated into a bifunctor. We observe similarities between these conditions and distributive laws of monads before providing a unified framework from which both of these results may be inferred. We do this by proving a version of the bifunctor theorem for lax f… ▽ More In this paper we consider the conditions that need to be satisfied by two families of pseudofunctors with a common codomain for them to be collated into a bifunctor. We observe similarities between these conditions and distributive laws of monads before providing a unified framework from which both of these results may be inferred. We do this by proving a version of the bifunctor theorem for lax functors. We then show that these generalised distributive laws may be arranged into a 2-category Dist(B,C,D), which is equivalent to Lax(B,Lax(C,D)). The collation of a distributive law into its associated bifunctor extends to a 2-functor into Lax($B \times C$, D), which corresponds to uncurrying via the aforementioned equivalence. We also describe subcategories on which collation itself restricts to an equivalence. Finally, we exhibit a number of natural categorical constructions as special cases of our result. △ Less

Submitted 27 September, 2021; v1 submitted 15 October, 2020; originally announced October 2020.

Comments: 23 pages; Completely restructured the paper for greater clarity

Journal ref: Theory Appl. Categ., 37(34):1149-1175, 2021

A characterization of weakly Schreier extensions of monoids

Authors: P. F. Faul

Abstract: A split extension of monoids with kernel $k \colon N \to G$, cokernel $e \colon G \to H$ and splitting $s \colon H \to G$ is Schreier if there exists a unique set-theoretic map $q \colon G \to N$ such that for all $g \in G$, $g = kq(g) \cdot se(g)$. Schreier extensions have a complete characterization and have been shown to correspond to monoid actions of $H$ on $N$. If the uniqueness requirement… ▽ More A split extension of monoids with kernel $k \colon N \to G$, cokernel $e \colon G \to H$ and splitting $s \colon H \to G$ is Schreier if there exists a unique set-theoretic map $q \colon G \to N$ such that for all $g \in G$, $g = kq(g) \cdot se(g)$. Schreier extensions have a complete characterization and have been shown to correspond to monoid actions of $H$ on $N$. If the uniqueness requirement of $q$ is relaxed, the resulting split extension is called weakly Schreier. A natural example of these is the Artin glueings of frames. In this paper we provide a complete characterization of the weakly Schreier extensions of $H$ by $N$, proving them to be equivalent to certain quotients of $N \times H$ paired with a function that behaves like an action with respect to the quotient. Furthermore, we demonstrate the failure of the split short lemma in this setting and provide a full characterization of the morphisms that occur between weakly Schreier extensions. Finally, we use the characterization to construct some classes of examples of weakly Schreier extensions. △ Less

Submitted 13 July, 2020; v1 submitted 6 November, 2019; originally announced November 2019.

MSC Class: 20M50; 18G50

Artin glueings of frames as semidirect products

Authors: Peter F. Faul, Graham R. Manuell

Abstract: Artin glueings provide a way to reconstruct a frame from a closed sublocale and its open complement. We show that Artin glueings can be described as the weakly Schreier split extensions in the category of frames with finite-meet preserving maps. These extensions correspond to meet-semilattice homomorphisms between frames, yielding an extension bifunctor. Finally, we discuss Baer sums, the induced… ▽ More Artin glueings provide a way to reconstruct a frame from a closed sublocale and its open complement. We show that Artin glueings can be described as the weakly Schreier split extensions in the category of frames with finite-meet preserving maps. These extensions correspond to meet-semilattice homomorphisms between frames, yielding an extension bifunctor. Finally, we discuss Baer sums, the induced order structure on extensions and the failure of the split short five lemma. △ Less

Submitted 27 December, 2019; v1 submitted 11 July, 2019; originally announced July 2019.

Comments: 12 pages. To be published in the Journal of Pure and Applied Algebra. Added more discussion about morphisms of split extensions

MSC Class: 18G50; 06D22; 54B15; 18B30

Journal ref: J. Pure Appl. Algebra, 224(8), 2020