Module Theory in $${\mathtt {Sup}}$$Sup

The purpose of this paper is to give a new proof of the Joyal-Tierney theorem (unpublished), which asserts that a morphism f : R → S of commutative rings is an effective descent morphism for modules if and only if f is pure as a morphism of R-modules. Let R be a commutative ring with unit and R−mod the category of R-modules. Since, for any R-module M , the group C(M) = HomAb(M,Q/Z) (where Ab is the category of abelian groups and Q/Z is the rational circle abelian group) becomes an R-module with the action of R on C(M) by (rf)(m) = f(rm) , we can define a functor C : (R−mod)op → R−mod, given by C(M) = HomAb(M,Q/Z). Since the abelian group Q/Z is an injective cogenerator in the category of abelian groups (see, for example, [1]), the functor C is exact and reflects isomorphisms. We say that a morphism f : M → M ′ of R-modules is pure if for any R-module N , 1N ⊗R f : N ⊗R M → N ⊗R M ′ is monic. Let f : M → M ′ be a morphism of R-modules. The next lemma follows from the commutativity of the diagram HomR(C(M), C(M ′)) ≈ HomR(C(M),C(f)) HomR(C(M,C(M))) ≈ C(C(M)⊗R M ′) C(1C(M)⊗Rf) C(C(M)⊗R M), where the vertical morphisms are the canonical isomorphisms. 1. Lemma. Let f : M → M ′ be a morphism of R-modules. The following conditions are equivalent: (a) f is a pure morphism of R-modules. (b) C(f) is a split epimorphism of R-modules. Let f : R → S be a morphism of commutative rings. Recall that a descent datum on an object M ∈ Ob(S−mod) can be described as an S-module morphism θ : M → S⊗RM such that θ makes Received by the editors 1999 August 9 and, in revised form, 2000 February 2. Published on 2000 March 9. 2000 Mathematics Subject Classification: 13C99,18A20,18A30,18A40.

An endomorphism f of an Abelian group A is said to be inessential (in the category of Abelian groups) if it can be extended to an endomorphism of any Abelian group which contains A as a subgroup. In this paper we show that f is as above if and only if (f − v idA)(A) is contained in the maximal divisible subgroup of A for some v ∈ Z.

We study the homology of the dual de Rham complex as functors on the category of abelian groups. We give a description of homology of the dual de Rham complex up to degree 7 for free abelian groups and present a corrected version of the proof of Jean’s computations of the zeroth homology group.

Let G-ZFIDCW denote the category of G-spaces having the G-homotopy type of a finitely dominated G-CW complex for a compact Lie group G. Luck [8] has introduced a functor Wa from G-EF^C^ into the category of abelian groups and has realized the equivariant finiteness obstriction as the element w(X) in Wa(X). That is, a finitely dominated G-CW complex X is G-homotopy equivalent to a finite G-CW complex if and only if w(X)=Q. When G is the trivial group, there is an isomorphism from Wa(X) to the reduced projective group KQ(Z[πι(X)]) which sends the element w (X) to the WalΓs finiteness obstruction ([14]). Anderson [1] and Ehrlich [4] have studied a sufficient condition for w(E)= 0 for some fibration E-^B with fiber S. Munkholm, Pedresen [11], Luck [6, 7, 9] and others have studied the transfer map KQ(Z[^(B)])-^K:Q(Z[^(E)]). The purpose of this paper is to get a sufficient condition for w(X)=0 for a S^space X and a finite cyclic group L. We call G-maps /0: YQ-^X and /0: Y4-*X equivalent if there exists a commutative diagram

Given a pair of short exact sequences in an abelian category A, extending results due to Pressman [7]. We construct nine bivariant long exact sequences that involve the groups extn(δ,β), extn(δ,α) and extn(γ,α) that interlock with the univariant hom-ext sequences determined by (i). Two applications of these sequences in the category of abelian groups are given. Firstly we describe an isomorphism that yields a “constructive” way to compute the adjusted cotorsion part of a reduced cotorsion group and secondly, given a torsion-free, reduced group G with no free summands, we indicate how to determine the p-ranks of the divisible group Ext(G,Z).

We show that non-Archimedean analytic geometry can be viewed as relative algebraic geometry in the sense of Toën–Vaquié–Vezzosi over the category of non-Archimedean Banach spaces. For any closed symmetric monoidal quasi-abelian category we define a topology on certain subcategories of the category of (relative) affine schemes. In the case that the monoidal category is the category of abelian groups, the topology reduces to the ordinary Zariski topology. By examining this topology in the case that the monoidal category is the category of Banach spaces we recover the G-topology or the topology of admissible subsets on affinoids which is used in rigid or Berkovich analytic geometry. This gives a functor of points approach to non-Archimedean analytic geometry. We demonstrate that the category of Berkovich analytic spaces (and also rigid analytic spaces) embeds fully faithfully into the category of (relative) schemes in our version of relative algebraic geometry. We define a notion of quasi-coherent sheaf on analytic spaces which we use to characterize surjectivity of covers. Along the way, we use heavily the homological algebra in quasi-abelian categories developed by Schneiders.

G(A, X) consists of all homotopy classes of cyclic maps from a space A to another space X. If A is an H-cogroup, then G(A, X) is a group. G(A, X) preserves products in the second variable and is a contravariant functor of A from the full subcategory of H-cogroups and maps into the category of abelian groups and homomorphisms. If X is an H-cogroup, then G(X, X) is a ring.

K-theory for σ-C*-algebras (countable inverse limits of C*-algebras) has been investigated by N. C. Phillips (K-Theory 3, 441–478, 1989). We use his representable K-theory to show that the space of Fredholm modular operators with coefficients in an arbitrary unital σ-C*-algebra A, represents the functor X↦RK0(C(X,A)) from the category of countably compactly generated spaces to the category of abelian groups.

In this chapter, we are going to discuss a basic concept: pure subgroup. This concept has been one of the most fertile notions in the theory since its inception in a paper by the pioneer H. Prufer. The relevance of purity in abelian group theory, and later in module theory, has tremendously grown with time. While abelian groups have been major motivation for a number of theorems in category theory, purity has served as a prototype for relative homological algebra, and has played a significant role in model theory as well.

The computational complexity of module socles

Composition of oriented binary quadratic form-classes over commutative rings

Simplified vanishing moment criteria for wavelets over general dilation groups, with applications to abelian and shearlet dilation groups

Let co be a factor system for the locally compact abelian group G. Then we show that the finite-dimensional unitary irreducible projective representations of G, having factor system co, possess a common dimension d(co).Using a characterisation of d(co) as the index in G of a maximal subgroup on which a> is symmetric we derive a formula for d(co) in the case that G is discrete and finitely generated.

On the mathematical foundations of fuzzy set theory

Let S be a subsemigroup of an abelian torsion-free group G. If S is a positive cone of G, then all C*-algebras generated by faithful isometrical non-unitary representations of S are canonically isomorphic. Proved by Murphy, this statement generalized the well-known theorems of Coburn and Douglas. In this note we prove the reverse. If all C*-algebras generated by faithful isometrical non-unitary representations of S are canonically isomorphic, then S is a positive cone of G. Also we consider G = Z\times Z and prove that if S induces total order on G, then there exist at least two unitarily not equivalent irreducible isometrical representation of S. And if the order is lexicographical-product order, then all such representations are unitarily equivalent.