AUTOMORPHISMS OF IDEALS OF POLYNOMIAL RINGS

arXiv:1604.08531v2 [math.RA] 26 May 2016

TIAGO MACEDO AND THIAGO CASTILHO DE MELLO

Abstract. Let R be a commutative integral domain with unit, f be a nonconstant monic polynomial in R[t], and If ⊂ R[t] be the ideal generated by f . In this paper we study the group of
R-algebra automorphisms of the R-algebra without unit If . We show that, if f has only one root
(possibly with multiplicity), then Aut(If ) ∼
= R× . We also show that, under certain mild hypothesis,
if f has at least two different roots in the algebraic closure of the quotient field of R, then Aut(If )
is a cyclic group and its order can be completely determined by analyzing the roots of f .

1. Introduction
1.1. Automorphisms of rings and algebras has been a subject of extensive research since the last
century, especially automorphisms of the polynomial rings in n variables over a field, k. The most
simple type of automorphisms of the algebra k[x1 , . . . , xn ] are the so-called elementary automorphisms. They are defined to be the only homomorphisms of k[x1 , . . . , xn ] such that xi 7→ αxi + f
for some i ∈ {1, . . . , n}, α ∈ k, f ∈ k[x1 , . . . , xi−1 , xi+1 , . . . , xn ], and xj 7→ xj for all j 6= i. The subgroup of the group of automorphisms of k[x1 , . . . , xn ], generated by such automorphisms is called
the tame subgroup, and its elements are called tame automorphisms of k[x1 , . . . , xn ]. When k is a
field of characteristic zero, it was proved by Jung and van der Kulk [Jun, vdK] that every automorphism of k[x1 , x2 ] is tame. Similar results were proved to be true for other classes of free algebras,
such as the free associative algebra in two variables [ML, Cze1, Cze2] and finitely generated free
Lie algebras [Coh]. It was thus conjectured that every automorphism of k[x1 , . . . , xn ] was tame
for n > 2. In beginning of the present century Shestakov and Umirbaev [SU, Umi] have shown
that this conjecture is false by proving that so-called Nagata automorphism of k[x1 , x2 , x3 ] and the
so-called Anick automorphism of the free associative algebra in three variables are not tame.
Another important problem related to automorphisms of polynomial rings, is the so-called Jacobian Conjecture (see for example [vdE]). Given a polynomial map F : kn → kn , with F =
(F1 , . . . , Fn ) for some Fi ∈ k[x1 , . . . , xn ], denote by JF its Jacobian matrix. The Jacobian Conjecture states that, if det(JF ) ∈ k× , then F is an invertible polynomial map; that is, there exists a
polynomial map G : kn → kn , G = (G1 , . . . , Gn ), such that xi = Gi (F1 , . . . , Fn ), for all i = 1, . . . , n.
A natural approach to this problem is through automorphisms of polynomial rings, as there is a
one-to-one correspondence between invertible polynomial maps and k-algebra automorphisms of
k[x1 , . . . , xn ] (given by precomposition). Several reductions of the Jacobian Conjecture as well as
some particular cases have been proven. Nevertheless, its complete solution is still unknown.
Although automorphisms of rings and algebras have been extensively studied and the group of
automorphisms of k[x] is well-known, the authors found no references in the literature regarding
Date: January 31, 2018.
2010 Mathematics Subject Classification. Primary 08A35, 13A15, 16W20.
Research of the first author was supported by CNPq grant 232462/2014-3.
Research of the second author was supported Fapesp grants 2014/10352-4 and 2014/09310-5, and CNPq grants
461820/2014-5 and 462315/2014-2.
1

2

TIAGO MACEDO AND THIAGO CASTILHO DE MELLO

the group of automorphisms of ideals of k[x] when considered as k-algebras without unit. The
description of such groups may have important applications. One particular application, and the
one that motivated the current paper, is the following. Let g be a finite-dimensional simple Lie
algebra over C, and let g[t] denote the current algebra associated to g; that is, the Lie algebra with
underlying vector space g ⊗ C[t] and Lie bracket linearly extending
[x ⊗ tn , y ⊗ tm ] = [x, y] ⊗ tm+n
for all x, y ∈ g and n, m ≥ 0. Representation theory of the current algebra g[t] is closely related
to the representation theory of the affine Kac-Moody Lie algebra b
g associated to g, as g[t] is a
parabolic subalgebra of b
g.

For any ideal I ⊂ C[t], the subspace g ⊗ I is an ideal of the Lie algebra g[t]. These ideals can
be used to describe extensions between finite-dimensional irreducible g[t]-modules. Namely, Boe,
Drupieski, Nakano and the first author proved in [BDMN] that
Ext2g[t] (V, V ′ ) ∼
= Homg⊗A/I (V, H2 (g ⊗ I, C) ⊗ V ′ ) ⊕ H2 (g ⊗ A, C)⊕δV,V ′ ,

