Z上でのある演算(+)の結合法則から構成される構造を
別の台集合(+z)(x+)と合成（.）で構成される構造に等価だといったところで
もとの演算(+)の可換性について何も言ったことにはならないというだけのことよね