Bourbaki marks this one as harder than the rest.
(a) 设Γ′是加法群和Γ在域k上的格序加法群和A代数; A 为整环(*代数*、章 II, § 11, no. 4、命题 8)。 A 中的每个元素 x=0 可以唯一地写为
x=i=1∑nαievi, 其中
vi不同于
Γ的元素,
A的典范基的
evi相应的元素超过
k以及
ai元素
=0 共
k。将
ϕ(x)=inf(v1,…,vn)写入
Γ;如果
x,y和
x+y在
A中是
=0,则证明
ϕ(x+y)≥inf(ϕ(x),ϕ(y));如果
xy=0在
A中,则证明
ϕ(xy)=ϕ(x)+ϕ(y)。 (为了显示第二个断言,首先建立以下引理:给定
Γ的元素的有限族
(ξj),在阶和
inf(ξj)=0中,对于
Γ′中的所有
η>0,存在充分必要指标
j和元素
ζ∈Γ使得
0<ζ≤η和
inf(ξj,ζ)=0应用这个引理将其减少到
ϕ(x)=ϕ(y)=0的情况。)
(b) 由(a)推导出,如果K是A的分数的域,ϕ可以从K∗扩展到Γ(也用ϕ表示)扩展到同态,使得
ϕ(x+y)≥inf(ϕ(x),ϕ(y)) 如果
x,y和
x+y是
K中的
=0。 Deduce that, if
B is the set of
x∈K such that
x=0 or
ϕ(x)≥0,
B is a domain whose field of fractions is
K and such that, if
U is the group of invertible elements of
B,
K∗/U is isomorphic to
Γ (and in particular
B is a pseudo-Bezoutian domain). 导出一个非全积分闭伪贝祖特域的例,一个非伪本事的完全积分闭伪贝祖特域 (cf.
代数, 章 VI, § 1, 习题 31) \* 和一个非阶乘的伪主域。 \*
(c) 源自 (b) 整环的例,它是阶乘子域的右有向族的并,并且是完全积分闭的,但不是伪 Bezooutian。 (令θ为[0,1]中的无理数数,并且对于每个整数j,令qj为最大的整数,使得qj/2j<0。对于所有j定义乘积群 Q×Q 一个格序群结构,通过将这个群的元素≥0的集合(Gj)+取为有序对(ξ,η)使得ξ≥0和0≤η≤(qj2−j)ξ*)。