ساكل و خاصيّت (A)از f-حلقه‌ي 〖R(L〗_τ)

On socle and Property (A) of the f-ring $Frm(mathcal{P}(mathbb R), L)$

زوج كه به اختصار با نشان داده مي‌شود را توپوقاب ناميم، در صورتي كه زيرقاب، قاب باشد و هر عنصر از در داراي متمم باشد. -حلقه‌ي برابر با ست. در اين مقاله براي هر عنصر متمم‌دار ، اگر ، عنصر خودتوان متعلق را معرفي مي‌كنيم و نشان مي‌دهيم ايده‌آل از - حلقه‌ي ايده‌آل مي‌نيمال است اگر و تنها اگر اتم در به قسمي وجود داشته باشد كه توسط عنصر خودتوان توليد شود اگر و تنها اگر اتم در به قسمي وجود داشته باشد كه . هم‌چنين نشان مي‌دهيم -حلقه‌ي برابر تمام هايي است كه برابراتصال تعداد متناهي اتم مي‌باشد و در انتها نشان مي‌دهيم - حلقه‌ي داراي خاصيّت است و اگر در- حلقه‌ي تعداد اتم‌هاي قاب متناهي باشند، آن‌گاه حلقه‌ي خارج قسمتي داراي خاصيّت مي‌باشد.

A topoframe, denoted by $L_{ tau}$, is a pair $(L, tau)$ consisting of a frame $L$ and a subframe $ tau $ all of whose elements are complementary elements in $L$. $f$-ring $mathcal{R}(L_{ tau})$ is equal to the set $${fin Frm(mathcal{P}(mathbb R), L): f(mathfrak{O}(mathbb R))subseteq tau} .$$ In this paper, for every complemented element $ain L$ with $a, a'in tau$, we introduce an idempotent element $f_{a}$ belong to $mathcal{R}(L_{ tau})$ and we show that an ideal $I$ of $mathcal{R}(L_{ tau})$ is minimal if and only if there exists an atom $a$ of $L$ such that $I$ is generated by $ f_a$ if and only if there exists an atom $a$ of $L$ such that $ I={fin mathcal{R}(L_{ tau}): coz(f)leq a} $. Also, we prove that the socle of $f$-ring $mathcal{R}(L_{ tau})$ consists of those $f$ for which $coz (f)$ is a join of finitely many atoms and finally, we show that the $f$-ring $mathcal{R}(L_{ tau})$ has Property (A) and if $L$ has a finite number of atoms then the residue class ring $ frac{mathcal{R}(L_{ tau})}{Soc (mathcal{R}(L_{ tau}))}$ has Property (A).