 
     
  

  
 
 
 
    
      
  
  
   
    
   
  
 
  
  integral group ring      
󰃬

󰃬
     
󰃬
       
  
󰃬
󰃬

󰃬
󰃬

   
󰃮󰞃󰃒
󰃮
󰃳󰞃󰃒
󰃳

󰃮󰃳󰁞󰃬
󰃮
󰃳
             
      
 (left) -module         
  
 
󰁓
󰁔

󰁓

󰁔
 
󰁓
󰁔

󰁓
󰁔

󰁓

󰁔

󰁓
󰁔

 
  trivial      the     
    
 free         
󰄃

󰄃
 
    
󰄃
           

           
 (left) -map  morphism
󰁓
󰁔
     
  
󰁓
  augmentation map        
󰃬
󰃬
         
  
󰃒
            
  
     

󰃒

              
  

  
󰃒
       
 
   

󰃒
 
          
Remark.              
 
󰁓
󰁔
   dual maps
  
󰃒

󰁔

󰃒

󰁓
          
󰁓
󰁔
 induced maps
 
󰃒

󰁓

󰃒

󰁔
     
      
    
            
󰃯


󰃯
  
󰃯󰁜󰁓

󰃯󰁝󰁓
             
     
󰃯

󰃯󰁜󰁓
       
    
󰁒
 
    
󰁒

󰁓
      
󰁓
󰁒
   
 
󰁒
     
 chain complex    
󰃻
󰃻󰁝󰁓
󰃻󰁝󰁔
󰃼
󰃩
󰇴
󰃩
󰇴󰅖󰅌
󰃩
󰇵󰅕󰅌
     
󰃶
󰃶󰁜󰁓
  
󰃶󰁜󰁓

󰃶
  
   

󰃶
󰃶
󰃼󰝺󰃶󰝺󰃻
 
 exact 
󰃶
 
󰃶󰁜󰁓

󰃶
     exact      
󰃶

 homology     
󰃻


󰃻
󰃶


󰃶

󰃶󰁜󰁓
󰃼


󰃼󰁝󰁓
󰃼

󰃼󰁜󰁓
short exact sequence        
󰁓
󰁔
󰁕
󰄡
󰄢
        
          
 
     
 
              
 
   projective     
󰁓
󰁔

 
󰁔
  
󰁓
 
󰁓
󰁔
󰄢
󰄢
󰄡
    
󰁓
󰁔
󰃫
󰄡
  

󰃒
 
󰃒

󰁓

󰃒

󰁔
󰃫
󰄡
               
              
 
󰃒

󰁔
    
Proof. 
󰁓
󰁔
     
󰁔
   
  
󰄃
󰁓
  
󰄃
   
󰁓


󰄃
󰄃
󰄃
     
 projective (free) resolution        
󰁓
󰁒
󰃩
󰅍
󰃩
󰅌
󰃩
󰅋
 
󰃯
       
              
   
 
󰞖󰁟󰃼󰁝󰁓󰁠
󰄥
    
          
    
󰄢
󰄡 󰄥󰄡
󰄢

 
󰃶󰁝󰁓
           
󰁓
     
      
               
         
              
             
        
   type
󰃶
   
󰁓
󰁒
󰃩
󰅍
󰃩
󰅌
󰃩
󰅋
     
󰃶
󰃶󰁝󰁓
󰁒
    
   type
󰞏
       
󰃯
  
     type        
󰃯
            
󰃻

 
           
         
󰞏
        

             
󰃶

         
 
   
󰃻
󰃻󰁝󰁓
󰁓
󰁒
   
󰃻󰁜󰁓
     
󰃻󰁜󰁓

󰃻󰁜󰁓
   
󰃻
  
󰃻󰁜󰁓
 
󰄃
󰞃󰃛
󰇴󰅕󰅌
󰄃
󰞃󰃛
󰇴
             
󰃻
 
   
󰃻󰁜󰁓
󰃻
󰃻󰁝󰁓
󰁓
󰁒
󰃩
󰇴󰅕󰅌
   
󰃻
    
󰃻󰁜󰁓
  
  
󰃻
         
