@mathematics-tan.bsky.socialSep 23, 2026, 6:09 PM <#代数学の参考書>「群とグラフ」(1970)p21より:『#群 の #公理的 定義は1人の数学者から生まれたのではない.群の基礎となる形式的 #公理 がはっきり述べられたのはほぼ #1世紀 にわたる#群論 研究のあと.#最初 の重要な定理は#1771年 に #ラグランジュ が述べて証明した.』