代数学

代数学（だいすうがく、algebra）は、数学の一分野で、数の代わりに文字を用いて方程式の解法などを研究する学問。現代の代数学はその研究範囲を大きく広げ、半群・群・環・多元環（代数）・可換体・束などの代数系を研究する学問（抽象代数学）となった。代数学の考え方は、解析学や幾何学等にも浸透しており、数学の諸分野に共通言語を提供する役割を果たしている。

以下に示す代数学の諸分野の名に現れる半群・群・環・多元環（代数）・体・束は、代表的な代数的構造である。

群・環・多元環・体の理論はエヴァリスト・ガロアなどによる代数方程式の解法の研究などに起源を持ち、束論はジョージ・ブールによる論理学の数学的研究などに起源を持つ。

現代の日本の大学では 1, 2 年次に微分積分学と並んで線型代数学を学ぶが、線型代数はベクトル空間という代数系を研究する代数学の一分野である。

 歴史 
プラトンの時代までに、古代ギリシアの数学は大きな変化を遂げた。ギリシア人は線で描いた幾何学図形のそれぞれの線に文字を添え、その文字を式の項として使用する幾何代数の考え方を生み出した 「ユークリッドの『原論』7巻から9巻で、図形の線分に文字を添え、それで数を表している。アル＝フワーリズミーの『約分と消約の計算の書』でも幾何学的証明に際しては文字を添えた図形を使っている。しかし、フワーリズミーの書で方程式に書かれている係数は全て具体的な数で、実際に数値が書かれるか、文章で説明されていた。アル＝フワーリズミーは確かに代数による一般化の考え方を暗示したが、幾何学の問題を代数的に表現する体系を構築したわけではない」。ディオファントス（紀元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」（）が「バラバラのものを再結合する」「移項する」という意味であることから、インド数学のことである。それ以前にフワーリズミーはインドの数学から学んだことを『インドの数の計算法』として著し、イスラム世界に広めたA Brief History of Zero and Indian Numerals<ref>A History of Mathematics: An Introduction (2nd Edition) (Paperback) Victor J katz Addison Wesley; 2 edition (March 6, 1998)</ref>。これは二次方程式、算術、十進法、0などの内容でラテン語に翻訳され、著者の名は「アルゴリズム」の語源であるといわれている。

代数学の起源は古代バビロニアとされておりStruik, Dirk J. (1987). A Concise History of Mathematics. New York: Dover Publications.、古代バビロニア人はアルゴリズム的に計算する高度な算術的体系を生み出した。古代バビロニア人は、今日線型方程式や二次方程式、ディオファントス方程式を使って解くような問題を計算するための公式を開発した。一方同時代（紀元前1千年紀）のエジプトやギリシアや中国では、そのような問題は幾何学的に解かれていた。例えば、「リンド数学パピルス」、エウクレイデスの『ユークリッド原論』、『九章算術』などである。『原論』に代表される古代ギリシアにおける幾何学では、個別の問題を解くだけでなくより一般化した解法の枠組みを提供していたが、それが代数学へと発展するには中世アラビア数学がヨーロッパに紹介されるのを待つ必要があった。

ヘレニズム期の数学者アレクサンドリアのヘロンとディオファントスDiophantus, Father of Algebra やインドの数学者ブラフマグプタらはエジプトやバビロニアの伝統に則って数学を発展させ、ディオファントスの『算術』やブラーマグプタの『ブラーマ・スプタ・シッダーンタ』といった成果が生まれたHistory of Algebra。例えば、二次方程式の（ゼロや負の解を含む）完全な解法を初めて記したのがブラーマグプタの『ブラーマ・スプタ・シッダーンタ』である。その後、アラブ世界（イスラム世界）の数学者が代数学的手法をより高度なものへと洗練させていった。ディオファントスや古代バビロニア人は方程式を解くのに場当たり的な技法を使っていたが、アル＝フワーリズミーは一般化された解法を初めて使用した。彼は、一次不定方程式、二次方程式、二次不定方程式、多変数の方程式などを解いた。

