GRADED INTEGRAL CLOSURES
FRED ROHRER

arXiv:1302.1659v2 [math.AC] 8 Apr 2013

Abstract. It is investigated how graded variants of integral and complete integral
closures behave under coarsening functors and under formation of group algebras.

Introduction
Let G be a group, let R be a G-graded ring, and let S be a G-graded R-algebra.
(Throughout, monoids, groups and rings are understood to be commutative, and algebras
are understood to be commutative, unital and associative.) We study a graded variant
of (complete) integral closure, defined as follows: We denote by Int(R, S) (or CInt(R, S),
resp.) the G-graded sub-R-algebra of S generated by the homogeneous elements of S that
are (almost) integral over R and call this the (complete) integral closure of R in S. If R is
entire (as a G-graded ring, i.e., it has no homogeneous zero-divisors) we consider its graded
field of fractions Q(R), i.e., the G-graded R-algebra obtained by inverting all nonzero
homogeneous elements, and then Int(R) = Int(R, Q(R)) (or CInt(R) = CInt(R, Q(R)),
resp.) is called the (complete) integral closure of R. These constructions behave similar
to their ungraded relatives, as long as we stay in the category of G-graded rings. But
the relation between these constructions and their ungraded relatives, and more generally
their behaviour under coarsening functors, is less clear; it is the main object of study in
the following.
For an epimorphism of groups ψ : G ։ H we denote by •[ψ] the ψ-coarsening functor
from the category of G-graded rings to the category of H-graded rings. We ask for
conditions ensuring that ψ-coarsening commutes with relative (complete) integral closure,
i.e., Int(R, S)[ψ] = Int(R[ψ] , S[ψ] ) or CInt(R, S)[ψ] = CInt(R[ψ] , S[ψ] ), or – if R and R[ψ] are
entire – that ψ-coarsening commutes with (complete) integral closure, i.e., Int(R)[ψ] =
Int(R[ψ] ) or CInt(R)[ψ] = CInt(R[ψ] ). Complete integral closure being a more delicate
notion than integral closure, it is not astonishing that the questions concerning the former
are harder than the other ones. Furthermore, the case of integral closures of entire graded
rings in their graded fields of fractions turns out to be more complicated than the relative
case, because Q(R)[ψ] almost never equals Q(R[ψ] ), hence in addition to the coarsening
we also change the overring in which we form the closure.
The special case H = 0 of parts of these questions was already studied by several
authors. Bourbaki ([3, V.1.8]) treats torsionfree groups G, Van Geel and Van Oystaeyen
2010 Mathematics Subject Classification. Primary 13B22; Secondary 13A02, 16S34.
Key words and phrases. Graded ring, coarsening, integral closure, integrally closed ring, complete
integral closure, completely integrally closed ring, group algebra.
The author was supported by the Swiss National Science Foundation.
1

2

FRED ROHRER

([13]) consider G = Z, and Swanson and Huneke ([11, 2.3]) discuss the case that G is of
finite type. Our main results, generalising these partial results, are as follows.
Theorem 1 Let ψ : G ։ H be an epimorphism of groups and let R be a G-graded ring.
a) If Ker(ψ) is contained in a torsionfree direct summand of G then ψ-coarsening
commutes with relative (complete) integral closure.
b) Suppose that R is entire. If G is torsionfree, or if Ker(ψ) is contained in a torsionfree direct summand of G and the degree support of R generates G, then ψ-coarsening
commutes with integral closure.
The questions above are closely related to the question of how (complete) integral closure behaves under formation of group algebras. If F is a group, there is a canonical
G ⊕ F -graduation on the algebra of F over R; we denote the resulting G ⊕ F -graded
ring by R[F ]. We ask for conditions ensuring that formation of graded group algebras
commutes with relative (complete) integral closure, i.e., Int(R, S)[F ] = Int(R[F ], S[F ])
or CInt(R, S)[F ] = CInt(R[F ], S[F ]), or – if R is entire – that formation of graded
group algebras commutes with (complete) integral closure, i.e., Int(R)[F ] = Int(R[F ])
or CInt(R)[F ] = CInt(R[F ]). Our main results are the following.
Theorem 2 Let G be a group and let R be a G-graded ring. Formation of graded group
algebras over R commutes with relative (complete) integral closure. If R is entire then
formation of graded group algebras over R commutes with (complete) integral closure.
It is maybe more interesting to consider a coarser graduation on group algebras, namely
the G-graduation obtained from R[F ] by coarsening with respect to the canonical projection G ⊕ F ։ G; we denote the resulting G-graded R-algebra by R[F ][G] and call it the
coarsely graded algebra of F over R. We ask for conditions ensuring that formation of
coarsely graded group algebras commutes with relative (complete) integral closure, i.e.,
Int(R, S)[F ][G] = Int(R[F ][G] , S[F ][G] ) or CInt(R, S)[F ][G] = CInt(R[F ][G] , S[F ][G]), or – if
R and R[F ][G] are entire – that formation of coarsely graded group algebras commutes
with (complete) integral closure, i.e., Int(R)[F ][G] = Int(R[F ][G] ) or CInt(R)[F ][G] =
CInt(R[F ][G] ). Ungraded variants of these questions (i.e., for G = 0) for a torsionfree
group F were studied extensively by Gilmer ([6, §12]). On use of Theorems 1 and 2 we
will get the following results.
Theorem 3 Let G and F be groups and let R be a G-graded ring. Formation of the
coarsely graded group algebra of F over R commutes with relative (complete) integral
closure if and only if F is torsionfree. If R is entire and F is torsionfree then formation
of the coarsely graded group algebra of F over R commutes with integral closure.
Some preliminaries on graded rings, coarsening functors, and algebras of groups are
collected in Section 1. Relative (complete) integral closures are treated in Section 2,
and (complete) integral closures of entire graded rings in their graded fields of fractions
are treated in Section 3. Our notation and terminology follows Bourbaki’s Éléments de
mathématique.

GRADED INTEGRAL CLOSURES

3

Before we start, a remark on notation and terminology may be appropriate. Since we try
to never omit coarsening functors (and in particular forgetful functors) from our notations
it seems conceptually better and in accordance with the general yoga of coarsening to not
furnish names of properties of G-graded rings or symbols denoting objects constructed
from G-graded rings with additional symbols that highlight the dependence on G or on
the graded structure. For example, if R is a G-graded ring then we will denote by Nzd(R)
(instead of, e.g., NzdG (R)) the monoid of its homogeneous non-zerodivisors, and we call
R entire (instead of, e.g., G-entire) if Nzd(R) consists of all homogeneous elements of R
different from 0. Keeping in mind that in this setting the symbol “R” always denotes
a G-graded ring (and never, e.g., its underlying ungraded ring), this should not lead to
confusions (whereas mixing up different categories might do so).
Throughout the following let G be a group.

