On N-Summations, I

This paper continues recent work on N-summations (see [8, 9, 12]). More specifically, it addresses the issue of existence of N-summations both for cone semirings and for prenormed semitopological semimodules. In the case of a cone semiring C we assume N-order completeness plus compatibility of N-joins with addition and multiplication to make the class of summarily bounded elements of C ^N into an N-summation for C. In the case of a prenormed semitopological semimodule M we use certain completeness properties of semitopologies on M to make the class of Cauchy elements of M ^N into an N-summation for M. Results on semitopologies and their connection with closure operators are contained in the Appendix.     

Convexity theories 0. Foundations

For an arbitrary prenormed semiring, the closed unit ball functor from the category _R pnSmod ¹ ofR-prenormedR-semimodules with contractions to the category of sets has a left adjoint. For such a semiringR the notion of finitary convexity theory overR is introduced and the category C of -modules is defined. It is shown that the canonical functor _R pnSmod ¹ C has a left adjoint. In caseR is a banach semiring one has infinitary convexity theories, in addition to the finitary ones, and again the canonical functor _R bnSmod ¹ C has a left adjoint.Many more happy returns, Nico. Sixty is forever.     

Cartesian Closed Topological Categories and Tensor Products

The projective tensor product in a category of topological R-modules (where R is a topological ring) can be defined in Top, the category of topological spaces, by the same universal property used to define the tensor product of R-modules in Set. In this article, we extend this definition to an arbitrary topological category X and study how the Cartesian closedness of X is related to the monoidal closedness of the category of R-module objects in X. Mathematics Subject Classifications (2000) 18D15, 18D35, 18A40.     

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.     

Cauchy Complete Nearness Spaces

A nearness space is Cauchy complete if every regular Cauchy filter on the space is convergent. We show that the category CCNear ₂ of Cauchy complete N ₂ spaces is reflective in the category Near ₂ C of N ₂-spaces and Cauchy maps and that the reflection of an N ₂-space is given by the strict extension associated with regular Cauchy filters on the space.     

On <Emphasis Type="Italic">N</Emphasis>-Summations,II

Given any R-semimodule M equipped with a semitopology we construct an N-protosummation for M. If satisfies certain properties, then a similar construction leads to an unconditional N-summation for M, that is an N-summation for M equipped with the trivial prenorm MD over the N-summation (D^N,_D) for D. Conversely any N-protosummation on M gives rise to a topology . If both and satisfy a certain separation property, then and form a Galois connection. Dedicated to my friend and collegue Nico Pumplün on the occasion of his 70th birthdayMathematics Subject Classifications (2000) 16Y60, 54A05.     

Near-Rings and Partitioned Groups

Over a commutative ring R with identity, free modules M with 2 distinguished submodules are studied. The category Rep₂R of such objects M have the obvious morphisms between them, which are homomorphisms between .R-modules preserving the distinguished submodules. The endo-morphisms for each M constitute a subalgebra End_RM of the algebra End_RM and the readability of λ-generated R-algebras A as End_RM is considered for cardinals λ. Despite the fact that 4 is the minimal number of distinguished submodules for realizing any algebra over a field il, we are able to prove a similar result in Rep₂R for many rings R including R = Z and algebras which are cotorsion-free. Several examples illustrate the boarder line of our main result. The main theorem is applied for constructing Butler groups in [11]     

Some morphisms of modules over the ring of pseudorational numbers

We study various morphisms of modules over the ring of pseudorational numbers R. We obtain a criterion for a quasi-isomorphism between finitely generated R-modules, introduce the concept of a pseudohomomorphism, and prove that the Krull-Remak-Schmidt theorem holds in the category of pseudohomomorphisms of finitely generated R-modules.     

Connected and Disconnected Maps

A new relation between morphisms in a category is introduced—roughly speaking (accurately in the categories Set and Top), f ∥ g iff morphisms w:dom(f)→dom(g) never map subobjects of fibres of f non-constantly to fibres of g. (In the algebraic setting replace fibre with kernel.) This relation and a slight weakening of it are used to define “connectedness” versus “disconnectedness” for morphisms. This parallels and generalises the classical treatment of connectedness versus disconnectedness for objects in a category (in terms of constant morphisms). The central items of study are pairs (F,G)({\mathcal F},{\mathcal G}) of classes of morphisms which are corresponding fixed points of the polarity induced by the ∥-relation. Properties of such pairs are examined and in particular their relation to (pre)factorisation systems is analysed. The main theorems characterise:

Direct Reflections

A pointed endofunctor (and in particular a reflector) (R, r) in a category X is direct iff for each morphism f : X Y the pullback of R f against r _Y exists and the unique fill-in morphism u from X to the pullback is such that R u is an isomorphism. (This is close to the concept of a simple reflector introduced by Cassidy, Hébert and Kelly in 1985.) We give sufficient conditions for directness, and for directness to imply reflectivity. We also relate directness to perfect morphisms, and we give several examples and counterexamples in general topology.     

