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

Throughout I am looking at one parameter group laws.

Let $R$ be a commutative ring with identity. Let $\mathbb{G}_a(X,Y) \in R[[X,Y]]$ be the formal additive group law, i.e., $\mathbb{G}_a(X,Y)= X+Y$.

I proved that $\operatorname{End}(\mathbb{G}_a) \cong R$, when $R$ has characteristic $0$.

I am trying to figure out what $\operatorname{End}(\mathbb{G}_a)$ will be when $R$ is a field of positive characteristic $p$.

I think I managed to show that any element of $\operatorname{End}(\mathbb{G}_a)$ in this case is of the form $a_oT + a_1T^{p^1} + a_2T^{p^2}+...$ But, I am not quite sure what the ring $\operatorname{End}(\mathbb{G}_a)$ should be.

Any help would be appreciated.

It is possible that the elements of $\operatorname{End}(\mathbb{G}_a)$ do not have the form I think they do. In that case it would be helpful to know what form the elements of $\operatorname{End}(\mathbb{G}_a)$ have.

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

When $k$ is a field of positive characteristic $p$, then $\text{End}(\mathbb{G}_{a,k})$ is isomorphic to the non-commutative polynomial ring $k \langle \tau \rangle$, where the multiplication is induced by $\tau b = b^p \tau$ for $b \in k$. In fact, $\tau$ is the frobenius $T^p$. This result follows easily from your observation.

share|cite|improve this answer
It's not the non-commutative power series ring in $\tau?$ – jspecter Apr 30 '12 at 14:03
Oh, you consider the formal scheme. Ok then it's the power series ring. – Martin Brandenburg Apr 30 '12 at 18:30

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.