Spelling suggestions: "subject:"functor category"" "subject:"junctor category""
1 |
Grothendieck rings of theories of modulesPerera, Simon January 2011 (has links)
We consider right modules over a ring, as models of a first order theory. We explorethe definable sets and the definable bijections between them. We employ the notionsof Euler characteristic and Grothendieck ring for a first order structure, introduced byJ. Krajicek and T. Scanlon in [24]. The Grothendieck ring is an algebraic structurethat captures certain properties of a model and its category of definable sets.If M is a module over a product of rings A and B, then M has a decomposition into a direct sum of an A-module and a B-module. Theorem 3.5.1 states that then the Grothendieck ring of M is the tensor product of the Grothendieck rings of the summands.Theorem 4.3.1 states that the Grothendieck ring of every infinite module over afield or skew field is isomorphic to Z[X].Proposition 5.2.4 states that for an elementary extension of models of anytheory, the elementary embedding induces an embedding of the corresponding Grothendieck rings. Theorem 5.3.1 is that for an elementary embedding of modules, we have the stronger result that the embedding induces an isomorphism of Grothendieck rings.We define a model-theoretic Grothendieck ring of the category Mod-R and explorethe relationship between this ring and the Grothendieck rings of general right R-modules. The category of pp-imaginaries, shown by K. Burke in [7] to be equivalentto the subcategory of finitely presented functors in (mod-R; Ab), provides a functorial approach to studying the generators of theGrothendieck rings of R-modules. It is shown in Theorem 6.3.5 that whenever R andS are Morita equivalent rings, the rings Grothendieck rings of the module categories Mod-R and Mod-S are isomorphic.Combining results from previous chapters, we derive Theorem 7.2.1 saying that theGrothendieck ring of any module over a semisimple ring is isomorphic to a polynomialring Z[X1,...,Xn] for some n.
|
2 |
Une description fonctorielle des K-théories de Morava des 2-groupes abéliens élémentaires / A functorial description of the Morava K-theories of elementary abelian 2-groupsNguyen, Le Chi Quyet 07 July 2017 (has links)
Le but de cette thèse est l'étude, d'un point de vue fonctoriel, des K-théories de Morava modulo 2 des 2-groupes abéliens élémentaires. Autrement dit, nous étudions les foncteurs covariants $V \mapsto K(n)^*(BV^{\sharp})$ pour le premier p=2 et n un entier positif.Le cas n=1, qui résulte directement du travail d'Atiyah sur la K-théorie topologique, nous donne un foncteur coanalytique qui ne possède aucun sous-foncteur polynomial non-constant. Il est très différent du cas n>1, où les foncteurs mentionnés ci-dessus s'avèrent être analytiques.La théorie de Henn-Lannes-Schwartz fournit une correspondance entre les foncteurs analytiques et les modules instables sur l'algèbre de Steenrod. Nous déterminons le module instable correspondant au foncteur analytique $V \mapsto K(2)^*(BV^{\sharp})$, en étudiant la relation entre ce foncteur et la structure d'anneau de Hopf de l'homologie de l'omega-spectre associé à la théorie K(2). / The aim of this PhD thesis is to study, from a functorial point of view, the mod 2 Morava K-theories of elementary abelian 2-groups. Namely, we study the covariant functors $V \mapsto K(n)^*(BV^{\sharp})$ for the prime p=2 and n a positive integer.The case n=1, which follows directly from the work of Atiyah on topological K-theory, gives us a coanalytic functor which contains no non-constant polynomial sub-functor. This is very different from the case n>1, where the above-mentioned functors are analytic.The theory of Henn-Lannes-Schwartz provides a correspondence between analytic functors and unstable modules over the Steenrod algebra. We determine the unstable module corresponding to the analytic functor $V \mapsto K(2)^*(BV^{\sharp})$, by studying the relation between this functor and the Hopf ring structure of the homology of the omega-spectrum associated to the theory K(2).
|
Page generated in 0.0368 seconds