1. Preliminaries on graded rings
First we recall our terminology for graded rings and coarsening functors.
(1.1) By a G-graded ring we mean a pair (R, (Rg )g∈G ) consisting of a ring R and a
family (Rg )g∈G of subgroups of the additive group of R whose direct sum equals the
additive group of R such that Rg Rh ⊆ Rg+h for g, h ∈ G. If no confusion can arise we
denote a G-graded ring (R, (Rg )g∈G ) just by R. Accordingly, for a G-graded ring R and
S
g ∈ G we denote by Rg the component of degree g of R. We set Rhom := g∈G Rg and call
degsupp(R) := {g ∈ G | Rg 6= 0} the degree support of R. We say that R has full support
if degsupp(R) = G and that R is trivially G-graded if degsupp(R) = {0}. Given G-graded
rings R and S, by a morphism of G-graded rings from R to S we mean a morphism of
rings u : R → S such that u(Rg ) ⊆ Sg for g ∈ G. By a G-graded R-algebra we mean
a G-graded ring S together with a morphism of G-graded rings R → S. We denote by
GrAnnG the category of G-graded rings with this notion of morphism. This category has
inductive and projective limits. In case G = 0 we canonically identify GrAnnG with the
category of rings.
(1.2) Let ψ : G ։ H be an epimorphism of groups. For a G-graded ring R we define an
H-graded ring R[ψ] , called the ψ-coarsening of R; its underlying ring is the ring underlying
L
R, and its H-graduation is given by (R[ψ] )h =
g∈ψ−1 (h) Rg for h ∈ H. A morphism
u : R → S of G-graded rings can be considered as a morphism of H-graded rings R[ψ] →
S[ψ] , and as such it is denoted by u[ψ] . This gives rise to a functor •[ψ] : GrAnnG → GrAnnH .
This functor has a right adjoint, hence commutes with inductive limits, and it has a left
adjoint if and only if Ker(ψ) is finite ([10, 1.6; 1.8]). For a further epimorphism of groups
ϕ : H ։ K we have •[ϕ◦ψ] = •[ϕ] ◦ •[ψ] .
(1.3) We denote by
that G = limU ∈F U.
−→
G

FG the set of subgroups of finite type of G, ordered by inclusion, so

4

FRED ROHRER

(1.4) Let F ⊆ G be a subgroup. For a G-graded ring R we define an F -graded ring R(F )
L
with underlying ring the subring g∈F Rg ⊆ R and with F -graduation (Rg )g∈F . For an
F -graded ring S we define a G-graded ring S (G) with underlying ring the ring underlying
(G)
(G)
S and with G-graduation given by Sg = Sg for g ∈ F and Sg = 0 for g ∈ G \ F . If R
is a G-graded ring and F is a set of subgroups of G, ordered by inclusion, whose inductive
limit is G, then R = limF ∈F ((R(F ) )(G) ).
−→
The next remark recalls the two different notions of graded group algebras and, more
general, of graded monoid algebras.
(1.5) Let M be a cancellable monoid, let F be its group of differences, and let R be a
G-graded ring. The algebra of M over R, furnished with its canonical G ⊕ F -graduation,
is denoted by R[M] and called the finely graded algebra of M over R, and we denote by
(ef )f ∈F its canonical basis. So, for (g, f ) ∈ G ⊕ F we have R[M](g,f ) = Rg ef . Denoting
by π : G ⊕ F ։ G the canonical projection we set R[M][G] := R[M][π] and call this
the coarsely graded algebra of M over R. If S is a G-graded R-algebra then S[M] is
a G ⊕ F -graded R[M]-algebra, and S[M][G] is a G-graded R[M][G] -algebra. We have
R[F ] = limU ∈F R[U](G⊕F ) and R[F ][G] = limU ∈F R[U][G] (1.3).
−→
−→
F
F
We will need some facts about graded variants of simplicity (i.e., the property of “being
a field”) and entirety. Although they are probably well-known, we provide proofs for the
readers convenience. Following Lang we use the term “entire” instead of “integral” (to
avoid confusion with the notion of integrality over some ring which is central in this
article) or “domain” (to avoid questions as whether a “graded domain” is the same as
a “domain furnished with a graduation”), and we use the term “simple” (which is more
common in noncommutative algebra) instead of “field” for similar reasons.
(1.6) Let R be a G-graded ring. We denote by R∗ the multiplicative group of invertible
homogeneous elements of R and by Nzd(R) the multiplicative monoid of homogeneous
non-zerodivisors of R. We call R simple if R∗ = Rhom \ 0, and entire if Nzd(R) = Rhom \ 0.
If R is entire then the G-graded ring of fractions Nzd(R)−1 R is simple; we denote it by
Q(R) and call it the (graded) field of fractions of R. If ψ : G ։ H is an epimorphism of
groups and R[ψ] is simple or entire, then R is so. Let F ⊆ G be a subgroup. If R is simple
or entire, then R(F ) is so, and an F -graded ring S is simple or entire if and only if S (G) is
so.
(1.7) Let I be a nonempty right filtering preordered set, and let ((Ri )i∈I , (ϕij )i≤j ) be an
inductive system in GrAnnG over I. Analogously to [2, I.10.3 Proposition 3] we see that if
Ri is simple or entire for every i ∈ I, then limi∈I Ri is simple or entire. If Ri is entire for
−→
every i ∈ I and ϕij is a monomorphism for all i, j ∈ I with i ≤ j, then by [8, 0.6.1.5] we
get an inductive system (Q(Ri ))i∈I in GrAnnG over I with limi∈I Q(Ri ) = Q(limi∈I Ri ).
−→
−→
(1.8) Let F ⊆ G be a subgroup and let ≤ be an ordering on F that is compatible
with its structure of group. The relation “g − h ∈ F≤0 ” is the finest ordering on G that
is compatible with its structure of group and induces ≤ on F ; we call it the canonical

GRADED INTEGRAL CLOSURES

5

extension of ≤ to G. If ≤ is a total ordering then its canonical extension to G induces a
total ordering on every equivalence class of G modulo F .
(1.9) Lemma Let ψ : G ։ H be an epimorphism of groups such that Ker(ψ) is torhom
sionfree, let R be an entire G-graded ring, and let x, y ∈ R[ψ]
\ 0 with xy ∈ Rhom . Then,
x, y ∈ Rhom and xy 6= 0.
Proof. (cf. [2, II.11.4 Proposition 8]) By [2, II.11.4 Lemme 1] we can choose a total ordering
on Ker(ψ) that is compatible with its structure of group. Let ≤ denote its canonical
extension to G (1.8). Let h := deg(x) and h′ := deg(y). There exist strictly increasing
finite sequences (gi )ni=0 in ψ −1 (h) and (gj′ )m
in ψ −1 (h′ ), xi ∈ Rgi \ 0 for i ∈ [0, n], and
j=0
Pn
P
yj ∈ Rgj′ \ 0 for j ∈ [0, m] such that x = i=0 xi and y = m
j=0 yj . If k ∈ [0, n] and
′
′
l ∈ [0, m] with gk + gl = gn + gm then k = n and l = m by [2, VI.1.1 Proposition 1]. This
′
implies that the component of xy of degree gn + gm
equals xn ym 6= 0, so that xy 6= 0. As
hom
′
′
, hence n = m = 0 and therefore
x0 y0 6= 0 and xy ∈ R
it follows g0 + g0 = gn + gm
hom
x, y ∈ R .