where I is an ideal of C[t] such that (g⊗I)(V ∗ ⊗V ) = 0, δV,V ′ = 1 if V ∼
= V ′ , and δV,V ′ = 0 otherwise.
Notice that this description of Ext2g[t] (V, V ′ ) depends on the description of H2 (g⊗I, C) as a g⊗A/Imodule, which is still unknown. A technique that could help describe H2 (g ⊗ I, C) is to use Aut(I)
in order to decompose the cocomplex used for computing H2 (g ⊗ I, C) into subcocomplexes whose
cohomologies may be easier to compute. A similar approach was used in [VIGRE] to compute
H2 (G(Fq ), L) for a simple, simply-connected algebraic group G defined over Fp , q = pr , for a
positive prime p, r > 0, G(Fq ) the subgroup of Fq -rational points of G, and a rational irreducible
G-module L. The results of the current paper show that this technique in not available for every
g ⊗ I.
1.2. Organization of the paper. Section 2 contains the main results of this paper. In Section 2.1
we prove a few general results, which will be repeatedly used in the forthcoming sections, regarding
extensions of certain homomorphisms between ideals of the form If to endomorphisms of R[t]. In
Section 2.2 we describe isomorphisms between ideals of the form If in terms of certain bijections
between the corresponding sets Z(f ). In particular, automorphisms of If are described in terms
of certain permutations of Z(f ). In Section 2.3 we prove our main results. We first describe the
automorphism groups of ideals generated by nonconstant monic polynomials with only one root
(possibly with multiplicity) in K (see Proposition 2.13). Then we proceed to completely describe
the automorphism group of If for nonconstant monic polynomials f ∈ R[t] with at least two distinct
roots (see Theorems 2.15 and 2.17). We finish the paper by suggesting a few interesting problems
in Section 3.
1.3. Notation. Let R be a commutative integral domain with unit, denote by k its quotient field
and by K the algebraic closure of k. Also, denote by R× , k× and K× the multiplicative groups
consisting of invertible elements in R, k and K respectively.
Given f ∈ R[t], we say that f is monic if its leading coefficient is invertible in R. We will
denote by If the ideal of R[t] generated by f (viewed as an associative commutative R-algebra
without unit), by Af the associative commutative R-algebra with unit obtained from If by formal
adjunction of unity; that is, as an R-module Af = R⊕If , and we endow it with the product defined
by (r1 + g1 )(r2 + g2 ) = r1 r2 + r1 g2 + r2 g1 + g1 g2 for all r1 , r2 ∈ R and g1 , g2 ∈ If .

AUTOMORPHISMS OF IDEALS OF POLYNOMIAL RINGS

3

Given any polynomial f ∈ K[t], let Z(f ) denote its set of roots in K, and let deg(f ) denote its
degree. Given a set S, let Sym(S) denote the group of permutations of S.
2. Results
2.1. Extension of isomorphisms and automorphisms. We begin by proving a few general
results related to extensions of homomorphisms between ideals of the form If to endomorphisms of
R[t]. The main results of this subsection, Propositions 2.4 and 2.5, will be repeatedly used in the
coming sections. We begin by proving that one can extend any injective algebra homomorphism
between ideals of the form If to an injective endomorphism of R[t].
Lemma 2.1. Let f and g be polynomials in R[t]. If f is nonconstant and monic, then every injective
R-algebra homomorphism ϕ : If → Ig extends uniquely to an injective R-algebra homomorphism
φ : R[t] → R[t].
Proof. We will divide the proof in three steps. We begin by showing that every injective R-algebra
homomorphism ϕ : If → Ig extends uniquely to an injective R-algebra homomorphism ϕ̃ : Af → Ag .
In fact, every such ϕ̃ must satisfy ϕ̃(λ + h) = λ + ϕ(h) for all λ ∈ R and h ∈ If . It is easy to verify
that ϕ̃ defined in this way extends ϕ and is an injective R-algebra homomorphism.
Now, we will show that every injective R-algebra homomorphism ϕ̃ : Af → Ag extends uniquely
to an injective R-algebra homomorphism φ̃ : k(t) → k(t). First notice that Af and Ag are domains,
and k(t) is their quotient field. Since ϕ̃ is injective, by composing it with the inclusion of Ag into
k(t), we obtain an injective R-algebra homomorphism ϕ̃ : Af → k(t). By the universal property of
quotient rings (see, for instance, [AM, Proposition 3.1]), there exists a unique ring homomorphism
φ̃ : k(t) → k(t) extending ϕ̃. Since ϕ̃ is an R-algebra homomorphism, φ̃ will also be an R-algebra
homomorphism.
Moreover, since every k-algebra endomorphism of k(t) is uniquely determined by the image of t,
and k is the quotient field of R, every R-algebra endomorphism of k(t) is uniquely determined by
the image of t. Thus φ̃ is uniquely define by setting φ̃(t) = ϕ̃(tf )ϕ̃(f )−1 = ϕ(tf )ϕ(f )−1 . Finally,
notice that φ̃ is injective because it is nonzero and k(t) is a field.
Our last step will be to show that the restriction of φ̃ to R[t] induces an injective R-algebra
homomorphism φ : R[t] → R[t]. First notice that, if we prove that φ̃(t) ∈ R[t], then φ̃(h(t)) =
h(φ̃(t)) ∈ R[t] for all h(t) ∈ R[t]. Moreover, since φ̃ is an injective R-algebra homomorphism that
extends ϕ, its restriction to R[t] will induce an injective R-algebra homomorphism φ : R[t] → R[t]
that extends ϕ.
In order to prove that φ̃(t) ∈ R[t], let p(t) and q(t) be coprime and nonzero polynomials in
R[t] such that φ̃(t) = p(t)q(t)−1 , and let c0 , c1 , . . . , cn−1 be elements in R such that f (t) = tn +
cn−1 tn−1 + · · · + c1 t + c0 . Since φ̃(f (t)) = ϕ̃(f (t)) = ϕ(f (t)) and φ̃(f (t)) = f (φ̃(t)), there exists
h(t) ∈ R[t] such that
h(t) = p(t)n q(t)−n + cn−1 p(t)n−1 q(t)1−n + · · · + c1 p(t)q(t)−1 + c0 .
Multiplying both sides of this equation by q(t)n and rearranging the terms, we obtain the following
equation in R[t]:

−p(t)n = q(t) (c0 − h(t))q(t)n−1 + c1 p(t)q(t)n−2 + · · · + cn−1 p(t)n−1 .

This equation shows that q(t) divides p(t)n . Since p(t) and q(t) are assumed to be coprime, it follows
that q(t) must divide 1. Thus q(t) ∈ R× , proving that φ̃(t) ∈ R[t] and finishing the proof.


4

TIAGO MACEDO AND THIAGO CASTILHO DE MELLO

