# Second cohomology group for trivial group action between additive groups of ring of integers localized at sets of primes

The goal of this page is to discuss the second cohomology group for trivial group action where both and are additive groups of rings of integers localized at sets of primes. Explicitly, there are subsets of the set of all prime numbers such that and .

## Computation of the group

We use the formula for second cohomology group for trivial group action of abelian group in terms of Schur multiplier and abelianization (which is a special case of the formula for second cohomology group for trivial group action in terms of Schur multiplier and abelianization), namely the following short exact sequence:

where is the exterior square of and also coincides with the Schur multiplier of .

Note that since locally cyclic implies epabelian, the Schur multiplier of is the trivial group, and all extensions are themselves abelian groups. In particular, , and we get:

Thus, the computation of is equivalent to the computation of , and the elements of these classify the congruence classes of group extensions, all of which are abelian.

We now turn to an explicit description in terms of the sets and . First, define as the set of all primes in that are not in . Now:

- Let be the external direct product of the additive groups of p-adic integers for all . Note that if is empty, we take as the trivial group.
- Recall that there is a natural embedding of inside each of the direct factors of (we begin with the natural embedding of inside , the p-adics, then extend to an embedding of all of using the fact that is -powered. Let be the image of the diagonal embedding in arising from each of these embeddings.
- The group that we are trying to compute is .

Some simple cases are described below:

Case | Description of |
---|---|

, in other words, the base of the extension has all the powering that the extension group does, and possibly more. | trivial group |

quotient of additive group of p-adic integers by group of integers, i.e., the quotient | |

is the set of all primes, | quotient of profinite completion of the integers by the integers, i.e., the group . |

## Elements

Basically, we use the element of the -adic group to describe what root to adjoin at each stage.