Matt D. Lunsford, “Cardanus, «casus irreducibilis» and finite fields”, en Mathematics magazine 87/5 (2014), pp. 377-380.

© All Rights Reserved

15 views

Matt D. Lunsford, “Cardanus, «casus irreducibilis» and finite fields”, en Mathematics magazine 87/5 (2014), pp. 377-380.

© All Rights Reserved

- Nonlinear Equations
- 543 Galois Theory IntroductionP2
- Fundamentals of Mathematics Vol 1 Foundations of Mathematics the Real Number System and Algebra
- Easily Made Errors in FEA 2
- Symmetry in Mathematics - GD Mostow
- Numerical Analysis (12).pdf
- FEM
- Algebra II - Textbook for Students of Mathematics - Gorodentsev, Alexey L.
- Selection of problems in Ideals
- Flow and dispersal simulations of the Mock Urban Setting Test
- CHAP10 Solubility by Radicals
- Fundamentals of Numerical Computing
- Numerical Solution for Multi-Term Fractional Orders Differential Equations by Splin Functions
- Ph.D. Thesis of Farzana Hussain
- 2018.Mechanical.branch.guide.nastran.rev0
- Finite Difference Method for Nonlocal Singularly Perturbed Problem
- mathgen-1465762938
- Como operar ECAM ON ASDA-A2
- p__2005047
- rfc31

You are on page 1of 5

Source: Mathematics Magazine, Vol. 87, No. 5 (December 2014), pp. 377-380

Published by: Mathematical Association of America

Stable URL: http://www.jstor.org/stable/10.4169/math.mag.87.5.377 .

Accessed: 28/03/2015 18:29

Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at .

http://www.jstor.org/page/info/about/policies/terms.jsp

.

JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of

content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms

of scholarship. For more information about JSTOR, please contact support@jstor.org.

Mathematical Association of America is collaborating with JSTOR to digitize, preserve and extend access to

Mathematics Magazine.

http://www.jstor.org

All use subject to JSTOR Terms and Conditions

NOTES

Cardano, Casus Irreducibilis, and Finite Fields

MATT D. LUNSFORD

Union University

Jackson, TN 38305

mlunsford@uu.edu

Undoubtedly, the mathematical gem of the 16th century is Gerolamo Cardanos Ars

Magna, a work that contains the formula for the solution of the general cubic equation. Every cubic, through a simple transformation, can be depressed to a cubic

without a quadratic term. In modern notation, Cardanos formula for the three roots

of the depressed cubic x 3 + q x + r (with q 6= 0) is given by + , + 2 , and

2 + , where

r + R

3

=

,

2

4q 3

,

R = r2 +

27

q

= ,

3

and where = 1 + 3 /2 is a primitive cube root of unity.

To demonstrate this classic formula, consider the depressed cubic equation x 3

6x + 1 = 0, which from its graph has three real roots. A little calculation reveals that

2 3 1 31

1 + 31

3

3

=

and

=

=

.

2

2

Then, one of the roots is given by

+ =

1 +

31

31

where the cube roots are taken to preserve the condition = (2/).

Note how Cardanos formula expresses this real root as a sum of cube roots of

complex numbers. For centuries, mathematicians were puzzled by this fact: Cardanos

formula requires an excursion into the complex numbers to express in radicals the

roots of an irreducible cubic polynomial with rational coefficients having only real

roots. This phenomenon, known as the casus irreducibilis, is a famous theorem in the

theory of polynomial equations. Before stating the result, we recall a few definitions

from field theory.

Let F be a field. A polynomial f (x) F[x] is irreducible over F if it cannot be

written as the product of two polynomials in F[x] of lower degree. A field K is a

c Mathematical Association of America

Math. Mag. 87 (2014) 377380. doi:10.4169/math.mag.87.5.377.

377

All use subject to JSTOR Terms and Conditions

378

MATHEMATICS MAGAZINE

m

of fields F = K 0 K 1 K t is a radical tower over F if each successive field

extension is a radical extension of the preceding field. And finally, a field E is called a

splitting field of the polynomial f (x) F[x] if F E, f (x) splits into linear factors