Notice that the extension of the identity map on If constructed in the proof of Lemma 2.1 is the
identity map on R[t], and that composition of extensions constructed in the proof of Lemma 2.1 is
the same as the extension of compositions. We record this result, as it will be used in the proof of
Corollary 2.3 and Lemma 2.7.
Lemma 2.2. Let f , g and h be polynomials in R[t], let ϕ : If → Ig and ψ : Ig → Ih be injective
homomorphisms of R-algebras, and denote (ψ ◦ ϕ) by ξ. If f = g is nonconstant and monic and
ϕ = idIf , then ϕ extends to φ = idR[t] . If f and g are nonconstant and monic, then ϕ, ψ and ξ
extend to injective R-algebra endomorphisms ϕ̃, ψ̃ and ξ̃ of R[t] satisfying ψ̃ ◦ ϕ̃ = ξ̃.
Proof. Immediate from the proof of Lemma 2.1.



The next result, which is a direct consequence of Lemmas 2.1 and 2.2, shows that any isomorphism between ideals of the form If extends uniquely to an automorphism of R[t].
Corollary 2.3 (Hahn-Wofsey). If f and g are nonconstant monic polynomials in R[t], then every
R-algebra isomorphism ϕ : If → Ig extends uniquely to an R-algebra automorphism φ : R[t] → R[t].
Moreover, if f = g, then the function ιf : Aut(If ) → Aut(R[t]) given by ιf (ϕ) = φ is an injective
homomorphism of groups.
Proof. By Lemma 2.1, ϕ extends uniquely to an injective R-algebra homomorphism ϕ̃ : R[t] → R[t].
Now, since ϕ is an isomorphism, it admits an inverse ψ : Ig → If , which by Lemma 2.1, also extends
uniquely to an injective R-algebra homomorphism ψ̃ : R[t] → R[t]. Since ϕ and ψ are inverses of
each other, then ϕ̃ and ψ̃ are also inverses of each other by Lemma 2.2. This proves the first part
of the statement. The second part follows from the first one and from Lemma 2.2.

We finish this subsection by proving necessary and sufficient conditions under which there exists
isomorphisms between ideals of the form If . They will be repeatedly used in the coming sections.
Proposition 2.4. Let f and g be nonconstant monic polynomials in R[t]. If ϕ : If → Ig is an
isomorphism of R-algebras, then deg(f ) = deg(g). Moreover, ϕ(f ) = λg for some λ ∈ R× .
Proof. By Corollary 2.3, ϕ extends uniquely to an automorphism φ of R[t]. Since every automorphism of R[t] maps t to αt+β for some α ∈ R× and β ∈ R, it follows that the degree of φ(f ) = ϕ(f )
is the same as the degree of f . Moreover, since ϕ(f ) is an element in Ig , then deg(ϕ(f )) ≥ deg(g).
This implies that deg(f ) ≥ deg(g).
Now, since ϕ is assumed to be an isomorphism, there is an inverse isomorphism of R-algebras
ϕ−1 : Ig → If . Replacing ϕ by ϕ−1 and applying the argument from the previous paragraph to
ϕ−1 , we conclude that deg(g) ≥ deg(f ). Thus deg(f ) = deg(g). Moreover, since ϕ(f ) ∈ Ig and it
has the same degree as g, then ϕ(f ) must be equal to λg for some λ ∈ R× .

Proposition 2.5. Let f ∈ R[t] be a nonconstant monic polynomial, α ∈ R× , β ∈ R, and φ be the
unique automorphism of R[t] such that φ(t) = αt+β. The restriction of φ to If is an automorphism
of If if and only if φ(f ) = αdeg(f ) f .
Proof. By Proposition 2.4, if the restriction of φ to If is an automorphism, then φ(f ) = λf for
some λ ∈ R× . Since f is assumed to be nonconstant and monic, the leading coefficient of λf (t) is
rλ for some r ∈ R× . Since φ(t) is assumed to be αt + β, the leading coefficient of φ(f (t)) = f (φ(t))
is rαdeg(f ) . Since r ∈ R× , this proves the only if part.

AUTOMORPHISMS OF IDEALS OF POLYNOMIAL RINGS

5

To prove the converse, suppose φ(f ) = αdeg(f ) f . Let ϕ denote the restriction of φ to If and
notice that ϕ(If ) ⊆ If , as
ϕ(hf ) = φ(hf ) = φ(h)φ(f ) = αdeg(f ) φ(h)f
for all h ∈ R[t]. Moreover, since ϕ is the restriction of an automorphism, it is an injective homomorphism of algebras. Using a similar argument, one can show that ϕ−1 = φ−1 |If is an injective
homomorphism of algebras. This proves that ϕ is an automorphism of If .

2.2. Relation between automorphisms and permutations. In this subsection we describe
isomorphisms between ideals of the form If and Ig in terms of certain bijections between Z(f ) and
Z(g). In particular, automorphisms of If are described in terms of certain permutations of Z(f ).
Definition 2.6. Given nonconstant polynomials f and g ∈ R[t], we define ΓR (f, g) to be the set
consisting of all bijections η : Z(f ) → Z(g) for which:
(a) There exists α ∈ R× and β ∈ R such that η(z) = α1 (z − β) for all z ∈ Z(f );
(b) The multiplicity of η(z) as a root of g is the same as the multiplicity of z as a root of f .
When f = g, we will denote ΓR (f, f ) simply by ΓR (f ).
In the particular case when f = g is a nonconstant monic polynomial in R[t], we prove in the
next result that ΓR (f ) is in fact a group.
Lemma 2.7. For any nonconstant monic polynomial f ∈ R[t], ΓR (f ) is a subgroup of Sym Z(f ).
Proof. First notice that the identity element of Sym Z(f ) belongs to ΓR (f ). In order to show that
ΓR (f ) is closed under composition, let η1 , η2 ∈ ΓR (f ) be such that ηi (z) = α1i (z − βi ). Then:


1
(z − β2 )
η1 ◦ η2 (z) = η1
α2


