Smith Ideals of Structured Ring Spectra
نویسنده
چکیده
Pursuing ideas of Jeff Smith, we develop a homotopy theory of ideals of monoids in a symmetric monoidal model category. This includes Smith ideals of structured ring spectra and of differential graded algebras. Such Smith ideals are NOT subobjects, and as a result the theory seems to require us to consider all Smith ideals of all monoids simultaneously, rather then restricting to the Smith ideals of one particular monoid. However, we can take a quotient by a Smith ideal and get a monoid homomorphism. In the stable case, we show that this construction is part of a Quillen equivalence between a model category of Smith ideals and a model category of monoid homomorphisms.
منابع مشابه
EMBEDDING OF THE LATTICE OF IDEALS OF A RING INTO ITS LATTICE OF FUZZY IDEALS
We show that the lattice of all ideals of a ring $R$ can be embedded in the lattice of all its fuzzyideals in uncountably many ways. For this purpose, we introduce the concept of the generalizedcharacteristic function $chi _{s}^{r} (A)$ of a subset $A$ of a ring $R$ forfixed $r , sin [0,1] $ and show that $A$ is an ideal of $R$ if, and only if, its generalizedcharacteristic function $chi _{s}^{...
متن کاملON FUZZY IDEALS OF A RING
The concepts of L-fuzzy ideal generated by a L-fuzzy subset, L-fuzzy prime and completely prime ideal where L is a complete lattice are considered and some results are proved
متن کاملN ov 2 00 2 QUANTIZED COORDINATE RINGS AND RELATED NOETHERIAN
This paper contains a survey of some ring-theoretic aspects of quantized coordinate rings, with primary focus on the prime and primitive spectra. For these algebras, the overall structure of the prime spectrum is governed by a partition into strata determined by the action of a suitable group of automorphisms of the algebra. We discuss this stratification in detail, as well as its use in determ...
متن کاملINTERSECTION OF ESSENTIAL IDEALS IN THE RING OF REAL-VALUED CONTINUOUS FUNCTIONS ON A FRAME
A frame $L$ is called {it coz-dense} if $Sigma_{coz(alpha)}=emptyset$ implies $alpha=mathbf 0$. Let $mathcal RL$ be the ring of real-valued continuous functions on a coz-dense and completely regular frame $L$. We present a description of the socle of the ring $mathcal RL$ based on minimal ideals of $mathcal RL$ and zero sets in pointfree topology. We show that socle of $mathcal RL$ is an essent...
متن کاملOn lattice of basic z-ideals
For an f-ring with bounded inversion property, we show that , the set of all basic z-ideals of , partially ordered by inclusion is a bounded distributive lattice. Also, whenever is a semiprimitive ring, , the set of all basic -ideals of , partially ordered by inclusion is a bounded distributive lattice. Next, for an f-ring with bounded inversion property, we prove that is a complemented...
متن کامل