Skew Monoidal Monoids

Skew monoidal categories are monoidal categories with non-invertible “coherence” morphisms. As shown in a previous article, bialgebroids over a ring R can be characterized as the closed skew monoidal structures on the category Mod-R in which the unit object is R_R. This offers a new approach to bialgebroids and Hopf algebroids. Little is known about skew monoidal structures on general categories. In the present article, we study the one-object case: skew monoidal monoids (SMMs). We show that they possess a dual pair of bialgebroids describing the symmetries of the (co)module categories of the SMM. These bialgebroids are submonoids of their own base and are rank 1 free over the base on the source side. We give various equivalent definitions of SMM, study the structure of their (co)module categories, and discuss the possible closed and Hopf structures on a SMM.     

Generalizations of coatomic modules

For a ring R and a right R-module M, a submodule N of M is said to be δ-small in M if, whenever N+X=M with M/X singular, we have X=M. Let ℘ be the class of all singular simple modules. Then δ(M)=Σ{ L≤ M| L is a δ-small submodule of M} = Re _jm(℘)=∩{ N⊂ M: M/N∈℘. We call M δ-coatomic module whenever N≤ M and M/N=δ(M/N) then M/N=0. And R is called right (left) δ-coatomic ring if the right (left) R-module R _R(_RR) is δ-coatomic. In this note, we study δ-coatomic modules and ring. We prove M=⊕ _i=1 ⁿ M_i is δ-coatomic if and only if each M _i (i=1,…, n) is δ-coatomic.     

Extremal Prime Filters and Universality of Some Categories

Abstract

Due to the existence of constants, classical topological categories cannot be universal in the sense of containing each concrete category as a full subcategory. In the point-free case, this obstruction vanishes and the question of universality makes sense again. The main problem, namely that as to whether the category of locales and localic morphisms is universal is still open; we prove, however, the universality of the following categories:

- pairs (locale, sublocale) with the localic morphisms preserving the distinguished sublocales,

- frames with frame homomorphisms reflecting the maximal prime ideals,

- Priestley spaces with f-maps preserving the maximal elements.     

R 0-algebras and weak dually residuated lattice ordered semigroups

We introduce the notion of weak dually residuated lattice ordered semi-groups (WDRL-semigroups) and investigate the relation between R ₀-algebras and WDRL-semigroups. We prove that the category of R ₀-algebras is equivalent to the category of some bounded WDRL-semigroups. Moreover, the connection between WDRL-semigroups and DRL-semigroups is studied.     

Toric P-difference varieties

In this paper, we introduce the concept of P-difference varieties and study the properties of toric P-difference varieties. Toric P-difference varieties are analogues of toric varieties in difference algebraic geometry. The category of affine toric P-difference varieties with toric morphisms is shown to be antiequivalent to the category of affine P [x]-semimodules with P [x]-semimodule morphisms. Moreover, there is a one-to-one correspondence between the irreducible invariant P-difference subvarieties of an affine toric P-difference variety and the faces of the corresponding affine P [x]-semimodule. We also define abstract toric P-difference varieties by gluing affine toric P-difference varieties. The irreducible invariant P-difference subvariety-face correspondence is generalized to abstract toric P-difference varieties. By virtue of this correspondence, a divisor theory for abstract toric P-difference varieties is developed.     

光滑映射芽的R_N-轨道切空间及R_N-无限决定性

本文研究了光滑映射芽在R_N作用下的轨道切空间的问题.利用乘积积分理论的方法,获得了光滑映射芽关于右等价群的一类子群R_N的无限决定性的结果,推广了光滑映射芽是R_N-有限决定的结果.     

Gelfand Factor Rings and Weak Zariski Topologies

Let R be any ring with identity. Let N(R) (resp. J(R)) denote the prime radical (resp. Jacobson radical) of R, and let Spec _r (R) (resp. Spec _l (R), Max _r (R), Prim _r (R)) denote the set of all right prime ideals (resp. all left prime ideals, all maximal right ideals, all right primitive ideals) of R. In this article, we study the relationships among various ring-theoretic properties and topological conditions on Spec _r (R) (with weak Zariski topology). The following results are obtained: (1) R/N(R) is a Gelfand ring if and only if Spec _r (R) is a normal space if and only if Spec _l (R) is a normal space; (2) R/J(R) is a Gelfand ring if and only if every right prime ideal containing J(R) is contained in a unique maximal right ideal.     

On the one-sided Wiener’s Theorem for the motion group onR N

It is proved that the one-sided Wiener’s Theorem does not hold for the motion group SO(N)⋊R ^N . That is, there exists a proper closed right ideal inL ₁(SO(N)⋊R ^N ) which is not contained in any closed maximal right ideal.