1
1
=
(z − β2 ) − β1
α1 α2
1
(z − (β2 + α2 β1 )).
=
α1 α2
Moreover, since η1 , η2 ∈ ΓR (f ), the multiplicity of z is the same as the multiplicity of η2 (z) and
the same as the multiplicity of η1 (η2 (z)) as a root of f .
To finish the proof, notice that the inverse of any η ∈ ΓR (f ), η(z) = α1 (z − β), α ∈ R× and
β ∈ R, is given by η −1 (z) = α(z + αβ ). Moreover, the multiplicities of η −1 (z) and z = η(η −1 (z)) as
roots of f must be the same. Hence η −1 also belongs to ΓR (f ).

Given two polynomials f, g ∈ R[t], denote by IsoR (If , Ig ) the set of isomorphisms of R-algebras
from If to Ig . The next lemma, which generalizes Lemma 2.7, gives a bijection between IsoR (If , Ig )
and ΓR (f, g).
Lemma 2.8. For any nonconstant monic polynomials f and g in R[t], there exists a bijection
between IsoR (If , Ig ) and ΓR (f, g). Moreover, if f = g, then this bijection is an isomorphism of
groups between Aut(If ) and ΓR (f ).

6

TIAGO MACEDO AND THIAGO CASTILHO DE MELLO

Proof. If deg(f ) 6= deg(g), then IsoR (If , Ig ) is empty by Proposition 2.4, and ΓR (f, g) is empty
because there exists no bijection between Z(f ) and Z(g) that preserves the multiplicities of every
root. So, we will assume that deg(f ) = deg(g), and write
f (t) = (t − a1 )m1 · · · (t − ar )mr

and

g(t) = (t − b1 )n1 · · · (t − br )nr

for some r, m1 , n1 , . . . , mr , nr > 0 and a1 , b1 , . . . , ar , br ∈ K such that ai 6= aj and bi 6= bj if i 6= j.
Now we will construct, to every ϕ ∈ IsoR (If , Ig ), a corresponding element σϕ ∈ ΓR (f, g). By
Corollary 2.3, every ϕ ∈ IsoR (If , Ig ) extends uniquely to an automorphism φ of R[t]. Let α ∈ R×
and β ∈ R be such that φ(t) = αt + β, and observe that
h(t)g(t) = ϕ(f (t)) = φ(f (t))
= f (φ(t))
= (φ(t) − a1 )m1 · · · (φ(t) − ar )mr




ar − β mr
a1 − β m1
deg(f )
··· t −
=α
t−
α
α
for some h ∈ R[t]. Since the degree and the roots of the polynomial on the left are the same as the
degree and the roots of the polynomial on the right, it follows that h ∈ R× and for every i = 1, . . . , r,
1
α (ai − β) = bj for some j = 1, . . . , r. Denote bj by σϕ (ai ) and observe that σϕ ∈ ΓR (f, g).
Now we will construct the inverse of ϕ 7→ σϕ . Given σ ∈ ΓR (f, g), let α ∈ R× and β ∈ R be such
that σ(z) = α1 (z − β) for all z ∈ Z(f ). Then define ϕσ = φ|If where φ is the unique automorphism
of R[t] satisfying φ(t) = αt + β. Observe that ϕσ ∈ IsoR (If , Ig ), that ϕσϕ = ϕ, and that σϕσ = σ
for all ϕ ∈ IsoR (If , Ig ) and σ ∈ ΓR (f, g). Thus, we obtained a bijection between IsoR (If , Ig ) and
ΓR (f, g)
To finish the proof, we show that, if f = g, then the correspondence ϕ 7→ σϕ is a homomorphism
of groups. Consider ϕ1 , ϕ2 ∈ Aut(If ) and their extensions φ1 = ιf (ϕ1 ), φ2 = ιf (ϕ2 ) ∈ Aut(R[t]).
Let α1 , α2 ∈ R× and β1 , β2 ∈ R be such that φ1 (t) = α1 t + β1 and φ2 (t) = α2 t + β2 . Then, by the
above construction, the corresponding permutations of Z(f ) are given by σϕ1 (z) = α11 (z − β1 ) and
σϕ2 (z) = α12 (z − β2 ). Thus


1
σϕ1 (σϕ2 (z)) = σϕ1
(z − β2 )
α2


1
1
=
(z − β2 ) − β1
α1 α2
1
(z − (β2 + α2 β1 )).
=
α1 α2
Since φ1 (φ2 (t)) = α2 (α1 t + β1 ) + β2 = α1 α2 t + (β2 + α2 β1 ), and ϕ1 ◦ ϕ2 = ιf (φ1 ◦ φ2 ) by Lemma 2.2,
it follows that σϕ1 ◦ σϕ2 = σϕ1 ◦ϕ2 and we conclude that ΓR (f ) and Aut(If ) are isomorphic.

Notice that, since Z(f ) is a finite set, then Sym Z(f ) is a finite group. Thus, from Lemmas 2.7
and 2.8, we see that Aut(If ) is a finite group too. In Theorem 2.15 we will show that Aut(If ) is
also cyclic, thus abelian.
The next result follows from Lemma 2.8 and will be used in the proof of Theorem 2.17.
Lemma 2.9. Let f ∈ R[t] be a nonconstant monic polynomial. Then for all k > 0,
Aut(If ) ∼
= Aut(If k ).

AUTOMORPHISMS OF IDEALS OF POLYNOMIAL RINGS

7

Proof. By Lemma 2.8, Aut(If ) ∼
= ΓR (f k ). Since Z(f ) = Z(f k ) and the
= ΓR (f ) and Aut(If k ) ∼
multiplicity of each root of f k is k times its multiplicity as a root of f , then ΓR (f k ) ∼
= ΓR (f ). 
The next result, which also follows directly from Lemma 2.8, gives a more concrete criterion to
determine if two ideals If and Ig are isomorphic.
Corollary 2.10. Let f and g be nonconstant monic polynomials in R[t]. The ideals If and Ig are
isomorphic if and only if ΓR (f, g) is nonempty.