󰃻󰁜󰁓
     
  
󰃻
          
  standard  bar       
󰁟󰃶󰁠
  
  
󰁟󰃶󰁠

󰁓

󰃶
󰁓
󰃶

󰁟󰁒󰁠
         
󰃶

󰁟󰃶󰁠
  
      
󰃶
󰃶
󰃶󰁝󰁓

󰃶

󰁓

󰃶

󰁓

󰁔

󰃶

󰁓
󰁔

󰁕

󰃶

󰁓

󰁔
󰁕

󰃶

󰃶󰁝󰁓

󰁓

󰃶󰁝󰁓
󰃶

󰃶

󰁓

󰃶󰁝󰁓
             
󰁓
󰁒
Remark.            
    
󰃶󰁜󰁓
         
󰃶󰁜󰁓


󰁒
󰃶

󰁒

󰃶
 
󰃶󰁜󰁓
            

󰁓

󰃶
   

󰁓
󰁓
󰁔
󰁓
󰃶
    
󰁓

󰁔
󰁔
󰁕
󰁔
󰃶
     

󰁓
󰁔
󰁓
󰃶
     
Proof.    
󰃶
    
󰃶
 
󰁟󰃶󰁠
  

󰁟󰃶󰁠
󰁒

󰁓

󰃶
󰁒
󰃶
 
󰃶
󰃶
󰃶󰁜󰁓
 

󰃑
󰇯
󰃶󰁜󰁓
󰃶
󰃶󰁝󰁓
󰃶

󰃶

󰁒

󰁓

󰃶

󰁒

󰁓

󰃶
             
󰃶


󰃶󰁜󰁓
󰃶

󰃶󰁝󰁓
󰃶

󰃶󰁜󰁓
󰃶

󰃶󰁜󰁓
      
󰞏
Proof.      
 
   
󰃶󰁜󰁓
󰃶
󰁓
󰁒
        
󰃒
   


󰃒

󰃶󰁜󰁓

󰃒

󰃶

󰃒

󰁓

󰃒

󰁒
󰃩
󰅌

󰃶
󰃶
  th cohomology group
󰃶
   
󰃶

󰃶󰁜󰁓

󰃶
󰁒

󰁓
Remark.       
󰃒
    
     
󰃶

󰃒

󰁝󰃶
    
         
         
 
󰞖󰁟󰃼󰁝󰁓󰁠
 
󰃒
 
󰁓

󰁓

      
󰃒
   
󰁓

󰁓

 
󰄡
           
󰁒


󰃒
󰁓


󰃒
󰃶
 
     
󰃒
          

󰃒
       
Remark.     
󰁒

󰃒
  
󰁓

󰃒
   

󰃒
                
         
   cohomological dimension      

󰃵

󰃶

󰁓
    
󰁓
Remark.    
󰁒
       
             
               
              
          
           

󰃒

󰁟󰃶󰁠
󰃶


󰃶
    
󰁟󰃶󰁠
       
 
󰃶
     
󰃶
  
󰁒

    
󰁒
  
     -cochains     
󰃶
  th
coboundary map
󰃶
󰃶󰁝󰁓

󰃶
   
󰃶
   
󰃶

󰁓
󰃶
󰁓

󰁔
󰃶

󰁓
󰁔
󰁕
󰃶

󰁓
󰁔
󰁕
󰃶

󰃶󰁝󰁓

󰁓
󰁔
󰃶󰁝󰁓
󰃶

󰃶

󰁓
󰁔
󰃶󰁝󰁓
   -cocycles 
󰃶

󰃶󰁜󰁓
󰃶
    -coboundaries 
󰃶

󰃶
󰃶
      
󰃶

󰃶

󰃶


󰁒

󰃒
 
 derivation        

 
󰁓
            
 
  inner derivation        
  
   

󰁓
          
    
󰁓

 
      
    
           
  
󰃶
󰃶

󰃶
󰃶
     chain map 
󰃶

  
󰃶
󰃶
󰃶
     