over E, and E is generated by F and the roots of f (x).

To illustrate these concepts, consider the cubic polynomial x 3 6x + 1 above. It is

irreducible over the field Q of rational numbers since it has no rational root. If we let

a=

31

and

b=

1 +

31,

Q(u 1 , u 2 , u 3 ) is a splitting field of x 3 6x + 1, where u 1 , u 2 , u 3 denote the three real

roots of x 3 6x + 1 = 0. We observe, by Cardanos formula, that E Q(a, b, ).

We can now state the famous theorem proved by Otto Holder in the late 19th century.

C ASUS I RREDUCIBILIS [2, p. 217]. Let f (x) be an irreducible cubic over the field

Q of rational numbers having three real roots with splitting field E, and let Q = K 0

K 1 K t be a radical tower with E K t . Then K t 6 R, where R is the field of

real numbers.

The remarkable consequence of this result is the necessity of complex numbers to

express by radicals the three real roots of the irreducible cubic. More specifically, the

proof of the theorem establishes that a primitive cube root of unity must lie in the field

Kt .

In this paper, we seek an analogous result for finite fields. To do so, we need a

generalized version of the casus irreducibilis that requires a slight modification to the

definition of radical extension. To motivate this adaptation, suppose we wish to adjoin

a primitive eighth root of unity to the field Q of rational numbers. An obvious way

would be the single radical extension Q( ). However, with this rather naive approach,

it is not obvious which new elements have been added to Q. Alternatively, we could

choose to work exclusively with irreducible polynomials in our radical extensions. For

instance, observe that the polynomial x 8 1, of which is a root, is reducible over Q,

x 8 1 = (x 1)(x + 1)(x 2 + 1)(x 4 + 1).

The quadratic factor x 2 + 1, of which the imaginary unit i is a root, is irreducible

over Q. Furthermore, the quartic factor x 4 + 1 is reducible over the radical extension

field Q(i) of Q and factors into two irreducible quadratic polynomials,

x 4 + 1 = (x 2 + i)(x 2 i).

Q Q(i) Q i, i

also adjoins to Q (since Q( ) = Q(i, i)), but now the field Q has been extended

in a systematic way. With this in mind, we give the refined definition.

A field K = F(a) is an irreducible radical extension of F if it is a radical extension

(i.e., a m F) and the polynomial x m a m is irreducible over F. Similarly, a chain

of fields F = K 0 K 1 K t is an irreducible radical tower over F if each

successive field extension is an irreducible radical extension of the preceding field.

Finally, an element is expressible in terms of irreducible radicals if it lies in some

irreducible radical tower.

If we take the root

All use subject to JSTOR Terms and Conditions

379

With this new concept, we can state a generalized form of the casus irreducibilis

due to Mann [1]: Let f (x) be an irreducible cubic over the field F of characteristic not

equal to 2 or 3 with splitting field E, and F = K 0 K 1 K t be an irreducible

radical tower with E K t . Then K t contains a primitive cube root of unity.

Manns result clarifies the situation in the casus irreducibilis: If the radical extensions used by Cardanos formula to solve the irreducible cubic with three real roots can

be expressed as irreducible radical extensions (which they can), then the ultimate field

extension in the radical tower must contain a primitive cube root of unity and therefore

cannot be a subfield of the real numbers. The requirement that the characteristic of F

be different from 3 is a necessary restriction; otherwise primitive cube roots of unity

do not exist in F. (Mann also addresses the characteristic 2 case in the same note.)

We consider an analogous result for irreducible cubic polynomials over finite fields.

Let Fp denote the prime finite field of characteristic prime p and assume p > 3. Also,

let G F( p n ) denote the Galois field with p n elements, which is a radical extension of

degree n over Fp . In this simpler setting, we explore whether the roots of f (x) Fp [x]

are expressible in terms of irreducible radicals present in the splitting field of f (x).

For example, since x 2 2 is irreducible over F5 , as it does not have a root in F5 ,

adjoining a square root of 2 to the field F5 results in an irreducible radical extension

G F(52 ) of F5 . In contrast, x 3 2 is reducible over F5 ,

x 3 2 = (x + 2)(x 2 + 3x + 4),

