In mathematics, the Grothendieck group, or group of differences, of a commutative monoid M is a certain abelian group. This abelian group is constructed from M in the most universal way, in the sense that any abelian group containing a homomorphic of M will also contain a homomorphic image of the Grothendieck group of M. The Grothendieck group construction takes its name from a specific case in , introduced by Alexander Grothendieck in his proof of the Grothendieck–Riemann–Roch theorem, which resulted in the development of K-theory. This specific case is the monoid of isomorphism classes of of an , with the direct sum as its operation.
Given a commutative monoid M, "the most general" abelian group K that arises from M is to be constructed by introducing inverse elements to all elements of M. Such an abelian group K always exists; it is called the Grothendieck group of M. It is characterized by a certain universal property and can also be concretely constructed from M.
If M does not have the cancellation property (that is, there exists a, b and c in M such that and ), then the Grothendieck group K cannot contain M. In particular, in the case of a monoid operation denoted multiplicatively that has a zero element satisfying for every the Grothendieck group must be the trivial group (group with only one element), since one must have
for every x.
Let M be a commutative monoid. Its Grothendieck group is an abelian group K with a monoid homomorphism satisfying the following universal property: for any monoid homomorphism from M to an abelian group A, there is a unique group homomorphism such that
This expresses the fact that any abelian group A that contains a homomorphic image of M will also contain a homomorphic image of K, K being the "most general" abelian group containing a homomorphic image of M.
K-theory#Grothendieck completion
To construct the Grothendieck group K of a commutative monoid M, one forms the Cartesian product . The two coordinates are meant to represent a positive part and a negative part, so corresponds to in K.
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.
In mathematics, the tensor product of modules is a construction that allows arguments about bilinear maps (e.g. multiplication) to be carried out in terms of linear maps. The module construction is analogous to the construction of the tensor product of vector spaces, but can be carried out for a pair of modules over a commutative ring resulting in a third module, and also for a pair of a right-module and a left-module over any ring, with result an abelian group.
In mathematics, the Grothendieck group, or group of differences, of a commutative monoid M is a certain abelian group. This abelian group is constructed from M in the most universal way, in the sense that any abelian group containing a homomorphic of M will also contain a homomorphic image of the Grothendieck group of M. The Grothendieck group construction takes its name from a specific case in , introduced by Alexander Grothendieck in his proof of the Grothendieck–Riemann–Roch theorem, which resulted in the development of K-theory.
In mathematics, the notion of cancellativity (or cancellability) is a generalization of the notion of invertibility. An element a in a magma (M, ∗) has the left cancellation property (or is left-cancellative) if for all b and c in M, a ∗ b = a ∗ c always implies that b = c. An element a in a magma (M, ∗) has the right cancellation property (or is right-cancellative) if for all b and c in M, b ∗ a = c ∗ a always implies that b = c. An element a in a magma (M, ∗) has the two-sided cancellation property (or is cancellative) if it is both left- and right-cancellative.
Algebraic K-theory, which to any ring R associates a sequence of groups, can be viewed as a theory of linear algebra over an arbitrary ring. We will study in detail the first two of these groups and a
In this course we will describe in numerous examples how methods from l-adic cohomology as developed by Grothendieck, Deligne and Katz can interact with methods from analytic number theory (prime numb
This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous
Let k be a field of characteristic p, where p is a prime number, let pp_k(G) be the Grothendieck group of p-permutation kG-modules, where G is a finite group, and let Cpp_k(G) be pp_k(G) tensored with
The Grothendieck group of permutation modules for a finite group G becomes a biset functor when G is allowed to vary. All the composition factors of this biset functor are determined.
Elsevier2011
Let k be an algebraically closed field of characteristic p, where p is a prime number or 0. Let G be a finite group and ppk(G) be the Grothendieck group of p-permutation kG-modules. If we tensor it wi