ポスト
F/Qをn次代数体, O_FをFの極大整環(Fの整数環), o⊂O_Fを部分環として, oが整環であることをoがZ加群として階数nの自由加群の時に定義する 例えばF=Q(√5)(O_F=Z+Z((1+√5)/2))とすると, o= Z+Z√5が整環になってる
メニューを開くF/Qをn次代数体, O_FをFの極大整環(Fの整数環), o⊂O_Fを部分環として, oが整環であることをoがZ加群として階数nの自由加群の時に定義する 例えばF=Q(√5)(O_F=Z+Z((1+√5)/2))とすると, o= Z+Z√5が整環になってる
メニューを開く
