Related papers: Left reductive regular semigroups
Let $R$ be a ring and let $\mathcal C$ be a small class of right $R$-modules which is closed under finite direct sums, direct summands, and isomorphisms. Let $\mathcal V (\mathcal C)$ denote a set of representatives of isomorphism classes…
This paper introduces and studies a categorical analogue of the familiar monoid semiring construction. By introducing an axiomatisation of summation that unifies notions of summation from algebraic program semantics with various notions of…
Let $(R, \mathfrak m)$ be a commutative noetherian local ring and $I$ an ideal of $R$. Let $\mathcal{P}$ be the class of all $I$-generated $R$-modules $M$ (i.e. there is an epimorphism $I^{(\Lambda)} \twoheadrightarrow M$) and let…
Let $S\subseteq \mathbb N^p$ be a semigroup, any $P\subseteq S$ is an ideal of $S$ if $P+S\subseteq P$, and an $I(S)$-semigroup is the affine semigroup $P\cup \{0\}$, with $P$ an ideal of $S$. We characterise the $I(S)$-semigroups and the…
Given a group $X$ we study the algebraic structure of the compact right-topological semigroup $\lambda(X)$ consisting of maximal linked systems on $X$. This semigroup contains the semigroup $\beta(X)$ of ultrafilters as a closed…
We introduce a general framework, based on \'etale topological categories, for studying discrete restriction semigroups and their algebras. Generalizing Paterson's universal groupoid of an inverse semigroup, we define the universal category…
Let $\mathcal{X}$ be a resolving and contravariantly finite subcategory of $\rm{mod}\mbox{-}\Lambda$, the category of finitely generated right $\Lambda$-modules. We associate to $\mathcal{X}$ the subcategory…
Fix (not necessarily distinct) objects $i$ and $j$ of a locally small category $S$, and write $S_{ij}$ for the set of all morphisms $i\to j$. Fix a morphism $a\in S_{ji}$, and define an operation $\star_a$ on $S_{ij}$ by $x\star_ay=xay$ for…
Semifields are semirings in which every nonzero element has a multiplicative inverse. A rough classification uses the characteristic of the semifield, that is the isomorphism type of the semifield generated by the two neutral elements. For…
In this paper, we introduce homological structure theory of semirings and CP-semirings---semirings all of whose cyclic semimodules are projective. We completely describe semisimple, Gelfand, subtractive, and anti-bounded, CP-semirings. We…
We define and develop the infrastructure of homotopical inverse diagrams in categories with attributes. Specifically, given a category with attributes $C$ and an ordered homotopical inverse category $I$, we construct the category with…
Pursuing ideas of Jeff Smith, we develop a homotopy theory of ideals of monoids in a symmetric monoidal model category. This includes Smith ideals of structured ring spectra and of differential graded algebras. Such Smith ideals are NOT…
We provide a new and much simpler structure for quasi-ideal adequate transversals of abundant semigroups in terms of spined products, which is similar in nature to that given by Saito for weakly multiplicative inverse transversals of…
Let $G$ be a connected complex Lie group. A real form of $G$ is a closed subgroup $H\subset G$ whose Lie algebra $\mathfrak{h}$ is a real form of the Lie algebra $\mathfrak{g}$ of $G$. A pair $(G,H)$ of this type is reductive, and the…
Irreducible decompositions of monomial ideals in polynomial rings over a field are well-understood. In this paper, we investigate decompositions in the set of monomial ideals in the semigroup ring A[\mathbb{R}_{\geq 0}^d] where A is an…
Inspired by results for graph $C^*$-algebras, we investigate connections between the ideal structure of an inverse semigroup $S$ and that of its tight $C^*$-algebra by relating ideals in $S$ to certain open invariant sets in the associated…
Here we introduce the notion of (left, right) $\pi$-$t$-simple, right $\pi$-inverse ordered semigroups and discuss characterizations and relationships concerning them. Semilattice decomposition of left $\pi$-$t$-simple ordered semigroups…
We show that the free module of infinite rank $R^{(\kappa)}$ purely embeds every $\kappa$-generated flat left $R$-module iff $R$ is left perfect. Using a Bass module corresponding to a descending chain of principal right ideals, we…
We present two results on the relation between the class of right regular bands (RRBs) and their underlying *associative posets*. The first one is a construction of a left adjoint to the forgetful functor that takes an RRB $(P,\cdot)$ to…
The local structures of enveloping semigroups of simple groups are investigated. All J-coirreducible connected stabilizer submonoids are determined. The notion of a navel of a reductive monoid is introduced. The cross-section lattice of the…