Kendall's W
In mathematics, the Herbrand quotient is a quotient of orders of cohomology groups of a cyclic group. It was invented by Jacques Herbrand. It has an important application in class field theory.
Definition
If G is a finite cyclic group acting on a G-module A, then the cohomology groups Hn(G,A) have period 2 for n≥1; in other words
- Hn(G,A) = Hn+2(G,A),
an isomorphism induced by cup product with a generator of H2(G,Z). (If instead we use the Tate cohomology groups then the periodicity extends down to n=0.)
A Herbrand module is an A for which the cohomology groups are finite. In this case, the Herbrand quotient h(G,A) is defined to be the quotient
- h(G,A) = |H2(G,A)|/|H1(G,A)|
of the order of the even and odd cohomology groups.
Alternative definition
The quotient may be defined for a pair of endomorphisms of an Abelian group, f and g, which satisfy the condition fg = gf = 0. Their Herbrand quotient q(f,g) is defined as
if the two indices are finite. If G is a cyclic group with generator γ acting on an Abelian group A, then we recover the previous definition by taking f = 1 - γ and g = 1 + γ + γ2 + ... .
Properties
- The Herbrand quotient is multiplicative on short exact sequences.[1] In other words, if
- 0 → A → B → C → 0
is exact, and any two of the quotients are defined, then so is the third and[2]
- h(G,B) = h(G,A)h(G,C)
- If A is finite then h(G,A) = 1.[2]
- For A is a submodule of the G-module B of finite index, if either quotient is defined then so is the other and they are equal:[1] more generally, if there is a G-morphism A → B with finite kernel and cokernel then the same holds.[2]
- If Z is the integers with G acting trivially, then h(G,Z) = |G|
- If A is a finitely generated G-module, then the Herbrand quotient h(A) depends only on the complex G-module C⊗A (and so can be read off from the character of this complex representation of G).
These properties mean that the Herbrand quotient is usually relatively easy to calculate, and is often much easier to calculate than the orders of either of the individual cohomology groups.
See also
References
43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.
- 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534 See section 8. - 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534 - 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534 - 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534 - 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534 - 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534