Results 1  10
of
11
Indecomposable, projective and flat Sposets
 Comm. Algebra
"... Abstract. For a monoid S, a (left) Sact is a nonempty set B together with a mapping S × B → B sending (s, b) to sb such that s(tb) = (st)b and 1b = b for all s, t ∈ S and b ∈ B. Right Sacts A can also be defined, and a tensor product A ⊗S B (a set) can be defined that has the customary universal ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
(Show Context)
Abstract. For a monoid S, a (left) Sact is a nonempty set B together with a mapping S × B → B sending (s, b) to sb such that s(tb) = (st)b and 1b = b for all s, t ∈ S and b ∈ B. Right Sacts A can also be defined, and a tensor product A ⊗S B (a set) can be defined that has the customary universal property with respect to balanced maps from A×B into arbitrary sets. Over the past three decades, an extensive theory of flatness properties has been developed (involving free and projective acts, and flat acts of various sorts, defined in terms of when the tensor product functor has certain preservation properties). A recent and complete discussion of this area is contained in the monograph Monoids, Acts and Categories by M. Kilp et al. (Walter de Gruyter, New York, 2000). To date, there have been only a few attempts to generalize this material to ordered monoids acting on partially ordered sets (Sposets). The present paper is devoted to such a generalization. A unique decomposition theorem for Sposets is given, based on strongly convex, indecomposable Ssubposets, and a structure theorem for projective Sposets is given. A criterion for when two elements of the tensor product of Sposets is given, which is then applied to investigate several flatness properties. 1. introduction and preliminaries If S is a monoid, it is wellknown that Sacts (also called Ssets, Ssystems, Sautomata, etc.) play an important role not only in studying properties of monoids, but also in other mathematical areas, such as graph theory and algebraic automata theory (see [1], [2]). Flatness and projectivity are important topics in the study of acts over monoids. Flat acts are important in studying amalgamation properties of monoids (see [1] and references contained therein), and projective and indecomposable acts play an essential role in studying the
ALGEBRA IN SUPEREXTENSIONS OF GROUPS, IV: REPRESENTATION THEORY
, 2008
"... Given a group X we study the algebraic structure of the compact righttopological semigroup λ(X) consisting of maximal linked systems on X. This semigroup contains the semigroup β(X) of ultrafilters as a closed subsemigroup. We construct a faithful representation of the semigroup λ(X) in the semig ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
(Show Context)
Given a group X we study the algebraic structure of the compact righttopological semigroup λ(X) consisting of maximal linked systems on X. This semigroup contains the semigroup β(X) of ultrafilters as a closed subsemigroup. We construct a faithful representation of the semigroup λ(X) in the semigroup P(X) P(X) of all selfmaps of the powerset P(X) and show that the image of λ(X) in P(X) P(X) coincides with the semigroup λ(X, P(X)) of all functions f: P(X) → P(X) that are equivariant, monotone and symmetric in the sense that f(X \ A) = X \ f(A) for all A ⊂ X. Using this representation we describe the minimal ideal K(λ(X)) and minimal left ideals of the superextension λ(X) of each somewhat commutative group X, where a group X is somewhat commutative if the product xy of any two elements x, y ∈ X belongs to the semigroups generated by the set {yx, yx−1, y−1x, y−1x−1}. We prove that for each commutative group X (admitting no epimorphism onto the quasicyclic group C2∞) each minimal left ideal of the supserextension λ(X) is alegebraically (and topologically) isomorphic to the product
Semigroup Forum (2008) 76: 169–176
"... Abstract A new kind of injectivity, namely, Cinjectivity is investigated. Classifications of a monoid by properties of Cinjective acts and right ideals are presented. It is shown that the class of monoids over which all acts are Cinjective generalizes the class of selfinjective monoids. On the ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract A new kind of injectivity, namely, Cinjectivity is investigated. Classifications of a monoid by properties of Cinjective acts and right ideals are presented. It is shown that the class of monoids over which all acts are Cinjective generalizes the class of selfinjective monoids. On the way we complete an early result by Johnson and McMorris (Proc. Am. Math. Soc. 36(2), 385–388, 1972).
Classification of monoids by injectivities II.
"... Abstract We characterize monoids over which all Sacts are CCinjective and find conditions under which CCinjectivity of all acts implies that all acts are Cinjective. Keywords Monoid · Sact · Cinjectivity · CCinjectivity In [5], we characterized monoids by properties of Cinjective acts. In th ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract We characterize monoids over which all Sacts are CCinjective and find conditions under which CCinjectivity of all acts implies that all acts are Cinjective. Keywords Monoid · Sact · Cinjectivity · CCinjectivity In [5], we characterized monoids by properties of Cinjective acts. In this paper we continue and classify monoids by their CCinjective acts. We use terminology and notations from [5] freely. An Sact A is called Cinjective if for any Sact N and any cyclic subact M = aS, a ∈ N, any homomorphism f ∈ Hom(M,A), there exists a homomorphism g ∈ Hom(N,A) extending f ([5]). An Sact A is said to be CCinjective if it is injective relative to all embeddings of cyclic subacts abS ⊆ aS into cyclic Sacts aS for a, ab generating elements of the cyclic acts. Obviously, Cinjective Sacts must be CCinjective and CCinjective Sacts must be PWinjective.
Denoting by Aut(M) the automorphism group of M∈Iso(A), it is easy to see that
"... Abstract. Let A be a finitely generated semigroup with 0. An A–module overF1 (also called an A–set), is a pointed set (M,∗) together with an action of A. We define and study the Hall algebraHA of the categoryCA of finite A–modules.HA is shown to be the universal enveloping algebra of a Lie algebranA ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract. Let A be a finitely generated semigroup with 0. An A–module overF1 (also called an A–set), is a pointed set (M,∗) together with an action of A. We define and study the Hall algebraHA of the categoryCA of finite A–modules.HA is shown to be the universal enveloping algebra of a Lie algebranA, called the Hall Lie algebra ofCA. In the case of the〈t 〉 the free monoid on one generator〈t〉, the Hall algebra (or more precisely the Hall algebra of the subcategory of nilpotent〈t〉modules) is isomorphic to Kreimer’s Hopf algebra of rooted forests. This perspective allows us to define two new commutative operations on rooted forests. We also consider the examples when A is a quotient of〈t 〉 by a congruence, and the monoid G∪{0} for a finite group G. 1. introduction The aim of this paper is to define and study the Hall algebra of the category of settheoretic representations of a semigroup. Classically, Hall algebras have been studied in the context abelian categories linear over finite fieldsFq. Given such a categoryA, finitary in the sense that Hom(M, N) and Ext 1 (M, N) are finitedimensional ∀ M, N∈A (and therefore finite sets), we may construct fromAan associative algebraHA defined overZ 1, called the RingelHall algebra ofA. As aZ–module,HA is freely generated by the isomorphism classes of objects inA, and its structure constants are expressed in terms of the number of extensions between objects. Explicitly, if M and N denote two isomorphism classes, their product inHA is given by
Abstract DRAFT
"... Build your own probability monads Probability is often counterintuitive, and it always involves a great deal of math. This is unfortunate, because many applications in robotics and AI increasingly rely on probability theory. We introduce a modular toolkit for constructing probability monads, and sh ..."
Abstract
 Add to MetaCart