(1.10) Corollary Let ψ : G ։ H be an epimorphism of groups such that Ker(ψ) is
∗
.
torsionfree, and let R be an entire G-graded ring. Then, R∗ = R[ψ]
hom
hom
\ 0 with
\ 0 then there exists y ∈ R[ψ]
Proof. Clearly, R∗ ⊆ (R[ψ] )∗ . If x ∈ (R[ψ] )∗ ⊆ R[ψ]
hom
hom
∗
xy = 1 ∈ R , so 1.9 implies x ∈ R , hence x ∈ R .


(1.11) Let R be a G-graded ring and let F be a group. It is readily checked that R[F ]
is simple or entire if and only if R is so. Analogously to [6, 8.1] it is seen that R[F ][G] is
entire if and only if R is entire and F is torsionfree. Together with 1.10 it follows that
R[F ][G] is simple if and only if R is simple and F = 0.
(1.12) Proposition Let ψ : G ։ H be an epimorphism of groups.
a) The following statements are equivalent: (i) ψ is an isomorphism; (ii) ψ-coarsening
preserves simplicity.
b) The following statements are equivalent: (i) Ker(ψ) is torsionfree; (ii) ψ-coarsening
preserves entirety; (iii) ψ-coarsening maps simple G-graded rings to entire H-graded
rings.1
Proof. If K is a field and R = K[Ker(ψ)](G) , then R is simple and R[ψ] is trivially Hgraded, hence R[ψ] is simple or entire if and only if R[0] is so (1.11, 1.6). If Ker(ψ) 6= 0
then R[0] is not simple, and if Ker(ψ) is not torsionfree then R[0] is not entire (1.11). This
proves a) and the implication (iii)⇒(i) in b). The remaining claims follow from 1.9. 
(1.13) A G-graded ring R is called reduced if 0 is its only nilpotent homogeneous element.
With arguments similar to those above one can show that statements (i)–(iii) in 1.12 b) are
also equivalent to the following: (iv) ψ-coarsening preserves reducedness; (v) ψ-coarsening
maps simple G-graded rings to reduced H-graded rings. We will make no use of this fact.
1In

case H = 0 the implication (i)⇒(ii) is [2, II.11.4 Proposition 8].

6

FRED ROHRER

Finally we make some remarks on a graded variant of noetherianness.
(1.14) Let R be a G-graded ring. We call R noetherian if ascending sequences of Ggraded ideals of R are stationary, or – equivalently – if every G-graded ideal of R is of
finite type. Analogously to the ungraded case one can prove a graded version of Hilbert’s
Basissatz: If R is noetherian then so are G-graded R-algebras of finite type. If ψ : G ։ H
is an epimorphism of groups and R[ψ] is noetherian, then R is noetherian. Let F ⊆ G be
a subgroup. It follows from [4, 2.1] that if R is noetherian then so is R(F ) . Moreover, an
F -graded ring S is noetherian if and only if S (G) is so.
If F is a group then it follows from [4, 2.1] and the fact that ef ∈ R[F ]∗ for f ∈ F that
R[F ] is noetherian if and only if R is so. Analogously to [6, 7.7] one sees that R[F ][G] is
noetherian if and only if R is noetherian and F is of finite type. More general, it follows
readily from a result by Goto and Yamagishi ([4, 1.1]) that G is of finite type if and only if
ψ-coarsening preserves noetherianness for every epimorphism of groups ψ : G ։ H. (This
was proven again two years later by Nǎstǎsescu and Van Oystaeyen ([9, 2.1]).)
2. Relative integral closures
We begin this section with basic definitions and first properties of relative (complete)
integral closures.
(2.1) Let R be a G-graded ring and let S be a G-graded R-algebra. An element x ∈ S hom
is called integral over R if it is a zero of a monic polynomial in one indeterminate with
coefficients in Rhom . This is the case if and only if x, considered as an element of S[0] , is
integral over R[0] , as is seen analogously to the first paragraph of [3, V.1.8]. Hence, using
[3, V.1.1 Théorème 1] we see that for x ∈ S hom the following statements are equivalent:
(i) x is integral over R; (ii) the G-graded R-module underlying the G-graded R-algebra
R[x] is of finite type; (iii) there exists a G-graded sub-R-algebra of S containing R[x]
whose underlying G-graded R-module is of finite type.
An element x ∈ S hom is called almost integral over R if there exists a G-graded sub-Rmodule T ⊆ S of finite type containing R[x]. This is the case if and only if x, considered
as an element of S[0] , is almost integral over R[0] . Indeed, this condition is obviously
necessary. It is also sufficient, for if T ⊆ S[0] is a sub-R[0] -module of finite type containing
R[0] [x] then the G-graded sub-R-module T ′ ⊆ S generated by the set of homogeneous
components of elements of T is of finite type and contains T , hence R[x]. It follows from
the first paragraph that if x ∈ S hom is integral over R then it is almost integral over R;
analogously to [3, V.1.1 Proposition 1 Corollaire] it is seen that the converse is true if R
is noetherian (1.14).
(2.2) Let R be a G-graded ring and let S be a G-graded R-algebra. The G-graded
sub-R-algebra of S generated by the set of elements of S hom that are (almost) integral
over R is denoted by Int(R, S) (or CInt(R, S), resp.) and is called the (complete) integral
closure of R in S. We have Int(R, S) ⊆ CInt(R, S), with equality if R is noetherian
(2.1). For an epimorphism of groups ψ : G ։ H we have Int(R, S)[ψ] ⊆ Int(R[ψ] , S[ψ] ) and
CInt(R, S)[ψ] ⊆ CInt(R[ψ] , S[ψ] ) (2.1).

GRADED INTEGRAL CLOSURES

7

Let R′ denote the image of R in S. We say that R is (completely) integrally closed in
S if R′ = Int(R, S) (or R′ = CInt(R, S), resp.), and that S is (almost) integral over R if
Int(R, S) = S (or CInt(R, S) = S, resp.). If R is completely integrally closed in S then
it is integrally closed in S, and if S is integral over R then it is almost integral over R;
the converse statements are true if R is noetherian. If ψ : G ։ H is an epimorphism of
groups, then S is (almost) integral over R if and only if S[ψ] is (almost) integral over R[ψ] ,
and if R[ψ] is (completely) integrally closed in S[ψ] then R is (completely) integrally closed
in S. If G ⊆ F is a subgroup then Int(R, S)(F ) = Int(R(F ) , S (F ) ) and CInt(R, S)(F ) =
CInt(R(F ) , S (F ) ), hence R is (completely) integrally closed in S if and only if R(F ) is
(completely) integrally closed in S (F ) .
From [3, V.1.1 Proposition 4 Corollaire 1] and [12, §135, p. 180]2 we know that sums and
products of elements of S[0] that are (almost) integral over R[0] are again (almost) integral
over R[0] . Hence, Int(R, S)hom (or CInt(R, S)hom , resp.) equals the set of homogeneous
elements of S that are (almost) integral over R, and thus Int(R, S) (or CInt(R, S), resp.)
is (almost) integral over R by the above. Moreover, Int(R, S) is integrally closed in S by
[3, V.1.2 Proposition 7]. One should note that CInt(R, S) is not necessarily completely
integrally closed in S, not even if R is entire and S = Q(R) ([7, Example 1]).
(2.3) Suppose we have a commutative diagram of G-graded rings
R
/




R

S

/

h

S.
hom

