关于伽罗瓦群钻石定理及Proposition 12单伽罗瓦扩张变体的技术问询

嗨Amanda！作为刚入门伽罗瓦理论的新手，你提的这些问题完全不傻——反而都是抓准了伽罗瓦对应核心的好问题！我来逐个给你梳理清楚：

首先补个背景：你提到的Proposition 12应该是经典的伽罗瓦扩张“钻石定理”，也就是当L/K和M/K都是伽罗瓦扩张时，复合扩张LM/K的伽罗瓦群和Gal(L/K)、Gal(M/K)以及它们的交L∩M的伽罗瓦群之间存在完美的同构对应，对应关系是一个钻石形状的包含图。

问题1：哪一个扩张可以不要求是伽罗瓦扩张？ #

• 两种情况都可以讨论：要么固定L/K是伽罗瓦扩张，让M/K是任意代数扩张；要么反过来固定M/K是伽罗瓦，L/K任意。不过最常用、教材里最常覆盖的是前者——固定一个伽罗瓦扩张，搭配任意扩张的场景。

问题2：去掉一个伽罗瓦假设后，结论会有什么变化？ #

• 变化确实存在，而且和你想的一样：首先，非伽罗瓦扩张的自同构群不能称为伽罗瓦群，所以必须把Gal换成Aut来表述。
• 原来双伽罗瓦扩张时的完美同构会弱化为单同态：比如当L/K是伽罗瓦、M/K任意时，我们有一个从Aut(LM/K)到Aut(L/K)的自然同态，它的核是Aut(LM/L)，而这个同态的像恰好是Aut(L/(L∩M))。
• 同时，原来钻石图里的“完美双射”伽罗瓦对应会打折扣——因为非伽罗瓦扩张的自同构群和中间域的对应不是双射，只能得到单向的包含关系，不再是一一对应。

问题3：这个变体命题的证明可以在哪里找到？ #

• 首先可以深挖Bosch的《Algebra》，很多代数教材会在伽罗瓦对应章节的拓展部分专门讲这个变体。
• 如果Bosch的书里没有直接给出，经典的Lang《Algebra》、Artin《Algebra》这类权威教材里都有详细的证明和讨论。
• 另外，很多大学的公开伽罗瓦理论讲义里也会包含这个内容，你可以搜“伽罗瓦扩张与任意扩张的复合”相关的校内讲义，一般都会附带完整的证明步骤。

问题4：去掉其中一个伽罗瓦假设的意义在哪里？ #

• 这个改动的核心价值在于拓展了结论的一般性！经典的双伽罗瓦扩张是个很强的理想假设，但实际研究中我们经常会遇到只有一个扩张是伽罗瓦的场景——比如研究可分但非正规的扩张（非伽罗瓦）和它的伽罗瓦闭包的复合，或者分析不同类型扩张的自同构群交互时，这个变体就是核心工具。
• 另外，这个变体还能帮你更深刻理解伽罗瓦理论的本质：伽罗瓦对应之所以是完美的双射，完全依赖于扩张是伽罗瓦的（正规且可分），去掉一个假设后，你能直观看到这个“完美对应”是怎么失效的，从而牢牢记住伽罗瓦扩张的核心要求。

备注：内容来源于stack exchange，提问作者Amanda Wealth