and the same is true for each binomial cubic equation x 3 c over F5 . Thus it is not

clear whether G F(53 ) is an irreducible radical extension of F5 . In fact, it is not, as we

shall see shortly.

For the remainder of this paper, f (x) Fp [x] will be an irreducible cubic over Fp

and E = G F( p 3 ) will denote the splitting field of f (x) over Fp . We begin with a

lemma about the existence of primitive cube roots of unity in the splitting field E.

L EMMA . G F( p 3 ) contains a primitive cube root of unity if and only if p 1

(mod 3).

Proof. Let E = G F( p 3 ). Then, E = E {0} is a cyclic group under multiplication with order p 3 1. Therefore, applying both Lagranges theorem and Cauchys

theorem for finite groups, E has an element of order 3and thus E has a primitive

cube root of unityif and only if 3 | ( p 3 1). However, as p 3 p (mod 3) by Fermats little theorem, this last condition is easily seen to be equivalent to p 1 (mod 3).

In fact, G F( p 3 ) contains a primitive cube root of unity if and only if Fp does, but

we will not need this fact. We are now ready to prove the main result of this paper.

T HEOREM . E is an irreducible radical extension of Fp if and only if p 1

(mod 3).

Proof. Suppose that 3 is not a divisor of p 1. By the result of Mann, every irreducible radical tower Fp = K 0 K 1 K t containing E must contain a primitive cube root of unity. By the lemma above, E does not contain a primitive cube

root of unity. Hence, E is not an irreducible radical extension of Fp . Conversely, suppose that E is not an irreducible radical extension of Fp . Consider the polynomials

x 3 c Fp [x] for each c Fp . It must be the case that each of these polynomials

is reducible over Fp , otherwise E is the splitting field of the irreducible polynomial

x 3 c Fp [x] for some c Fp , and thus E is an irreducible radical extension of Fp ,

contrary to the hypothesis. But this can happen only if the mapping c 7 c3 is a bijection on Fp . So the group Fp = Fp {0} does not have an element of order 3. It

All use subject to JSTOR Terms and Conditions

380

MATHEMATICS MAGAZINE

(mod 3).

The theorem gives a simple divisibility condition to determine whether the roots of

f (x) are expressible in terms of irreducible radicals present in the splitting field E. In

particular, the roots cannot be expressed in terms of irreducible radicals in E exactly

when p 6 1 (mod 3). This situation mirrors the historic casus irreducibilis in that both

cases require the presence of elements not in the splitting field in order to express the

roots of an irreducible cubic in terms of irreducible radicals.

To demonstrate, consider the polynomial x 3 + 3x + 2, which is readily seen to be

irreducible over both F5 and F7 . If p = 5, then the roots of this polynomial are not

3

expressible

in terms of irreducible radicals in G F(5 ). In particular, a cube root of

1 + 2, as given by Cardanos formula, is not present in the splitting field. This

element, however, does lie in the extension field G F(56 ). If, on the other hand, p= 7,

then F7 G F(73 ) is an irreducible radical extension, and a cube root of 1 + 2 is

present in the splitting field. Hence, the roots of this same polynomial are expressible

in terms of irreducible radicals in G F(73 ), namely,

3

2 + 1 2,

3

3

2

2 =

1 + 2 +

1 2 ,

1 =

3 = 2

1 +

1 +

2 +

2 ,

REFERENCES

1. Henry B. Mann, On the Casus Irreducibilis, Amer. Math. Monthly 71 (1964) 288290. http://dx.doi.org/

10.2307/2312188

2. Joseph J. Rotman, Advanced Modern Algebra, American Mathematical Society, Providence, RI, 2010.

Summary For centuries, mathematicians were puzzled by the fact that Cardanos formula requires an excursion into the complex numbers to express in radicals the roots of an irreducible cubic polynomial with rational

coefficients having only real roots. In this paper, we consider an analogous case for irreducible cubics over finite

fields. In this simpler setting, we explore whether the roots of an irreducible cubic polynomial are expressible in

terms of irreducible radicals present in its splitting field. The key theorem gives a simple divisibility condition that

