Equalizers and kernels in categories of monoids

In dealing with monoids, the natural notion of kernel of a monoid morphism \(f:M\rightarrow N\) between two monoids M and N is that of the congruence \(\sim _f\) on M defined, for every \(m,m'\in M\), by \(m\sim _fm'\) if \(f(m)=f(m')\). In this paper, we study kernels and equalizers of monoid morphisms in the categorical sense. We consider the case of the categories of all monoids, commutative monoids, cancellative commutative monoids, reduced Krull monoids, inverse monoids and free monoids. In all these categories, the kernel of \(f:M\rightarrow N\) is simply the embedding of the submonoid \(f^{-1}(1_N)\) into M, but a complete characterization of kernels in these categories is not always trivial, and leads to interesting related notions.     

Orbit decompositions of orthogonal monoids and the orders of finite orthogonal monoids

In this paper we determine the \(G\times G\) orbits of both an even orthogonal monoid and an even special orthogonal monoid, where G is the unit group of the even special orthogonal monoid. We then use the orbit decompositions to compute the orders of these monoids over a finite field.     

The structure of finite monoids satisfying the relation ℛ = ℋ

It is shown that any finite monoid S on which Green’s relations R and H coincide divides the monoid of all upper triangular row-monomial matrices over a finite group. The proof is constructive; given the monoid S, the corresponding group and the order of matrices can be effectively found. The obtained result is used to identify the pseudovariety generated by all finite monoids satisfying R = H with the semidirect product of the pseudovariety of all finite groups and the pseudovariety of all finite R-trivial monoids.     

On endomorphism monoids in varieties of bands

It will be proved that every non-trivial variety \({\mathbb{V}}\) of bands (idempotent semigroups) contains a proper generating class of non-isomorphic bands B such that B generates \({\mathbb{V}}\) and any band \({B\prime}\) having the same endomorphism monoid as B is isomorphic to B or to the opposite band B^op. Consequently, every sharply greater band variety has a sharply greater class of endomorphism monoids.     

On the set of elasticities in numerical monoids

In an atomic, cancellative, commutative monoid S, the elasticity of an element provides a coarse measure of its non-unique factorizations by comparing the largest and smallest values in its set of factorization lengths (called its length set). In this paper, we show that the set of length sets \({\mathcal {L}}(S)\) for any arithmetical numerical monoid S can be completely recovered from its set of elasticities R(S); therefore, R(S) is as strong a factorization invariant as \({\mathcal {L}}(S)\) in this setting. For general numerical monoids, we describe the set of elasticities as a specific collection of monotone increasing sequences with a common limit point of \(\max R(S)\).     

Analytic monoids and factorization problems

The main goal of this paper is to initiate study of analytic monoids as a general framework for quantitative theory of factorization. So far the latter subject was developed either in concrete settings, for instance in orders of number fields, or abstractly, in an axiomatic way. Some of the abstract approaches are too general to address delicate problems concerning oscillatory nature of the related counting functions, or are too restrictive in the sense that they suffer from the lack of examples except classical ones i.e. the Hilbert monoids of algebraic integers and their products. The notion of an analytic monoid is enough flexible to allow constructions of many other examples, and also ensures sufficiently rich analytic structure. In particular, we construct examples of such monoids with the associated L-functions being products of classical Dirichlet L-functions and L-functions of twisted irreducible unitary cuspidal automorphic representations of \(GL_d({\mathbb {A}}_{\mathbb {Q}})\) satisfying the Ramanujan conjecture and having real coefficients. Finally, to illustrate how a typical problem from the quantitative theory of factorization can be studied in the framework of analytic monoids, we formulate several results concerning oscillations of the remainder term in the asymptotic formula for the number of irreducible elements with norms less or equal x, as x tends to infinity.     

The endomorphism monoids and automorphism groups of Cayley graphs of semigroups

In this note, we introduce the notions of color-permutable automorphisms and color-permutable vertex-transitive Cayley graphs of semigroups. As a main result, for a finite monoid S and a generating set C of S, we explicitly determine the color-permutable automorphism group of \(\mathrm {Cay}(S,C)\) [Theorem 1.1]. Also for a monoid S and a generating set C of S, we explicitly determine the color-preserving automorphism group (endomorphism monoid) of \(\mathrm {Cay}(S,C)\) [Proposition 2.3 and Corollary 2.4]. Then we use these results to characterize when \(\mathrm {Cay}(S,C)\) is color-endomorphism vertex-transitive [Theorem 3.4].     

An algorithm to compute <Emphasis Type="Italic">ω</Emphasis>-primality in a numerical monoid

Let M be a commutative, cancellative, atomic monoid and x a nonunit in M. We define ω(x)=n if n is the smallest positive integer with the property that whenever x∣a ₁???a _t , where each a _i is an atom, there is a T?{1,2,…,t} with |T|≤n such that x∣∏_k∈T a _k . The ω-function measures how far x is from being prime in M. In this paper, we give an algorithm for computing ω(x) in any numerical monoid. Simple formulas for ω(x) are given for numerical monoids of the form 〈n,n+1,…,2n?1〉, where n≥3, and 〈n,n+1,…,2n?2〉, where n≥4. The paper then focuses on the special case of 2-generator numerical monoids. We give a formula for computing ω(x) in this case and also necessary and sufficient conditions for determining when x is an atom. Finally, we analyze the asymptotic behavior of ω(x) by computing \(\lim_{x\rightarrow \infty}\frac{\omega(x)}{x}\).     

On chief factors of parabolic maximal subgroups of the group <Superscript>2</Superscript><Emphasis Type="Italic">E</Emphasis><Subscript>6</Subscript>(<Emphasis Type="Italic">q</Emphasis><Superscript>2</Superscript>)

We consider the pseudovariety generated by all finite monoids on which Green’s relations R and H coincide. We find a new algorithm that determines if a given finite monoid belongs to this pseudovariety.     

Idempotent conjugacy in monoids

We continue the study of the local structure of monoids in which \(\mathscr {J}\)-related idempotents are conjugate. For a regular \(\mathscr {J}\)-class J, its Graham blocks of idempotents are determined in terms of the associated parabolic subgroups, and then necessary and sufficient conditions are found for J to be generated by its idempotents. We further introduce a generalization to include the full transformation semigroup. The local monoids and the Graham blocks are again determined.     

Skew ring extensions and generalized monoid rings

A D-structure on a ring A with identity is a family of self-mappings indexed by the elements of a monoid G and subject to a long list of rather natural conditions. The mappings are used to define a generalization of the monoid algebra A[G]. We consider two of the simpler types of D-structure. The first is based on a homomorphism from G to End(A) and leads to a skew monoid ring. We also explore connections between these D-structures and normalizing and subnormalizing extensions. The second type of D-structure considered is built from an endomorphism of A. We use D-structures of this type to characterize rings which can be graded by a cyclic group of order 2.     

Axiomatizability of the class of weakly injective <Emphasis Type="Italic">S</Emphasis>-acts

The concepts of weakly injective, fg-weakly injective, and p-weakly injective S-acts generalize that of injective S-act. We study the monoids S over which the classes of weakly injective, fg-weakly injective, and p-weakly injective S-acts are axiomatizable. We prove that the class of p-weakly injective S-acts over a regular monoid is axiomatizable.     

Serre dimension of monoid algebras

Let R be a commutative Noetherian ring of dimension d, M a commutative cancellative torsion-free monoid of rank r and P a finitely generated projective R[M]-module of rank t. Assume M is Φ-simplicial seminormal. If \(M\in \mathcal {C}({\Phi })\), then Serre dim R[M]≤d. If r≤3, then Serre dim R[int(M)]≤d. If \(M\subset \mathbb {Z}_{+}^{2}\) is a normal monoid of rank 2, then Serre dim R[M]≤d. Assume M is c-divisible, d=1 and t≥3. Then P?∧ ^t P⊕R[M] ^t?1. Assume R is a uni-branched affine algebra over an algebraically closed field and d=1. Then P?∧ ^t P⊕R[M] ^t?1.     

Multiplier Hopf Monoids

The notion of multiplier Hopf monoid in any braided monoidal category is introduced as a multiplier bimonoid whose constituent fusion morphisms are isomorphisms. In the category of vector spaces over the complex numbers, Van Daele’s definition of multiplier Hopf algebra is re-obtained. It is shown that the key features of multiplier Hopf algebras (over fields) remain valid in this more general context. Namely, for a multiplier Hopf monoid A, the existence of a unique antipode is proved — in an appropriate, multiplier-valued sense — which is shown to be a morphism of multiplier bimonoids from a twisted version of A to A. For a regular multiplier Hopf monoid (whose twisted versions are multiplier Hopf monoids as well) the antipode is proved to factorize through a proper automorphism of the object A. Under mild further assumptions, duals in the base category are shown to lift to the monoidal categories of modules and of comodules over a regular multiplier Hopf monoid. Finally, the so-called Fundamental Theorem of Hopf modules is proved — which states an equivalence between the base category and the category of Hopf modules over a multiplier Hopf monoid.     

<Emphasis Type="Italic">π</Emphasis>-Armendariz rings relative to a monoid

Let M be a monoid. A ring R is called M-π-Armendariz if whenever α = a ₁ g ₁ + a ₂ g ₂ + · · · + a _n g _n , β = b ₁ h ₁ + b ₂ h ₂ + · · · + b _m h _m ∈ R[M] satisfy αβ ∈ nil(R[M]), then a _i b _j ∈ nil(R) for all i, j. A ring R is called weakly 2-primal if the set of nilpotent elements in R coincides with its Levitzki radical. In this paper, we consider some extensions of M-π-Armendariz rings and further investigate their properties under the condition that R is weakly 2-primal. We prove that if R is an M-π-Armendariz ring then nil(R[M]) = nil(R)[M]. Moreover, we study the relationship between the weak zip-property (resp., weak APP-property, nilpotent p.p.-property, weak associated prime property) of a ring R and that of the monoid ring R[M] in case R is M-π-Armendariz.     

Equivariant cohomology and localization for Lie algebroids

Let M be a manifold carrying the action of a Lie group G, and let A be a Lie algebroid on M equipped with a compatible infinitesimal G-action. Using these data, we construct an equivariant cohomology of A and prove a related localization formula for the case of compact G. By way of application, we prove an analog of the Bott formula.     

Sets of minimal distances and characterizations of class groups of Krull monoids

Let H be a Krull monoid with finite class group G such that every class contains a prime divisor. Then every non-unit \(a \in H\) can be written as a finite product of atoms, say \(a=u_1 \cdot \ldots \cdot u_k\). The set \(\mathsf L (a)\) of all possible factorization lengths k is called the set of lengths of a. There is a constant \(M \in \mathbb N\) such that all sets of lengths are almost arithmetical multiprogressions with bound M and with difference \(d \in \Delta ^* (H)\), where \(\Delta ^* (H)\) denotes the set of minimal distances of H. We study the structure of \(\Delta ^* (H)\) and establish a characterization when \(\Delta ^*(H)\) is an interval. The system \(\mathcal L (H) = \{ \mathsf L (a) \mid a \in H \}\) of all sets of lengths depends only on the class group G, and a standing conjecture states that conversely the system \(\mathcal L (H)\) is characteristic for the class group. We confirm this conjecture (among others) if the class group is isomorphic to \(C_n^r\) with \(r,n \in \mathbb N\) and \(\Delta ^*(H)\) is not an interval.     

On a conjecture of Bulman-Fleming and Gilmour

If S is a monoid, the set S×S equipped with componentwise S-action is called the diagonal act of S and is denoted by D(S). We prove the following theorem: the right S-act S ⁿ (1≠n∈?) is (principally) weakly flat if and only if \(\prod _{i=1}^{n}A_{i}\) is (principally) weakly flat where A _i , 1≤i≤n are (principally) weakly flat right S-acts, if and only if the diagonal act D(S) is (principally) weakly flat. This gives an answer to a conjecture posed by Bulman-Fleming and Gilmour (Semigroup Forum 79:298–314, 2009). Besides, we present a fair characterization of monoids S over which the diagonal act D(S) is (principally) weakly flat and finally, we impose a condition on D(S) in order to make S a left PSF monoid.