3
$\begingroup$

Let $R$ be a ring (assumed to be commutative and with unit). What is the center of the category of $R$-algebras, i.e. $\text{Z}(R\text{-Alg})$? This is a commutative monoid. See this recent question for the definition of the center. Actually it is easy to reformulate this using the free $R$-algebra on one generator, which classifies elements in $R$-algebras:

$\text{Z}(R\text{-Alg})$ consists of the polynomials $p \in R[t]$ such that $p(0)=0, p(1)=1$ and in $R[t_1,t_2]$ we have $p(t_1 + t_2) = p(t_1) + p(t_2)$ and $p(t_1 * t_2) = p(t_1) * p(t_2)$. The commutative monoid structure on the center corresponds to $(p_1,p_2) \mapsto p_1(p_2)$. You can also view the center as the endomorphism monoid of the bialgebra $R[t]$.

If we write $p = a_n t^n + ... + a_1 t$ with $a_n \neq 0$, then from $p(t_1 t_2) = p(t_1) p(t_2)$ we get that $a_n$ annihilates every $a_i$ with i < n and that every $a_i$ is idempotent. Thus if $R$ has only trivial idempotents, it follows $p = t^n$ and we have to ask when $(t_1 + t_2)^n = t_1^n + t_2^n$ in order to restrict $n$. Besides, even if $R$ has idempotents, $p(t_1 + t_2) = p(t_1) + p(t_2)$ implies that $(t_1 + t_2)^n = t_1^n + t_2^n$. For $R = \mathbb{Z}$, it is easy to see $n=1$ and thus the center is trivial. For $R = \mathbb{F}_p$, it is easy to see that $n$ is a power of $p$, so that the center is $\cong \mathbb{N}$, generated by the Frobenius. This means that the Frobenius is the universal endomorphism of the rings of characteristic $p$. But what about other rings $R$?

$\endgroup$
2
  • 1
    $\begingroup$ Sorry, but shouldn't we require $p(rt)=rp(t)$ for every $r\in R$ as well? $\endgroup$ Apr 10, 2011 at 12:55
  • $\begingroup$ Oh, you're right! Please edit it as you wish ;). $\endgroup$ Apr 11, 2011 at 21:38

1 Answer 1

3
$\begingroup$

It's a standard lemma that the gcd of the binomial coefficients $(k,n-k)$ (for $0\lt k\lt n$) is $p$ when $n=p^r$ for some $r>0$ (with $p$ prime) and $1$ in all other cases. It follows that for any $f(t)\in R[t]$ with properties as described, there is a finite splitting $R=\prod_{i=1}^mR_i$, where for each $i$ either

(a) $f(t)$ maps to $t$ in $R_i[t]$; or

(b) Some prime $p$ is zero in $R_i$, and $f(t)$ maps to $t^{p^{r_i}}$ in $R_i[t]$ for some $r_i>0$.

Thus, the general case is not very different from the ones you mentioned already. These ideas crop up in the study of formal group laws and the dual Steenrod algebra, so they are fairly well known among algebraic topologists.

UPDATE: as darij says, for the centre of $R$-Alg we should additionally insist that $f(at)=a f(t)$ for all $a\in R$, or equivalently that $a^{p^{r_i}}=a$ for all $a\in R_i$. In the case where $r_i=1$ and $p=2$ this means that $R_i$ is a Boolean algebra, so by the Stone representation theorem it is the ring of continuous functions from $X_i$ to $\mathbb{Z}/p$ for some Stone space $X_i$. I think this also holds for $p>2$. If $r_i>1$ then we can still pick a field $F$ of order $p^{r_i}$, whose Galois group $G$ over $\mathbb{Z}/p$ will be cyclic of order $r_i$. If $X_i$ is a Stone space with an action of $G$, then the ring of continuous $G$-equivariant maps from $X_i$ to $F$ will have the properties required for $R_i$. I think that every possible $R_i$ arises in this way.

$\endgroup$
4
  • $\begingroup$ Where can I find this gcd computation of the binomial coefficients? Also, you mean $(n;k)$, right? $\endgroup$ May 15, 2011 at 11:03
  • $\begingroup$ By the way, your classification of these rings is known (and also correct): It is Theorem 6.1 in "Topological representations of algebras" by Arens, Kaplansky. $\endgroup$ May 15, 2011 at 11:11
  • $\begingroup$ @Martin: By $(k,n-k)$ I mean $n!/(k! (n-k)!)$. The original reference for the gcd of these is probably numdam.org/item?id=BSMF_1955__83__251_0. It is also explained in many other places, including Section 6 of my formal groups notes at shef.ac.uk/nps/courses/formalgroups/fg.pdf $\endgroup$ May 15, 2011 at 19:15
  • $\begingroup$ Thanks. In the proof of your lemma 6.9 it should be $b^{p-i}$ instead if $b^i$. $\endgroup$ May 17, 2011 at 14:58

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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