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