…すが,これがまさに「類体論」と呼ばれる数学に深く関わってくるのだそうです。面白そうな匂いがぷんぷんしますね!! 数式処理システムで確認する とりあえず,上の定理が本当に成立しているかどうか,確認してみたいと思いました。そのためには, の式の展開が必要ですが,これがなかなか厄介です。展開するだけで大変なのに,最初に となるのが のときなので,少なくとも 回は積をとる必要があります。 というわけで,式の展開を自動化したいのですが,自分でプログラムを作るのも面倒です。そこで,数式処…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。