is (almost) integral over R
If x ∈ S hom is (almost) integral over R, then h(x) ∈ S
(2.1, [3, V.1.1 Proposition 2], [5, 13.5]). Hence, if the diagram above is cartesian and R
is (completely) integrally closed in S, then R is (completely) integrally closed in S.
(2.4) Let R be a G-graded ring, let S be a G-graded R-algebra, and let T ⊆ Rhom
be a subset. Analogously to [3, V.1.5 Proposition 16] one shows that T −1 Int(R, S) =
Int(T −1 R, T −1S). Hence, if R is integrally closed in S then T −1 R is integrally closed in
T −1 S.
Note that there is no analogous statement for complete integral closures. Although
−1
T CInt(R, S) ⊆ CInt(T −1 R, T −1 S) by 2.3, this need not be an equality. In fact, by [3,
V.1 Exercice 12] there exists an entire ring R that is completely integrally closed in Q(R)
and a subset T ⊆ R \ 0 such that Q(R) is the complete integral closure of T −1 R.
(2.5) Let I be a right filtering preordered set, and let (ui )i∈I : (Ri )i∈I → (Si )i∈I be a
morphism of inductive systems in GrAnnG over I. By 2.3 we have inductive systems
(Int(Ri , Si ))i∈I and (CInt(Ri , Si ))i∈I in GrAnnG over I, and we can consider the sublimi∈I Ri -algebras
−→
limi∈I Int(Ri , Si ) ⊆ limi∈I CInt(Ri , Si ) ⊆ limi∈I Si
−→
−→
−→
2Note

that van der Waerden calls “integral” what we call “almost integral”.

8

FRED ROHRER

and compare them with the sub-limi∈I Ri -algebras
−→
Int(limi∈I Ri , limi∈I Si ) ⊆ CInt(limi∈I Ri , limi∈I Si ) ⊆ limi∈I Si .
−→
−→
−→
−→
−→
Analogously to [8, 0.6.5.12] it follows limi∈I Int(Ri , Si ) = Int(limi∈I Ri , limi∈I Si ), hence if
−→
−→
−→
Ri is integrally closed in Si for every i ∈ I then limi∈I Ri is integrally closed in limi∈I Si .
−→
−→
Note that there is no analogous statement for complete integral closures. Although
limi∈I CInt(Ri , Si ) ⊆ CInt(limi∈I Ri , limi∈I Si ) by 2.3, this need not be an equality (but
−→
−→
−→
cf. 3.2). In fact, by [3, V.1 Exercice 11 b)] there exist a field K and an increasing family
(Rn )n∈N of subrings of K such that Rn is completely integrally closed in Q(Rn ) = K for
every n ∈ N and that limn∈N Rn is not completely integrally closed in Q(limn∈N Rn ) = K.
−→
−→
Now we turn to the behaviour of finely and coarsely graded group algebras with respect
to relative (complete) integral closures.
(2.6) Theorem Let R be a G-graded ring.
a) Formation of finely graded group algebras over R commutes with relative (complete)
integral closure.
b) Let S be a G-graded R-algebra, and let F be a group. Then, R is (completely)
integrally closed in S if and only if R[F ] is (completely) integrally closed in S[F ].
Proof. a) Let F be a group, and let S be a G-graded R-algebra. Let x ∈ S[F ]hom . There
are s ∈ S hom and f ∈ F with x = sef . If x ∈ Int(R, S)[F ]hom then s ∈ Int(R, S)hom ,
hence s ∈ Int(R[F ], S[F ]) (2.3), and as ef ∈ Int(R[F ], S[F ]) it follows x = sef ∈
Int(R[F ], S[F ]). This shows Int(R, S)[F ] ⊆ Int(R[F ], S[F ]). Conversely, suppose that
x ∈ Int(R[F ], S[F ])hom . As ef ∈ R[F ]∗ it follows s ∈ Int(R[F ], S[F ])hom . So, there is a
finite subset E ⊆ S[F ]hom such that the G ⊕F -graded sub-R[F ]-algebra of S[F ] generated
by E contains R[F ][s]. As eh ∈ R[F ]∗ for every h ∈ F we can suppose E ⊆ S. If n ∈ N
then sn is an R[F ]-linear combination of products in E, and comparing the coefficients
of e0 shows that sn is an R-linear combination of products in E. Thus, R[s] is contained
in the G-graded sub-R-algebra of S generated by E, hence s ∈ Int(R, S), and therefore
x ∈ Int(R, S)[F ]. This shows Int(R[F ], S[F ]) ⊆ Int(R, S)[F ]. The claim for complete
integral closures follows analogously. b) follows immediately from a).

(2.7) Theorem Let F be a group. The following statements are equivalent:3
(i) Formation of coarsely graded algebras of F over G-graded rings commutes with relative integral closure;
(i’) Formation of coarsely graded algebras of F over G-graded rings commutes with relative complete integral closure;
(ii) If R is a G-graded ring and S is a G-graded R-algebra, then R is integrally closed
in S if and only if R[F ][G] is integrally closed in S[F ][G] ;
(ii’) If R is a G-graded ring and S is a G-graded R-algebra, then R is completely integrally
closed in S if and only if R[F ][G] is completely integrally closed in S[F ][G] ;
3In

case G = 0 the implication (iii)⇒(i) is [3, V.1 Exercice 24].

GRADED INTEGRAL CLOSURES

9

(iii) F is torsionfree.
Proof. “(i)⇒(ii)” and “(i’)⇒(ii’)”: Immediately from 2.3.
“(ii)⇒(iii)” and “(ii’)⇒(iii)”: Suppose that F is not torsionfree. It suffices to find a
noetherian ring R and an R-algebra S such that R is integrally closed in S and that R[F ][0]
is not integrally closed in S[F ][0] , for then furnishing R and S with trivial G-graduations
it follows that R[F ][G] is not integrally closed in S[F ][G] (2.2). The ring Z is noetherian
and integrally closed in Q. By hypothesis there exist g ∈ F \ 0 and n ∈ N>1 with ng = 0,
Pn−1 1 i
so that eng = 1 ∈ Q[F ][0] . It is readily checked that f := i=0
e ∈ Q[F ][0] \ Z[F ][0] is
n g
n−1
idempotent. Setting c := 1 + (n − 1)eg ∈ Z[F ][0] we get
Pn−1 n−1 i+n−1
Pn−1 n−1 i−1
d := f c = f + (n − 1)f egn−1 = f + i=0
eg
= f + i=0
eg =
n
n
f+

n−1 −1
e
n g

+

Pn−2
i=0

n−1 i
eg
n

+

n−1 n−1
e
n g

−

n−1 n−1
e
n g

= f + (n − 1)f = nf ∈ Z[F ][0] .

