555コメント445KB

代数的整数論 020

■ このスレッドは過去ログ倉庫に格納されています

0166Kummer ◆g2BU0D6YN2

2010/05/24(月) 12:29:19

命題
積を持つ(過去スレ018の910)アーベル圏(過去スレ019の533)は小さい余結びを持つ(>>164)。

証明
>>144と双対原理(過去スレ018の159)

■ このスレッドは過去ログ倉庫に格納されています