代数学で群論を学ぶと，そのうち剰余群を学ぶことになりますが，剰余群の定義で戸惑ってしまう人は多いように思います．
この戸惑う根底にあるのは，“well-defined性”の概念でしょう．
剰余群の定義においてだけではなく，数学において“well-defined性”は非常に重要ですが，高校ではともかく大学でもその意味を教えてもらったことがない人も多いように思います．
少なくとも私は教わった記憶がありません．
剰余群を定義する際に，この“well-defined性”を理解していないと「どうしてこんな議論が必要なのか」と思ってしまうことが多いようです．
本記事では，剰余群の定義を通して“well-defined性”を理解することを目標とします．
代数学は数学の構造を研究する分野であり，群(group)，環(ring)，体(field)上において理論が展開されることが非常に多い．
群，環，体といった代数構造を定義するためには，「集合」と「演算」が必要となる．
例えば，整数の集合
は通常の加法
によって「群」となり，実数の集合
は通常の加法と乗法
によって「体」となる．また，実数係数の1変数多項式![\R[x]](https://math-note.xyz/wp-content/ql-cache/quicklatex.com-65743284255069a0fbd0da3bd05c90bd_l3.svg "Rendered by QuickLaTeX.com")
の集合は通常の加法と乗法によって「環」となる．
この記事では，最初に「2項演算」を説明し，そのあとに群，環，体の定義とそれらの例を挙げる．
[Perron-Frobenius(ペロン-フロベニウス)の定理]とは，全ての成分が正または非負である正方行列の最大固有値に関する定理である．
歴史的には，全ての成分が正の行列に対する定理をOskar Perronが示し，後にFerdinand Georg Frobeniusが全ての成分が非負の行列に対する同様の定理を示した．
また，この[Perron-Frobeniusの定理]の応用範囲は工学から経済学まで非常に広い．
なお，多項式に行列を代入したときの固有値に対するFrobeniusの定理は以下を参照されたい．
【参考記事：フロベニウスの定理】
多項式
と行列
に対して，
とし，
は
にを代入した行列という．ただし，
は単位行列である．
Frobenius(フロベニウス)の定理は，行列
の固有値と，多項式
に行列を代入した行列
の関係を述べた定理で，の固有値を求めるのに非常に有用である．
なお，「正値正方行列には最大実固有値が唯一存在し，この固有値に属する固有ベクトルは正値ベクトルである」というPerron-Frobeniusの定理は以下を参照されたい．
【参考記事：ペロン-フロベニウスの定理】
本記事では，
「代数学1 群論入門」 (雪江明彦著，日本評論社)
の紹介をする．
群論の入門書．続巻として2巻，3巻がある．
具体例が豊富な上に，それぞれが非常に丁寧に解説されており，非常に理解しやすい．
群論の導入書として，強くオススメできる好著である．
本記事では，
「線型代数入門」 (齋藤正彦 著/東京大学出版会)
の紹介をする．
線型代数の入門書．
本書に対応した演習書「線型代数演習」(齋藤正彦 著，東京大学出版会)も出版されている．
線形代数の教科書として半世紀に渡って売れ続けている超ロングセラーの教科書．
本書が発行されて以来，多くの教科書が本書を真似て書かれてきたといっても過言ではないほど，日本の線形代数の指導方針にインパクトを与えた名著である．