answers this question completely. Thus there is a situation that mirrors the historic casus irreducibilis, in that

both cases require the presence of elements not in the splitting field in order to express the roots of an irreducible

cubic in terms of irreducible radicals.

All use subject to JSTOR Terms and Conditions

- Nonlinear EquationsUploaded byRobin Zimmermann
- 543 Galois Theory IntroductionP2Uploaded byhammoudeh13
- Fundamentals of Mathematics Vol 1 Foundations of Mathematics the Real Number System and AlgebraUploaded byFrancisco Anyosa
- Easily Made Errors in FEA 2Uploaded bydarkwing888
- Symmetry in Mathematics - GD MostowUploaded byFRIENDs CALCUTTA [ SANDIP40 ]
- Numerical Analysis (12).pdfUploaded byRiki Mandol
- FEMUploaded byRichard Ore Cayetano
- Algebra II - Textbook for Students of Mathematics - Gorodentsev, Alexey L.Uploaded byJesús Avalos Rodríguez
- Selection of problems in IdealsUploaded byMason Keller
- Flow and dispersal simulations of the Mock Urban Setting TestUploaded byMárton Balczó
- CHAP10 Solubility by RadicalsUploaded bySaska Milosevic
- Fundamentals of Numerical ComputingUploaded byHamid Wadood
- Numerical Solution for Multi-Term Fractional Orders Differential Equations by Splin FunctionsUploaded byAdel Almarashi
- Ph.D. Thesis of Farzana HussainUploaded byFarzana Hussain
- 2018.Mechanical.branch.guide.nastran.rev0Uploaded bysalunkhecl
- Finite Difference Method for Nonlocal Singularly Perturbed ProblemUploaded byIjmret Journal
- mathgen-1465762938Uploaded byjohn
- Como operar ECAM ON ASDA-A2Uploaded byWilliam Alvaro
- p__2005047Uploaded byZhi Zhang
- rfc31Uploaded byNickyNET
- NewEdcFile ReportUploaded byMediana Dk
- 1178267349Setting OutUploaded bycherry
- 302 Computer Oriented Numerical Methods.pdfUploaded bySameer Jayant
- UNITi.docxUploaded byPonnarasi
- 172Uploaded byMarco Aurélio Leonel Matunaga
- FECT Hera (Piping Presentation)Uploaded byanon_783076273
- 00057243Uploaded byVia Gsh
- AESUploaded bysumadi
- QED Effective Action in Magnetic Field Backgrounds and Electromagnetic DualityUploaded bymohitepavan
- Fuzzy Logic Based Closed LoopUploaded byThomas Tyrell

