Anda di halaman 1dari 8

Saya berencana untuk menulis serangkaian posting tentang salah satu topik favorit

saya di matematika: teori bilangan aljabar. Kami akan memulai dengan sangat
lembut, dengan siapa pun bahan siapa yang belajar aljabar sekolah tinggi dapat
dengan mudah menghargai. Sebelum lama, pendakian akan menjadi agak curam,
tapi saya berharap bisa diikuti oleh siapa saja yang telah membaca populerisasi
mata pelajaran matematika, seperti buku-buku baru pada Hipotesis Riemann. (Yang
merupakan subjek yang menghubungkan up, akhirnya, dengan nomor teori aljabar.)
Jika ada istilah atau nama yang disebutkan di sini yang ingin lebih detail, saya
sarankan mencari di Wikipedia, meskipun saya tidak akan sampah narasi dengan
link eksplisit.
Tempat untuk memulai, secara alami, adalah dengan sejarah singkat aljabar itu
sendiri.
Kata "aljabar" berasal dari bahasa Arab: al-jebr karena subjek dipelajari dan ditulis
di sesuatu seperti pengertian modern, oleh para sarjana yang berbicara bahasa
Arab di tempat yang sekarang Timur Tengah, di abad ke-9. Meskipun orang-orang
Yunani klasik dan berbagai pendahulu dan sezaman mereka telah menyelidiki
masalah sekarang kita sebut "aljabar", penyelidikan ini dikenal dengan penutur
bahasa-bahasa Eropa tidak dari sumber-sumber klasik tetapi dari penulis Arab. Jadi
itulah sebabnya kami menggunakan istilah yang berasal dari bahasa Arab.
Muhammad ben Musa al-Khawarizmi tampaknya telah menjadi orang pertama yang
menulis menggunakan istilah al-jebr. Saat ia menggunakannya, istilah disebut
teknik untuk memecahkan persamaan dengan operasi melakukan seperti
penambahan atau perkalian kedua sisi persamaan - seperti yang diajarkan dalam
tahun pertama aljabar SMA. al-Khawarizmi, tentu saja, tidak menggunakan notasi
modern dengan huruf Romawi untuk diketahui dan simbol seperti "+", "", dan "=".
Sebaliknya, ia menyatakan segala sesuatu dalam kata-kata biasa, tapi dengan cara
setara dengan simbolisme modern kita.
Kata al-jebr sendiri adalah metafora, sebagai arti biasa kata disebut pengaturan
atau meluruskan tulang patah. Metafora yang sama ada dalam bahasa Latin dan
bahasa terkait, seperti dalam kata-kata bahasa Inggris "mengurangi" dan
"pengurangan". Meskipun mereka sekarang biasanya merujuk kepada membuat
sesuatu yang lebih kecil, arti yang lebih tua mengacu membuat somethng
sederhana atau lurus. Akar Latin adalah ducere kata kerja, untuk memimpin - maka
untuk kembali Duce adalah memimpin sesuatu kembali ke sederhana dari keadaan
lebih rumit. Dalam aljabar dasar masih salah satu pembicaraan dari "mengurangi"
fraksi untuk istilah terendah dan menyederhanakan persamaan.
Inti dari studi aljabar, kemudian, adalah memecahkan atau "mengurangi"
persamaan untuk bentuk yang paling sederhana mungkin. Penekanannya adalah
pada menemukan dan menggambarkan metode eksplisit untuk melakukan
penyederhanaan ini. Metode tersebut dikenal sebagai algoritma - untuk
menghormati al-Khawarizmi. Berbagai jenis metode dapat digunakan. Menebak di
solusi, misalnya, adalah sebuah metode. Satu dapat sering, dengan mencoba cukup

