をの無限素点すべての集合、をを含む素点の集合とする。複素数体の部分環加群に対してテンソル積と略記する。アルティン函数の先頭係数.ガロア群と定義する。ここで、有限素点に対しの惰性群、はこれによる不変部分空間、のである。この函数は有理型に解析接続され、で正則になる。この函数のでのテイラー展開の先頭係数をと書く。つまり、でのこの函数の位数をとするとき、の近傍でが成り立つような複素数としてを定義する(はランダウの記号)。スターク単数基準.の素点で下にある素点がに含まれるものすべての集合とする。単数群、つまりの元でに含まれないとする。の元で生成される自由アーベル群、をその部分群で各とする。には自然にが作用する。単数群への写像で定義する。この写像を対数的埋め込みという。単数定理によりは同型であり、加群として(非標準的に)同型であることがわかる。このような同型を一つ取る。への加群としての準同型全体を考える。このベクトル空間の次元はと等しい。このベクトル空間の自己同型で定義する。この自己同型の行列式スターク予想.スターク予想とは、複素数と定義するとき、に入る代数的数で、任意のに対してが成り立つであろう、という予想である。計算.進展.あらすじ.そんなある日、彼らはマフィアとしての力量を試す絶好のチャンスとして、ベニーからファミリーの運命を左右する資金の回収を命じられる。大金を巡る男たちのせめぎ合いは、やがて殺し合いのゲームへと発展していく。キャスト.※括弧内は日本語吹替中村正夫略歴.京都府出身。趣味は、読書・謡曲。猟官主義若宮忠三郎来歴・人物.京都府京都市中京区出身。京都市立第二商業学校(後の京都市立西陣商業高等学校、廃校)卒業。生涯独身であった。改名後の芸名の読みを「わかみやたいゆう」とする資料が存在するが誤りである。ええじゃないか(曲)テレビ出演.ええじゃないかその先へ...MyBestFriend偶然の旅人『偶然の旅人』(ぐうぜんのたびびと)は、村上春樹の短編小説。概要.英訳.