代数的整数論 022
■ このスレッドは過去ログ倉庫に格納されています
0091Kummer ◆IxIr9aihfg
2011/02/09(水) 05:56:27A を一般Boole代数(過去スレ021の373)とする。
P(X(A)) を X(A)(>>90)の冪集合とする。
P(X(A)) を X の冪集合とする。
P(X(A)) はBoole代数(過去スレ021の336)である。
a を A の任意の元とする。
f(a) = {χ ∈ X(A);χ(a) = 1} とおく。
このとき f:A → P(X(A)) は一般Boole代数の単射準同型(>>29)である。
A がBoole代数(過去スレ021の336)のとき f(1) = X(A) である。
証明
>>44より明らかである。
■ このスレッドは過去ログ倉庫に格納されています