lama, kira solusi yang tepat dari persamaan sederhana. Dan jika seseorang memiliki
rasa itu dekat tapi tidak tepat, dengan mengubah menebak ini sedikit salah satu
bisa mendapatkan solusi yang lebih baik oleh proses berulang dari pendekatan
berturut-turut. Ini adalah metode yang bisa diterima dari "pemecahan" persamaan
untuk berbagai tujuan praktis - begitu banyak sehingga itu adalah metode umum
yang digunakan oleh komputer (di mana bilangan irasional dapat specificed hanya
sekitar bagaimanapun). Beberapa metode pendekatan yang cukup canggih, seperti
"metode Newton" untuk menemukan akar persamaan polinomial - tapi mereka
masih dasarnya berdasarkan menebak jawaban kasar awal.
Metode lain untuk mencari solusi dari persamaan adalah dengan cara konstruksi
geometris. Satu dapat membangun geometris angka yang panjang ruas garis
tertentu adalah solusi untuk beberapa persamaan yang diberikan. Ini bekerja
dengan baik, misalnya, ketika akar kuadrat diperlukan, karena sisi miring dari
segitiga siku-siku memiliki panjang yang merupakan akar kuadrat dari jumlah
kuadrat dari dua sisi lainnya dari segitiga. Artinya, jika panjang sisi a, b, dan c,
maka a2 + b2 = c2 dan karenanya c = (a2 + b2). Jika a dan b adalah bilangan
bulat, sehingga adalah jumlah kotak mereka. Algoritma untuk menemukan akar
kuadrat perkiraan dari seluruh nomor yang dikenal, sehingga c bisa dihitung sekitar.
Namun, dengan konstruksi geometris, c dapat ditemukan hanya akan mengukur
panjang segmen garis yang tepat. Untuk referensi di masa mendatang, diketahui
bahwa masalah yang menarik adalah menemukan dua angka a dan b sehingga
untuk beberapa nomor yang diberikan d, d = a2 + b2. Hal ini karena jika d
diberikan, menemukan dan b memungkinkan seseorang untuk menemukan akar
kuadrat dari d oleh konstruksi geometris.
Selain pendekatan tersebut dan metode geometris, al-Khawarizmi tertarik metode
untuk mencari solusi yang tepat dengan urutan langkah-langkah yang bisa
digambarkan dalam gaya buku masak - algoritma. Hal ini dapat dilakukan
sepenuhnya berhasil untuk persamaan linear dari bentuk ax + b = c (dalam notasi
modern) hanya menggunakan operasi aritmatika dari penambahan, pengurangan,
perkalian, dan pembagian. Sama pentingnya, operasi dapat dilakukan secara
simbolis - tidak hanya pada nomor tertentu, tapi pada simbol yang berdiri untuk
"sejumlah". Dan, salah satu berusaha untuk mengungkapkan solusi dari persamaan
yang diberikan dalam bentuk simbolik.
Sebuah pertanyaan yang menarik adalah bahwa ketika gagasan yang mewakili
persamaan dalam bentuk simbolik muncul. Ini tidak mudah untuk menjawab
pertanyaan seperti itu, sebagian karena representasi simbolis yang digunakan
sebelum utilitas penuh dan mereka cukup diakui. Misalnya, geometers Yunani
berlabel garis di angka mereka dengan huruf tunggal, sehingga alam untuk menulis
apa yang sekarang kita kenal sebagai teorema Pythagoras dalam bentuk a2 + b2 =
c2. Tapi pentingnya representasi ini agak kabur, karena perbedaan antara garis dan
panjang garis tidak sepenuhnya dihargai. Bahkan, meskipun Yunani dan
matematikawan awal lainnya (e. G. Di India) digunakan persamaan simbolik, alKhwarizmi tidak. (Oleh karena itu kemungkinan dia tidak tahu matematika Yunani
dan banyak karyanya adalah asli, jika tidak selalu seperti dikemukakan bahwa dari

Yunani.)
Dalam notasi modern, banyak persamaan dapat diklasifikasikan dalam hal kekuatan
tertinggi dari setiap variabel yang terjadi di dalamnya. Kami memanggil linear
persamaan jika kekuasaan tertinggi adalah salah satu, karena grafik adalah garis
lurus. Jika hanya ada satu variabel, persamaan tersebut memiliki bentuk kapak
yang paling umum + b = 0. Jika kekuasaan tertinggi adalah dua, persamaan ini
disebut "kuadrat", dan memiliki bentuk ax2 + bx + c = 0 (Mengapa tidak Latin
awalan quad, biasanya berhubungan dengan jumlah 4, terjadi di sini? Hanya karena
kata untuk "persegi" adalah quadra dalam bahasa Latin.) meskipun kurang
representasi simbolis dari persamaan, al-Khwarizmi efektif melakukan mengetahui
forumula kuadrat yang mengatakan bahwa ada dua solusi dari persamaan terakhir,
yang dapat ditulis sebagai x = {-b (b2-4ac)} / 2a. Dia juga menyadari bahwa
persamaan memiliki solusi sama sekali dalam hal "nyata" nomor hanya jika
kuantitas sekarang kita sebut diskriminan, b2-4ac, tidak negatif.
Kekuasaan tertinggi yang tidak dikenal yang terjadi dalam persamaan polinomial
diberikan dikenal sebagai tingkat persamaan. Meskipun al-Khwarizmi tampaknya
tidak memiliki persamaan dipelajari dari tingkat 3, disebut persamaan kubik,
pengganti yang lebih terkenal, yang hidup sekitar 250 tahun kemudian, lakukan:
Omar Khayyam (ca. 1050-1123), seorang Persia. Seperti pendahulunya, Khayyam
tidak bekerja dengan ekspresi simbolik untuk persamaan. Tapi dia mampu
menghasilkan solusi menggunakan konstruksi geometris (melibatkan bagian
berbentuk kerucut), memberikan solusi positif ada. Dia juga berpikir, keliru, bahwa
solusi tersebut tidak dapat ditemukan oleh aljabar metode (algoritmik) dari jenis alKhawarizmi digunakan.
Kemajuan besar berikutnya dalam memecahkan persamaan dimulai ketika para
sarjana di Eropa Barat mulai mempelajari dan menghargai karya orang-orang
seperti al-Khawarizmi dan Khayyam. Paling penting di antara para ulama ini adalah
Leonardo dari Pisa, lebih dikenal sebagai Fibonacci (ca. 1180-1250). Dia
menunjukkan bahwa algoritmik (sebagai lawan geometris) metode dapat digunakan
untuk mencari solusi dari beberapa persamaan kubik. Fibonnacci memiliki jauh lebih
jelas kontemporer, Jordanus Nemorarius, di antaranya sedikit yang diketahui selain
dari beberapa buku dikaitkan dengannya pada aritmatika, mekanik, geometri, dan
astronomi. Dia membuat penggunaan yang lebih sistematis surat untuk berdiri
untuk "variabel" (tidak harus diketahui) jumlah dalam persamaan, tetapi pentingnya
teknik ini masih belum dihargai secara luas
Dengan munculnya Renaissance, kemajuan dalam matematika mulai mempercepat.
Salah satu nama terkenal pertama adalah Jerman, Regiomontanus (1436-1476).
Meskipun ia menghasilkan kurang karya asli dari yang lain, ia banyak dibaca dalam
karya-karya klasik dari orang Yunani dan dunia Muslim. Secara khusus, ia telah
mempelajari aritmatika dari Diophantus dari Alexandria (yang aktif sekitar 250 CE)
di Yunani asli, dan bahkan dianggap menerbitkan terjemahan Latin, meskipun ia
tidak pernah sempat untuk itu. Diophantus adalah dalam beberapa hal lebih maju
daripada matematika lain sebelum Renaissance, dan di antara masalah yang ia

