lemma）是李代數上同調論中的一條定理。 假設 g 是李代數 M 是g-模 C.(g,M) 是Chevalley鏈序列((en:Chevalley complex))， 这样 g 的上同調 Hn(g,M) 定義為 C. 的上同調。 再假設 h 是 g 的子代數 M 是 h-模 CoindhgM := HomU(h)(U(g)--->M)
{\displaystyle HN} 在乘法下封閉。不難證明他不是空集合、以及反元素的封閉性。 此外，我們有 N ⊂ H N ⊂ G {\displaystyle N\subset HN\subset G} 的包含關係，並且 N {\displaystyle N} 在 G {\displaystyle G} 中正規，所以也在