**Are you an EPFL student looking for a semester project?**

Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.

Concept# Commutative ring

Summary

In mathematics, a commutative ring is a ring in which the multiplication operation is commutative. The study of commutative rings is called commutative algebra. Complementarily, noncommutative algebra is the study of ring properties that are not specific to commutative rings. This distinction results from the high number of fundamental properties of commutative rings that do not extend to noncommutative rings.
Definition and first examples
Definition
A ring is a set R equipped with two binary operations, i.e. operations combining any two elements of the ring to a third. They are called addition and multiplication and commonly denoted by "+" and "\cdot"; e.g. a+b and a \cdot b. To form a ring these two operations have to satisfy a number of properties: the ring has to be an abelian group under addition as well as a monoid under multiplication, where multiplication distributes over addition; i.e.,

Official source

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications

Loading

Related people

Loading

Related units

Loading

Related concepts

Loading

Related courses

Loading

Related lectures

Loading

Related publications (23)

Loading

Loading

Loading

Related units (2)

Related courses (21)

MATH-310: Algebra

Study basic concepts of modern algebra: groups, rings, fields.

MATH-311: Rings and modules

The students are going to solidify their knowledge of ring and module theory with a major emphasis on commutative algebra and a minor emphasis on homological algebra.

MATH-215: Rings and fields

C'est un cours introductoire dans la théorie d'anneau et de corps.

Related concepts (150)

Ring (mathematics)

In mathematics, rings are algebraic structures that generalize fields: multiplication need not be commutative and multiplicative inverses need not exist. In other words, a ring is a set equipped wit

Field (mathematics)

In mathematics, a field is a set on which addition, subtraction, multiplication, and division are defined and behave as the corresponding operations on rational and real numbers do. A field is thus

Polynomial ring

In mathematics, especially in the field of algebra, a polynomial ring or polynomial algebra is a ring (which is also a commutative algebra) formed from the set of polynomials in one or more indeterm

In this thesis, we study interactions between algebraic and coalgebraic structures in infinity-categories (more precisely, in the quasicategorical model of (infinity, 1)-categories). We define a notion of a Hopf algebra H in an E-2-monoidal infinity-category and lift some results about ordinary Hopf algebras, such as the fundamental theorem of Hopf modules, to this setting. We also study Hopf-Galois extensions in this context. Given a candidate Hopf-Galois extension, i.e., a map f : A -> B of H-comodule algebras where H coacts on A trivially, we construct a structured version of the comparison map B (x)_A B -> H (x) B that allows us to compare the category of descent data for f with a category of "B-modules equipped with a semilinear coaction of H". We provide further insights into the case of commutative (i.e., E-infinity) comodule algebras over a commutative Hopf algebra, for instance a description of the aforementioned category of modules equipped with a semilinear coaction as the limit of a "categorified cobar construction". Moreover, we provide a simple description of comodules over a space in slice categories of the infinity-category of spaces, which enables us to realize multiplicative Thom objects as comodule algebras and thus incorporate them into the aforementioned framework.

