Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I've found different definitions of the same cohomology group and I would like to prove that they are equivalent. For $G$ a group and $A$ a $G$-module, Weibel defines in "An introduction to homological algebra" a derivation $D:G \rightarrow A$ as a function which satisfies $D(gh) = g D(h) + D(g)$ (let's call these the left derivations). Now, in "Arithmetic of Elliptic Curves" by Silverman, a derivation is defined as a function $D: G \rightarrow A$ such that $D(gh) = h D(g) + D(h)$ (the right derivations). They both define $H^1(G;A)$ as these derivations modulo the principal derivations (the derivations of the form $D_a(g) = ga-g$ for some $a \in A$). Now, I would like to prove that these definitions of $H^1(G;A)$ are the same. I see that the principal derivations are derivations in both definitions, so I would like to define an isomorphism between the left and right derivations, but I can't seem to find one.

Any thoughts ?

share|cite|improve this question
up vote 1 down vote accepted

Define $G^{op}$ to be the opposite group of $G$. This is the group with the same underlying set of elements, but with group operation $\ast$ defined by $g\ast h =h\cdot g$, where $\cdot$ denotes the group operation in $G$. Note that left modules over $G$ are right modules over $G^{op}$, and vice-versa.

Then a right derivation of $G$ is exactly a left derivation of $G^{op}$.

The source of the apparently different definitions is that Silverman's coefficients are right $G$-modules, whereas Weibel's are left $G$-modules.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.