Given z0 ∈ R and f ∈ R[t], denote the polynomial f (t − z0 ) ∈ R[t] by fz0 (t). The next result
shows that such a shift in the roots of f does not change the isomorphism class of the group ΓR (f ).
Lemma 2.11. For any z0 ∈ R and any nonconstant monic polynomial f ∈ R[t], there exists an
isomorphism of groups between ΓR (f ) and ΓR (fz0 ).
Proof. First, notice that, for any z0 ∈ R, Z(fz0 ) = {z + z0 | z ∈ Z(f )}. Now, given a permutation
σ : Z(f ) → Z(f ), consider the permutation σz0 : Z(fz0 ) → Z(fz0 ) given by σz0 (z) = σ(z − z0 ) + z0 .
Observe that, if σ is a permutation of Z(f ) which satisfies σ(z) = α1 (z − β) for some α ∈ R×
and β ∈ R, then σz0 is a permutation of Z(fz0 ) which satisfies σz0 (z) = α1 (z − β ′ ) with β ′ =
((1 − α)z0 + β) ∈ R. Also observe that, if σ is a permutation of Z(f ) such that the multiplicity
of σ(z) as a root of f is the same as that of z, then σz0 is a permutation of Z(fz0 ) such that the
multiplicity of σz0 (z + z0 ) = σ(z) + z0 is the same as that of z + z0 .
To finish the proof, we only need to prove that the correspondence σ 7→ σz0 is a homomorphism
of groups, since (σz0 )−z0 (z) = σz0 (z + z0 ) − z0 = (σ(z) + z0 ) − z0 = σ(z) for all z ∈ Z(f ). Given
σ, ρ ∈ Sym Z(f ), we have
(σ ◦ ρ)z0 (z) = σ(ρ(z − z0 )) + z0
= σ((ρ(z − z0 ) + z0 ) − z0 ) + z0
= σ(ρz0 (z) − z0 ) + z0
= σz0 (ρz0 (z))
for all z ∈ Z(f ). This shows that the correspondence σ 7→ σz0 is a homomorphism of groups.



Let f be a nonconstant monic polynomial in R[t], ϕ ∈ Aut(If ), and let φ denote its extension
ιf (ϕ) ∈ Aut(R[t]) (see Corollary 2.3). Recall that there exist unique α ∈ R× and β ∈ R such
that φ(t) = αt + β. Now, let z0 ∈ R and φz0 be the unique automorphism of R[t] that satisfies
φz0 (t) = αt+((1−α)z0 +β). Define a function ζ0 : Aut(If ) → Aut(Ifz0 ) by setting ζ0 (ϕ) = φz0 |Ifz .
0
We finish this subsection by using Lemmas 2.8 and 2.11 to show that ζ0 is in fact an isomorphism
of groups. This result will be important in the proofs of Lemma 2.14 and Theorem 2.15.
Proposition 2.12. For any z0 ∈ R and any nonconstant monic polynomial f ∈ R[t], the function
ζ0 : Aut(If ) → Aut(Ifz0 ) is an isomorphism of groups.
Proof. By Lemma 2.8, there exists an isomorphism of groups Aut(If ) → ΓR (f ). Namely, for each
ϕ ∈ Aut(If ), there exist unique α ∈ R× and β ∈ R such that (ιf (ϕ)) (t) = αt+β. The isomorphism
Aut(If ) → ΓR (f ) assigns to ϕ ∈ Aut(If ) the permutation σϕ ∈ ΓR (f ) given by σϕ (z) = α1 (z − β)
for all z ∈ Z(f ).
By Lemma 2.11, there exists an isomorphism of groups ΓR (f ) → ΓR (fz0 ) which assigns to a
permutation σ ∈ ΓR (f ) the permutation σz0 ∈ ΓR (fz0 ) given by σz0 (z) = α1 (z − ((1 − α)z0 + β))
for all z ∈ Z(fz0 ).

8

TIAGO MACEDO AND THIAGO CASTILHO DE MELLO

Since fz0 ∈ R[t], by Lemma 2.8, there exists an isomorphism of groups ΓR (fz0 ) → Aut(Ifz0 ).
Namely, for each permutation σ ∈ ΓR (fz0 ), there exist unique α ∈ R× and β ∈ R such that
σ(z) = α1 (z − β) for all z ∈ Z(fz0 ). The isomorphism ΓR (fz0 ) → Aut(Ifz0 ) assigns to σ the
automorphism ϕσ = ψ|Ifz ∈ Aut(Ifz0 ), where ψ is the unique automorphism of R[t] such that
0
ψ(t) = αt + β.
Composing these three isomorphisms of groups, we obtain an isomorphism Aut(If ) → Aut(Ifz0 )

that assigns to each ϕ ∈ Aut(If ) the automorphism ζ0 (ϕ) ∈ Aut(Ifz0 ).
2.3. Main results. In this subsection we will prove the main results of the paper: we completely
describe the automorphism group of If for any nonconstant monic polynomial f ∈ R[t]. We
separate our analysis in two main cases and begin by describing the automorphism groups of ideals
generated by polynomials with only one root in K.
Proposition 2.13. If f (t) = (t − a)n for some a ∈ R and n ≥ 1, then there exists an isomorphism
of groups between Aut(If ) and R× .
Proof. Suppose ϕ ∈ Aut(If ), denote ιf (ϕ) ∈ Aut(R[t]) by φ, and let α ∈ R× and β ∈ R be such
that φ(t) = αt + β. By Proposition 2.4, there exists λ ∈ k× such that


a−β n
n
n
n
λ(t − a) = φ(f (t)) = (αt + (β − a)) = α t −
.
α
Since the roots of the polynomials on the left and right sides of this equation are the same, β must
be equal to (1 − α)a.
Now, given α ∈ R× , let φα be the unique automorphism of R[t] satisfying φα (t) = αt + (1 − α)a.
Notice that
φα (f (t)) = (αt + (1 − α)a − a)n = αn (t − a)n = αn f (t).
Thus, φα |If is an automorphism of If . This shows that there exists a bijection between R× and
Aut(If ), explicitly given by α 7→ φα |If . To finish the proof, we will show that this bijection is in
fact an isomorphism of groups. For any α1 , α2 ∈ R× , we have
φα1 (φα2 (t)) = φα1 (α2 t + (1 − α2 )a)
= α2 (α1 t + (1 − α1 )a) + (1 − α2 )a
= α1 α2 t + (1 − α1 α2 )a
= φα1 α2 (t).
This implies that φα1 |If ◦ φα2 |If = φα1 α2 |If , and finishes the proof.