K-Theory was originally defined by Grothendieck as a contravariant functor from a subcategory of schemes to abelian groups, known today as K0. The same kind of construction was then applied to other fields of mathematics, like spaces and (not necessarily commutative) rings. In all these cases, it consists of some process applied, not directly to the object one wants to study, but to some category related to it: the category of vector bundles over a space, of finitely generated projective modules over a ring, of locally free modules over a scheme, for instance. Later, Quillen extracted axioms that all these categories satisfy and that allow the Grothendieck construction of K0. The categorical structure he discovered is called today a Quillen-exact category. It led him not only to broaden the domain of application of K-theory, but also to define a whole K-theory spectrum associated to such a category. Waldhausen next generalized Quillen's notion of an exact category by introducing categories with weak equivalences and cofibrations, which one nowadays calls Waldhausen categories. K-theory has since been studied as a functor from the category of suitably structured (Quillen-exact, Waldhausen, symmetric monoidal) small categories to some category of spectra1. This has given rise to a huge field of research, so much so that there is a whole journal devoted to the subject. In this thesis, we want to take advantage of these tools to begin studying K-theory from another perspective. Indeed, we have the impression that, in the generalization of topological and algebraic K-theory that has been started by Quillen, something important has been left aside. K-theory was initiated as a (contravariant) functor from the various categories of spaces, rings, schemes, …, not from the category of Waldhausen small categories. Of course, one obtains information about a ring by studying its Quillen-exact category of (finitely generated projective) modules, but still, the final goal is the study of the ring, and, more globally, of the category of rings. Thus, in a general theory, one should describe a way to associate not only a spectrum to a structured category, but also a structured category to an object. Moreover, this process should take the morphisms of these objects into account. This gives rise to two fundamental questions. What kind of mathematical objects should K-theory be applied to? Given such an object, what category "over it" should one consider and how does it vary over morphisms? Considering examples, we have made the following observations. Suppose C is the category that is to be investigated by means of K-theory, like the category of topological spaces or of schemes, for instance. The category associated to an object of C is a sub-category of the category of modules over some monoid in a monoidal category with additional structure (topological, symmetric, abelian, model). The situation is highly "fibred": not only morphisms of C induce (structured) functors between these sub-categories of modules, but the monoidal category in which theses modules take place might vary from one object of C to another. In important cases, the sub-categories of modules considered are full sub-categories of "locally trivial" modules with respect to some (possibly weakened notion of) Grothendieck topology on C . That is, there are some specific modules that are considered sufficiently simple to be called trivial and locally trivial modules are those that are, locally over a covering of the Grothendieck topology, isomorphic to these. In this thesis, we explore, with K-theory in view, a categorical framework that encodes these kind of data. We also study these structures for their own sake, and give examples in other fields. We do not mention in this abstract set-theoretical issues, but they are handled with care in the discussion. Moreover, an appendix is devoted to the subject. After recalling classical facts of Grothendieck fibrations (and their associated indexed categories), we provide new insights into the concept of a bifibration. We prove that there is a 2-equivalence between the 2-category of bifibrations over a category ℬ and a 2-category of pseudo double functors from ℬ into the double category of adjunctions in CAT. We next turn our attention to composable pairs of fibrations , as they happen to be fundamental objects of the theory. We give a characterization of these objects in terms of pseudo-functors ℬop → FIBc into the 2-category of fibrations and Cartesian functors. We next turn to a short survey about Grothendieck (pre-)topologies. We start with the basic notion of covering function, that associate to each object of a category a family of coverings of the object. We study separately the saturation of a covering function with respect to sieves and to refinements. The Grothendieck topology generated by a pretopology is shown to be the result of these two steps. We define then, inspired by Street [89], the notion of (locally) trivial objects in a fibred category P : ℰ → ℬ equipped with some notion of covering of objects of the base ℬ. The trivial objects are objects chosen in some fibres. An object E in the fibre over B ∈ ℬ is locally trivial if there exists a covering {fi : Bi → B}i ∈ I such the inverse image of E along fi is isomorphic to a trivial object. Among examples are torsors, principal bundles, vector bundles, schemes, locally constant sheaves, quasi-coherent and locally free sheaves of modules, finitely generated projective modules over commutative rings, topological manifolds, … We give conditions under which locally trivial objects form a subfibration of P and describe the relationship between locally trivial objects with respect to subordinated covering functions. We then go into the algebraic part of the theory. We give a definition of monoidal fibred categories and show a 2-equivalence with monoidal indexed categories. We develop algebra (monoids and modules) in these two settings. Modules and monoids in a monoidal fibred category ℰ → ℬ happen to form a pair of fibrations . We end this thesis by explaining how to apply this categorical framework to K-theory and by proposing some prospects of research. ______________________________ 1 Works of Lurie, Toën and Vezzosi have shown that K-theory really depends on the (∞, 1)-category associated to a Waldhausen category [94]. Moreover, topological K-theory of spaces and Banach algebras takes the fact that the Waldhausen category is topological in account [62, 70].

A language is said to be homogeneous when all its words have the same length. Homogeneous languages thus form a monoid under concatenation. It becomes freely commutative under the simultaneous actions of every permutation group G(n) on the collection of homogeneous languages of length n is an element of N. One recovers the isothetic regions from (Haucourt 2017, to appear (online since October 2017)) by considering the alphabet of connected subsets of the space vertical bar G vertical bar, viz the geometric realization of a finite graph G. Factoring the geometric model of a conservative program amounts to parallelize it, and there exists an efficient factoring algorithm for isothetic regions. Yet, from the theoretical point of view, one wishes to go beyond the class of conservative programs, which implies relaxing the finiteness hypothesis on the graph G. Provided that the collections of n-dimensional isothetic regions over G (denoted by R-n vertical bar G vertical bar) are co -unital distributive lattices, the prime decomposition of isothetic regions is given by an algorithm which is, unfortunately, very inefficient. Nevertheless, if the collections R-n vertical bar G vertical bar satisfy the stronger property of being Boolean algebras, then the efficient factoring algorithm is available again. We relate the algebraic properties of the collections R-n vertical bar G vertical bar to the geometric properties of the space I GI. On the way, the algebraic structure R-n vertical bar G vertical bar is proven to be the universal tensor product, in the category of semilattices with zero, of n copies of the algebraic structure R-1 vertical bar G vertical bar.

2019Related people (4)

Related lectures (43)