Build your own probability monads Probability is often counterintuitive, and it always involves a great deal of math. This is unfortunate, because many applications in robotics and AI increasingly rely on probability theory. We introduce a modular toolkit for constructing probability monads, and show that it can be used for everything from discrete distributions to weighted particle filtering. This modular approach allows us to present a single, easytouse API for working with many kinds of probability distributions. Our toolkit combines several existing components (the list monad, the Rand monad, and the MaybeT monad transformer), with a stripped down version of WriterT Prob, and a new monad for sequential Monte Carlo sampling. Using these components, we show that MaybeT can be used to implement Bayes ’ theorem. We also show how to implement a monad for weighted particle filtering.
On Condition (EP)
"... In this paper we introduce a new flatness property of acts over monoids which is an extension of Conditions (P) and (E), called Condition (EP) and will give a classification of monoids over which all (finitely generated, cyclic, monocyclic) right acts satisfying Condition (EP) have other flatness p ..."
Abstract
 Add to MetaCart
(Show Context)
In this paper we introduce a new flatness property of acts over monoids which is an extension of Conditions (P) and (E), called Condition (EP) and will give a classification of monoids over which all (finitely generated, cyclic, monocyclic) right acts satisfying Condition (EP) have other flatness properties and also monoids over which all (cyclic) right acts satisfy Condition (EP). Mathematics Subject Classification: 20M30
WHEN IS THE INSERTION OF THE GENERATORS INJECTIVE FOR A SURREFLECTIVE SUBCATEGORY OF A
"... Abstract. For a manysorted signature Σ = (S, Σ) we characterize, by defining the concept of support of an Ssorted set and a convenient algebraic closure operator ExΣ on S, those surreflective subcategories K of the category Alg(Σ) of all Σalgebras for which the unit of the adjunction from Set S ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract. For a manysorted signature Σ = (S, Σ) we characterize, by defining the concept of support of an Ssorted set and a convenient algebraic closure operator ExΣ on S, those surreflective subcategories K of the category Alg(Σ) of all Σalgebras for which the unit of the adjunction from Set S to K is pointwise monomorphic. 1.