For the rest of this section, we will analyze the case of polynomials with at least two distinct
roots in K. In the next result, we use Proposition 2.4 to obtain restrictions on the coefficients α
and β that describe the extensions to R[t] of automorphisms of If obtained in Corollary 2.3.
Lemma 2.14. Let f ∈ R[t] be decomposed as f (t) = (t−a1 )m1 · · · (t−ar )mr , with r, m1 , . . . , mr > 0
and a1 , . . . , ar ∈ K distinct. Let n = m1 + · · · + mr > 1 denote the degree of f , let ϕ ∈ Aut(If ), let
φ denote ιf (ϕ) ∈ Aut(R[t]), and let α ∈ R× and β ∈ R be such that φ(t) = αt + β. Then
nβ = (1 − α)(m1 a1 + · · · + mr ar ).
Moreover, if f has at least two distinct roots in K, n is nonzero in R, and there exists z0 ∈ R
such that nz0 = −(m1 a1 + · · · + mr ar ), then α is an (n − m0 )-th root of unity, where m0 is the
multiplicity of −z0 as a root of f .

AUTOMORPHISMS OF IDEALS OF POLYNOMIAL RINGS

9

Proof. From Proposition 2.4, we know that there exists λ ∈ R× such that ϕ(f ) = λf . Since ϕ is a
restriction of φ, we have on the one hand
ϕ(f (t)) = (αt + (β − a1 ))m1 · · · (αt + (β − ar ))mr
= (αt)n + (nβ − (m1 a1 + · · · + mr ar ))(αt)n−1 + · · · + f (β),

(2.1)
and on the other hand
(2.2)

mr
1
λf (t) = λtn − λ(m1 a1 + · · · + mr ar )tn−1 + · · · + (−1)n λam
1 · · · ar .

By comparing the terms on the right sides of equations (2.1) and (2.2), we obtain that
(2.3)

αn = λ

and

nβ = (1 − α)(m1 a1 + · · · + mr ar ).

This proves the first part of the statement.
To prove the second part, let z0 ∈ R be such that nz0 = −(m1 a1 + · · · + mr ar ), and consider
fz0 ∈ R[t]. Let ψ ∈ Aut(Ifz0 ), let ψ̃ denote ιf (ψ) ∈ Aut(R[t]), and let α̃ ∈ R× and β̃ ∈ R be the
unique elements such that ψ̃(t) = α̃t + β̃. Notice that by Proposition 2.12, α̃ = α. Also notice that
fz0 is decomposed as fz0 (t) = (t − (a1 + z0 ))m1 · · · (t − (ar + z0 ))mr , with r > 1, m1 , . . . , mr > 0,
(a1 + z0 ), . . . , (ar + z0 ) ∈ K distinct, and deg(fz0 ) = n. As in the first part of the proof, there exists
λ̃ ∈ R× such that
(2.4)

ψ(fz0 ) = λ̃fz0 ,

αn = λ̃

and nβ̃ = (1 − α)(m1 (a1 + z0 ) + · · · + mr (ar + z0 )).

Together with equation (2.3), equation (2.4) implies, in particular, that λ̃ = λ. Moreover, notice
that m1 (a1 + z0 ) + · · · + mr (ar + z0 ) = (m1 a1 + · · · + mr ar ) + nz0 = 0. Since R is assumed to be a
domain and n is assumed to be nonzero in R, equation (2.4) implies that β̃ = 0.
Denote by m0 ≥ 0 the multiplicity of 0 as a root of fz0 (or, equivalently, the multiplicity of −z0
as a root of f ). Since f is assumed to have at least two distinct roots in K, then fz0 has at least
one nonzero root in K. Hence, equation (2.1) for fz0 becomes
Y
(ai + z0 )mi (αt)m0 ,
(2.5)
ψ(fz0 (t)) = (αt)n + · · · + (−1)n−m0
ai +z0 6=0

and equation (2.2) becomes
(2.6)

λfz0 (t) = λtn + · · · + (−1)n−m0 λ

Y

(ai + z0 )mi tm0 .

ai +z0 6=0

Since R is assumed to be a domain, the coefficients of tm0 on equations (2.5) and (2.6) are nonzero.
By comparing them, we obtain that αm0 = λ = αn . Since α ∈ R× , then αn−m0 = 1, that is, α is
an (n − m0 )-th root of unity.

Using Proposition 2.12 and Lemma 2.14, we are now able to show that Aut(If ) is a finite cyclic
group (thus abelian) when f has at least two distinct roots in K.
Theorem 2.15. Let f be a nonconstant monic polynomial in R[t], decomposed as
f (t) = (t − a1 )m1 · · · (t − ar )mr ,
with r > 1, m1 , . . . , mr > 0 and a1 , . . . , ar being its distinct roots in K. Let n = m1 + · · · + mr > 1
denote the degree of f . If there exists z0 ∈ R such that nz0 = (m1 a1 + · · · + mr ar ), then Aut(If )
is isomorphic to a cyclic subgroup of Aut(R[t]) of order (n − m0 ), where m0 ≥ 0 denotes the
multiplicity of −z0 as a root of f . In particular, Aut(If ) is cyclic.

10

TIAGO MACEDO AND THIAGO CASTILHO DE MELLO

