نشان می دهیم که اگر a و i هر دو u-مدول های دو طرفه ی باناخ جابجایی باشند و a میانگین پذیر مدولی و i ایده آل بسته ی دو طرفه در a باشد، آنگاه i میانگین پذیر مدولی است سپس نشان می دهیم که اگر i ایده آل دو طرفه در نیم گروه معکوس میانگین پذیر s باشد، آنگاه i میانگین پذیر است. در ادامه بیان می کنیم که اگر s نیم گروه معکوس و e مجموعه ی عناصر خودتوان s و ~/s تصویر همومورفیک گروه s باشد، یک تناظر یک به یک بین گروه های کوهومولوژی جبر گروهی l^1 (s و جبر نیم گروهی l^1(s~/ با ضرایبی در همان فضا وجود دارد . به عنوان یک نتیجه اثبات می کنیم که s میانگین پذیر است اگر و فقط اگر ~/s میانگین پذیر باشد.