设Q为有理数域,F=Q(~(2)(1/2)u)(其中是奇素数,u∈N),OF为域F对应的代数整数环.运用局部域的方法彻底解决了任意素数p在代数整数环OF中的素理想的分解问题,并且完全确定素数p在OF中可能出现的素理想分解的具体形式.