>>321
>イデアルはなぜイデアルなんだろう
>idealがイデアルでいいならgroupだってグループでいいじゃないか

まあ、そうだよね
歴史的には、クンマーの理想数があって、デデキントは理想数の理論を整理することによってイデアルを考案したらしい

群は、昔の流儀で、”漢字一文字”っていう考えもあると思う
で、秋月先生が、”層”とかしたらしいが、いまとなっては、完全に誤訳ですよね
漢字一文字ではなく、”関数束”あるいは”関束”くらいの方がまだイメージが合うかも

余談だが、”園 (数学)”も誤訳っぽいよね
”圏”が、こんなにポピュラーになると思っていなかったのかもね
いまなら、” Stack”なり”スタック”の方が、分り易いよね。無理に漢字一文字にする必要なし

https://ja.wikipedia.org/wiki/%E3%82%A4%E3%83%87%E3%82%A2%E3%83%AB_(%E7%92%B0%E8%AB%96)
イデアル (環論)
(抜粋)
歴史
19世紀のドイツの数学者であるクンマーはフェルマーの最終定理を証明しようと研究していた。
クンマーは、x 2 + 1 の分解のためには -1 の平方根を含むより広い領域が必要となるように、R の元が上のように完全に分解されるより広い領域が存在すると考えた。そしてこの A, B, C, D のような理想的な分解を与える因子を理想（複素）数 (ideale complexe Zahl ) あるいは理想因子 (ideal Primfactor) と名付けて、理想数の理論を築いた。
クンマーの理想数の理論は非常に形式的で、とても難解なものであった。後になってデデキントは理想数の理論を整理することによってイデアルを考案した。
歴史的には、ヒルベルトの『数論報告』の中で、デデキントのイデアル概念が取り上げられたことから、イデアルという名称が採用されることになった。イデアル (Ideal) とは、明らかに理想数に由来する名前である。

https://ja.wikipedia.org/wiki/%E5%9C%92_(%E6%95%B0%E5%AD%A6)
園 (数学)
数学における園（えん、英: Stack) とは互いに関係づけられた2つの圏論的な概念を参照するものある。
・標準的な園は、形式的降下理論の鍵概念である層型の接着公理を満足するファイバー圏である。
・代数的園は園の特殊なタイプであり、スキームの圏と代数的空間の圏の拡張となる。これらはモジュライ空間の研究において中心的な役割を担っている。