代数学

代数学（だいすうがく、algebra）は数学の一分野で、「代数」 の名の通り数の代わりに文字を用いて方程式の解法を研究する学問として始まった。しかし19世紀以降の現代数学においては、ヒルベルトの公理主義やブルバキスタイルに見られるように、代数学はその範囲を大きく広げているため、「数の代わりに文字を用いる数学」や「方程式の解法の学問」という理解の仕方は必ずしも適当ではない。現代数学においては、方程式の研究は方程式論（代数方程式論）という代数学の古典的一分野として捉えられている。現在は代数学と言えば以下の抽象代数学をさすのが普通である。 現代代数学は、一般的に代数系を研究する学問分野であると捉えられている。以下に示す代数学の諸分野の名に現れる半群・群・環・多元環（代数）・体・束は代数系がもつ代表的な代数的構造である。 群・環・多元環・体の理論はガロアによる代数方程式の解法の研究などに起源があり、束論はブールによる論理学の数学的研究などに起源がある。 半群は、群・環・多元環・体・束に共通する最も原始的な構造である。 現代日本の大学では 1, 2 年次に、微分積分学と並んで、行列論を含む線型代数学を教えるが、線型代数学は線型空間という代数系を対象とすると共に、半群・群・環・多元環・体と密接に関連し、集合論を介して、また公理論であるために論理学を介して、束とも繋がっている。 現代ではまた、代数学的な考え方が解析学・幾何学等にも浸透し、数学の代数化が各方面で進んでいる。ゆえに、代数学は数学の諸分野に共通言語を提供する役割もあるといえる。 プラトンの時代までに、古代ギリシアの数学は大きな変化を遂げた。ギリシア人は線で描いた幾何学図形のそれぞれの線に文字を添え、その文字を式の項として使用する幾何代数の考え方を生み出した。ディオファントス（紀元3世紀）はアレクサンドリアの数学者で『算術』という著書の作者であり、時に「代数学の父」とも呼ばれる。その書は代数方程式の解法に関するものである。 algebra という語はアラビア語の al-jabr （アラビア文字表記：الجبر、"reunion of broken parts"（バラバラのものの再結合））に由来し、近代代数学はアラビア数学から発展したもので、その起源を遡ると古代インドの数学にたどり着く。9世紀のバグダードの数学者アル＝フワーリズミーが著作した 『イルム・アル・ジャブル・ワル・ムカバラ（"Ilm al-jabr wa'l-muqabalah"）（約分と消約との学=The science of reduction and cancellation）』（820年）を、チェスターのロバート（あるいはバースのアデラード) ）が、"Liber algebrae et almucabala"としてラテン語に翻訳した。この書によってフワーリズミーは代数学を幾何学や算術から独立した一分野として確立した。これが後500年間にわたってヨーロッパの大学で教えられたという。al-jabr は、アラビア語では「al」（亜: ال‎）が定冠詞、「jabr」（亜: جبر‎）が「バラバラのものを再結合する」「移項する」という意味であることから、インド数学のことである。それ以前にフワーリズミーはインドの数学から学んだことを『インドの数の計算法』として著し、イスラム世界に広めた。これは二次方程式、四則演算、十進法、0などの内容でラテン語に翻訳され、著者の名は「アルゴリズム」の語源であるといわれている。 代数学の起源は古代バビロニアとされており、古代バビロニア人はアルゴリズム的に計算する高度な算術的体系を生み出した。古代バビロニア人は、今日一次方程式や二次方程式、不定一次方程式を使って解くような問題を計算するための公式を開発した。一方同時代（紀元前1千年紀）のエジプトやギリシアや中国では、そのような問題は幾何学的に解かれていた。例えば、「リンド数学パピルス」、ユークリッドの『原論』、『九章算術』などである。『原論』に代表される古代ギリシアにおける幾何学では、個別の問題を解くだけでなくより一般化した解法の枠組みを提供していたが、それが代数学へと発展するには中世アラビア数学がヨーロッパに紹介されるのを待つ必要があった。 ヘレニズム期の数学者アレクサンドリアのヘロンとディオファントスやインドの数学者ブラーマグプタらはエジプトやバビロニアの伝統に則って数学を発展させ、ディオファントスの『算術』やブラーマグプタの『ブラーマ・スプタ・シッダーンタ』といった成果が生まれた。例えば、二次方程式の（ゼロや負の解を含む）完全な解法を初めて記したのがブラーマグプタの『ブラーマ・スプタ・シッダーンタ』である。その後、アラブ世界（イスラム世界）の数学者が代数学的手法をより高度なものへと洗練させていった。ディオファントスや古代バビロニア人は方程式を解くのに場当たり的な技法を使っていたが、アル＝フワーリズミーは一般化された解法を初めて使用した。彼は、一次不定方程式、二次方程式、二次不定方程式、多変数の方程式などを解いた。 ギリシャ人数学者ディオファントスは昔から「代数学の父」と呼ばれてきたが、最近ではアル＝フワーリズミーの方がその名にふさわしいという議論がある。ディオファントスを支持する側は、フワーリズミーの著作は『算術』よりも扱っている内容が初等的であり、フワーリズミーの著作が修辞的で冗長なのに対して『算術』は簡潔に記述してある点を指摘する。一方フワーリズミーを支持する側は、彼が左右の辺の間での項の移動や打消しといった手法を導入した点（al-jabr の本来の意味とされている）、幾何学的証明を証拠としつつ二次方程式の解法を徹底的に解説し、代数学を独立した分野にまで高めたという点を指摘する。フワーリズミーの代数学はもはや一連の問題と解法を示すのではなく、単純な式からそれらを組み合わせた複雑な式まで全ての可能性を網羅し、今後の真の研究対象が何であるかを示している。そして、無限に存在する問題のクラスを定義するためにのみ必要な一般化された形で方程式を研究した。 ペルシャの数学者ウマル・ハイヤームは代数幾何学の創始者とされており、三次方程式の一般解を見出したことで知られる。同じくペルシャの数学者シャラフ・アッ＝ディーン・アッ＝トゥースィ（ペルシア語版、英語版）は様々な三次方程式の代数解や数値解を求めた。彼は関数の概念も生み出した。インドの数学者マハーヴィーラとバースカラ2世、ペルシャの数学者アル＝カラジ（ペルシア語版、英語版）、中国の数学者朱世傑は、三次、四次、五次などの高次多項式方程式を数値的手法で解いた。13世紀にはフィボナッチの三次方程式の解法に代表されるように、ヨーロッパにおける代数学の復興がなされた。一方でイスラム世界では数学が衰退し、それと入れ替わるようにヨーロッパで数学が盛んになっていった。その後、代数学はヨーロッパを中心として発展していった。 16世紀末のフランソワ・ビエトは、古典的学問分野としての代数学を創始した。1637年のルネ・デカルトの『幾何学 (La Géométrie)』は解析幾何学の先駆けであり、近代的な代数的記法を導入したものである。代数学の歴史上重要なもう1つの出来事は、16世紀中ごろに三次方程式および四次方程式の代数学的一般解が得られたことである。17世紀には日本の数学者である関孝和が行列式の考え方を考案し、それとは独立にゴットフリート・ライプニッツが10年ほど遅れて同じ考え方に到達した。行列式は連立一次方程式を行列を使って解くのに使われる。18世紀のガブリエル・クラメールも行列と行列式について貢献した。ジョゼフ＝ルイ・ラグランジュは1770年の論文 Réflexions sur la résolution algébrique des équations で根の置換について研究し、ラグランジュの分解式 (Lagrange resolvent) を導入した。パオロ・ルフィニは置換群について研究し、同時に代数方程式の解法についても研究した。 19世紀には抽象代数学が生まれた。当初は後にガロア理論と呼ばれるようになった分野と構成可能性問題が中心だった。近代代数学は、リヒャルト・デーデキントやレオポルト・クロネッカーの業績に見られるように代数的整数論や代数幾何学といった境界領域を通して数学の他の領域とも密接に関連している。ジョージ・ピーコック（英語版）は算術と代数学における公理的思考法を創始した。オーガスタス・ド・モルガンは Syllabus of a Proposed System of Logic において関係代数を見出した。ウィラード・ギブズは3次元空間のベクトルの代数学を生み出し、アーサー・ケイリーは行列の代数学（非可換代数学の一種）を生み出した。 半群論 群論 可換環論 → 代数幾何学 環論 体論 線型代数学 多元環論、リー環論 表現論 ホモロジー代数 束論 圏論 代数的整数論（cf. 解析的整数論） 不変式論（英語版） ^ (Boyer 1991, "Europe in the Middle Ages" p. 258) 「ユークリッドの『原論』7巻から9巻で、図形の線分に文字を添え、それで数を表している。アル＝フワーリズミーの『約分と消約の計算の書』でも幾何学的証明に際しては文字を添えた図形を使っている。しかし、フワーリズミーの書で方程式に書かれている係数は全て具体的な数で、実際に数値が書かれるか、文章で説明されていた。アル＝フワーリズミーは確かに代数による一般化の考え方を暗示したが、幾何学の問題を代数的に表現する体系を構築したわけではない」 ^ “algebra”. Oxford English Dictionary. Oxford University Press. 2017年12月15日閲覧。 ^ Roshdi Rashed (November 2009), Al Khwarizmi: The Beginnings of Algebra, Saqi Books, ISBN 0863564305  ^ A Brief History of Zero and Indian Numerals ^ A History of Mathematics: An Introduction (2nd Edition) (Paperback) Victor J katz Addison Wesley; 2 edition (March 6, 1998) ^ Struik, Dirk J. (1987). A Concise History of Mathematics. New York: Dover Publications. ^ Diophantus, Father of Algebra Archived 2013年7月27日, at the Wayback Machine. ^ History of Algebra ^ Boyer 1991, pp. 178-181 ^ Boyer 1991, p. 228 ^ (Boyer 1991, "The Arabic Hegemony" p. 229) 「al-jabr と muqabalah という語の正確な意味は定かではないが、一般的解釈は上述の通りである。al-jabr は「復元」または「完成」などを意味し、項を両辺から引くことで一方からもう一方の辺に移すことを意味したと見られている。muqabalah は「縮減」または「平衡」を意味し、項を打ち消しあうことで式を既約な形式にすることを意味したと見られる」 ^ (Boyer 1991, "The Arabic Hegemony" p. 230) 「上に示した6つの方程式により、正の根を持つ一次方程式と二次方程式のあらゆる可能性が尽くされている。アル＝フワーリズミーの解説は非常に体系的で徹底的であり、読者は解法を楽に習得できたに違いない」 ^ Gandz and Saloman (1936), The sources of al-Khwarizmi's algebra, Osiris i, p. 263–277: 「ある意味では、フワーリズミーは代数学を初歩から教えようとしたがディオファントスの興味の中心は数論だったと見られ、フワーリズミーの方がディオファントスよりも「代数学の父」と呼ばれるのにふさわしい」 ^ Rashed, R.; Armstrong, Angela (1994), The Development of Arabic Mathematics, Springer, pp. 11–2, ISBN 0792325656, OCLC 29181926  ^ O'Connor, John J.; Robertson, Edmund F., “Sharaf al-Din al-Muzaffar al-Tusi”, MacTutor History of Mathematics archive, University of St Andrews, http://www-history.mcs.st-andrews.ac.uk/Biographies/Al-Tusi_Sharaf.html . ^ Victor J. Katz, Bill Barton (October 2007), “Stages in the History of Algebra with Implications for Teaching”, Educational Studies in Mathematics (Springer Netherlands) 66 (2): 185–201 [192], doi:10.1007/s10649-006-9023-7  ^ (Boyer 1991, "The Arabic Hegemony" p. 239) "Abu'l Wefa was a capable algebraist as well as a trigonometer. [...] His successor al-Karkhi evidently used this translation to become an Arabic disciple of Diophantus - but without Diophantine analysis! [...] In particular, to al-Karkhi is attributed the first numerical solution of equations of the form ax2n + bxn = c (only equations with positive roots were considered)," ^ "The Origins of Abstract Algebra". University of Hawaii Mathematics Department. ^ "The History of Algebra in the Nineteenth and Twentieth Centuries". Mathematical Sciences Research Institute. ^ "The Collected Mathematical Papers". Cambridge University Press. Boyer, Carl B. (1991), A History of Mathematics (2 ed.), John Wiley & Sons, Inc, ISBN 0471543977  Donald R. Hill, Islamic Science and Engineering (Edinburgh University Press, 1994). Ziauddin Sardar, Jerry Ravetz, and Borin Van Loon, Introducing Mathematics (Totem Books, 1999). George Gheverghese Joseph, The Crest of the Peacock: Non-European Roots of Mathematics (Penguin Books, 2000). John J O'Connor and Edmund F Robertson, MacTutor History of Mathematics archive (University of St Andrews, 2005). I.N. Herstein: Topics in Algebra. ISBN 0-471-02371-X R.B.J.T. Allenby: Rings, Fields and Groups. ISBN 0-340-54440-6 L. Euler: Elements of Algebra, ISBN 978-1-89961-873-6 Isaac Asimov Realm of Algebra (Houghton Mifflin), 1961 代数学の基本定理 4000 Years of Algebra, lecture by Robin Wilson, at Gresham College, October 17, 2007 Algebra （英語） - スタンフォード哲学百科事典「代数学」の項目。