dianggap adalah apa yang sekarang disebut persamaan Diophantine. Relevansi


masalah tersebut akan dijelaskan pada waktunya.
Agak lebih asli daripada Regiomontanus adalah seorang Prancis, Nicolas Chuquet,
yang meninggal sekitar 1500. Dia menggunakan ekspresi yang melibatkan radikal
bersarang farily dekat dengan gaya modern, seperti (14-180)), untuk mewakili
solusi persamaan derajat 4.
Terobosan nyata datang dalam karya beberapa Italia di abad ke-16. Pada tahun
1545 Girolamo Cardano (1501-1576) diterbitkan solusi aljabar eksplisit (yaitu,
menggunakan operasi aritmatika ditambah ekstraksi akar) dari kedua (4 derajat)
persamaan kubik dan quartic. Cardano, bagaimanapun, tidak menemukan solusi
sendiri. Hasil untuk cubics dikenal sebelum 1541 oleh Niccolo Tartaglia (ca. 15001557), meskipun tampaknya ditemukan lebih awal oleh Scipione del Ferro (ca.
1465-1526). Cardano mengaku ia tidak menemukan solusi, tapi rupanya dia
memang melanggar janji untuk Tartaglia untuk menjaga hasil rahasia. (Sama seperti
sekarang, diutamakan menerbitkan hasil ilmiah baru adalah soal prestise besar.)
Adapun quartic itu, Cardano menyatakan bahwa solusi itu ditemukan oleh Ludovico
Ferrari (1522-1565), meskipun pada permintaannya [Cardano ini].
kemajuan pesat seperti alami mengangkat pertanyaan dari solusi untuk persamaan
derajat 5 (quintics) dan lebih tinggi, baik dengan aljabar cara (menggunakan
operasi aritmatika dan radikal) atau setidaknya dengan cara konstruksi geometris
(hanya menggunakan penggaris dan kompas). Anehnya, itu terbukti hampir 300
tahun kemudian bahwa solusi baik semacam itu tidak mungkin pada umumnya, i. e.
untuk semua kasus. Hal ini dilakukan secara independen oleh dua orang pemuda,
Niels Henrik Abel (1802-1829) pada tahun 1824 dan variste Galois (1811-1832)
pada tahun 1832. Hasil Galois 'sangat penting, karena didasarkan pada metode
yang sangat novel aljabar abstrak - yang teori kelompok - dan pada kenyataannya
ide Galois 'benar-benar menyerap teori angka aljabar, yang akan dibahas.
Terlepas dari itu hasil negatif mencengangkan, hanya beberapa tahun sebelumnya
Carl Friedrich Gauss (1777-1855) telah membuktikan dalam tesis doktornya dari
1798 yang banyak persamaan dari setiap tingkat n harus memiliki tepat n solusi
dalam arti yang sangat spesifik tertentu. Hasil ini sangat penting menjadi dikenal
sebagai teorema dasar aljabar. Rasa yang tepat di mana bahwa teorema benar
adalah subyek dari bagian lain dari cerita ini aljabar nomor - "nomor". Yang akan
diambil dalam angsuran berikutnya.

