Can you summarize the following document?
        
  如果"M"與"N"是環"R"上兩個單模,則任何"R"-模同構"f": "M" → "N"可逆或者為零。特別地,一個單環的自同態環是除環。  條件"f"是一個模的同構意味著:  舒爾引理之群的版本是模版本的特例,因為群"G"的任何表示可等價地視為"G"的群環上的一個模。  舒爾引理經常用於下面這個特例。假設"R"是複數域C上的代數以及"M" = "N"是"R"上有限維模。那麼舒爾引理說模"M"的任何自同態要麼是由一個非零數量相乘給出,要麼是零。注意到在此時的前提下,除環中的任意元素f在"M"中存在特徵子空間,而該特徵子空間是"R"不變的,從而就是M,於是f屬於C。這便是說模"M"的自同態環是C,即“儘可能小”。更一般地,這個結論對任何代數封閉域上的代數以及至少是可數維單模也成立。如果域不是代數封閉的,自同態環儘可能小的情形是特別感興趣的:一個"k"-代數上的單模稱為絕對單如果其自同態環同構於"k"。這個條件一般強於是域"k"上的不可約模,意味著模甚至在"k"的代數閉包上也是不可約的。

  設"G"是一個復矩陣群,這意味著"G"是給定階數"n"的一個方塊矩陣集合,矩陣元素為複數,且"G"在矩陣乘法與取逆運算下封閉。另外,假設"G"是不可約的:沒有"V"非平凡的子空間(即不為{0}或整個空間)在"G"的作用下不變。換句話說,  在針對一個表徵時,舒爾引理斷言:如果"A"這個"n"階復矩陣可與"G"中所有矩陣交換,那麼"A"是一個數量矩陣。這個命題一個簡單的推論是阿貝爾群的任何不可約復表示都是一維的。

  一個模版本的舒爾引理有所涉及模"M"不必單的推廣,他們描述了"M"的模理論性質與"M"的同態環之間的關係。  一個模稱為絕對不可分解如果其同態環是一個區域性環。對最重要的一類有限長模,下列性質是等價的:  一般來說,舒爾引理的逆命題不成立:存在非單模,它們的自同態代數是除環。這樣的模必然是不可分解的,從而不能在半單環(比如有限群的復群環)上存在。但是,即使在整數環上,有理數模的自同構模是一個除環,即有理數域。甚至對群環,存在例子使得域的特徵整除群的階數:五個點的交錯群在三個元素的域上的一維表示的射影覆蓋的雅克布森根的同態環是三個元素的域。
在數學中,舒爾引理(英語:Schur's lemma)是群與代數的表示論中一個初等但非常有用的命題。在群的情形是說,如果"M"與"N"是群"G"的兩個有限維不可約表示,"φ"是從"M"到"N"的與群作用可交換的線性對映,那麼"φ" 可逆或"φ" = 0。一個重要的特例是"M" = "N"而"φ"是一個到自身的對映。這個引理以伊賽·舒爾(英語:Issai Schur)命名,他使用這個引理證明了舒爾正交關係,奠定了有限群的表示論的基石。舒爾引理可推廣到李群與李代數,其形式由雅克·迪斯米埃(英語:Jacques Dixmier)推導。