12/04/22 19:38:34.55
>>313
乙
>対称的な変換全体が群になるのは分かりますが、その逆で任意の群を対称的な変換全体と見なせるとは言えないのでは？
横槍OKですよ
”群の概念は、数学的対象 X から X への自己同型の集まりの満たす性質を代数的に抽象化することによって得られる。
この集まりは X の対称性を表現していると考えられ、結合法則・恒等変換の存在・逆変換の存在などがなりたっている。”>>312
という
数学的対象 X から X への自己同型として取り出された射の演算を抽象化した（数学的対象 X から切り離した）代数的構造を表すものと捉えるべきかも
そういう意味では、任意の群は演算（群としての）を持つ変換の集合と良いと思う
さらに付言すれば、数学的対象 Xに対して群を超えて、いろいろなものが考えられる
とすれば、群で思考停止するのではなく、対称性という非数学言語で語っておくことが、既存の代数的構造を超えて行く力になると思うんだ
URLﾘﾝｸ(ja.wikipedia.org)
数学において代数的構造（だいすうてきこうぞう、algebraic structure）とは、集合に定まっている算法（演算ともいう）や作用によって決まる構造のことである。
代数的構造の概念は、数学全体を少数の概念のみを用いて見通しよく記述するためにブルバキによって導入された。
また、代数的構造を持つ集合は代数系（だいすうけい、algebraic system）であるといわれる。すなわち、代数系というのは、集合 A とそこでの算法（演算の規則）の族 R の組 (A, R) のことを指す。
逆に、具体的なさまざまな代数系から、それらが共通してもつ原理的な性質を抽出して抽象化・公理化したものが、代数的構造と呼ばれるのである。
現代では、代数学とは代数系を研究する学問のことであると捉えられている。
代数的構造の例
一つの演算によって決まる代数的構造
マグマ: 一つの二項演算の定義された集合。
擬群 (quasi-group): a × x = c であるような x が一意に決まるマグマ
Loop: 単位元 e を持つ擬群。したがって、任意の元が逆元を持つマグマとも言える。
半群: 結合法則を満たすマグマ モノイド: 単位元を持つ半群