数 (N, +, x) からは，量形式 ((Ｎ,＋),
×,
(Ｎ,＋,×)) が導かれます。
そしてこれからさらに，位の形式/普遍対象
(
Ｎ,
＋,
((Ｎ,＋),
×,
(Ｎ,＋,×))
)
が導かれます。 ──量形式 ((Ｎ,＋),
×,
(Ｎ,＋,×)) に集合のＮと加法の＋を加えたものが，位形式です。
すなわち，
(
Ｎ,
＋,
((Ｎ,＋),
×,
(Ｎ,＋,×))
)
と同型な系
( Ｐ,
＋,
((Ｑ,＋),
×,
(Ｎ,＋,×))
)
を，位と定義します。
ここで同型対応
ｇ: Ｐ ─→ N
ｆ: Ｑ ─→ N
の条件は，つぎのようになります：
- ｇは１対１対応
- ｇ(Ｘ ＋ ｘ)
＝ｇ(Ｘ) ＋ ｆ(ｘ)
- ｆは１対１対応
- ｆ(ｘ ＋ ｙ)
＝ｆ(ｘ) ＋ｆ(ｙ)
- ｆ(ｘ × ｎ)
＝ｆ(ｘ) × ｎ
|
|