ギリシャ人数学者ディオファントスは昔から「代数学の父」と呼ばれてきたが、最近ではアル＝フワーリズミーの方がその名にふさわしいという議論がある。ディオファントスを支持する側は、フワーリズミーの著作は『算術』よりも扱っている内容が初等的であり、フワーリズミーの著作が修辞的で冗長なのに対して『算術』は簡潔に記述してある点を指摘する。一方フワーリズミーを支持する側は、彼が左右の辺の間での項の移動や打消しといった手法を導入した点（al-jabr の本来の意味とされている） 「al-jabr と muqabalah という語の正確な意味は定かではないが、一般的解釈は上述の通りである。al-jabr は「復元」または「完成」などを意味し、項を両辺から引くことで一方からもう一方の辺に移すことを意味したと見られている。muqabalah は「縮減」または「平衡」を意味し、項を打ち消しあうことで式を既約な形式にすることを意味したと見られる」、幾何学的証明を証拠としつつ二次方程式の解法を徹底的に解説し 「上に示した6つの方程式により、正の根を持つ一次方程式と二次方程式のあらゆる可能性が尽くされている。アル＝フワーリズミーの解説は非常に体系的で徹底的であり、読者は解法を楽に習得できたに違いない」、代数学を独立した分野にまで高めたという点を指摘するGandz and Saloman (1936), The sources of al-Khwarizmi's algebra, Osiris i, p. 263–277: 「ある意味では、フワーリズミーは代数学を初歩から教えようとしたがディオファントスの興味の中心は数論だったと見られ、フワーリズミーの方がディオファントスよりも「代数学の父」と呼ばれるのにふさわしい」。フワーリズミーの代数学はもはや一連の問題と解法を示すのではなく、単純な式からそれらを組み合わせた複雑な式まで全ての可能性を網羅し、今後の真の研究対象が何であるかを示している。そして、無限に存在する問題のクラスを定義するためにのみ必要な一般化された形で方程式を研究した。

ペルシャの数学者ウマル・ハイヤームは代数幾何学の創始者とされており、三次関数の一般解を見出したことで知られる。同じくペルシャの数学者シャラフ・アッ＝ディーン・アッ＝トゥースィは様々な三次方程式の代数解や数値解を求めた。彼は関数の概念も生み出した。インドの数学者マハーヴィーラとバースカラ2世、ペルシャの数学者アル＝カラジ "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),"、中国の数学者朱世傑は、三次、四次、五次などの高次多項式方程式を数値的手法で解いた。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世紀には抽象代数学が生まれた。当初は後にガロア理論と呼ばれるようになった分野と構成可能性問題が中心だった"The Origins of Abstract Algebra". University of Hawaii Mathematics Department.。近代代数学は、リヒャルト・デーデキントやレオポルト・クロネッカーの業績に見られるように代数的整数論や代数幾何学といった境界領域を通して数学の他の領域とも密接に関連している"The History of Algebra in the Nineteenth and Twentieth Centuries". Mathematical Sciences Research Institute.。は算術と代数学における公理的思考法を創始した。オーガスタス・ド・モルガンは Syllabus of a Proposed System of Logic において関係代数を見出した。ウィラード・ギブズは3次元空間のベクトルの代数学を生み出し、アーサー・ケイリーは行列の代数学（非可換代数学の一種）を生み出した"The Collected Mathematical Papers". Cambridge University Press.。

 訳語の由来 
“Algebra”の訳語である「代数学」という言葉は、1856年に李善蘭が（偉烈亜力）と協力してド・モルガンの著作“Elements of Algebra”を翻訳するときに作られた。この訳語を日本でも採用することは明治14年12月3日に開かれた東京数学会社第13回訳語会にて決定された 
 上記の東京数学会社雑誌43号に掲載された第13回訳語会の訳語記事を読みやすくしたものが掲載されている。。和算家の川北朝鄰は「代数学」という訳語に大反対した。川北は「我が国では昔からこれ（Algebra）を点竄と称する」と述べ「点竄」という訳語を推した。字義の解説を請われた川北は「点竄という言葉は三国時代に魏帝の文書に用いられた「隠れたるを顕す」を意味する言葉である。この言葉を我が国の内藤公が採用された」と由来を解説し説得を試みた。しかし西洋数学者である菊池大麓や中川将行に、「奇を好むが如く思われる」「三国志中より引用したとか、なにか神変不可思議なることでもするようだ」などと反対され、結局退けられた。和算家の推す訳語を西洋数学者が退ける光景は訳語会で典型的にみられるものであった。

 代数学の諸分野 
 半群
 群論
 可換環論 → 代数幾何学
 環論
 体論
 線型代数学
 リー代数
 表現論
 ホモロジー代数学
 束
 圏論
 代数的整数論（cf. 解析的整数論）


 出典 

 参考文献 

 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


『代数学講義 改訂新版』高木貞治著、共立出版、2018年刊（改訂新版34刷）

*
Category:アレクサンドリアのディオファントス
Category:数学に関する記事