حلقه را برگشت پذیـر گوییم هرگـاه برای هر از نتیجـه بگیریم . دراین پایان نامه، ارتبـاط بیـن حلقـه های برگشت پذیر با شرط سازگاری را بدست می آوریـم. لازم بـه ذکراســت کـه حـلقـه را سـازگـار گــویـیـم هـرگـاه بــرای هــر ، اگـرو فقـط اگـر . همچنین حـلقه را -سـازگار گوییـم هرگاه برای هر ، آن گاه . اگـر ، سـازگـار و -سـازگـار باشـد آن گـاه را -سـازگار گــوییم. در ادامه ارتباط بین حـلقه برگشت پذیر با شرط مک کوی را بررسی می کنیم که در این راستا با قضایای ساختاری جالبی مواجه می شویم.