Therefore, f 2 + (c − 1)f − d = f + d − f − d = 0 yields an integral equation for f over
Z[F ][0] . Thus, Z[F ][0] is not integrally closed in Q[F ][0] .
“(iii)⇒(i)” and “(iii)⇒(i’)”: Without loss of generality suppose G = 0 (2.2). Suppose that F is torsionfree, let R be a ring, and let S be an R-algebra. If n ∈ N then
Int(R, S)[Nn ][0] = Int(R[Nn ][0] , S[Nn ][0] ) ([3, V.1.3 Proposition 12]), hence
Int(R[Zn ][0] , S[Zn ][0] ) = Int(R, S)[Zn ][0]
(2.4). This proves (i) in case F is of finite type, and so we get (i) in general by 1.5, 2.2
and 2.5. It remains to show (i’). The inclusion CInt(R, S)[F ][0] ⊆ CInt(R[F ][0] , S[F ][0] )
follows immediately from 2.2 and 2.3. We prove the converse inclusion analogously to [7,
Proposition 1]. Since F is torsionfree we can choose a total ordering ≤ on F that is compatible with its structure of group ([2, II.11.4 Lemme 1]). Let x ∈ CInt(S[F ][0] , R[F ][0] ).
There are n ∈ N, a family (xi )ni=1 in S \ 0, and a strictly increasing family (fi )ni=1 in F
P
with x = ni=1 xi efi . We prove by induction on n that x ∈ CInt(R, S)[F ][0] . If n = 0 this
is clear. Suppose that n > 0 and that the claim is true for strictly smaller values of n.
There exists a finite subset P ⊆ S[F ][0] with R[F ][0] [x] ⊆ hP iR[F ]. Let Q denote the finite
set of coefficients of elements of P . Let k ∈ N. There exists a family (sp )p∈P in R[F ] with
P
xk = p∈P sp p. By means of the ordering of F we see that xkn is the coefficient of efkn in
P
xk , hence the coefficient of efkn in p∈P sp p. This latter being an R-linear combination
of Q we get xkn ∈ hQiR . It follows R[xn ] ⊆ hQiR , and thus xn ∈ CInt(R, S). So, we
get xn efn ∈ CInt(R[F ][0] , S[F ][0] ) (2.2, 2.3), hence x − xn efn ∈ CInt(R[F ][0] , S[F ][0] ), thus
x − xn efn ∈ CInt(R, S)[F ][0] by our hypothesis, and therefore x ∈ CInt(R, S)[F ][0] as
desired.

(2.8) The proof above shows that 2.7 remains true if we replace “If R is a G-graded
ring” by “If R is a noetherian G-graded ring” in (ii) and (ii’).
The rest of this section is devoted to the study of the behaviour of relative (complete)
integral closures under arbitrary coarsening functors. Although we are not able to characterise those coarsenings with good behaviour, we identify two properties of the coarsening,

10

FRED ROHRER

one that implies good behaviour of (complete) integral closures, and one that is implied
by good behaviour of (complete) integral closures.
(2.9) Let ψ : G ։ H be an epimorphism of groups. We say that ψ-coarsening commutes
with relative (complete) integral closure if Int(R, S)[ψ] = Int(R[ψ] , S[ψ] ) (or CInt(R, S)[ψ] =
CInt(R[ψ] , S[ψ] ), resp.) for every G-graded ring R and every G-graded R-algebra S.
(2.10) Proposition Let ψ : G ։ H be an epimorphism of groups. We consider the
following statements:
(1) ψ-coarsening commutes with relative integral closure;
(1’) ψ-coarsening commutes with relative complete integral closure;
hom
(2) If R is a G-graded ring, S is a G-graded R-algebra, and x ∈ S[ψ]
, then x is integral over R[ψ] if and only if all its homogeneous components (with respect to the
G-graduation) are integral over R;
hom
(2’) If R is a G-graded ring, S is a G-graded R-algebra, and x ∈ S[ψ]
, then x is almost
integral over R[ψ] if and only if all its homogeneous components (with respect to the
G-graduation) are almost integral over R;

(3) If R is a G-graded ring and S is a G-graded R-algebra, then R is integrally closed in
S if and only if R[ψ] is integrally closed in S[ψ] .
(3’) If R is a G-graded ring and S is a G-graded R-algebra, then R is completely integrally
closed in S if and only if R[ψ] is completely integrally closed in S[ψ] .
Then, we have (1)⇔(2)⇔(3) and (1’)⇔(2’)⇒(3’).
Proof. The implications “(1)⇔(2)⇒(3)” and “(1’)⇔(2’)⇒(3’)” follow immediately from
the definitions. Suppose (3) is true, let R be a G-graded ring R, and let S be a Ggraded R-algebra. As Int(R, S) is integrally closed in S (2.2) it follows that Int(R, S)[ψ]
is integrally closed in S[ψ] , implying
Int(R[ψ] , S[ψ] ) ⊆ Int(Int(R, S)[ψ] , S[ψ] ) = Int(R, S)[ψ] ⊆ Int(R[ψ] , S[ψ] )
(2.2) and thus the claim.



The argument above showing that (3) implies (1) cannot be used to show that (3’)
implies (1’), as CInt(R, S) is not necessarily completely integrally closed in S (2.2).
(2.11) Let ψ : G ։ H be an epimorphism of groups, suppose that there exists a section
π : H → G of ψ in the category of groups, and let R be a G-graded ring. For g ∈ G there
is a morphism of groups
π
jR,g
: Rg → R[0] [Ker(ψ)], x 7→ xeg+π(ψ(g)) .
L
π
The family (jR,g
)g∈G induces a morphism of groups jRπ :
g∈G Rg → R[0] [Ker(ψ)][0] that
π
is readily checked to be a morphism jR : R[ψ] → R[ψ] [Ker(ψ)][H] of H-graded rings.

(2.12) Theorem Let ψ : G ։ H be an epimorphism of groups.
a) If Ker(ψ) is contained in a torsionfree direct summand of G then ψ-coarsening
commutes with relative (complete) integral closure.

GRADED INTEGRAL CLOSURES

11

b) If ψ-coarsening commutes with relative (complete) integral closure then Ker(ψ) is
torsionfree.
Proof. a) First, we consider the case that Ker(ψ) itself is a torsionfree direct summand
hom
of G. Let R be a G-graded ring, let S be a G-graded R-algebra, and let x ∈ S[ψ]
be
(almost) integral over R[ψ] . As Ker(ψ) is a direct summand of G there exists a section π
of ψ in the category of groups. So, we have a commutative diagram
R[ψ]
/

S[ψ]
π
jS

π
jR




R[ψ] [Ker(ψ)][H]
/

S[ψ] [Ker(ψ)][H]

of H-graded rings (2.11). Since Ker(ψ) is torsionfree it follows
jSπ (x) ∈ Int(R[ψ] [Ker(ψ)][H] , S[ψ] [Ker(ψ)][H] ) = Int(R[ψ] , S[ψ] )[Ker(ψ)][H]
(and similarly for complete integral closures) by 2.3 and 2.7. By the construction of jSπ
this implies xg ∈ Int(R[ψ] , S[ψ] ) (or xg ∈ CInt(R[ψ] , S[ψ] ), resp.) for every g ∈ G, and thus
the claim (2.10).
Next, we consider the general case. Let F be a torsionfree direct summand of G
containing Ker(ψ), let χ : G ։ G/F be the canonical projection and let λ : H ։ G/F be
the induced epimorphism of groups, so that λ ◦ ψ = χ. Let R be a G-graded ring, and let
S be a G-graded R-algebra. By 2.9 and the first paragraph,
Int(R[χ] , S[χ] ) = Int(R, S)[χ] = (Int(R, S)[ψ] )[λ] ⊆
Int(R[ψ] , S[ψ] )[λ] ⊆ Int((R[ψ] )[λ] , (S[ψ] )[λ] ) = Int(R[χ] , S[χ] ),
hence (Int(R, S)[ψ] )[λ] = Int(R[ψ] , S[ψ] )[λ] and therefore Int(R, S)[ψ] = Int(R[ψ] , S[ψ] ) (or the
analogous statement for complete integral closures) as desired.
b) Suppose K := Ker(ψ) is not torsionfree. By 2.7 and 2.8 there exist a noetherian ring
R and an R-algebra S such that R is integrally closed in S (hence completely integrally
closed in S) and that R[K][0] is not integrally closed in S[K][0] (hence not completely
integrally closed in S[K][0] (2.2)). Then, R[K] is completely integrally closed in S[K]
(2.6). Extending the K-graduations of R and S trivially to G-graduations it follows that
R[K][G] is completely integrally closed in S[K][G] , while (R[K][G] )[ψ] is not integrally closed
in (S[K][G] )[ψ] . This proves the claim.