󰃶
󰃶󰁝󰁓
󰃶󰁝󰁔
󰃶
󰃶󰁝󰁓
󰃶󰁝󰁔
󰄡
󰇯
󰄢
󰇯
󰃫
󰇯
󰃫
󰇯󰅖󰅌
󰄢
󰇯󰅖󰅌
󰄡
󰇯󰅖󰅌
󰃫
󰇯󰅖󰅍
   
󰃶
      
󰃶

󰃶

Proof.  
󰃶
 

󰃶
       
      
󰃶
 
󰃶

󰃶
󰃶

󰃶󰁝󰁓
󰃶

 
󰅄
󰃶󰁜󰁓
   
󰃶

󰅄
󰃶

󰃶
󰃶󰁜󰁓

󰃶

󰃶󰁜󰁓
󰃶󰁜󰁓

󰃶

󰃶󰁜󰁓
                
   
󰃶
       
Proof.    
󰃶
󰃶
 
󰅄
󰃶
󰅄
󰃶
     
 
󰃶
󰃶
󰅄
󰃶

󰃶
󰅄
󰃶
󰃶

󰃶󰁝󰁓
󰃶
󰅄
󰃶
󰃶
󰃶󰁝󰁓
󰅄
󰃶
󰃶
󰃶
   
󰃶
󰃶
󰃶󰁜󰁓

󰅄
󰃶
󰅄
󰃶
󰅄
󰃶󰁜󰁓

󰃶󰁜󰁓
󰃶
󰃶󰁝󰁓
󰃶
󰃶
󰃶

󰅄
󰃶󰁜󰁓
󰅄
󰃶
󰅄
󰃶󰁝󰁓
󰅄
󰃶
󰃶
󰃶

 
󰃶

󰃶
    
󰃶

󰅄
󰃶
 chain homotopies   

󰃶

󰃶
    

󰃒

󰅄

󰃒

 
󰃒


󰃒

󰅄
             
 
󰃶󰁜󰁓
  
󰃶
󰃶

󰃶
󰃶


󰃶󰁜󰁓
󰃶

󰃶󰁝󰁓
󰃶


󰃶
󰃶󰁜󰁓

󰃶
󰃶󰁝󰁓


󰃶
󰃶󰁝󰁓


󰃶
󰃶

󰃶
󰃶󰁝󰁓
  
󰃶
󰃶
    

󰃶󰁜󰁓

󰃶
 
 
󰃶
󰃶
 
󰃶
󰃶
      
    
󰃶
󰃶
󰃶
󰅄
󰃶
      
󰁝󰁓

󰁝󰁔
          
󰃶󰁝󰁓

󰃶
 

󰃶󰁜󰁓

󰃶
󰃶󰁜󰁓
󰃶󰁜󰁓
󰅄
󰃶

󰅄
󰃶

󰃶
󰃶󰁜󰁓
󰃶󰁝󰁓
󰃶
󰃶󰁜󰁓
  
󰃶
󰃶󰁜󰁓
   
󰅄
󰃶
 
󰃶󰁜󰁓
      
 
󰃶󰁜󰁓
󰃶
󰃶󰁝󰁓
󰅄
󰃶󰁜󰁓

󰅄
󰃶
󰅄
󰃶
󰅄
󰃶󰁝󰁓
󰃩
󰇯󰅕󰅌
󰃩
󰇯
󰃩
󰈽
󰇯
󰃫
󰇯
󰃫
󰇯󰅖󰅌
󰃩
󰈽
󰇯󰅕󰅌
󰃫
󰇯
󰃩
󰇯󰅕󰅌
󰃫
󰇯󰅕󰅌
 
󰃶󰁜󰁓
     
󰃶
󰃶
󰃶

󰃶
󰃶
   

󰁝󰁓
󰁒
      
󰁒
󰁒
󰁝󰁓
󰁒
  
󰁒

󰁒
    
󰁒
󰁓

󰁒
󰁒
󰁒
󰃮
󰅋
󰃩
󰅋
󰃮
󰅋
󰃻
󰅋
󰃩
󰅌
 
󰃶󰁝󰁓

󰃶󰁝󰁔
   