Proof. If there exists z0 ∈ R such that nz0 = (m1 a1 +· · ·+mr ar ), then by Proposition 2.12, Aut(If )
is isomorphic to Aut(Ifz0 ). So without loss of generality, we will assume that z0 = 0. Since f has at
least two different roots in K, at least one of these roots is nonzero. Then by Lemma 2.14, for any
ϕ ∈ Aut(If ), there exists an (n − m0 )-th root of unity, αϕ , such that ϕ = φ|If where φ ∈ Aut(R[t])
satisfies φ(t) = αϕ t.
We will show that the function ϕ 7→ αϕ is an injective homomorphism of groups. If αϕ1 = αϕ2 ,
then ϕ1 = ιf (φ1 )|If , ϕ2 = ιf (φ2 )|If and ιf (ϕ1 ) (t) = αϕ1 t = αϕ2 t = ιf (ϕ2 ) (t). This proves that
the function ϕ 7→ αϕ is injective. Now, if ϕ, ψ ∈ Aut(If ), then αϕ◦ψ t = ϕ ◦ ψ(t) = ϕ(αψ t) =
αϕ αψ t. Hence αϕ◦ψ = αϕ αψ . This shows that ϕ 7→ αϕ is homomorphism of groups. Moreover, by
Lemma 2.14, Aut(If ) is isomorphic to a subgroup of the cyclic group of order (n − m0 ).

