Rings whose multiplicative endomorphisms are power functions

Let R be a commutative ring. For any positive integer m, the power function f:R→R defined by f(x):=x ^m is easily seen to be an endomorphism of the multiplicative semigroup (R,?). In this note, we characterize the commutative rings R with identity for which every multiplicative endomorphism of (R,?) is equal to a power function. Specifically, we show that every endomorphism of (R,?) is a power function if and only if R is a finite field.     

Fixed points of endomorphisms of trace monoids

It is proved that the fixed point submonoid and the periodic point submonoid of a trace monoid endomorphism are always finitely generated. If the dependence alphabet is a transitive forest, it is proved that the set of regular fixed points of the (Scott) continuous extension of an endomorphism to real traces is Ω-rational for every endomorphism if and only if the monoid is a free product of free commutative monoids.     

Endomorphisms of complete heyting algebras

Each monoid can be represented as the endomorphism monoid of a complete Heyting algebra. More generally, the category of soberT ₁-spaces and their open continuous maps, and consequently the category of complete Heyting algebras are universal. On the other hand, it is often impossible to represent monoids using more special (Hausdorff) complete Heyting algebras: for instance, each finite commutative endomorphism monoid of such a Heyting algebra is weakly idempotent. Support of the Natural Sciences and Engineering Research Council of Canada and the Grant Agency of the Czech Republic under Grant 201/93/950 is gratefully acknowledged. Support of the Natural Sciences and Engineering Research Council of Canada is gratefully acknowledged.     

Semigroups whose endomorphisms are power functions

For any commutative semigroup S and any positive integer m, the power function f:S→S defined by f(x)=x ^m is an endomorphism of S. In this paper we characterize finite cyclic semigroups as those finite commutative semigroups whose endomorphisms are power functions. We also prove that if S is a finite commutative semigroup with 1≠0, then every endomorphism of S preserving 1 and 0 is equal to a power function if and only if either S is a finite cyclic group with zero adjoined or S is a cyclic nilsemigroup with identity adjoined. Immediate consequences of the results are, on the one hand, a characterization of commutative rings whose multiplicative endomorphisms are power functions given by Greg Oman in the paper (Semigroup Forum, 86 (2013), 272–278), and on the other hand, a partial solution of Problem 1 posed by Oman in the same paper.     

Abelian groups with normal endomorphism rings

A ring is said to be normal if all of its idempotents are central. It is proved that a mixed group A with a normal endomorphism ring contains a pure fully invariant subgroup G ⊕ B, the endomorphism ring of a group G is commutative, and a subgroup B is not always distinguished by a direct summand in A. We describe separable, coperiodic, and other groups with normal endomorphism rings. Also we consider Abelian groups in which the square of the Lie bracket of any two endomorphisms is the zero endomorphism. It is proved that every central invariant subgroup of a group is fully invariant iff the endomorphism ring of the group is commutative.     

Almost universal varieties of monoids

The constant mappings onto the unit form a zero subcategory of any category of monoid homomorphisms; a varietyV of monoids isalmost universal if every category of algebras is isomorphic to a class of all nonzero homomorphisms between members ofV. Almost universal monoid varieties are shown to be exactly those varieties containing all commutative monoids in which the identity xⁿyⁿ=(xy)ⁿ fails for every n>1. Almost universal varieties of monoids can also be characterized categorically as the varieties containing all groups with zero as one-object full subcategories.Presented by B. M. Schein.The support of NSERC is gratefully acknowledged.     

Finite character of finitely stable domains

A commutative domain is finitely stable if every nonzero finitely generated ideal is stable, i.e. invertible over its endomorphism ring. A domain satisfies the local stability property provided that every locally stable ideal is stable.We prove that a finitely stable domain satisfies the local stability property if and only if it has finite character, that is every nonzero ideal is contained in at most finitely many maximal ideals. This result allows us to answer the open problem of whether every Clifford regular domain is of finite character.     

The formal theory of Hopf algebras Part II: The case of Hopf algebras

Abstract

The category Hopf_R of Hopf algebras over a commutative unital ring R is analyzed with respect to its categorical properties. The main results are: (1) For every ring R the category Hopf_R is locally presentable, it is coreflective in the category of bialgebras over R, over every R-algebra there exists a cofree Hopf algebra. (2) If, in addition, R is absoluty flat, then Hopf_R is reflective in the category of bialgebras as well, and there exists a free Hopf algebra over every R-coalgebra. Similar results are obtained for relevant subcategories of Hopf_R. Moreover it is shown that, for every commutative unital ring R, the so-called “dual algebra functor” has a left adjoint and that, more generally, universal measuring coalgebras exist.     

Universal gradings of orders

For commutative rings, we introduce the notion of a universal grading, which can be viewed as the “largest possible grading”. While not every commutative ring (or order) has a universal grading, we prove that every reduced order has a universal grading, and this grading is by a finite group. Examples of graded orders are provided by group rings of finite abelian groups over rings of integers in number fields. We also generalize known properties of nilpotents, idempotents, and roots of unity in such group rings to the case of graded orders; this has applications to cryptography. Lattices play an important role in this paper; a novel aspect is that our proofs use that the additive group of any reduced order can in a natural way be equipped with a lattice structure.     

Derived equivalences and Gorenstein algebras

We introduce a notion of Gorenstein R-algebras over a commutative Gorenstein ring R. Then we provide a necessary and sufficient condition for a tilting complex over a Gorenstein R-algebra A to have a Gorenstein R-algebra B as the endomorphism algebra and a construction of such a tilting complex. Furthermore, we provide an example of a tilting complex over a Gorenstein R-algebra A whose endomorphism algebra is not a Gorenstein R-algebra.     

Resolvability vs. almost resolvability

