论文部分内容阅读
如何确定出代数数域F的Tame核 FK2O的结构是一个重要而又困难的问题。为了解决这一问题，Tate给出了一个有效方法。利用Tate的方法，Browkin等确定出了若干代数数域所对应的Tame核。但是，已有的结果也仅限于二次域和几个分圆域等少数情形。 本学位论文总结了一些用于计算虚二次域的Tame核的理论，并且提出了一个方法，其可用于证明эv是同构映射。基于这个方法和Tate的方法，以及利用Browkin的理论，提出了两个针对虚二次域的算法。这两个算法分别针对非惯性素数和惯性素数的情形，并且都可以通过GP/PARI来实现，从而可以借助计算机来证明эv是同构映射。为了检验这两个算法的有效性，将其用于计算F=Q(√-38)的Tame核K2OF，并且证明了K2OF=<{4,4-√-38}>。