>>126
>つまり群論の定理というのは
>別に具体的構成とかなくても証明できるんだよ
>それが抽象というものだよ

ふっふ、ほっほ
君は、ガロア第一論文を読んでないだろ
私は 読んだ

ガロアは 第一論文で 群の定義を与えていない
それでも 当時の論文としては 良かったし 内容も問題なしだ
（扱ったのは、置換(群)という具体的なもの）

抽象的な群の定義は
下記" Arthur Cayley's 1854 paper"
だと言われる

君は、勉強不足だな　；ｐ）

(参考)
https://ja.wikipedia.org/wiki/%E7%BE%A4_(%E6%95%B0%E5%AD%A6)
群
歴史
→詳細は「群論の歴史」を参照
群の概念が初めてはっきりと取り出されたのは、エヴァリスト・ガロアによる根の置換群を用いた代数方程式の研究だとされている。

https://en.wikipedia.org/wiki/History_of_group_theory
History of group theory
An abstract notion of a (finite) group appeared for the first time in Arthur Cayley's 1854 paper On the theory of groups, as depending on the symbolic equation
θ^n=1.[21][22]
Cayley proposed that any finite group is isomorphic to a subgroup of a permutation group, a result known today as Cayley's theorem. In succeeding years,
Cayley systematically investigated infinite groups and the algebraic properties of matrices, such as the associativity of multiplication, existence of inverses, and characteristic polynomials.