A space X is κ-resolvable (resp. almost κ-resolvable) if it contains κ dense sets that are pairwise disjoint (resp. almost disjoint over the ideal of nowhere dense subsets of X).Answering a problem raised by Juhász, Soukup, and Szentmiklóssy, and improving a consistency result of Comfort and Hu, we prove, in ZFC, that for every infinite cardinal κ there is an almost κ²-resolvable but not ω₁-resolvable space of dispersion character κ.     

The Hilton-Heckmann argument for the anti-commutativity of cup products

We present a simple extension of the classical Hilton-Eckmann argument which proves that the endomorphism monoid of the unit object in a monoidal category is commutative. It allows us to recover in a uniform way well-known results on the graded-commutativity of cup products defined on the cohomology theories attached to various algebraic structures, as well as some more recent results.

     

Semilattices with the strong endomorphism kernel property

An endomorphism on an algebra ${\mathcal{A}}$ is said to be strong if it is compatible with every congruence on ${\mathcal{A}}$ , and ${\mathcal{A}}$ is said to have the strong endomorphism kernel property provided every congruence on ${\mathcal{A}}$ , other than the universal congruence, is the kernel of a strong endomorphism on ${\mathcal{A}}$ . In this note, we characterize those semilattices that have this property.     

Representations of Inverse Monoids by Partial Automorphisms

It is shown that any inverse semigroup of endomorphisms of an object in a properly (E, M)-structured category admitting intersections may be embedded in an inverse monoid of partial automorphisms between retracts of that object. It follows that every inverse monoid is isomorphic with an inverse monoid of all partial automorphisms between [non-trival] retracts of some object of any [almost] algebraically universal and properly (E, M)-structured category with intersections; in particular, of an [almost] algebraically universal and finitely complete category with arbitrary intersections. Several examples are given.     

Irreducible maps of commutative rings

We give necessary conditions for a map to be irreducible (in the category of finitely generated, torsion free modules) over a non-local, commutative ring and sufficient conditions when the ring is Bass. In particular, we show that an irreducible map of ZG, where G is a square free abelian group, must be a monomorphism with a simple cokernel. We also show that local endomorphism rings are necessary and sufficient for the existence of almost split sequences over a commutative Bass ring and we explicitly describe the modules and the maps in those sequences. The results in this paper enable us to describe the Auslander-Reiten quiver of a non-local Bass ring in [8].     

Constructing Witt-Burnside rings

The Witt-Burnside ring of a profinite group G over a commutative ring A generalizes both the Burnside ring of virtual G-sets and the rings of universal and p-typical Witt vectors over A. The Witt-Burnside ring of G over the monoid ring Z[M], where M is a commutative monoid, is proved isomorphic to the Grothendieck ring of a category whose objects are almost finite G-sets equipped with a map to M that is constant on G-orbits. In particular, if A is a commutative ring and A_× denotes the set A as a monoid under multiplication, then the Witt-Burnside ring of G over Z[A_×] is isomorphic to Graham's ring of “virtual G-strings with coefficients in A.” This result forms the basis for a new construction of Witt-Burnside rings and provides an important missing link between the constructions of Dress and Siebeneicher [Adv. in Math. 70 (1988) 87-132] and Graham [Adv. in Math. 99 (1993) 248-263]. With this approach the usual truncation, Frobenius, Verschiebung, and Teichmüller maps readily generalize to maps between Witt-Burnside rings.     

Modules with absolute endomorphism rings

Eklof and Shelah [8] call an abelian group absolutely indecomposable if it is directly indecomposable in every generic extension of the universe. More generally, we say that an R-module is absolutely rigid if its endomorphism ring is just the ring of scalar multiplications by elements of R in every generic extension of the universe. In [8] it is proved that there do not exist absolutely rigid abelian groups of size ≥ κ(ω), where κ(ω) is the first ω-Erd?s cardinal (for its definition see the introduction). A similar result holds for rigid systems of abelian groups. On the other hand, recently Göbel and Shelah [15] proved that for modules of size < κ(ω) this phenomenon disappears. Their result on R _ω -modules (i.e. on R-modules with countably many distinguished submodules) that establishes the existence of ‘well-behaving’ fully rigid systems of abelian groups of large sizes < κ(ω) will be extended here to a large class of R-modules by proving the existence of modules of any sizes < κ(ω) with endomorphism rings which are absolute. In order to cover rings as general as possible, we utilize a method developed by Brenner, Butler and Corner (see [2, 3, 5]) to reduce the number of distinguished submodules required in the construction from ?₀ to five.We give several applications of our results. They include modules over domains with four pairwise comaximal prime elements, and modules over quasi-local rings whose completions contain at least five algebraically independent elements.     

Finitely continuous differentials on generalized power series

Let κ[[e ^G ]] be the field of generalized power series with exponents in a totally ordered Abelian group G and coefficients in a field κ. Given a subgroup H of G such that G/H is finitely generated, we construct a vector space Ω _G/H of differentials as a universal object in certain category of κ[[e ^H ]]-derivations on κ[[e ^G ]]. The vector space Ω _G/H together with logarithmic residues gives rise to a framework for certain combinatorial phenomena, including the inversion formula for diagonal delta sets.     

The Strong Endomorphism Kernel Property in Ockham Algebras

An endomorphism on an algebra 𝒜 is said to be “strong” if it is compatible with every congruence on 𝒜; and 𝒜 is said to have the “strong endomorphism kernel property” if every congruence on 𝒜, different from the universal congruence, is the kernel of a strong endomorphism on 𝒜. Here we consider this property in the context of Ockham algebras. In particular, for those MS-algebras that have this property we describe the structure of their dual space in terms of 1-point compactifications of discrete spaces.