󰃶
󰃶
󰃶󰁝󰁓
󰃶
󰃶
󰃶

󰃶
󰃶
󰃶
󰃶
󰃶
󰃶󰁝󰁓
󰃶
󰃶󰁝󰁓
󰃶

󰃶󰁝󰁓
󰃶󰁝󰁔
󰃶󰁝󰁓

󰃶
󰃶󰁝󰁔
󰃶󰁝󰁓
󰃶
 
󰃶

󰃶
󰃶
󰃶󰁝󰁓
󰃶󰁜󰁓

󰃶
󰃶
󰃶󰁝󰁓
󰃩
󰇯
󰃮
󰇯󰅖󰅌
󰃮
󰇯
󰃩
󰇯
󰃻
󰇯󰅖󰅌
󰃼
󰇯
󰃻
󰇯
 
󰅄
󰃶

Remark.              
󰁔
󰁓
󰁒

        
󰃒
  
 
󰃶
󰢎󰃒
 
󰃶

󰃶
󰢎󰃒

     
 
 
󰁒
  
󰃒
        
    
󰁓
󰁔
󰁓

󰁔

󰁓
      
        
First interpretation.           
 
󰁓

󰁔

󰁓

󰁔

󰁔

󰁓
󰁔

󰁓

󰁔

󰁓



󰁓
󰁔

󰁓
󰁔

󰁓
󰁔

       
󰁓
󰁔
󰁓

󰁔

󰁓
      
           
󰁓
 

󰁓
            
             
     
Second interpretation.     
          semidirect product
        

󰁓
󰁓

󰁔
󰁔

󰁓
󰁓
󰁔
󰁓
󰁔


    

 
 

       

        
󰁔
 
󰁔
        splitting   
󰁓
 
󰁔
󰁓
  
󰃻
󰅌

󰁓

󰃻
󰅌


󰃻
󰅌
    
󰁓
󰁔
 
󰃻
󰅌
󰃻
󰅍
  
      
󰁓

󰁝󰁓
󰁔
   
󰁓
   
󰁓
 
󰃻
󰅌


󰁓
      
 
        extension    
      
              
            
 
    
        
       split extension    
    equivalent       

󰅄

󰅄
    
󰅄
       
 central           
      
           
󰁓
     
 
            
󰁔
         

Proof.   
     
󰃻
󰄰

             
   

󰁓
󰁔

󰁓

󰁔

󰁓
󰁔
󰁝󰁓
         
󰁓
󰁔
  

󰁓
󰁔

󰁔
         

󰁓

󰁔

󰁕

󰁓
󰁔

󰁓
󰁔

󰁕

󰁓
󰁔

󰁓
󰁔
󰁕

󰁓
󰁔
󰁕
 

󰁓

󰁔

󰁕

󰁓

󰁔
󰁕

󰁔
󰁕

󰁓

󰁔
󰁕

󰁓
󰁝󰁓

󰁓

󰁔
󰁕

󰁓

󰁔
󰁕

󰁓
󰁝󰁓

󰁓
󰁔
󰁕

󰁓
󰁔
󰁕
 

󰁓
󰁔

󰁓
󰁔
󰁕

󰁓
󰁔
󰁕

󰁓

󰁔
󰁕

󰁓
󰁝󰁓

󰁓
󰁔
󰁕

󰁓
󰁔
󰁕

󰁓
󰁔

󰁓
󰁔
󰁕

󰁓

󰁔
󰁕

󰁓
󰁝󰁓

󰁓
󰁔
󰁕
   

󰁓
󰁔

󰁓
󰁔
󰁕
󰁓

󰁔
󰁕

󰁓
󰁔
󰁕
 

󰁕

󰁓
󰁔
󰁕
        normalised    
            
  
󰁔

     
󰅄

󰅄
      
󰅄
              
󰁔
  
󰅄

󰁝󰁓
 
󰅄

󰁝󰁓
   
󰅄

󰁝󰁓


󰅄

󰁓

󰅄

󰁔

󰁓

󰁓

󰁔

󰁔

󰁓

󰁓

󰁔

󰁓
󰁝󰁓

󰁓