I'm planning to write a series of posts about one of my favorite topics in


mathematics: algebraic number theory. We'll start out very gently, with material
anyone who's studied high school algebra can easily appreciate. Before long, the
climb will become somewhat steeper, but I hope it can be followed by anyone who
has read popularizations of mathematical subjects, such as recent books on the

Riemann Hypothesis. (Which is a subject that connects up, eventually, with


algebraic number theory.) If there are any terms or names mentioned here for which
you'd like more detail, I suggest looking in Wikipedia, although I won't litter the
narrative with explicit links.
The place to begin, naturally, is with a brief history of algebra itself.
The word "algebra" comes from Arabic: al-jebr because the subject was studied and
written about in something like the modern sense, by scholars who spoke Arabic in
what is now the Middle East, in the 9th century CE. Although classical Greeks and
various of their predecessors and contemporaries had investigated problems we
now call "algebraic", these investigations became known to speakers of European
languages not from the classical sources but from Arabic writers. So that is why we
use a term derived from Arabic.
Muhammad ben Musa al-Khwarizmi seems to have been the first person whose
writing uses the term al-jebr. As he used it, the term referred to a technique for
solving equations by performing operations such as addition or multiplication to
both sides of the equation just as is taught in first-year high school algebra. alKhwarizmi, of course, didn't use our modern notation with Roman letters for
unknowns and symbols like "+", "", and "=". Instead, he expressed everything in
ordinary words, but in a way equivalent to our modern symbolism.
The word al-jebr itself is a metaphor, as the usual meaning of the word referred to
the setting or straightening out of broken bones. The same metaphor exists in Latin
and related languages, as in the English words "reduce" and "reduction". Although
they now usually refer to making something smaller, the older meaning refers to
making somethng simpler or straighter. The Latin root is the verb ducere, to lead
hence to re-duce is to lead something back to a simpler from a more convoluted
state. In elementary algebra still one talks of "reducing" fractions to lowest terms
and simplifying equations.
The essence of the study of algebra, then, is solving or "reducing" equations to the
simplest possible form. The emphasis is on finding and describing explicit methods
for performing this simplification. Such methods are known as algorithms in honor
of al-Khwarizmi. Different types of methods can be used. Guessing at solutions, for
instance, is a method. One can often, by trying long enough, guess the exact
solution of a simple equation. And if one has a guess that is close but not exact, by
changing this guess a little one can get a better solution by an iterative process of
successive approximation. This is a perfectly acceptable method of "solving"
equations for many practical purposes so much so that it is the method generally
used by computers (where irrational numbers can be specificed only approximately
anyhow). Some approximation methods are fairly sophisticated, such as "Newton's
method" for finding the roots of polynomial equations but they're still based
essentially on guessing an initial rough answer.
Another method for finding solutions of equations is by means of geometric

