Bourbaki

习题 14, § 6

标签 06G1,永久不变。引用为 [Bourbaki, Tag 06G1]。

代数, IV, p. 101

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

令 LL 为有限有序集合和 AA 交换环。在方阵的环MM超过AA且指标集合LL、矩阵m=(muv)m = (m_{uv})的集合使得muu=0m_{uu} = 0除了当u≤vu \leq v是子环BB。

a) BB的元素m=(muv)m = (m_{uv})在BB中可逆,当且仅当muum_{uu}对于所有u∈Lu \in L在AA中可逆。

b) 假设从此以后A=ZA = \mathbf{Z}。如果u≤vu \leq v,则令ζ\zeta 为由ζ(u,v)=1\zeta(u, v) = 1 定义的BB 的元素,否则为ζ(u,v)=0\zeta(u, v) = 0。证明 SS 在 BB 中有一个逆 μ\mu(也写作 μL\mu_L)(称为 LL 的莫比乌斯函数)。设ff和gg是LL到Z\mathbf{Z}的两个映射。显示关系

f(x)=∑y≥xg(y)for all x∈L f(x) = \sum_{y \geq x} g(y) \quad \text{for all } x \in L
和
g(x)=∑y≥xμ(x,y)f(y)for all x∈L g(x) = \sum_{y \geq x} \mu(x, y) f(y) \quad \text{for all } x \in L
是等价的。

c) 假设LL是有序集L1,…,LrL_1, \ldots, L_r有限族中的乘积。表明

μL(x,y)=∏i=1rμLi(xi,yi) \mu_L(x, y) = \prod_{i=1}^r \mu_{L_i}(x_i, y_i)
对于x=(x1,…,xr)x = (x_1, \ldots, x_r)和y=(y1,…,yr)y = (y_1, \ldots, y_r),使得x≤yx \leq y。

d) 令m≥1m \geq 1为整数,令DD为mm的除子集合,配备序关系《xx除yy》。证明μD(x,y)=(−1)s\mu_D(x, y) = (-1)^s,其中ss是素数数pp的基数集合除以y/xy/x,当y/xy/x不能被整数的平方整除时,否则为μD(x,y)=0\mu_D(x, y) = 0。 (通过应用 c)约化到mm是素数数的幂的情况。)

e) 假设有序集合 LL 是格序的。令a,b,ca, b, c不同于LL的元素,使得a≤b≤ca \leq b \leq c,并让Φ\Phi是x∈Lx \in L的集合,使得a≤xa \leq x和sup⁡(x,b)=c\sup(x, b) = c,以及Ψ\Psi相应的集合定义y≤cy \leq c 和 inf⁡(y,b)=a\inf(y, b) = a。表明我们有关系

∑x∈Φμ(a,x)=∑y∈Ψμ(y,c)=0. \sum_{x \in \Phi} \mu(a, x) = \sum_{y \in \Psi} \mu(y, c) = 0.

f) 令TT为TT上等价关系的有限集合和R(T)\mathscr{R}(T)集合,按关系排序 « RR是更细比SS»,写成R≤SR \leq S。证明 R(T)\mathscr{R}(T) 是格序的。设R\mathscr{R}中的R,SR, S使得R≤SR \leq S;令U1,…,UkU_1, \ldots, U_k为SS下的等价类,对于1≤i≤k1 \leq i \leq k,令αi\alpha_i为UiU_i中包含的RR下的等价类的数。表明

μR(T)(R,S)=∏i=1k(−1)αi−1(ai−1)! \mu_{\mathscr{R}(T)}(R, S) = \prod_{i=1}^k (-1)^{\alpha_i - 1} (a_i - 1)!
(如果UiU_i包含的RR下AiA_i是等价类的集合,则观察R(T)\mathscr{R}(T)的区间(R,S)(R, S)与R(A1)×…×R(Ar)\mathscr{R}(A_1) \times \ldots \times \mathscr{R}(A_r)同构的,将c)和约化应用于以下情况: RR是R(T)\mathscr{R}(T)和SS最大的中最小的元素;使用 e)) 处理最后一种情况。

解答

尚未写出解答。

被以下引用

引用了

无。

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。