󰁔

󰁓

󰁓

󰁔

󰁓
󰁝󰁓

󰁓
󰁔

󰁔

󰁓

󰁓

󰁔

󰁓
󰁝󰁓

󰁓
󰁔

󰁓
󰁔
󰁝󰁓
󰅄

󰁓
󰁔

   
󰅄

󰁓
󰁔

󰁓
󰁓

󰁔

󰁓
󰁔

󰁓
󰁔

󰁓
󰁔

󰁔

󰁓
󰁔
 
󰅄
            

󰁔

              
               
       
 
󰁔
    
󰁓
 
󰁔

          

Proof.   

󰁔


  

󰁔

   
󰁕

󰁕

             
          

󰄶


󰁓
󰁓

󰁔
󰁔

󰁓
󰁓
󰁔

󰁓
󰁔

󰁓
󰁔
                
󰄶
󰄰
          
󰅄
   
     
󰅄
      
󰄶
󰄶
󰈽


             

  
    
󰁔
       
 
󰁕
󰁔

 
   Heisenberg group

    
󰁔

  
󰁔
        
   
 
󰁔

󰄢
󰄡 󰄥



      
󰃟
    

󰃟
 
󰃟

󰁔
 
󰃟

󰄢
󰄡
 

     
󰁔

󰃟

         

  
󰁔






        
  
󰁔
         
   

󰁟󰁔󰁠

󰁟󰁓󰁠

󰁟󰁒󰁠
 
󰁔

󰃩
󰅍
󰃩
󰅌
󰄥
󰄢
󰄡
󰃫
󰅍
󰃫
󰅌


󰁓
  
󰁓
󰁓
        
󰃺
󰃻
 
 

󰃺
󰃻

󰃺󰅁󰃻
󰃺󰅁󰃻

󰁔


󰃺󰅁󰃻
󰃺󰅁󰃻
󰁓

󰃺
󰃻

󰃺
󰃻

󰃺

󰃻

󰃻



󰊩
󰊬
󰊪
󰊬
󰊫
󰃺󰁝󰁓


󰁝󰁓
󰃺

 

󰃺
  

󰃻

󰃻

󰁓

󰃺
󰃻

     
󰁓

󰃺
󰃻

󰃻


󰁔
        
󰃺
󰃻

󰃼
󰃽
     
󰃺󰅁󰃻󰅁󰃼󰅁󰃽
 
󰁓
󰁔

󰃺
󰃻

󰃼
󰃽

󰃺󰅁󰃻󰅁󰃼󰅁󰃽
  
󰁓
󰁔

󰃺
󰃻

󰃼
󰃽

󰁓

󰃺
󰃻

󰃼
󰃽

󰃺󰁜󰃼
󰃻󰁜󰃽

󰃺
󰃻


󰃺
󰃻

󰃽

󰃻󰁜󰃽

󰃻
󰃺
󰃻


 
󰃺󰅁󰃻󰅁󰃼󰅁󰃽

󰃻

   
󰁔

󰃺
󰃻

󰃼
󰃽

󰃻

   
󰁔
    
󰃟

󰁔
       
󰁔

󰃫
󰅍
󰃸󰄥
   

󰃺
󰃻
󰃼
󰃽

󰃺󰅁󰃻󰅁󰃼󰅁󰃽

       

󰃺
󰃻

󰃼
󰃽

󰃺󰁜󰃼
󰃻󰁜󰃽
      


   
              
             
                 
   
                 
                
 


󰅄
       
󰅄
  derived subgroup  
                
    


        
 relation module   

󰅄
     


             
               
          

 
            
󰁓
 
󰃒


󰁔

            
󰁔
  

      
              
 
󰃒

󰁔

Proof.    
󰁓
      
               
  

 
󰃒



󰃒

  
             
     
󰢎󰃒
       
         
󰃶

  Schur multiplier       
󰁔

          
     

󰁓


󰁔
 
 
󰁓


   
󰢎
     


  
󰅄
 


󰁔

         
󰁔

󰝶

󰝶
   
          
           

    
 

󰅄

       

   
󰅄

  
   