Remark 2.16. In the case where R is a field, if the characteristic of R is zero, or if the characteristic
of R is positive and does not divide the degree of f ∈ R[t], then the result of Theorem 2.15 is valid
for every polynomial f with at least two distinct roots in K. However, the result of Theorem 2.15
may not remain valid when the characteristic of R divides the degree of f ; that is, when deg(f ) is
zero in R. For instance, if R = Z/3Z and f (t) = t3 −t, then one can check that Aut(If ) ∼
= Aut(R[t]),
which is isomorphic to the permutation group in three letters, thus not a cyclic group.
One can visualize the result of Theorem 2.15 in the following way. Let R = R be the field of
real numbers, and f be a nonconstant polynomial in R[t] with two or more distinct roots, possibly
in K = C, the field of complex numbers. Then each nontrivial automorphism of If is induced by a
rotation of the complex plane that fixes the point z0 , which is the average of the roots of f (counted
with multiplicities).
For each nonconstant monic polynomial f ∈ R[t] and each m > 0, denote by Zm (f ) the subset
of Z(f ) consisting of roots of f with multiplicity m and by fm (t) the polynomial in K[t] defined by
(Q
a∈Zm (f ) (t − a), if Zm (f ) 6= ∅;
fm (t) =
1,
otherwise.
Q
Notice that Zm (f ) = ∅ for all m > deg(f ), and that f (t) = m>0 (fm (t))m .
Notice that, if m > 0 is such that Zm (f ) = ∅, then Ifm = R[t]. Recall from Corollary 2.3 that,
for any nonconstant monic polynomial f ∈ R[t], there exists an injective homomorphism of groups
ιf : Aut(If ) ֒→ Aut(R[t]). For each m > 0, let ιm : Aut(Ifm ) ֒→ Aut(R[t]) be defined by
(
ιfm (ϕ), if Zm (f ) 6= ∅;
ιm (ϕ) =
idR[t] ,
otherwise.

In the next result we will establish a relation between the automorphism groups of Ifm and the
automorphism group of If .
Theorem 2.17. Let f ∈ R[t] be a nonconstant monic polynomial. Then ιf induces an isomorphism
T
of groups between Aut(If ) and m>0 ιm (Aut(Ifm )).

T
Proof. We will first show that ιf (ϕ) ∈ m>0 ιm (Aut(Ifm )) for all ϕ ∈ Aut(If ). Let φ ∈ Aut(R[t])
denote ιf (ϕ) and recall that there exist unique elements α ∈ R× and β ∈ R such that φ(t) = αt + β.
It is clear that φ ∈ ιm (Aut(Ifm )) for all m > 0 such that Zm (f ) = ∅. So, assume that Zm (f ) 6= ∅
and notice that, since fm is monic and nonconstant, the leading coefficient of φ(fm ) is rm αdeg(fm ) ,
where rm ∈ R× is the leading coefficient of fm . By Lemma 2.7, the roots and multiplicities of the
roots of φ(f ) are the same as those of f . Thus φ(f )m = φ(fm ) = αdeg(fm ) fm . By Proposition 2.5,

AUTOMORPHISMS OF IDEALS OF POLYNOMIAL RINGS

11

this implies that φ|Ifm ∈ Aut(Ifm ). Now, by the uniqueness of extensions proved in Lemma 2.1,
we obtain that ιm (φ|Ifm ) = φ.
To finish the proof, we will show that, if φ ∈ ιm (Aut(Ifm )) for all m > 0, then φ|If ∈ Aut(If ).
Let α ∈ R× and β ∈ R be such that φ(t) = αt + β. By the uniqueness of extensions proved
in Lemma 2.1, we have that φ|Ifm ∈ Aut(Ifm ) for all m > 0. Notice that, if Zm (f ) = ∅, then
fm = 1 and φ(fm ) = αdeg(fm ) fm . If Zm (f ) 6= ∅, then fm is a nonconstant monic polynomial, and
by Proposition 2.5, φ(fm ) = αdeg(fm ) fm . Thus, we have:
!
P
Y
Y
Y
Y
m
m
m
φ(fm )m =
αm deg(fm ) fm
= α m deg(fm )
fm
= αdeg(f ) f.
fm =
φ(f ) = φ
m>0

m>0

m>0

m>0

Hence, by Proposition 2.5, φ|If ∈ Aut(If ).



Together with Theorem 2.15, Theorem 2.17 gives a very precise description of the group Aut(If ).
In fact, if f is a nonconstant monic polynomial with at least two distinct roots in K, then by
Theorem 2.15, Aut(If ) is a finite, cyclic (thus abelian) group. We finish this section by using
Theorem 2.17 to pin down the order of Aut(If ).
Corollary 2.18. Let f be a nonconstant monic polynomial in R[t] and, for each m > 0, let dm
denote the order of the group Aut(Ifm ). Then Aut(If ) is isomorphic to a cyclic group of order
gcd({dm : Zm 6= ∅}). In particular, if gcd({dm : Zm 6= ∅}) = 1, then Aut(If ) is trivial.

3. Open problems
3.1. Isomorphisms of ideals of polynomial rings. Let n, k, ℓ > 0 and f1 , . . . , fk , g1 , . . . , gℓ
be polynomials in R[x1 , . . . , xn ]. Find conditions on f1 , . . . , fk , g1 , . . . , gℓ under which the ideals
hf1 , . . . , fk i and hg1 , . . . , gℓ i are isomorphic as associative commutative algebras without unit. Notice that, for n = 1, this problem is solved in Corollary 2.10 and Proposition 2.5.
3.2. Varieties determined by one variable polynomials. Let f ∈ R[t] be a nonconstant monic
polynomial and let n > 0 denote deg(f ). Notice that If and Af are finitely generated R-algebras.
The former is generated by {f, tf, . . . , tn−1 f } and the latter is generated by {1, f, tf, . . . , tn−1 f }.
Denote by p the maximal ideal of R[x1 , . . . , xn ] generated by x1 , . . . , xn , and define the following
homomorphisms of R-algebras:
θf :

R[x1 , . . . , xn ] −→ Af
xi
7−→ ti−1 f
1
7−→
1

Since these homomorphisms are surjective,
R[x1 , . . . , xn ]
Af ∼
=
ker θf

and

and

θf◦ :

If ∼
=

p −→
If
i−1
xi 7−→ t f

p
.
ker θf◦

The ideal ker θf in R[x1 , . . . , xn ] corresponds to an affine variety V(ker θf ) in An , whose coordinate
ring is Af . We denote V(ker θf ) by Vf and call it the variety determined by f .
In the set of all varieties determined by one variable polynomials, one can consider their isomorphism classes as affine varieties. It is well known that two affine varieties are isomorphic if and
only if their coordinate rings are isomorphic. Since any isomorphism between If and Ig can be
extended to an isomorphism between Af and Ag (see, for instance, the first paragraph of the proof
of Lemma 2.1), we have the following result:

12

TIAGO MACEDO AND THIAGO CASTILHO DE MELLO

Proposition 3.1. Let f and g be nonconstant monic polynomials in R[t]. If If is isomorphic to
Ig , then Vf is isomorphic to Vg .
One can consider the following two questions. Is the converse of Proposition 3.1 true? For
each fixed n > 0, are there finitely many isomorphism classes of affine varieties determined by one
variable polynomials?
Acknowledgments. The first author would like to thank CNPq and the second author would like
to thank CNPq and Fapesp for their financial supports. The first author would also like to thank
D. Nakano for bringing up the problem that motivated this paper, and both authors would like to
thank J. Hahn and E. Wofsey for their important suggestions [WH].
References
[AM]
[BDMN]
[Coh]
[Cze1]
[Cze2]
[WH]
[Jun]
[ML]
[VIGRE]

[SU]
[Umi]
[vdE]
[vdK]

M. F. Atiyah and I. G. Macdonald, Introduction to commutative algebra, Addison-Wesley Publishing Co.,
Reading, Mass.-London-Don Mills, Ont., 1969.
B.
D.
Boe,
C.
M.
Drupieski,
T.
R.
Macedo,
and
D.
K.
Nakano,
Extensions for Generalized Current Algebras, ArXiv e-prints (2015), arXiv:1511.00024.
P. M. Cohn, Subalgebras of free associative algebras, Proc. London Math. Soc. (3) 14 (1964), 618–632.
A. J. Czerniakiewicz, Automorphisms of a free associative algebra of rank 2. I, Trans. Amer. Math. Soc.
160 (1971), 393–401.
, Automorphisms of a free associative algebra of rank 2. II, Trans. Amer. Math. Soc. 171 (1972),
309–315.
J.
Hahn
and
E.
Wofsey,
Automorphisms of ideals of C[t],
MathOverflow,
http://mathoverflow.net/q/195203 (version: 2015-01-29).
H. W. E. Jung, Über ganze birationale Transformationen der Ebene, J. Reine Angew. Math. 184 (1942),
161–174.
L. G. Makar-Limanov, The automorphisms of the free algebra with two generators, Funkcional. Anal. i
Priložen. 4 (1970), no. 3, 107–108.
University of Georgia VIGRE Algebra Group, Second cohomology for finite groups of Lie type, J. Algebra
360 (2012), 21–52, University of Georgia VIGRE Algebra Group: Brian D. Boe, Brian Bonsignore,
Theresa Brons, Jon F. Carlson, Leonard Chastkofsky, Christopher M. Drupieski, Niles Johnson, Wenjing
Li, Phong Thanh Luu, Tiago Macedo, Daniel K. Nakano, Nham Vo Ngo, Brandon L. Samples, Andrew
J. Talian, Lisa Townsley and Benjamin J. Wyser.
I. P. Shestakov and U. U. Umirbaev, The tame and the wild automorphisms of polynomial rings in three variables,
J. Amer. Math. Soc. 17 (2004), no. 1, 197–227 (electronic).
U. U. Umirbaev, The Anick automorphism of free associative algebras, J. Reine Angew. Math. 605
(2007), 165–178.
A. van den Essen, Polynomial Automorphisms and the Jacobian Conjecture, Progress in Mathematics,
190 (2000).
W. van der Kulk, On polynomial rings in two variables, Nieuw Arch. Wiskunde (3) 1 (1953), 33–41.

Department of Mathematics and Statistics, University of Ottawa, Ottawa, ON K1N 6N5, and
Department of Science and Technology, Federal University of São Paulo, São José dos Campos, São
Paulo, Brazil, 12.247-014
E-mail address: tmacedo@unifesp.br
Department of Science and Technology, Federal University of São Paulo, São José dos Campos,
São Paulo, Brazil, 12.247-014,
E-mail address: tcmello@unifesp.br