(2.13) Corollary Let ψ : G ։ H be an epimorphism of groups. If G is torsionfree then
ψ-coarsening commutes with relative (complete) integral closure.4
Proof. Immediately from 2.12.



(2.14) Supposing that the torsion subgroup T of G is a direct summand of G, it is
readily checked that a subgroup F ⊆ G is contained in a torsionfree direct summand of G
if and only if the composition of canonical morphisms T ֒→ G ։ G/F has a retraction.
4In

case H = 0 the statement about relative integral closures is [3, V.1 Exercice 25].

12

FRED ROHRER

A torsionfree subgroup F ⊆ G is not necessarily contained in a torsionfree direct
summand of G, not even if G is of finite type. Using the criterion above one checks that
a counterexample is provided by G = Z ⊕ Z/nZ for n ∈ N>1 and F = h(n, 1)iZ ⊆ G.
(2.15) Questions Let ψ : G ։ H be an epimorphism of groups. The above result gives
rise to the following questions:
a) If Ker(ψ) is torsionfree, does ψ-coarsening commute with (complete) integral closure?
b) If ψ-coarsening commutes with (complete) integral closure, is then Ker(ψ) contained
in a torsionfree direct summand of G?
Note that, by 2.14, at most one of these questions has a positive answer.
3. Integral closures of entire graded rings
In this section we consider (complete) integral closures of entire graded rings in their
graded fields of fractions. We start with the relevant definitions and basic properties.
(3.1) Let R be an entire G-graded ring. The (complete) integral closure of R in Q(R)
is denoted by Int(R) (or CInt(R), resp.) and is called the (complete) integral closure of
R. We say that R is (completely) integrally closed if it is (completely) integrally closed in
Q(R). Keep in mind that Int(R) is integrally closed, but that CInt(R) is not necessarily
completely integrally closed (2.2). If ψ : G ։ H is an epimorphism of groups and R is a
G-graded ring such that R[ψ] (and hence R) is entire, then Q(R)[ψ] is entire and
R[ψ] ⊆ Q(R)[ψ] ⊆ Q(Q(R)[ψ] ) = Q(R[ψ] ).
From 2.9 it follows Int(R)[ψ] ⊆ Int(R[ψ] ) and CInt(R)[ψ] ⊆ CInt(R[ψ] ). Hence, if R[ψ] is
(completely) integrally closed then so is R. We say that ψ-coarsening commutes with
(complete) integral closure if whenever R is an entire G-graded ring then R[ψ] is entire
and Int(R)[ψ] = Int(R[ψ] ) (or CInt(R)[ψ] = CInt(R[ψ] ), resp.). Clearly, if ψ-coarsening
commutes with (complete) integral closure then Ker(ψ) is torsionfree (1.12 b)). Let
F ⊆ G be a subgroup. An F -graded ring S is entire and (completely) integrally closed if
and only if S (G) is so.
(3.2) Let I be a nonempty right filtering preordered set, and let ((Ri )i∈I , (ϕij )i≤j ) be an
inductive system in GrAnnG over I such that Ri is entire for every i ∈ I and that ϕij is
a monomorphism for all i, j ∈ I with i ≤ j. By 2.5 and 1.7 we have inductive systems
(Int(Ri ))i∈I and (CInt(Ri ))i∈I in GrAnnG over I, and we can consider the sub-limi∈I Ri −→
algebras
lim Int(Ri ) ⊆ lim CInt(Ri ) ⊆ Q(lim Ri )
−→
−→
−→
i∈I

i∈I

i∈I

and compare them with the sub-limi∈I Ri -algebras
−→
Int(lim Ri ) ⊆ CInt(lim Ri ) ⊆ Q(lim Ri ).
−→
−→
−→
i∈I

i∈I

i∈I

GRADED INTEGRAL CLOSURES

13

It follows immediately from 2.5 and 1.7 that limi∈I Int(Ri ) = Int(limi∈I Ri ). Hence, if Ri
−→
−→
is integrally closed for every i ∈ I then limi∈I Ri is integrally closed, and limi∈I CInt(Ri ) ⊆
−→
−→
CInt(limi∈I Ri ).
−→
Suppose now in addition that (limi∈I Ri ) ∩ Q(Ri ) = Ri for every i ∈ I. Then, analo−→
gously to [1, 2.1] one sees that limi∈I CInt(Ri ) = CInt(limi∈I Ri ), hence if Ri is completely
−→
−→
integrally closed for every i ∈ I then so is limi∈I Ri . This additional hypothesis is fulfilled
−→
in case R is a G-graded ring, F is a group, I = FF (1.3), and RU equals R[U](G⊕F ) or
R[U][G] for U ∈ FF .
(3.3) Let R, S and T be G-graded rings such that R ⊆ S ⊆ T as graded subrings.
Clearly, CInt(R, S) ⊆ CInt(R, T ) ∩ S. Gilmer and Heinzer found an (ungraded) example
showing that this is not necessarily an equality ([7, Example 2]), not even if R, S and T
are entire and have the same field of fractions. In [7, Proposition 2] they also presented
the following criterion for this inclusion to be an equality, whose graded variant is proven
analogously: If for every G-graded sub-S-module of finite type M ⊆ T with R ⊆ M there
exists a G-graded S-module N containing M such that R is a direct summand of N, then
CInt(R, S) = CInt(R, T ) ∩ S.
In [7, Remark 2] Gilmer and Heinzer claim (again in the ungraded case) that this
criterion applies if S is principal. As this would be helpful to us later (3.6, 3.10) we take
the opportunity to point out that it is wrong. Namely, suppose that S is not simple, that
T = Q(S), and that the hypothesis of the criterion is fulfilled. Let x ∈ S \ 0. There
exists an S-module N containing hx−1 iS ⊆ T such that S is a direct summand of N. The
tensor product with S/hxiS of the canonical injection S ֒→ N has a retraction, but it also
factors over the zero morphism S/hxiS → hx−1 iS /S. This implies x ∈ S ∗ , yielding the
contradiction that S is simple.
Now we consider graded group algebras. We will show that both variants behave well
with integral closures and that the finely graded variant behaves also well with complete
integral closure.
(3.4) Theorem a) Formation of finely graded group algebras over entire G-graded rings
commutes with (complete) integral closure.
b) If F is a group, then an entire G-graded ring R is (completely) integrally closed if
and only if R[F ] is so.
Proof. Keeping in mind that Q(R)[F ] = Q(R[F ]) (1.11) this follows immediately from
2.6.

