تعمیم حلقه های متمم دار و کاربرد آنها در حلقه توابع پیوسته

حلقه ی تعویض پذیر r را متمم دار گوییم، هرگاه برای هر عنصر a درr ، عنصر b در r وجود داشته باشد که ab=0 و a+b عنصر منظّم حلقه ی r باشد. حلقه ی r متمم دار است، اگر و تنها اگر، حلقه ی کسرهای r ، منظّم ون نیومن باشد. (حلقه ی r را منظّم ون نیومن گوییم، هرگاه برای هر عنصر a درr ، عنصرx در r وجود داشته باشد که a2x=a ). در این نگارش، تعمیم حلقه های متمم دار را در نظر می گیریم وکاربرد آن ها را در حلقه ی کسرهای r بیان می کنیم. همچنین حالت خاصّی را در نظر می گیریم که حلقه یr، حلقه ی توابع پیوسته حقیقی مقدار روی یک فضای توپولوژی باشد.