construction. One can construct geometric figures in which the length of a certain
line segment is a solution to some given equation. This works well, for example,
when square roots are needed, since the hypotenuse of a right triangle has a length
which is the square root of the sum of squares of the other two sides of the triangle.
That is, if the lengths of the sides are a, b, and c, then a 2 + b2 = c2 and hence c =
(a2 + b2). If a and b are whole numbers, so is the sum of their squares. Algorithms
for finding the approximate square root of a whole number were known, so c could
be computed approximately. However, with a geometric construction, c could be
found simply be measuring the length of the right line segment. For future
reference, note that an interesting problem is finding two numbers a and b such
that for some given number d, d = a2 + b2. This is because if d is given, finding a
and b enables one to find the square root of d by a geometric construction.
In addition to such approximation and geometric methods, al-Khwarizmi was
interested in methods for finding exact solutions by a sequence of steps that could
be described in cookbook style algorithms. This can be done completely
successfully for linear equations of the form ax + b = c (in modern notation) using
just the arithmetic operations of addition, subtraction, multiplication, and division.
Just as important, the operations can be performed symbolically not just on
particular numbers, but on symbols that stand for "any number". And so, one seeks
to express the solution of a given equation in a symbolic form.
An interesting question is that of when the idea of representing equations in
symbolic form arose. It's not easy to answer such a question, in part because
symbolic representations were used before their full and considerable utility was
recognized. For instance, Greek geometers labeled the lines in their figures with
single letters, so it was natural to write what we now recognize as the Pythagorean
theorem in the form a2 + b2 = c2. But the importance of this representation was
somewhat blurred, since the distinction between a line and the length of a line was
not fully appreciated. In fact, although Greeks and other early mathematicians (e. g.
in India) used symbolic equations, al-Khwarizmi did not. (Hence it is likely he didn't
know of Greek mathematics and much of his work was original, if not always as
advanced as that of the Greeks.)
In modern notation, polynomial equations can be classified in terms of the highest
power of any variable which occurs in them. We call an equation linear if the
highest power is one, because its graph is a straight line. If there is just one
variable, such an equation has the most general form ax + b = 0. If the highest
power is two, the equation is called "quadratic", and has the form ax 2 + bx + c = 0.
(Why does the Latin prefix quad, usually associated with the number 4, occur here?
Simply because the word for "square" is quadra in Latin.) In spite of lacking a
symbolic representation of equations, al-Khwarizmi effectively did know the
quadratic forumula which says that there are two solutions of the last equation,
that can be written as x = {-b(b2-4ac)}/2a. He also realized that the equation has
solutions at all in terms of "real" numbers only if the quantity we now call the
discriminant, b2-4ac, is not negative.

The highest power of an unknown which occurs in a given polynomial equation is