(3.5) Lemma If R is a simple G-graded ring then R[Z][G] is entire and completely
integrally closed.
Proof. First we note that S := R[Z][G] is entire (1.11). The argument in [2, IV.1.6 Proposition 10] shows that S allows a graded version of euclidean division, i.e., for f, g ∈ S hom
with f 6= 0 there exist unique u, v ∈ S hom with g = uf + v and degZ (v) < degZ (f ), where
degZ denotes the usual Z-degree of polynomials over R. Using this we see analogously to

14

FRED ROHRER

[2, IV.1.7 Proposition 11] that every G-graded ideal of S has a homogeneous generating
set of cardinality 1. Next, developing a graded version of the theory of divisibility in entire
rings along the line of [2, VI.1], it follows analogously to [2, VI.1.11 Proposition 9 (DIV);
VII.1.2 Proposition 1] that for every x ∈ Q(S)hom there exist coprime a, b ∈ S hom with
x = ab . So, the argument in [3, V.1.3 Proposition 10] shows that S is integrally closed.
As it is noetherian the claim is proven (2.2).

(3.6) Theorem a) Formation of coarsely graded algebras of torsionfree groups over
entire G-graded rings commutes with integral closure.
b) If F is a torsionfree group, then an entire G-graded ring R is integrally closed if and
only if R[F ][G] is so.5
Proof. It suffices to prove the first claim. We can without loss of generality suppose
that F is of finite type, hence free of finite rank (1.3, 1.5, 3.2). By induction on the
rank of F we can furthermore suppose F = Z. We have Int(R[Z][G] ) ∩ Q(R)[Z][G] =
Int(R[Z][G] , Q(R)[Z][G] ). Since Q(R)[Z][G] is integrally closed (3.5) we get
Int(R[Z][G] ) ⊆ Int(Q(R)[Z][G] , Q(R[Z][G] )) = Q(R)[Z][G] .

It follows
Int(R[Z][G] ) = Int(R[Z][G] ) ∩ Q(R)[Z][G] = Int(R[Z][G] , Q(R)[Z][G] ) = Int(R)[Z][G]
(2.7) and thus the claim.



(3.7) Let F be a torsionfree group, let R be an entire G-graded ring, and suppose that
CInt(R[Z][G] ) ∩ Q(R)[Z][G] = CInt(R[Z][G] , Q(R)[Z][G] ). Then, the same argument as in
3.6 (keeping in mind 3.2) yields CInt(R)[F ][G] = CInt(R[F ][G] ), hence R is completely
integrally closed if and only if R[F ][G] is so. However, although R[Z][G] is principal by the
proof of 3.5, we have seen in 3.3 that it is unclear whether CInt(R[Z][G] ) ∩ Q(R)[Z][G] and
CInt(R[Z][G] , Q(R)[Z][G] ) are equal in general.
(3.8) Corollary a) Formation of coarsely graded algebras of torsionfree groups over
noetherian entire G-graded rings commutes with complete integral closure.
b) If F is a torsionfree group, then a noetherian entire G-graded ring R is completely
integrally closed if and only if R[F ][G] is so.
Proof. We can without loss of generality suppose that F is of finite type (1.3, 1.5, 3.2).
Then, R[F ][G] is noetherian (1.14), and the claim follows from 3.6 and 2.2.

In the rest of this section we study the behaviour of (complete) integral closures under
arbitrary coarsening functors, also using the results from Section 2.
(3.9) Proposition Let ψ : G ։ H be an epimorphism of groups.
a) ψ-coarsening commutes with integral closure if and only if a G-graded ring R is
entire and integrally closed if and only if R[ψ] is so.
5In

case G = 0 the statement that integral closedness of R implies integral closedness of R[F ][G] is [3,
V.1 Exercice 24].

GRADED INTEGRAL CLOSURES

15

b) If ψ-coarsening commutes with complete integral closure, then a G-graded ring R is
entire and completely integrally closed if and only if R[ψ] is so.
Proof. If ψ-coarsening commutes with (complete) integral closure then it is clear that
a G-graded ring R is entire and (completely) integrally closed if and only if R[ψ] is so.
Conversely, suppose that ψ-coarsening preserves the property of being entire and integrally
closed. Let R be an entire G-graded ring. Since simple G-graded rings are entire and
integrally closed, R[ψ] is entire (1.12 b)). As Int(R) is integrally closed (2.2) the same is
true for Int(R)[ψ] , implying
Int(R[ψ] ) = Int(R[ψ] , Q(R[ψ] )) ⊆ Int(Int(R)[ψ] , Q(R[ψ] )) =
Int(Int(R)[ψ] ) = Int(R)[ψ] ⊆ Int(R[ψ] )
(3.1) and thus the claim.



The argument used in a) cannot be used to prove the converse of b), as CInt(R) is not
necessarily completely integrally closed (3.1).
(3.10) Proposition Let ψ : G ։ H be an epimorphism of groups. Suppose that ψcoarsening commutes with relative integral closure and maps simple G-graded rings to
entire and integrally closed H-graded rings. Then, ψ-coarsening commutes with integral
closure.
Proof. If R is an entire G-graded ring, then R[ψ] is entire (2.12 b), 1.12 b)) and Q(R)[ψ]
is integrally closed, and as Q(Q(R)[ψ] ) = Q(R[ψ] ) (3.1) it follows
Int(R[ψ] ) = Int(R[ψ] , Q(R[ψ] )) ⊆ Int(Q(R)[ψ] , Q(R[ψ] )) = Int(Q(R)[ψ] ) = Q(R)[ψ] ,
hence Int(R[ψ] ) = Int(R[ψ] , Q(R)[ψ] ) = Int(R, Q(R))[ψ] = Int(R)[ψ] .



(3.11) We have seen in 3.3 that it is (in the notations of the proof of 3.10) not clear that
CInt(R[ψ] ) ⊆ Q(R)[ψ] implies CInt(R[ψ] ) = CInt(R[ψ] , Q(R)[ψ] ). Therefore, the argument
from that proof cannot be used to get an analogous result for complete integral closures.
(3.12) Lemma Let F be a free direct summand of G, let H be a complement of F in G,
let ψ : G ։ H be the canonical projection, let R be a simple G-graded ring, and suppose
that ψ(degsupp(R)) ⊆ degsupp(R). Then, R[ψ] ∼
= R(H) [degsupp(R) ∩ F ][H] in GrAnnH .
Proof. We set D := degsupp(R). As F is free the same is true for D ∩ F . Let E be a basis
of D ∩ F . If e ∈ E then Re 6= 0, so that we can choose ye ∈ Re \ 0 ⊆ R∗ . For f ∈ D ∩ F
P
there exists a unique family (re )e∈E of finite support in Z with f = e∈E re e, and we set
Q
yf := e∈E yere ∈ Rf \ 0; in case f ∈ E we recover the element yf defined above.
As (R(H) )[0] is a subring of R[0] there exists a unique morphism of (R(H) )[0] -algebras
p : R(H) [D ∩ F ][0] → R[0] with p(ef ) = yf for f ∈ D ∩ F . If h ∈ H, then for f ∈ D ∩ F and
x ∈ Rh we have p(xef ) = xyf ∈ Rh+f ⊆ (R[ψ] )h , so that p((R(H) [D ∩ F ][H] )h ) ⊆ (R[ψ] )h ,
and therefore we have a morphism p : R(H) [D ∩ F ][H] → R[ψ] in GrAnnH .

