ガン理論 加法群による解明

ガンとは
あるシステムの中に
サブシステムとして
加法群が成立する
システムを作ることである

構成要素をa,b,c…とする
1構成要素の間に結合法則が成り立つ
　a+(b+c)=(a+b)+c
2　a+X=a
Xなるゼロ元が存在する
3　a+z=0
かくaにzなる逆元が存在する

このようなサブシステムが存在すれば
これがシステムへのガンである