known as the degree of the equation. Although al-Khwarizmi doesn't seem to have
studied equations of degree 3, called cubic equations, a more famous successor,
who lived about 250 years later, did: Omar Khayyam (ca. 1050-1123), a Persian.
Like his predecessor, Khayyam did not work with symbolic expressions for the
equations. But he was able to produce solutions using geometric constructions
(involving conic sections), provided a positive solution exists. He also thought,
mistakenly, that such solutions couldn't be found by algebraic (algorithmic)
methods of the sort al-Khwarizmi used.
The next substantial advance in solving equations began when scholars in Western
Europe began to study and appreciate the work of people like al-Khwarizmi and
Khayyam. Most notable among these scholars was Leonardo of Pisa, more
commonly known as Fibonacci (ca. 1180-1250). He showed that algorithmic (as
opposed to geometric) methods could be used to find solutions of some cubic
equations. Fibonnacci had a much more obscure contemporary, Jordanus
Nemorarius, of whom little is known apart from several books attributed to him on
arithmetic, mechanics, geometry, and astronomy. He made a more systematic use
of letters to stand for "variable" (not necessarily unknown) quantities in equations,
but the importance of this technique was still not widely appreciated
With the advent of the Renaissance, progress in mathematics began to speed up.
One of the first notable names was a German, Regiomontanus (1436-76). Though he
produced less original work than others, he was widely read in the classic works of
both the Greeks and the Muslim world. In particular, he had studied the Arithmetic
of Diophantus of Alexandria (who was active around 250 CE) in the original Greek,
and even considered publishing a Latin translation, though he never got around to
it. Diophantus was in some respects more advanced than any other mathematician
before the Renaissance, and among the problems he considered were what are now
called Diophantine equations. The relevance of such problems will be explained in
due time.
Somewhat more original than Regiomontanus was a Frenchman, Nicolas Chuquet,
who died around 1500. He used expressions involving nested radicals farily close to
the modern style, such as (14-180)), to represent solutions of 4th degree
equations.
The real breakthrough came in the work of several Italians in the 16th century. In
1545 Girolamo Cardano (1501-76) published explicit algebraic solutions (that is,
using arithmetic operations plus extraction of roots) of both cubic and quartic (4th
degree) equations. Cardano, however, did not discover the solutions himself. The
result for cubics was known before 1541 by Niccolo Tartaglia (ca. 1500-57), though
apparently discovered even earlier by Scipione del Ferro (ca. 1465-1526). Cardano
admitted he had not discovered the solution, but apparently he did break a promise
to Tartaglia to keep the results a secret. (Just as now, precedence in publishing new
scientific results was a matter of great prestige.) As for the quartic, Cardano states
that the solution was discovered by Ludovico Ferrari (1522-65), though at his

[Cardano's] request.
Such rapid progress naturally raised the question of solutions to equations of 5th
degree (quintics) and higher, either by algebraic means (using arithmetic operations
and radicals) or at least by means of geometric constructions (using only
straightedge and compass). Surprisingly, it was proven almost 300 years later that
solutions of either sort were not possible in general, i. e. for all cases. This was done
independently by two young men, Niels Henrik Abel (1802-29) in 1824 and variste
Galois (1811-32) in 1832. Galois' result is especially important, as it is based on
very novel methods of abstract algebra the theory of groups and in fact Galois'
ideas thoroughly permeate the theory of algebraic numbers, to be discussed.
In spite of that astonishing negative result, only a few year earlier Carl Friedrich
Gauss (1777-1855) had proven in his doctoral thesis of 1798 that polynomial
equations of any degree n must have exactly n solutions in a certain very specific
sense. This result was so important it became known as the fundamental
theorem of algebra. The exact sense in which that theorem is true is the subject
of the other part of this story of algebraic numbers "numbers". That will be taken
up in the next installment.

The word "algebra" comes from Arabic: al-jebr. Muhammad ben Musa al-Khwarizmi
seems to have been the first person whose writing uses the term al-jebr. As he used
it, the term referred to a technique for solving equations by performing operations
such as addition or multiplication to both sides of the equation Another method for
finding solutions of equations is by means of geometric construction

In modern notation, polynomial equations can be classified in terms of the highest


power of any variable which occurs in them. We call an equation linear if the
highest power is one, because its graph is a straight line. If there is just one
variable, such an equation has the most general form ax + b = 0. If the highest
power is two, the equation is called "quadratic", and has the form ax 2 + bx + c = 0