16

FRED ROHRER

Let χ : G ։ F denote the canonical projection. For g ∈ G with χ(g) ∈ D there is a
morphism of groups
x
eχ(g) ,
qg : Rg → R(H) [D ∩ F ], x 7→ yχ(g)
and for g ∈ G with χ(g) ∈
/ D we denote by qg the zero morphism of groups Rg →
R(H) [D ∩ F ]. For h ∈ H the morphisms qg with g ∈ ψ −1 (h) induce a morphism of groups
qh : (R[ψ] )h → R(H) [D ∩ F ]. So, we get a morphism of groups
M
qh : R[ψ] → R(H) [D ∩ F ].
q :=
h∈H

Let g ∈ G and x ∈ Rg . If χ(g) ∈
/ D then g ∈
/ D, hence x = 0, and therefore
x
x
x
p(q(x)) = x. Otherwise, p(q(x)) = p( yχ(g) eχ(g) ) = yχ(g)
p(eχ(g) ) = yχ(g)
yχ(g) = x. This
shows that q is a right inverse of p. If x ∈ R(H) then q(p(x)) = x, and if f ∈ D ∩ F then
y
q(p(ef )) = q(yf ) = yff ef = ef , hence q is a left inverse of p. Therefore, q is an inverse of
p, and thus p is an isomorphism.

(3.13) Proposition Let ψ : G ։ H be an epimorphism of groups, let R be a simple
G-graded ring, and suppose that one of the following conditions is fulfilled:
i) G is torsionfree;
ii) Ker(ψ) is contained in a torsionfree direct summand of G and R has full support.
Then, R[ψ] is entire and completely integrally closed.
Proof. First, we note that R[ψ] is entire (1.12 b)). In case i) it suffices to show that R[0] is
integrally closed, so we can replace H with 0 and hence suppose Ker(ψ) = G. In case ii),
by the same argument as in the proof of 2.12 (and keeping in mind 3.1) we can suppose
without loss of generality that K := Ker(ψ) itself is a torsionfree direct summand of G
and hence consider H as a complement of K in G. In both cases, as K = limL∈F L (1.3)
−→ K
we have G = K ⊕ H = limL∈F (L ⊕ H), hence R = limL∈F ((R(U ⊕H) )(G) ). Setting ψL :=
−→ K
−→ K
ψ ↾L⊕H : L ⊕ H ։ H we get R[ψ] = limL∈F ((R(L⊕H) )[ψL ] ) (1.2). Hence, if (R(L⊕H) )[ψ]
−→ K
is integrally closed for every L ∈ FK then R[ψ] is integrally closed (3.2). Therefore, as
R(L⊕H) is simple for every L ∈ FK (1.6) we can suppose that K is of finite type, hence
free. As R is simple it is clear that D := degsupp(R) ⊆ G is a subgroup, hence D∩K ⊆ K
is a subgroup, and thus D ∩ K is free. In both cases, our hypotheses ensure ψ(D) ⊆ D,
so that 3.12 implies R[ψ] ∼
= R(H) [D ∩ K][H] . As R is simple it is completely integrally
closed, hence R(H) is completely integrally closed (3.1), thus R(H) [D ∩ K][H] is completely
integrally closed (3.6), and so the claim is proven.

(3.14) Theorem Let ψ : G ։ H be an epimorphism of groups, let R be an entire
G-graded ring, and suppose that one of the following conditions is fulfilled:
i) G is torsionfree;
ii) Ker(ψ) is contained in a torsionfree direct summand of G and hdegsupp(R)iZ = G.
Then, Int(R)[ψ] = Int(R[ψ] ), and R is integrally closed if and only if R[ψ] is so.6
6In

case i) and H = 0 this is [3, V.1 Exercice 25].

GRADED INTEGRAL CLOSURES

17

Proof. As degsupp(Q(R)) = hdegsupp(R)iZ this follows immediately from 3.10, 3.13 and
2.12.

(3.15) Questions Let R be an entire G-graded ring. The above, especially 3.7 and 3.11,
gives rise to the following questions:
a) Let ψ : G ։ H be an epimorphism of groups such that Ker(ψ) is torsionfree. Do we
have CInt(R[ψ] ) ∩ Q(R)[ψ] = CInt(R[ψ] , Q(R)[ψ] )?
b) Do we have CInt(R[Z][G] ) ∩ Q(R)[Z][G] = CInt(R[Z][G] , Q(R)[Z][G] )?
If both these questions could be answered positively, then the same arguments as above
would yield statements for complete integral closures analogous to 3.6, 3.10, and 3.14.
Acknowledgement: I thank Benjamin Bechtold and the reviewer for their comments
and suggestions. The remarks in 2.14 were suggested by Micha Kapovich and Will Sawin
on http://mathoverflow.net/questions/108354. The counterexample in 3.3 is due to
an anonymous user on http://mathoverflow.net/questions/110998.
References
[1] D. F. Anderson, Graded Krull domains. Comm. Algebra 7 (1979), 79–106.
[2] N. Bourbaki, Éléments de mathématique. Algèbre. Chapitres 1 à 3. Masson, 1970; Chapitres 4 à 7.
Masson, 1981.
[3] N. Bourbaki, Éléments de mathématique. Algèbre commutative. Chapitres 5 à 7. Hermann, 1975.
[4] S. Goto, K. Yamagishi, Finite generation of noetherian graded rings. Proc. Amer. Math. Soc. 89
(1983), 41–44.
[5] R. Gilmer, Multiplicative ideal theory. Pure Appl. Math. 12, Marcel Dekker, 1972.
[6] R. Gilmer, Commutative semigroup rings. Chicago Lectures in Math., Univ. Chicago Press, 1984.
[7] R. Gilmer, W. J. Heinzer, On the complete integral closure of an integral domain. J. Aust. Math.
Soc. 6 (1966), 351–361.
[8] A. Grothendieck, J. A. Dieudonné, Éléments de géométrie algébrique. I: Le langage des schémas
(Seconde édition). Grundlehren Math. Wiss. 166, Springer, 1971.
[9] C. Nǎstǎsescu, F. Van Oystaeyen, Graded rings with finiteness conditions II. Comm. Algebra 13
(1985), 605–618.
[10] F. Rohrer, Coarsenings, injectives and Hom functors. Rev. Roumaine Math. Pures Appl. 57 (2012),
275–287.
[11] I. Swanson, C. Huneke, Integral closure of ideals, rings, and modules. London Math. Soc. Lecture
Note Ser. 336, Cambridge Univ. Press, 2006.
[12] B. L. van der Waerden, Algebra. Zweiter Teil. (Fünfte Auflage). Heidelb. Taschenb. 23, Springer,
1967.
[13] J. Van Geel, F. Van Oystaeyen, About graded fields. Indag. Math. (N.S.) 84 (1981), 273–286.
Universität Tübingen, Fachbereich Mathematik, Auf der Morgenstelle 10, 72076 Tübingen, Germany
E-mail address: rohrer@mail.mathematik.uni-tuebingen.de

