arXiv:1104.1931v4 [math.RA] 16 Mar 2017

BINOMIAL RINGS: AXIOMATISATION,
TRANSFER AND CLASSIFICATION

Qimh Richey Xantcha∗

27th March 2018

Argument
Hall’s binomial rings, rings with binomial coeHcients, are given an axiomatisation
and proved identical to the numerical rings studied by Ekedahl. The Binomial Transfer Principle is established, enabling combinatorial proofs of algebraical identities.
The finitely generated binomial rings are completely classified. An application to
modules over binomial rings is given.
MSC2010. Primary: 13F99. Secondary: 13F20.

The abstract study of binomial coeHcients seems to have been initiated by
Hall [5] (§6), who introduced the concept of binomial rings in connexion
with his ground-breaking work on nilpotent groups. The definition is simple.
A binomial ring is a commutative, unital ring R which is torsion-free and
closed in Q b R under the “formation of binomial coeHcients”:
ˆ ˙
r
r pr ´ 1q ¨ ¨ ¨ pr ´ n ` 1q
.
r ÞÑ
“
n!
n
(Hall required R to be a domain.)
Binomial rings naturally manifest themselves in the theories of integervalued polynomials, Witt vectors and λ-rings; to name but a few. We refer the
reader to Elliott’s article [3] and the lucid monograph [10] by Yau, where these
topics have been expounded upon.
∗ Qimh

Richey Xantcha, Stockholm University: qimh@math.su.se

1

Xantcha

Binomial Rings: Axiomatisation, Transfer and Classification

More recently, binomial rings have turned out to form the natural framework for discussing polynomial maps and functors of modules; see [8] and
[9].
What is known on binomial rings stems principally from a recent paper
[3] by Elliott, which, in particular, aims to elucidate the connexion between
binomial rings and λ-rings. Let us compile a list of their most important
properties.
1. The free binomial ring on the set X is the ring
tf P QrX s | f pZX q Ď Zu
of integer-valued polynomials on X . ([3], Proposition 2.1)
2. The following conditions on a commutative, unital ring R are equivalent
([3], Theorem 4.1, 4.2):
(a) R is the quotient of a binomial ring.
(b) The elements of R satisfy every integer polynomial congruence universally true for the integers.
(c) apa ´ 1q ¨ ¨ ¨ pa ´ n ` 1q is divisible by n! for every n P N.
(d) Fermat’s Little Theorem holds: ap ” a mod pR for every prime p.
(e) The Frobenius map a ÞÑ ap is the identity on R{pR for every prime p.
(f) R{pR is reduced for every prime p, and each of its residue fields is
isomorphic to Z{p.
Adjoining, in each case, the assumption that R lack torsion, these transform into criteria for R to be binomial.
3. The binomial property is preserved under the following constructions:
localisation, direct products, tensor products, filtered inductive and projective limits. ([3], Propositions 5.1, 5.4, 5.5)
4. The inclusion functor from binomial rings to rings has both a left and a
right adjoint. ([3], Theorems 7.1, 9.1)
5. Binomial rings are equivalent to λ-rings with trivial Adams operations.
([7], Proposition 1.2; [3], Proposition 8.3)
6. The Binomial Theorem. Let R be binomial and let A be a commutative algebra over R which is complete with respect to the ideal I . The equation
8 ˆ ˙
ÿ
r n
r
p1 ` xq “
x
n“0

2

n

Binomial Rings: Axiomatisation, Transfer and Classification

Xantcha

defines an R-module structure on the abelian group p1 ` I , ¨q. ([3], Proposition 11.1)
Ekedahl [2], preferring the axiomatic approach, proposed six axioms intended to capture the properties of binomial coeHcients. He appears not to
have been familiar with the work of Hall and never proved his numerical rings
(as he called them) to be equivalent to Hall’s binomial rings. Rectifying this is
one object of the present paper. Indeed, we not only justify, but improve upon
Ekedahl’s axioms, dropping the ghastliest axiom (the sixth):

In order for a commutative, unital ring to be binomial, it is ne` ˘
cessary and sufficient that it be equipped with unary operations r ÞÑ nr (n P N),
satisfying the following five axioms.
ˆ
˙
ÿ ˆa˙ˆb˙
a`b
i.
“
.
n
p q
p`q“n
Theorem 2.

ˆ
ii.

ˆ ˙ ˆ ˙
˙
n ˆ ˙
ÿ
ÿ
b
b
ab
a
¨¨¨
.
“
q
q
n
m
1
m
q1 `¨¨¨`qm “n
m“0
qi ě1

ˆ ˙ˆ ˙
iii.

a
m

a
“
n

n ˆ
ÿ
k“0

˙ˆ
˙ˆ ˙
a
m`k n
.
m`k
n
k

ˆ ˙
1

“ 0 when n ě 2.
n
ˆ ˙
ˆ ˙
a
a
v.
“ 1 and
“ a.
0
1

iv.

Ekedahl’s sixth axiom was a (non-explicit) formula for reducing an iterated
` r ˘
binomial coeHcient pmn q to simple ones. Surprisingly, such a formula will
turn out to be a consequence of the five axioms listed. (No explicit formula
for iterated binomial coeHcients appears to exist. Golomb [4] has summarised
what is known on the subject.)
We next prove the following Transfer Principle, formally sanctioning combinatorial proofs of algebraical identities in binomial rings. Compare property 2(b) above.
Theorem 5 (The Binomial Transfer Principle).
A binomial polynomial identity universally valid in Z is valid in every binomial ring.
Our most important result is the complete classification of all finitely generated binomial rings.
3

Binomial Rings: Axiomatisation, Transfer and Classification

Xantcha

Theorem 9 (The Structure Theorem for Finitely Generated Binomial Rings).

Let R be a finitely generated binomial ring. There exist unique positive, simply
composite integers m1 , . . . , mk such that
´1
1
R – Zrm´
1 s ˆ ¨ ¨ ¨ ˆ Zrmk s.

The classification is used in the treatment of torsion-free modules in Section §6.
§1. Definition and Examples
Hall’s original definition, as found in [5] (Section 6), reads as follows.
A commutative ring R with unity is a binomial ring if it is
Definition 1.
1
torsion-free and closed in Q b R under the operations

r pr ´ 1q ¨ ¨ ¨ pr ´ n ` 1q
.
n!
Example 1.
In any Q-algebra, binomial coeHcients may be defined by the
usual formula.
4
r ÞÑ

Example 2.
For any integer m ‰ 0, the ring Zrm´1 s is binomial. Since it
inherits the binomial coeHcients from Q, it is simply a question of verifying
closure under the formation of binomial coeHcients. Because
ˆa˙
a a
p ´ 1q ¨ ¨ ¨ p fa ´ pn ´ 1qq
apa ´ f q ¨ ¨ ¨ pa ´ pn ´ 1qf q
f f
f
“
“
,
n
n!
n !f n
it will suHce to prove that whenever pi | n!, but p - b, then

pi | pa ` bqpa ` 2bq ¨ ¨ ¨ pa ` nbq.
To this end, let

n “ cm pm ` ¨ ¨ ¨ ` c1 p ` c0 ,

0 ď ci ď p ´ 1,

be the base p representation of n. For fixed k and 0 ď d ă ck , the numbers

a ` pcm pm ` ¨ ¨ ¨ ` ck`1 pk`1 ` dpk ` iqb,

1 ď i ď pk ,

(1)

will form a set of representatives for the congruence classes modulo pk , as will
of course the numbers

cm pm ` ¨ ¨ ¨ ` ck`1 pk`1 ` dpk ` i,

1 ď i ď pk .

(2)

Note that if x ” y mod pk and j ď k, then pj | x iv pj | y. Hence there are at
least as many factors p among the numbers (1) as among the numbers (2). The
claim now follows.
4
1 The

word torsion will, here and elsewhere, be taken to mean Z-torsion.

4

Binomial Rings: Axiomatisation, Transfer and Classification

Xantcha

` ˘
Example 3.
Being given by rational polynomials, the operations r ÞÑ nr
give continuous maps Qp Ñ Qp in the p-adic topology. It should be well
known that Z is dense in the ring Zp , and that Zp is closed in Qp . Since the
binomial coeHcients leave Z invariant, the same must be true of Zp , which is
thus binomial.
This provides an alternative proof of the fact that Zrm´1 s is closed under
binomial coeHcients. For this is evidently true of the localisations
Zppq “ Q X Zp ,
and therefore also for
Zrm´1 s “

č

Zppq .

4

p-m

§2. Axioms
We next present, with minor modifications, Ekedahl’s axioms for numerical
rings ([2], Definition 4.1), with the notable exception of the sixth. They have
been amended so as to yield explicit formulæ.
A numerical ring is a commutative ring with unity equipped
Definition 2.
with unary operations
ˆ ˙

r ÞÑ

r
,
n

n P N;

called binomial coefficients, subject to the following axioms.
ˆ
˙
ÿ ˆa˙ˆb˙
a`b
i.
“
.

n

ˆ
ii.

p`q“n

p

q

˙
ˆ ˙ ˆ ˙
n ˆ ˙
ÿ
ÿ
ab
a
b
b
“
¨¨¨
.
n
m q1 `¨¨¨`qm “n q1
qm
m“0
qi ě1

ˆ ˙ˆ ˙
iii.

a
m

a
“
n

n ˆ
ÿ
k“0

˙ˆ
˙ˆ ˙
a
m`k n
.
m`k
n
k

ˆ ˙
1

“ 0 when n ě 2.
n
ˆ ˙
ˆ ˙
a
a
v.
“ 1 and
“ a.
0
1

iv.

For a, b P Z, these identities embody solutions to certain problems of enumerative combinatorics, which we leave for the reader to formulate.
5

Binomial Rings: Axiomatisation, Transfer and Classification

Xantcha

` ˘
It follows easily from Axioms i, iv and v that, when the functions ´
n are
evaluated on natural multiples of unity, we retrieve the ordinary binomial
coeHcients, namely
ˆ
˙
m¨1
mpm ´ 1q ¨ ¨ ¨ pm ´ n ` 1q
¨ 1, m P N.
“
n!
n
` ˘
` ˘
Since nn¨1 “ 1, but n0 “ 0 unless n “ 0, a numerical ring has necessarily
` ˘
characteristic 0, and so contains Z. No confusion arises from writing nr when
r P Z Ď R:

The following formulæ are valid in a numerical ring:
Lemma 1.
ˆ ˙
r
r pr ´ 1q ¨ ¨ ¨ pr ´ n ` 1q
(a)
“
when r P Z.
n
n!
ˆ ˙
r
(b) n!
“ r pr ´ 1q ¨ ¨ ¨ pr ´ n ` 1q for any r.
n

ˆ ˙

ˆ
˙
r
r
(c) n
“ pr ´ n ` 1q
n
n´1

for any r.

Proof. The map
ϕ : pR, `q Ñ p1 ` tRrrtss, ¨q,

r ÞÑ

8 ˆ ˙
ÿ
r

n“ 0

n

tn ,

is, by Axioms i and v, a group homomorphism. Therefore, when r P Z,
ϕpr q “ ϕp1qr “ p1 ` tqr ,
which expands as usual (with ordinary binomial coeHcients) by the Binomial
Theorem. This proves part (a). (An inductive proof would also work.)
To prove parts (b) and (c), we proceed diverently. By Axiom iii,
ˆ
˙ ˆ
˙ˆ ˙ ÿ
˙ˆ
˙ˆ ˙
1 ˆ
r
r
r
r
n´1`k 1
r
“
“
n´1
n´1 1
n´1`k
1
k
k“0
ˆ
˙ˆ
˙ˆ ˙ ˆ ˙ˆ ˙ˆ ˙
r
n´1
1
r
n 1
“
`
n´1
1
0
n
1
1
ˆ
˙
ˆ ˙
r
r
“ pn ´ 1q
`n
,
n´1
n
which reduces to (c). Part (b) then follows inductively from (c).
Our present objective will be showing that numerical and binomial rings
coincide. It follows that the numerical structure on a given ring is always
unique.
6

Binomial Rings: Axiomatisation, Transfer and Classification

Xantcha

Lemma 2.

Let m be an integer. If p is prime and pl | m, but p - k, then pl |

`m˘
k

.

Proof. The number pl divides the right-hand side of
ˆ ˙
ˆ
˙
m
m´1
k
“m
,
k
k´1
and therefore also the left-hand side. But pl is relatively prime to k, so in fact
` ˘
pl | mk .
Lemma 3.

Let m1 , . . . , mk be natural numbers. If
m1 ` 2m2 ` 3m3 ` ¨ ¨ ¨ ` kmk

is prime, then
ˆ

˙
m1 ` ¨ ¨ ¨ ` mk
,
m1 , . . . , mk

m1 ` ¨ ¨ ¨ ` mk |
unless m2 “ ¨ ¨ ¨ “ mk “ 0.

Proof. Consider a prime power pl | m1 ` ¨ ¨ ¨ ` mk . If p - mj , then
ˆ
˙ ˆ
˙ˆř
˙
m1 ` ¨ ¨ ¨ ` mk
m1 ` ¨ ¨ ¨ ` mk
i‰j mi
“
m1 , . . . , mk
mj
tmi ui‰j
is divisible by pl according to Lemma 2, and the assertion follows. Supposing
all mi to be divisible by p, it follows that

p | m1 ` 2m2 ` 3m3 ` ¨ ¨ ¨ ` kmk .
Since this latter number is itself prime, m1 “ p and m2 “ ¨ ¨ ¨ “ mk “ 0.
Lemma 4.
Let R be a numerical ring. Let r P R and m, n P N. If nr “ 0, then
` ˘
also mn mr “ 0.

Proof. This follows inductively, since
ˆ ˙
ˆ
˙
ˆ
˙
r
r
r
mn
“ npr ´ m ` 1q
“ ´npm ´ 1q
,
m
m´1
m´1
using part (c) of Lemma 1.
Theorem 1.

Numerical rings are torsion-free.

Proof. Let r P R (numerical) and let n be a prime number. Supposing nr “ 0,
we calculate
ˆ ˙ ˆ ˙
ˆ ˙ ˆ ˙
n ˆ ˙
ÿ
ÿ
0
nr
r
n
n
0“
“
“
¨¨¨
.
n

n

m“0

m

7

q1 `¨¨¨`qm “n
qi ě1

q1

qm

Xantcha

Binomial Rings: Axiomatisation, Transfer and Classification

Assigning mj , for 1 ď j ď n, to stand for the number of qi that are equal to j
will transform the sum into
ˆ ˙ mn
ˆ
˙ˆ ˙m1 ˆ ˙m2
n ˆ ˙
ÿ
ÿ
n
r
m
n
n
. (3)
¨¨¨
0“
n
m
m
,
.
.
.
,
m
1
2
1
n
m `¨¨¨`m “m
m“0
1

n

m1 `2m2 `¨¨¨`nmn “n

(Given that the value j occurs exactly mj times among the qi , values may dis` m ˘
tributed to the variables qi in m1 ,...
,mn ways, accounting for the multinomial
coeHcient above.)
The inner sum is empty when m “ 0. For m “ 1, it must be that m1 “ ¨ ¨ ¨ “
`˘
mn´1 “ 0 and mn “ 1, and the inner sum reduces to r1 .
In so far as 2 ď m ď n ´ 1, each term of the inner sum is divisible by mn.
` ˘m
Indeed, mj ą 0 for some j ă n, for which Lemma 2 asserts that n | nj j . Also,
` m ˘
mk ą 0 for some k ą 1, and then m | m1 ,...
,mn by Lemma 3.
In the case m “ n, obviously m2 “ ¨ ¨ ¨ “ mn “ 0 and m1 “ n. The inner
` ˘n
sum will equal n1 , which is again divisible by n2 “ mn.
The terms of (3) corresponding to m ě 2 will therefore vanish by Lemma 4,
`˘
leaving only the summand m “ 1. But this term is simply r1 “ r , which is
then equal to zero, and R is torsion-free.
Theorem 2.

Numerical and binomial rings coincide.

Proof. Clearly, binomial rings satisfy the numerical axioms. Conversely, the
binomial coeHcients of a numerical ring fulfil
ˆ ˙
r
n!
“ r pr ´ 1q ¨ ¨ ¨ pr ´ n ` 1q
n
by part (b) of Lemma 1, which, by the absence of torsion, implies
ˆ ˙
r
r pr ´ 1q ¨ ¨ ¨ pr ´ n ` 1q
“
.
n
n!
The appellations numerical and binomial may thus be treated synonymously.
Let us now resolve the mystery of the missing sixth axiom. In Z, there
“exists” a formula for iterated binomial coeHcients:
ˆ` r ˘˙ ÿ
mn ˆ ˙
r
m
“
gk
,
(4)

n

k“1

k

in the sense that there are unique integers gk making the formula valid for
every r P Z. Golomb has examined these iterates in some detail, and his paper
[4] is brought to an end with the discouraging conclusion:
8

Binomial Rings: Axiomatisation, Transfer and Classification

Xantcha

No simple reduction formulas have yet been found for the most general
`n˘
case of pbq .
a

Note, however, that (4) is a polynomial identity with rational coeHcients,
by which it must hold in every Q-algebra, and therefore in every binomial
ring. This proves the redundancy of Ekedahl’s original sixth axiom:
Theorem 3.

The formula
mn
ÿ

ˆ ` r ˘˙
m

n

“

ˆ ˙

gk

k“1

r
k

for iterated binomial coefficients is valid in every binomial ring.
§3. Transfer
Let X be a set, and let EpX q be the term algebra2 based on X . It consists of all
finite words that can be formed from the alphabet
*
"
ˆ ˙ˇ
´ ˇˇ
n
P
N
,
X Y `, ´, ¨, 0, 1,
ˇ

n

` ˘
with binary operations ` and ¨, unary operations ´ and ´
n , and nullary
operations 0 and 1 (constants).
`X ˘
Definition 3.
The ring Z ´
is the result of imposing upon the term algebra the axioms of a commutative ring with unity, along with the numerical
axioms.
The numerical axioms, together with the formula for iterated binomial
`X ˘
coeHcients (Theorem 3) will reduce any element of Z ´
to a binomial polynomial of the form
ˆ ˙ ˆ ˙
m
ÿ
x1
x
cn1 ,...,nk
¨¨¨ k ,
xi P X , cn1 ,...,nk P Z.
n1 ,...,nk “0

n1

nk

Conversely, as is well known, any integer-valued polynomial f pxq P QrX s is
given by a unique binomial polynomial, and we have provided another description of the free binomial ring on X ; confer property 1 in the introductory
section:
2 The

denomination term algebra is borrowed from universal algebra; confer Definition II.10.4

of [1].

9

Xantcha

Theorem 4.

Binomial Rings: Axiomatisation, Transfer and Classification

There is an isomorphism
ˆ ˙
X
Z
– t f P QrX s | f pZX q Ď Z u
´

with the free binomial ring on the set X.
We derive the following very useful corollary.
Theorem 5 (The Binomial Transfer Principle).
A binomial polynomial identity universally valid in Z is valid in every binomial ring.

Proof. A binomial polynomial ppx1 , . . . , xk q evaluating to zero on all integers
is the zero integer-valued polynomial and therefore, by the previous theorem,
the zero binomial polynomial.
§4. Binomial Ideals and Factor Rings
We now make a short survey of binomial ideals and the associated factor rings.

Let I be an ideal of the binomial ring R. The equation
ˆ
˙ ˆ ˙
r`I
r
“
`I
n
n
` ˘
will yield a binomial structure on R{I if and only if ne P I for every e P I and
n ą 0.
` ˘ ` ˘
Proof. The condition is clearly necessary, as we must have ne ” n0 mod I , for
any e P I , in order for the binomial structure to be well defined. Conversely,
` ˘
assuming ne P I for every e P I and n ą 0, the structure is indeed well defined:
ˆ
˙
ÿ ˆr ˙ˆ e ˙ ˆ r ˙ˆ e ˙ ˆ r ˙
r`e
“
”
“
mod I .
n
p q
n 0
n
p`q“n
Theorem 6.

The numerical axioms in R{I follow immediately from those in R.
Definition 4.
An ideal of a binomial ring satisfying the condition of the
previous theorem will be called a binomial ideal.
Example 4.
Z does not possess any non-trivial binomial ideals, because all
its non-trivial factor rings have torsion. Neither do the rings Zrm´1 s.
4
The next theorem provides a kind of converse.

Let R be a (commutative, unital) ring with an ideal I. Suppose I is
a vector space over Q and that R{I is binomial. Then R itself is binomial, and I is a
binomial ideal.

Theorem 7.

10

Binomial Rings: Axiomatisation, Transfer and Classification

Xantcha

Proof. Since I and R{I are both torsion-free, so is R, and there is a commutative diagram with exact rows:
0

/I

/R

/ R{I

/0

0

/ QbI


/ QbR


/ Q b R{I

/0

Also, Q b I “ I , and we may identify
Q b R{I – pQ b Rq{I .
For r P R, we note that
ˆ

r`I
n

˙
“

r pr ´ 1q ¨ ¨ ¨ pr ´ n ` 1q
`I
n!

does in fact lie in R{I , being binomial. It must then be that

r pr ´ 1q ¨ ¨ ¨ pr ´ n ` 1q
P R.
n!
which is thus binomial, having I as a binomial ideal.
§5. Finitely Generated Binomial Rings
We shall now classify the finitely generated binomial rings.

If a (commutative, unital) ring R is torsion-free and finitely generated
as an abelian group, its ring of fractions is Q b R.

Lemma 5.

Proof. By the Structure Theorem for Finitely Generated Abelian Groups, R is
isomorphic to some Zn as an abelian group. Let a P Zn . Multiplication by
a is a linear transformation on Zn , and so may be represented by an integer
matrix A. In so far as a not be a zero-divisor, A will be non-singular. It will
then have an inverse A´1 with rational entries. The inverse of a is given by
a´1 “ A´1 1 P Qn “ Q b R,
where the multiplicative identity 1 P R has been written as a column vector.
The next lemma is considered well known.
Lemma 6.
Let A denote the algebraic integers in the field K Ě Q. If K is finitely
generated over Q, then A is finitely generated over Z.

11

Xantcha

Binomial Rings: Axiomatisation, Transfer and Classification

The subsequent (in)equality of Krull dimensions is supposedly familiar to
scholars in the fields of commutative algebra or algebraic geometry. We are
grateful to Prof. T. Ekedahl for furnishing the proof.
Theorem 8.

Let R be a finitely generated, commutative and unital non-zero

ring. Then
dim Q b R “ dim R{pR ď dim R ´ 1

holds for all but finitely many prime numbers p.
When R is an integral domain of characteristic 0, there is in fact equality for all
but finitely many primes p.
Proof. In the case of positive characteristic n, the inequality will hold trivially,
for then
Q b R “ 0 “ R{pR,
except when p | n.
Consider now the case when R is an integral domain of characteristic 0.
There is an embedding ϕ : Z Ñ R and a corresponding dominant morphism
Spec ϕ : Spec R Ñ Spec Z
of integral schemes, which is of finite type. Letting Frac D denote the field of
fractions of the integral domain D, we may define

Cn “ t P P Spec Z | dimpSpec ϕq´1 pP q “ n u
“ t P P Spec Z | dim R b Frac R{P “ n u
“ t ppq | dim R{pR “ n u Y tp0q | dim R b Q “ nu.
This latter set, by Chevalley’s Constructibility Theorem3 , will contain a dense,
open set in Spec Z if n “ dim R ´ dim Z. Such a set must contain p0q and ppq
for all but finitely many primes p. For these primes,
dim Q b R “ dim R{pR “ n “ dim R ´ 1.
Now let R be an arbitrary ring of characteristic 0. For any prime ideal Q,
R{Q will be an integral domain (but not necessarily of characteristic 0), and
so we can apply the preceding to obtain
dim Q b R{Q “ dim R{pQ ` pRq ď dim R{Q ´ 1,
3 This

proposition appears to belong to the folklore of Algebraic Geometry. An explicit reference is Théorème 2.3 of [6].

12

Binomial Rings: Axiomatisation, Transfer and Classification

Xantcha

for all but finitely many primes p. The prime ideals of Q b R are of the form
Q b Q, where Q is a prime ideal in R. Moreover,
L
pQ b Rq pQ b Qq “ Q b R{Q.
It follows that
L
dim Q b R “ max dimpQ b Rq pQ b Qq
QPSpec R

“ max dim Q b R{Q
QPSpec R

“ max dim R{pQ ` pRq
QPSpec R

“

max

L
dimpR{pRq Q “ dim R{pR

QPSpec R{pR

for all but finitely many p (the maxima are taken over the finitely many minimal prime ideals only). In a similar fashion,
L
dim Q b R “ max dimpQ b Rq pQ b Qq
QPSpec R

“ max dim Q b R{Q
QPSpec R

ď max dim R{Q ´ 1 “ dim R ´ 1.
QPSpec R

The following Classification Theorem, together with its proof, was communicated to us by Prof. Ekedahl.
Theorem 9 (The Structure Theorem for Finitely Generated Binomial Rings).

Let R be a finitely generated binomial ring. There exist unique positive, squarefree integers m1 , . . . , mk such that
´1
1
R – Zrm´
1 s ˆ ¨ ¨ ¨ ˆ Zrmk s.

Proof. Case A: R is finitely generated as an abelian group. If r n “ 0, then, because
of Fermat’s Little Theorem (property 2 in the introduction), r is divisible by p
for all primes p ą n. But in Zn this can only be if r “ 0; hence R is reduced. By
Lemma 5, the ring of fractions is Q b R. As this is reduced and artinian, being
finite-dimensional over Q, it splits into a product of fields of characteristic 0.
Case A1: The ring of fractions is a field. In the special case when the fraction
ring Q b R is a field, whose ring of algebraic integers we denote by A, we
examine the subgroup A X R of A. Since A Ď Q b R, an arbitrary element of
A will have an integer multiple lying in R. This means A{pA X Rq is a torsion
group. Also, the fraction ring Q b R is finitely generated over Q, so, from
13

Binomial Rings: Axiomatisation, Transfer and Classification

Xantcha

Lemma 6, we deduce that A is finitely generated over Z. Because the factor
group A{pA X Rq is both finitely generated and torsion, it is killed by a single
integer N , so that
N pA{pA X Rqq “ 0.
As a consequence,
pA X RqrN ´1 s “ ArN ´1 s.
Now, let z P A, and let p be a prime. The element

z P ArN ´1 s “ pA X RqrN ´1 s
can be written z “ Nak , where a P A X R and k P N. Using Fermat’s Little
Theorem, we find that
pN k qp “ N k ` pn

and

ap “ a ` pb

for some n P Z and b P R. Observe that pb belongs to A X R, hence to ArN ´1 s,
so that b P A, as long as p does not divide N . We then have

zp ´ z “

a ` pb
a
a
ap
´ k “ k
´ k
kp
N
N
`
pn
N
N
“

pa ` pbqN k ´ apN k ` pnq
N k b ´ na
N k b ´ na
“p k
“ p pp`1qk ,
k
k
k
pN ` pnqN
pN ` pnqN
N

and hence

pu “ zp ´ z P A
for some u P ArN ´1 s, assuming p - N . But then, in fact, u P A.
Consequently, for all z P A and all suHciently large primes p, the relation
zp ´ z P pA holds, so that zp “ z in A{pA. Being reduced and artinian (hence
semi-simple), A{pA may be written as a product of fields, and, because of the
equation zp “ z, these fields must all equal Z{p, which means all suHciently
large primes split completely in A. It will then be a consequence of Chebotarev’s Density Theorem4 that Q b R “ Q. Since the assumption is that R is
finitely generated as an abelian group, we infer that R “ Z.
Case A2: The ring of fractions is a product of fields. Supposing now the fraction
ś
ring of R to be a finite product Kj of fields, the projections Rj of R on the
ś
factors Kj will each be binomial. Hence R Ď Rj , each Rj being isomorphic to
Z, according to the above argument. But Z possesses no non-trivial binomial
ideals, so, by Goursat’s Lemma, R must equal a product of copies of Z.
4 (A special case of) Chebotarev’s Density Theorem states the following: The density of the
primes that split completely in a number field K equals |GalpK1 {Qq| . In our case, this set has
density 1.

14

Xantcha

Binomial Rings: Axiomatisation, Transfer and Classification

Case B: R is infinitely generated as an abelian group. Finally, we drop the
assumption that R be finitely generated as a group, and assume it finitely
generated as a ring only. The relation p | r p ´ r ensures that R{pR will be
a finitely generated torsion group for each prime p. It will then have Krull
dimension 0, and it follows from Theorem 8 that dim Qb R “ 0, so that Qb R
is a finite-dimensional vector space over Q. Only finitely many denominators
can be employed in a basis, so there exists an integer M for which RrM ´1 s is
finitely generated over ZrM ´1 s.
We can now more or less repeat the previous argument. The ring RrM ´1 s
will be reduced, and, as before, Qb RrM ´1 s “ Qb R will be finite-dimensional,
hence a product of fields, and we may reduce to the case when it is actually a
field.
Letting A denote the algebraic integers in Q b RrM ´1 s, the factor group
A{pA X RqrM ´1 s will be finitely generated and torsion, hence killed by some
integer, so that, again, we are led to pA X RqrN ´1 s “ ArN ´1 s. As before, we
may draw the conclusion that Q b R “ Q, and consequently that R “ ZrN ´1 s.
This concludes the proof of existence.
Uniqueness. The ring
´1
1
S “ Zrm´
1 s ˆ ¨ ¨ ¨ ˆ Zrmk s,

for square-free integers m1 , . . . , mk , is characterised, among rings of this same
type, by the following two properties.
1. There exist k elements e1 , . . . , ek P S such that:
(a) The set te1 , . . . , ek u is a basis for Q b S.
(b) ei ej “ δij ei (Kronecker delta).
2. Any such basis may be renumbered te1 , . . . , ek u so that ej be divisible
(in S) by a square-free number n if and only if n | mj .
The first property shows that the number k is uniquely determined, and the
second that diverent values for mi yield non-isomorphic rings.
An alternative proof, in the case that R is finitely generated as an abelian
group, runs as follows. As an abelian group, R – Zn since it is torsion-free.
Then R embeds as a subring of matrices

R Ñ End Zn “ Znˆn ,

a ÞÑ λa ,

where λa denotes left multiplication by a. Since R is reduced (the first lines
of the proof above), the minimal polynomial of a P R has distinct irreducible
15

Binomial Rings: Axiomatisation, Transfer and Classification

Xantcha

factors; hence a is diagonalisable over C. Because all elements of R commute,
they are simultaneously diagonalisable, and so R may be considered a subring
of Cn . The projection S of R on any of the n factors is a binomial subring of
C, finitely generated as an abelian group. Now, if S contains a non-integer, it
will contain a non-integer z with Re z ą ´1. For such a z, we have
c
´ 1 ¯
´ 1 ¯
z´n`1
2pRe z ` 1q
Re z ` 1
“ 1´
`O 2 “1´
`O 2 ,

n

n
`z˘

n

n

n

implying that the sequence n P S tends to 0, without ever reaching it, as
˘
ś `
c
n Ñ 8. (We are using here the fact that 8
n“1 1 ` n “ 0 for c ă 0.) But
then clearly S cannot be finitely generated as an abelian group. Consequently,
S contains only integers, and is either Z or 0. Again by Goursat’s Lemma, R
must be a direct product of copies of Z.
§6. Modules
By aid of the Structure Theorem, we may classify the finitely generated modules over a finitely generated binomial ring
´1
1
R – Zrm´
1 s ˆ ¨ ¨ ¨ ˆ Zrmk s

as in the next example.
Example 5.
It will clearly be suHcient to describe the finitely generated
modules over Zrm´1 s. This is a principal ideal domain, whose finitely generated modules admit a decomposition (unique up to reordering) into direct
summands Zrm´1 s{pqq, where pqq is a primary ideal. Such an ideal is either 0
or a power of a prime, q “ pn , in which case
#
´1

n

Zrm s{pp q –

Z{pn

if p - m;

0

if p | m.

Hence a finitely generated module over Zrm´1 s is isomorphic to a unique module of the form
n
Zrm´1 sr ‘ Z{pn1 1 ‘ ¨ ¨ ¨ ‘ Z{pl l ,
where neither of the primes p1 , . . . , pl divides m.

4

Without too much labour, one may arrive at a slightly more general proposition, classifying torsion-free modules M over a binomial ring R, with the
property that M rm´1 s is finitely generated over Zrm´1 s for some integer m.
Note that, this time, we do not assume R to be finitely generated.
16

Xantcha

Binomial Rings: Axiomatisation, Transfer and Classification

Our first observation is that End M rm´1 s will also be a finitely generated
module over Zrm´1 s and thus noetherian, so that the submodule Rrm´1 s is
finitely generated as well. A fortiori, Rrm´1 s is finitely generated as a ring, and,
using the Structure Theorem, we deduce its form to be
´1
1
Rrm´1 s – Zrn´
1 s ˆ ¨ ¨ ¨ ˆ Zrnk s.

For this to be a Zrm´1 s-module, we must have m | ni , and for it to be finitely
generated as such, we must have ni “ m; hence Rrm´1 s – Zrm´1 sk .
1
Next, the projection of R on the i’th factor must be of the form Zrm´
i s,
with mi a factor of m. Therefore,
´1
1
R Ď Zrm´
1 s ˆ ¨ ¨ ¨ ˆ Zrmk s,

1
the projection on each factor now being surjective. Since each factor Zrm´
i s
is devoid of non-trivial binomial ideals, Goursat’s Lemma applies once more
to show that R itself is, in fact, a product of such rings (possibly containing
fewer than k direct factors).
We have thus proved:

Let M be a torsion-free module over the binomial ring R, with the
property that M rm´1 s is finitely generated over Zrm´1 s for some integer m. Then

Theorem 10.

´1
1
R – Zrm´
1 s ˆ ¨ ¨ ¨ ˆ Zrmk s

for some integers mi | m, and M admits of an explicit description as in Example 5.
References
[1] S. Burris & H. P. Sankappanavar: A Course in Universal Algebra, SpringerVerlag 1981.
[2] T. Ekedahl: ‘On Minimal Models in Integral Homotopy Theory’, Homology Homotopy Appl. 4, no. 2 (2002), pp. 191–218.
[3] J. Elliott: ‘Binomial rings, integer-valued polynomials, and λ-rings’,
J. Pure Appl. Algebra 207 (2006), pp. 165–185.
[4] S. W. Golomb: ‘Iterated Binomial CoeHcients’, Amer. Math. Monthly 87,
no. 9 (1980), pp. 719–727.
[5] P. Hall: The Edmonton Notes on Nilpotent Groups, Queen Mary College
Mathematics Notes, Queen Mary College 1976.

17

Xantcha

Binomial Rings: Axiomatisation, Transfer and Classification

[6] J.-P. Jouanolou: Théorèmes de Bertini et Applications, Progr. Math. 42,
Birkhäuser 1983.
[7] C. Wilkerson: ‘Lambda-Rings, Binomial Domains, and Vector Bundles
over CP p8q’, Communications in Algebra 10, no. 3 (1982), pp. 311–328.
[8] Q. R. Xantcha: ‘Polynomial Maps of Modules’, arXiv:1112.0991. To
appear in Comm. Algebra.
[9] Q. R. Xantcha: ‘Polynomial Functors of Modules’, arXiv:1205.0576.
[10] D. Yau: Lambda-Rings, World Scientific 2010.

18

