超複素数以外の、和と積が定義された、整数と同型な構造を含む既存の体系って何かある?