Matches in SemOpenAlex for { <https://semopenalex.org/work/W82132905> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W82132905 endingPage "42" @default.
- W82132905 startingPage "38" @default.
- W82132905 abstract "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." @default.
- W82132905 created "2016-06-24" @default.
- W82132905 creator A5078223444 @default.
- W82132905 date "2000-01-01" @default.
- W82132905 modified "2023-09-23" @default.
- W82132905 title "Pure morphisms of commutative rings are effective descent morphisms for modules. A new proof." @default.
- W82132905 cites W2023237551 @default.
- W82132905 cites W2120713972 @default.
- W82132905 hasPublicationYear "2000" @default.
- W82132905 type Work @default.
- W82132905 sameAs 82132905 @default.
- W82132905 citedByCount "14" @default.
- W82132905 countsByYear W821329052012 @default.
- W82132905 countsByYear W821329052017 @default.
- W82132905 countsByYear W821329052019 @default.
- W82132905 crossrefType "journal-article" @default.
- W82132905 hasAuthorship W82132905A5078223444 @default.
- W82132905 hasConcept C114614502 @default.
- W82132905 hasConcept C118615104 @default.
- W82132905 hasConcept C128107574 @default.
- W82132905 hasConcept C136170076 @default.
- W82132905 hasConcept C137212723 @default.
- W82132905 hasConcept C156772000 @default.
- W82132905 hasConcept C161491579 @default.
- W82132905 hasConcept C183778304 @default.
- W82132905 hasConcept C202444582 @default.
- W82132905 hasConcept C33923547 @default.
- W82132905 hasConceptScore W82132905C114614502 @default.
- W82132905 hasConceptScore W82132905C118615104 @default.
- W82132905 hasConceptScore W82132905C128107574 @default.
- W82132905 hasConceptScore W82132905C136170076 @default.
- W82132905 hasConceptScore W82132905C137212723 @default.
- W82132905 hasConceptScore W82132905C156772000 @default.
- W82132905 hasConceptScore W82132905C161491579 @default.
- W82132905 hasConceptScore W82132905C183778304 @default.
- W82132905 hasConceptScore W82132905C202444582 @default.
- W82132905 hasConceptScore W82132905C33923547 @default.
- W82132905 hasLocation W821329051 @default.
- W82132905 hasOpenAccess W82132905 @default.
- W82132905 hasPrimaryLocation W821329051 @default.
- W82132905 hasRelatedWork W136099788 @default.
- W82132905 hasRelatedWork W136369986 @default.
- W82132905 hasRelatedWork W1525306800 @default.
- W82132905 hasRelatedWork W169391395 @default.
- W82132905 hasRelatedWork W1709148114 @default.
- W82132905 hasRelatedWork W2002229290 @default.
- W82132905 hasRelatedWork W2006569317 @default.
- W82132905 hasRelatedWork W2010288545 @default.
- W82132905 hasRelatedWork W2023237551 @default.
- W82132905 hasRelatedWork W2072601339 @default.
- W82132905 hasRelatedWork W2075905962 @default.
- W82132905 hasRelatedWork W2111160556 @default.
- W82132905 hasRelatedWork W2120713972 @default.
- W82132905 hasRelatedWork W2493333586 @default.
- W82132905 hasRelatedWork W2911631723 @default.
- W82132905 hasRelatedWork W2950653325 @default.
- W82132905 hasRelatedWork W2950673973 @default.
- W82132905 hasRelatedWork W3008837963 @default.
- W82132905 hasRelatedWork W409480478 @default.
- W82132905 hasRelatedWork W638383600 @default.
- W82132905 hasVolume "7" @default.
- W82132905 isParatext "false" @default.
- W82132905 isRetracted "false" @default.
- W82132905 magId "82132905" @default.
- W82132905 workType "article" @default.