- Tito M. Tonietti - And yet it is heard, vol. IUploaded bylagatadezinc5733
- Tito M. Tonietti - And yet it is heard, vol. IIUploaded bylagatadezinc5733
- Nicolas Standaert - European astrology in early Quing China. Xue Fengzuo’s and Smogulecki’s translation of Cardano’s Commentaries on Ptolemy’s TetrabiblosUploaded bylagatadezinc5733
- Sarah Elizabeth Parker - Contrary signs. Categorizing illness in early modern literatureUploaded bylagatadezinc5733
- Guido Giglioni - Humans, elephants, diamonds and goldUploaded bylagatadezinc5733
- first cartello di matematica disfida froUploaded byapi-362871186
- Harry Friedenwald - Cardanus’ horoscope of Vesalius. An early copyUploaded bylagatadezinc5733
- Albrecht Heeffer y Andreas M. Hinz - A difficult case. Pacioli and Cardano on the chinese ringsUploaded bylagatadezinc5733
- Silvia Manzo - From attractio and impulsus to motion of libertyUploaded bylagatadezinc5733
- David Harley - Nancy G Siraisi, The clock and the mirror (review)Uploaded bylagatadezinc5733
- Dóra Bobory - An unusual biography. Cardano’s horoscope of PetrarchUploaded bylagatadezinc5733
- Wayne C. Ripley - William Blake and the Hunt CircleUploaded bylagatadezinc5733
- Liane Houghtalin & Suzanne Sumner - Lessons for classics from the history of mathematicsUploaded bylagatadezinc5733
- Guido Giglioni - Musicus puerUploaded bylagatadezinc5733
- Guido Giglioni - Girolamo Cardano on the passions and their treatmentUploaded bylagatadezinc5733
- Virginia Iommi Echeverría - Hydrostatics on the frayUploaded bylagatadezinc5733
- Marialuisa Baldi - The Contradicentia medicorum libri by Girolamo Cardano. A new DVDUploaded bylagatadezinc5733
- Sara Confalonieri - The casus irreducibilis in Cardano’s Ars magna and De regula alizaUploaded bylagatadezinc5733
- Robert Bruce Lindsay - Jerome Cardan. 1501-1576Uploaded bylagatadezinc5733
- David E. Rowe, Albrecht Heeffer y Tony Rothman - On remembering Cardano anewUploaded bylagatadezinc5733
- Ian Maclean - At the pinnacle of the mountain. Images of Cardano on his road to fame, 1534-1554Uploaded bylagatadezinc5733
- Charles L. Dana - The story of a great consultation. Jerome Cardan goes to EdinburghUploaded bylagatadezinc5733
- Thorndike - CardanUploaded bylagatadezinc5733
- Thomas Cerbu - Naudé as editor of CardanoUploaded bylagatadezinc5733
- Armando Maggi - The dialogue between the living and the dead in Cardano's thoughtUploaded bylagatadezinc5733
- Germana Ernst - The mirror of Narcissus. Cardano speaks of his own lifeUploaded bylagatadezinc5733
- Guido Giglioni - Hermeneutics of divinatio in Cardano’s medicine and astrologyUploaded bylagatadezinc5733
- José N. Contreras - An episode of the story of the cubic equationUploaded bylagatadezinc5733
- Ugo Baldini y Leen Spruit (edd.) - Catholic church and modern science, Vol. I.2Uploaded bylagatadezinc5733

- Year8Maths.pdfUploaded byJames Buchan
- 017 Final Exam TopicsUploaded byAshley Weekes
- Eligible-Programmes-SISS-2017-2018.pdfUploaded byMD Tanvir Shafi
- Matrix.xla - Excel AddinUploaded byUmashanker Siva
- Basic MathematicsUploaded bynylashahid
- Discrete Math (Combinatorics)Uploaded bysal27adam
- Numerical Reasoning Practice TestUploaded bylordaiztrand
- 2002 Deutsch the Structure Ofthe Multi VerseUploaded bypeaceme00
- N D Lewis-Deep Time Series Forecasting With Python_ an Intuitive Introduction to Deep Learning for Applied Time Series Modeling-CreateSpace Independent Publishing Platform (2016)Uploaded byGiovani Angelo
- Let Us C solnUploaded byCnu Chowdhary
- Design ControllerUploaded byMaezinha_Marinela
- rotary table calculator.xlsUploaded byIram Chavira
- Lyons Elem Intro Hopf FibrationUploaded bymehcarmen
- Learn ExcelUploaded byNew_salman88
- Aerodynamic Optimization of Missile ExternalUploaded byDinh Le
- Lecture 10 (Arithmetic Instructions)Uploaded byAyush Purohit
- Part1Uploaded byMohammed Imran
- c1_exUploaded byAaron Beyerlein
- KF3nFH_HMW_1478952342_Maths_Stage_6_02Uploaded byvelusn
- Practical Support 1Uploaded byDaianna Peiris
- 19 AC Circuits Analysis Using Complex Variables (1)Uploaded byTalha Yousuf
- Group 3 - Systems of Linear EquationsUploaded bykaye
- Information on the European BaccalaureateUploaded byGiuseppe Capasso
- FX-9700GE.pdfUploaded bysdfsgfddgz
- 130511-130701-DIGITAL LOGIC DESIGN.pdfUploaded byjayant_2222143
- Implied Vol Surface Parametrization.pdfUploaded bysoumensahil
- The Setpoint Overshoot MethodUploaded byShams Uzzoha
- Spm Format PracticeUploaded bychunhsienwc68338711
- Euclid’s “Elements” ReduxUploaded byAndres Rocha
- Petri NetUploaded byArthur_Kerr90