エレファント・コンピューティング調査報告

極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。

2021-01-02から1日間の記事一覧

エレファントな整数論(8)

剰余類 に対して と定義します。 に対して と定義します。 に演算 を に対して と定義すると、 はアーベル群になります。この元を剰余類と呼びます。 とし を とします。 は群の準同型となります。 に対して とおきます。 のとき とすると となる が存在しま…