<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">OALibJ</journal-id><journal-title-group><journal-title>Open Access Library Journal</journal-title></journal-title-group><issn pub-type="epub">2333-9705</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/oalib.1104788</article-id><article-id pub-id-type="publisher-id">OALibJ-87785</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Biomedical&amp;Life Sciences</subject><subject> Business&amp;Economics</subject><subject> Chemistry&amp;Materials Science</subject><subject> Computer Science&amp;Communications</subject><subject> Earth&amp;Environmental Sciences</subject><subject> Engineering</subject><subject> Medicine&amp;Healthcare</subject><subject> Physics&amp;Mathematics</subject><subject> Social Sciences&amp;Humanities</subject></subj-group></article-categories><title-group><article-title>
 
 
  On Semi &lt;em&gt;π&lt;/em&gt;-Regular Local Ring
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Zubayda</surname><given-names>M. Ibraheem</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Raghad</surname><given-names>A. Mustafa</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Maha</surname><given-names>F. Khalf</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib></contrib-group><aff id="aff1"><addr-line>Department of Mathematics, College of Computer and Mathematical Sciences, University of Mosul, Mosul, Iraq</addr-line></aff><pub-date pub-type="epub"><day>09</day><month>10</month><year>2018</year></pub-date><volume>05</volume><issue>10</issue><fpage>1</fpage><lpage>7</lpage><history><date date-type="received"><day>21,</day>	<month>July</month>	<year>2018</year></date><date date-type="rev-recd"><day>9,</day>	<month>October</month>	<year>2018</year>	</date><date date-type="accepted"><day>12,</day>	<month>October</month>	<year>2018</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  A ring 
  <em style="line-height:1.5;text-align:justify;white-space:normal;">R</em>
   is said to be a right (
  left) semi 
  <em style="line-height:1.5;text-align:justify;white-space:normal;">π</em>
  -regular local ring if and only if for all 
  <em style="line-height:1.5;text-align:justify;white-space:normal;">a</em>
   in 
  <em style="line-height:1.5;text-align:justify;white-space:normal;">R</em>
  , either a or (1-a) is a right (left) semi π-regular element. The purpose of this paper is to give some characterization and properties of semi π-regular local rings, and to study the relation between semi π-regular local rings and local rings. From the main results of this work: 1) Let R be a semi π-regular reduced ring. Then the idempotent associated element is unique. 2) Let R be a ring. Then R is a right semi π-regular local ring if and only if either <em>r</em>(<em>a</em><em><sup>n</sup></em>) or <em>r</em>((1-<em>a</em>)<sup>n</sup>) is direct summand for all <em>a</em>∈<em>R</em> and <em>n</em>∈<em>Z</em><sup> </sup>. If R is a local ring with<em>r</em>(<em>a<sup>n</sup></em>) <em>r</em>(<em>a</em>) for all <em>a</em>∈<em>R</em> and <em>n</em>∈<em>Z</em><sup> </sup>, then <em>R</em> is a right semi <em>π</em>-regular local ring.
 
</p></abstract><kwd-group><kwd>Local</kwd><kwd> Ring</kwd><kwd> Semi π-Regular</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>Throughout this paper, R will be an associative ring with identity. For a ∈ R , r ( a ) , ( l ( a ) ) denote the right (left) annihilator of a. A ring R is reduced if R contains, no non-zero nilpotent element.</p><p>A ring R is said to be Von Neumann regular (or just regular) if and only if for each a in R, there exists b in R such that a = a b a [<xref ref-type="bibr" rid="scirp.87785-ref1">1</xref>] . Following [<xref ref-type="bibr" rid="scirp.87785-ref2">2</xref>] , a ring R is said to be right semi-regular if and only if for each a in R, there exists b in R such that a = a b and r ( a ) = r ( b ) .</p><p>By extending the notion of a right semi π-regular ring to a right semi-regular ring is defined as follows:</p><p>A ring R is said to be right semi π-regular if and only if for each a in R, there exist positive integers n and b in R such that a n = a n b and r ( a n ) = r ( b ) [<xref ref-type="bibr" rid="scirp.87785-ref3">3</xref>] .</p><p>Following [<xref ref-type="bibr" rid="scirp.87785-ref4">4</xref>] , a ring R is said to be π-regular if and only if for each a in R, there exist positive integers n and b in R such that a n = a n b a n . A ring R is called a local ring, if it has exactly one maximal ideal [<xref ref-type="bibr" rid="scirp.87785-ref5">5</xref>] .</p><p>A ring R is said to be a local semi-regular ring, if for all a in R, either a or ( 1 − a ) is a semi-regular element [<xref ref-type="bibr" rid="scirp.87785-ref6">6</xref>] .</p><p>We extend the notion of the local semi-regular ring to the semi π-regular local ring defined as follows:</p><p>A ring R is said to be a semi π-regular local ring, if for all a in R, either a or ( 1 − a ) is a semi π-regular element.</p><p>Clearly that every π-regular ring is a semi π-regular local ring.</p></sec><sec id="s2"><title>2. A Study of Some Characterization of Semi π-Regular Local Ring</title><p>In this section we give the definition of a semi π-regular local ring with some of its characterization and basic properties.</p><sec id="s2_1"><title>2.1. Definition</title><p>A ring R is said to be right (left) semi π-regular local ring if and only if for all a in R, either a or ( 1 − a ) is right (left) semi π-regular element for every a in R.</p><p>Examples:</p><p>Let ( Z 2 , + , ⋅ ) be a ring and let G = { g : g 2 = 1 } is cyclic group, then Z 2 G = { 0 , 1 , g , 1 + g } is π-regular ring. Thus R is semi π-regular local ring.</p><p>Let R be the set of all matrix in Z 2 which is defined as:</p><p>R = { [ a b 0 d ] : a , b , d ∈ Z 2 } .</p><p>It easy to show that R is semi π-regular local ring.</p></sec><sec id="s2_2"><title>2.2. Proposition</title><p>Let R be a right semi π-regular local ring. Then the associated elements are idempotents.</p><p>Proof:</p><p>Let a ∈ R , since R is right semi π-regular local ring. Then either a or ( 1 − a ) is right semi π-regular element, that there exists b in R such that a n = a n b and r ( a n ) = r ( b ) , so a n ( 1 − b ) = 0 , gives ( 1 − b ) ∈ r ( a n ) = r ( b ) . Thus b ( 1 − b ) = 0 , which implies b = b 2 . Now, if ( 1 − a ) is right semi π-regular element, then there exists c in R such that ( 1 − a ) n = ( 1 − a ) n c c and r ( ( 1 − a ) n ) = r ( c ) . So ( 1 − a ) n ( 1 − c ) = 0 , thus ( 1 − c ) ∈ r ( ( 1 − a ) n ) = r ( c ) . Hence c ( 1 − c ) = 0 and therefore c = c 2 .</p><p>In general the associated element is not unique. But the following proposition give the necessary condition to prove the associated element is unique.</p></sec><sec id="s2_3"><title>2.3. Proposition</title><p>Let R be a right semi π-regular local reduced ring. Then the idempotent associated element is unique.</p><p>Proof:</p><p>Let a ∈ R , since R is right semi π-regular local ring. Then either a or ( 1 − a ) is right semi π-regular element in R. If a is right semi π-regular element, then there exists b ∈ R such that a n = a n b and r ( a n ) = r ( b ) . Assume that, there is an element b &#175; in R such that a n = a n b &#175; and r ( a n ) = r ( b &#175; ) , which implies that a n ( b − b &#175; ) = 0 , hence ( b − b &#175; ) ∈ r ( a n ) = r ( b ) = r ( b &#175; ) and b &#175; ( b − b &#175; ) = 0 , that is b ( b − b &#175; ) = 0 and then b &#175; b = b &#175; 2 , b 2 = b b &#175; , which implies b &#175; b = b &#175; , b = b b &#175; .</p><p>Since R is reduced ring, then r ( b ) = l ( b ) = l ( b &#175; ) . Hence ( b − b &#175; ) ∈ l ( b ) = l ( b &#175; ) and then ( b − b &#175; ) b = 0 and ( b − b &#175; ) b &#175; = 0 which implies b 2 = b b &#175; and b b &#175; = b &#175; 2 . Hence b = b &#175; b and b b &#175; = b &#175; , and therefore b = b &#175; b = b b &#175; = b &#175; . Now, if ( 1 − a ) is right semi π-regular element, then there exists an element c ∈ R such that ( 1 − a ) n = ( 1 − a ) n c and r ( ( 1 − a ) n ) = r ( c ) . Now, we assume that the associated element c is not unique.</p><p>Then, there exists c &#175; ∈ R such that r ( ( 1 − a ) n ) = r ( c &#175; ) , ( 1 − a ) n = ( 1 − a ) n c &#175; , then ( 1 − a ) n c = ( 1 − a ) n c &#175; which implies that ( 1 − a ) n ( c − c &#175; ) = 0 , that is ( c − c &#175; ) ∈ r ( ( 1 − a ) n ) = r ( c ) = r ( c &#175; ) . Hence c ( c − c &#175; ) = 0 and c &#175; ( c − c &#175; ) = 0 , implies that c 2 = c c &#175; and c &#175; c = c &#175; 2 , that is c = c c &#175; and c &#175; c = c &#175; . Since R is reduced ring, then l ( c &#175; ) = r ( c ) = l ( c ) and then ( c − c &#175; ) c = 0 , ( c − c &#175; ) c &#175; = 0 , that is c 2 = c &#175; c and c c &#175; = c &#175; 2 . Thus c = c &#175; c and c c &#175; = c &#175; . Therefore c = c &#175; c = c c &#175; = c &#175; .</p><p>The following theorem give the condition to a semi π-regular local ring to be π-regular ring.</p></sec><sec id="s2_4"><title>2.4. Theorem</title><p>Let R be a right semi π-regular local ring. Then any element a ∈ R is π-regular if R a n = R b for any associated element b in R.</p><p>Proof:</p><p>Let a ∈ R and R be a right semi π-regular local ring. Then either or ( 1 − a ) is right semi π-regular element in R. If a is right semi π-regular element in R, then there exists b ∈ R such that a n = a n b and r ( a n ) = r ( b ) .</p><p>Now, assume that R a n = R b . Then r a n = b and r a n ∈ R a n , b ∈ R b . Since b is idempotent element, then b + ( 1 − b ) = 1 and r a n + ( 1 − b ) = 1 , it follows that a n r n a n + a n ( 1 − b ) = a n .</p><p>Thus a n r a n = a n . Therefore a is π-regular element in R.</p><p>Now, if ( 1 − a ) is right semi π-regular element, then there exists an element c ∈ R such that : ( 1 − a ) n = ( 1 − a ) n c and r ( ( 1 − a ) n ) = r ( c ) .</p><p>If R ( 1 − a ) n = R c , assume that s ( 1 − a n ) = c , where s ( 1 − a ) ∈ R ( 1 − a ) , c ∈ R . Since c is idempotent element, then c + ( 1 − c ) = 1 and S ( 1 − a ) n + ( 1 − c ) = 1 , it follows that ( 1 − a ) n S ( 1 − a ) n + ( 1 − a ) n ( 1 − c ) = ( 1 − a ) n , that is ( 1 − a ) n S ( 1 − a ) n + ( 1 − a ) n − ( 1 − a ) n c = ( 1 − a ) n .</p><p>Thus ( 1 − a ) n S ( 1 − a ) n = ( 1 − a ) n . Therefore ( 1 − a ) is π-regular element in R.</p></sec><sec id="s2_5"><title>2.5. Proposition</title><p>The epimorphism image of right semi π-regular local ring is right semi π-regular local ring.</p><p>Proof:</p><p>Let f : R → R &#175; be epimorphism homomorphism function from the ring π in to the ring R &#175; , where R is right semi π-regular local ring and let e &#175; , y , 1 &#175; be element s in R &#175; . Then there exists elements e , x , 1 in R such that</p><p>f ( e ) = e &#175; , f ( x ) = y , f ( 1 ) = 1 &#175; .</p><p>Now, since R is right semi π-regular local ring, then either x or ( 1 − x ) is right semi π-regular element, that is x n = x n e and r ( x n ) = r ( e ) . Then</p><p>y n = ( f ( x ) ) n = f ( x n ) = f ( x n e ) = f ( x n ) f ( e ) = y n e &#175; .</p><p>Now, to prove r ( y n ) = r ( e &#175; ) . If a ∈ r ( y n ) , then y n a = 0 , that is ( f ( x ) ) n a = 0 , then f ( x n ) a = 0 , and f − 1 f ( x n ) f − 1 ( a ) = 0 , hence x n f − 1 ( a ) = 0 .</p><p>Thus f − 1 ( a ) ∈ r ( x n ) = r ( e ) , that is e f − 1 ( a ) = 0 . Then f ( e ) a = 0 , thus e &#175; a = 0 . Hence a ∈ r ( e &#175; ) . Therefore,</p><p>r ( y n ) ⊆ r ( e &#175; ) (1)</p><p>Now, let b ∈ r ( e &#175; ) . Then e &#175; b = 0 , it follows that y e &#175; b = 0 and then y n e &#175; b = 0 .</p><p>Thus y n b = 0 and hence b ∈ r ( y n ) . Therefore</p><p>r ( e &#175; ) ⊆ r ( y n ) (2)</p><p>from (1) and (2), we obtain r ( e &#175; ) = r ( y n ) .</p><p>Now, if ( 1 − x ) is right semi π-regular element in R, then ( 1 − x ) n = ( 1 − x ) n e and r ( 1 − x ) n = r ( e ) .</p><p>Now, f ( 1 − x ) n = ( f ( 1 − x ) ) n = ( f ( 1 ) + f ( − x ) ) n = ( f ( 1 ) − f ( x ) ) n = ( 1 &#175; − y ) n . Thus ( 1 &#175; − y ) n = f ( 1 − x ) n = f ( ( 1 − x ) n e ) = f ( 1 − x ) n f ( e ) = ( 1 &#175; − y ) n e &#175; .</p><p>Now, to prove r ( 1 &#175; − y ) n = r ( e &#175; ) .</p><p>Let c ∈ r ( 1 &#175; − y ) n . Then ( 1 &#175; − y ) n c = 0 . That is ( f ( 1 ) − f ( x ) ) n c = 0 , then ( f ( 1 − x ) ) n c = 0 and f ( 1 − x ) n c = 0 . Then ( 1 − x ) n f − 1 ( c ) = 0 and hence f − 1 ( c ) ∈ r ( 1 − x ) n = r ( e ) , that is e f − 1 ( c ) = 0 , it follows that f ( e ) c = 0 .</p><p>Hence e &#175; c = 0 , thus c ∈ r ( e &#175; ) . Therefore</p><p>r ( 1 &#175; − y ) n ⊆ r ( e &#175; ) (3)</p><p>Now, let d ∈ r ( e &#175; ) , implies to e &#175; d = 0 , hence ( 1 &#175; − y ) n e &#175; d = 0 , thus ( 1 &#175; − y ) n d = 0 . Hence d ∈ r ( 1 &#175; − y ) n . Therefore</p><p>r ( e &#175; ) ⊆ r ( 1 &#175; − y ) n (4)</p><p>from (3) and (4) we obtain r ( e &#175; ) = r ( 1 &#175; − y ) n , that is either y or <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/87785x176.png" xlink:type="simple"/></inline-formula> is right semi π-regular element in<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/87785x177.png" xlink:type="simple"/></inline-formula>. Therefore <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/87785x178.png" xlink:type="simple"/></inline-formula> is right semi π-regular local ring.</p></sec><sec id="s2_6"><title>2.6. Theorem</title><p>Let R be a ring. Then R is right semi π-regular local ring if and only if either <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/87785x179.png" xlink:type="simple"/></inline-formula> or <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/87785x180.png" xlink:type="simple"/></inline-formula> is direct summand for all <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/87785x181.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/87785x182.png" xlink:type="simple"/></inline-formula>.</p><p>Proof:</p><p>Let <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/87785x183.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/87785x184.png" xlink:type="simple"/></inline-formula> is direct summand. Then there exists an ideal<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/87785x185.png" xlink:type="simple"/></inline-formula>, such that<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/87785x186.png" xlink:type="simple"/></inline-formula>. Thus, there is <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/87785x187.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/87785x188.png" xlink:type="simple"/></inline-formula>, such that <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/87785x189.png" xlink:type="simple"/></inline-formula> and hence <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/87785x190.png" xlink:type="simple"/></inline-formula> and therefore<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/87785x191.png" xlink:type="simple"/></inline-formula>. Now, to prove<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/87785x192.png" xlink:type="simple"/></inline-formula>, let<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/87785x193.png" xlink:type="simple"/></inline-formula>. Then<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/87785x193.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x194.png" xlink:type="simple"/></inline-formula>, that is <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/87785x193.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x194.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x195.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/87785x193.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x194.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x195.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x196.png" xlink:type="simple"/></inline-formula>. But <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/87785x193.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x194.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x195.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x196.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x197.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/87785x193.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x194.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x195.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x196.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x197.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x198.png" xlink:type="simple"/></inline-formula>. Then <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/87785x193.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x194.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x195.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x196.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x197.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x198.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x199.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="/html.scirp.org/file/87785x193.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x194.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x195.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x196.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x197.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x198.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x199.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x200.png" xlink:type="simple"/></inline-formula>, hence</p><disp-formula id="scirp.87785-formula1"><label>(5)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/87785x201.png"  xlink:type="simple"/></disp-formula><p>and by the same way we can prove</p><disp-formula id="scirp.87785-formula2"><label>(6)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/87785x202.png"  xlink:type="simple"/></disp-formula><p>from (5) and (6) we obtain<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x203.png" xlink:type="simple"/></inline-formula>. Therefore a is right semi π-regular element. Now, if <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x203.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x204.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x203.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x204.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x205.png" xlink:type="simple"/></inline-formula> is direct summand.</p><p>Then, there exists an ideal <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x206.png" xlink:type="simple"/></inline-formula> such that, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x206.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x207.png" xlink:type="simple"/></inline-formula>and there exists <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x206.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x207.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x208.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x206.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x207.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x208.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x209.png" xlink:type="simple"/></inline-formula>, such that<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x206.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x207.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x208.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x209.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x210.png" xlink:type="simple"/></inline-formula>. Thus</p><p><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x211.png" xlink:type="simple"/></inline-formula>.</p><p>Therefore<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x212.png" xlink:type="simple"/></inline-formula>. Now, to prove<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x212.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x213.png" xlink:type="simple"/></inline-formula>.</p><p>Let<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x214.png" xlink:type="simple"/></inline-formula>. Then <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x214.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x215.png" xlink:type="simple"/></inline-formula> and hence <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x214.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x215.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x216.png" xlink:type="simple"/></inline-formula></p><p>Thus,<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x217.png" xlink:type="simple"/></inline-formula>. But <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x217.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x218.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x217.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x218.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x219.png" xlink:type="simple"/></inline-formula>, then <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x217.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x218.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x219.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x220.png" xlink:type="simple"/></inline-formula> and therefore<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x217.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x218.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x219.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x220.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x221.png" xlink:type="simple"/></inline-formula>, hence</p><disp-formula id="scirp.87785-formula3"><label>(7)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/87785x222.png"  xlink:type="simple"/></disp-formula><p>Now, let<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x223.png" xlink:type="simple"/></inline-formula>. Then <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x223.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x224.png" xlink:type="simple"/></inline-formula> and hence<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x223.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x224.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x225.png" xlink:type="simple"/></inline-formula>, Thus<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x223.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x224.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x225.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x226.png" xlink:type="simple"/></inline-formula>, therefore <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x223.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x224.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x225.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x226.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x227.png" xlink:type="simple"/></inline-formula> and we have</p><disp-formula id="scirp.87785-formula4"><label>(8)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/87785x228.png"  xlink:type="simple"/></disp-formula><p>form (7) and (8) we obtain<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x229.png" xlink:type="simple"/></inline-formula>. Therefore <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x229.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x230.png" xlink:type="simple"/></inline-formula> is right semi π-regular element. That is R is right semi π-regular local ring.</p><p>Now, let R be aright semi π-regular local ring. Then either a or <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x231.png" xlink:type="simple"/></inline-formula> is right semi π-regular element in R. If a is right semi π-regular element, then there exists <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x231.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x232.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x231.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x232.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x233.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x231.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x232.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x233.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x234.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x231.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x232.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x233.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x234.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x235.png" xlink:type="simple"/></inline-formula>.</p><p>Hence, <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x236.png" xlink:type="simple"/></inline-formula>, that is<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x236.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x237.png" xlink:type="simple"/></inline-formula>, then <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x236.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x237.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x238.png" xlink:type="simple"/></inline-formula> and thus<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x236.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x237.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x238.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x239.png" xlink:type="simple"/></inline-formula>. Therefore<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x236.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x237.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x238.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x239.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x240.png" xlink:type="simple"/></inline-formula>.</p><p>Now, to prove<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x241.png" xlink:type="simple"/></inline-formula>, suppose that<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x241.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x242.png" xlink:type="simple"/></inline-formula>, then <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x241.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x242.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x243.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x241.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x242.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x243.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x244.png" xlink:type="simple"/></inline-formula>. Hence <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x241.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x242.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x243.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x244.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x245.png" xlink:type="simple"/></inline-formula> for some <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x241.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x242.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x243.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x244.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x245.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x246.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x241.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x242.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x243.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x244.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x245.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x246.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x247.png" xlink:type="simple"/></inline-formula>, since<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x241.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x242.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x243.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x244.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x245.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x246.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x247.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x248.png" xlink:type="simple"/></inline-formula>, then <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x241.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x242.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x243.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x244.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x245.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x246.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x247.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x248.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x249.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x241.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x242.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x243.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x244.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x245.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x246.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x247.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x248.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x249.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x250.png" xlink:type="simple"/></inline-formula>, that is <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x241.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x242.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x243.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x244.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x245.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x246.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x247.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x248.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x249.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x250.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x251.png" xlink:type="simple"/></inline-formula> [proposition 2.2]. Thus <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x241.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x242.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x243.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x244.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x245.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x246.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x247.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x248.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x249.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x250.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x251.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x252.png" xlink:type="simple"/></inline-formula> and therefore<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x241.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x242.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x243.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x244.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x245.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x246.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x247.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x248.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x249.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x250.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x251.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x252.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x253.png" xlink:type="simple"/></inline-formula>, that is <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x241.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x242.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x243.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x244.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x245.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x246.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x247.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x248.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x249.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x250.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x251.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x252.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x253.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x254.png" xlink:type="simple"/></inline-formula> is direct summand of R.</p><p>Now, if <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x255.png" xlink:type="simple"/></inline-formula> is right semi π-regular element, then there exists <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x255.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x256.png" xlink:type="simple"/></inline-formula> such that <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x255.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x256.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x257.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x255.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x256.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x257.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x258.png" xlink:type="simple"/></inline-formula>. Since<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x255.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x256.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x257.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x259.png" xlink:type="simple"/></inline-formula>, we have<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x255.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x256.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x257.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x259.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x260.png" xlink:type="simple"/></inline-formula>, and since<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x255.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x256.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x257.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x259.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x260.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x261.png" xlink:type="simple"/></inline-formula>.</p><p>Hence,<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x262.png" xlink:type="simple"/></inline-formula>. Thus,<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x262.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x263.png" xlink:type="simple"/></inline-formula>.</p><p>Now, to prove<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x264.png" xlink:type="simple"/></inline-formula>. Let<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x264.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x265.png" xlink:type="simple"/></inline-formula>.</p><p>Then <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x266.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x266.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x267.png" xlink:type="simple"/></inline-formula>, hence <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x266.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x267.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x268.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x266.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x267.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x268.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x269.png" xlink:type="simple"/></inline-formula> for some<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x266.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x267.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x268.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x269.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x270.png" xlink:type="simple"/></inline-formula>. Since <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x266.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x267.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x268.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x269.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x270.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x271.png" xlink:type="simple"/></inline-formula> then <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x266.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x267.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x268.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x269.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x270.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x271.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x272.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x266.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x267.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x268.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x269.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x270.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x271.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x272.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x273.png" xlink:type="simple"/></inline-formula>.</p><p>Hence <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x274.png" xlink:type="simple"/></inline-formula> [proposition 2.2] and thus <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x274.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x275.png" xlink:type="simple"/></inline-formula> and then<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x274.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x275.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x276.png" xlink:type="simple"/></inline-formula>.</p><p>That is<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x277.png" xlink:type="simple"/></inline-formula>. Therefore <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x277.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x278.png" xlink:type="simple"/></inline-formula> is direct summand of R.</p><p>Now, to give the relation between semi π-regular local ring and local ring.</p></sec><sec id="s2_7"><title>2.7. Theorem</title><p>If R is local ring with <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x279.png" xlink:type="simple"/></inline-formula> for all <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x279.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x280.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x279.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x280.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x281.png" xlink:type="simple"/></inline-formula>, then R is right semi π-regular local ring.</p><p>Proof:</p><p>Let R be local ring. Then either a or <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x282.png" xlink:type="simple"/></inline-formula> is invertible element in R [<xref ref-type="bibr" rid="scirp.87785-ref6">6</xref>] .</p><p>If a is invertible, then there exists an element b in R such that<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x283.png" xlink:type="simple"/></inline-formula>, hence <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x283.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x284.png" xlink:type="simple"/></inline-formula> and then<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x283.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x284.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x285.png" xlink:type="simple"/></inline-formula>. Let<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x283.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x284.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x285.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x286.png" xlink:type="simple"/></inline-formula>. Then<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x283.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x284.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x285.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x286.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x287.png" xlink:type="simple"/></inline-formula>. To prove<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x283.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x284.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x285.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x286.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x287.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x288.png" xlink:type="simple"/></inline-formula>. Let<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x283.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x284.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x285.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x286.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x287.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x288.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x289.png" xlink:type="simple"/></inline-formula>. Then<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x283.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x284.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x285.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x286.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x287.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x288.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x289.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x290.png" xlink:type="simple"/></inline-formula>, it follows that <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x283.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x284.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x285.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x286.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x287.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x288.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x289.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x290.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x291.png" xlink:type="simple"/></inline-formula> and then<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x283.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x284.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x285.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x286.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x287.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x288.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x289.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x290.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x291.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x292.png" xlink:type="simple"/></inline-formula>, that is<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x283.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x284.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x285.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x286.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x287.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x288.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x289.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x290.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x291.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x292.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x293.png" xlink:type="simple"/></inline-formula>. Hence</p><disp-formula id="scirp.87785-formula5"><label>(9)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/87785x294.png"  xlink:type="simple"/></disp-formula><p>Now, let<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x295.png" xlink:type="simple"/></inline-formula>. Then <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x295.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x296.png" xlink:type="simple"/></inline-formula> and hence <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x295.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x296.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x297.png" xlink:type="simple"/></inline-formula> that is<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x295.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x296.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x297.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x298.png" xlink:type="simple"/></inline-formula>, thus<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x295.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x296.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x297.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x298.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x299.png" xlink:type="simple"/></inline-formula>. Therefore</p><disp-formula id="scirp.87785-formula6"><label>(10)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/87785x300.png"  xlink:type="simple"/></disp-formula><p>from (9) and (10) we obtain<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x301.png" xlink:type="simple"/></inline-formula>. Hence a is right semi π-regular element in R. Now, if <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x301.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x302.png" xlink:type="simple"/></inline-formula> is invertible element in R, then there exists an element c in R such that<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x301.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x302.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x303.png" xlink:type="simple"/></inline-formula>. That is<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x301.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x302.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x303.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x304.png" xlink:type="simple"/></inline-formula>, it follows that<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x301.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x302.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x303.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x304.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x305.png" xlink:type="simple"/></inline-formula>. let<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x301.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x302.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x303.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x304.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x305.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x306.png" xlink:type="simple"/></inline-formula>. Then<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x301.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x302.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x303.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x304.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x305.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x306.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x307.png" xlink:type="simple"/></inline-formula>. To prove<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x301.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x302.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x303.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x304.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x305.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x306.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x307.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x308.png" xlink:type="simple"/></inline-formula>, let<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x301.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x302.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x303.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x304.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x305.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x306.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x307.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x308.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x309.png" xlink:type="simple"/></inline-formula>, then <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x301.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x302.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x303.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x304.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x305.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x306.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x307.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x308.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x309.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x310.png" xlink:type="simple"/></inline-formula> that is <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x301.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x302.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x303.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x304.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x305.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x306.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x307.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x308.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x309.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x310.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x311.png" xlink:type="simple"/></inline-formula> and hence<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x301.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x302.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x303.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x304.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x305.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x306.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x307.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x308.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x309.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x310.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x311.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x312.png" xlink:type="simple"/></inline-formula>, and then<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x301.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x302.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x303.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x304.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x305.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x306.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x307.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x308.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x309.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x310.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x311.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x312.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x313.png" xlink:type="simple"/></inline-formula>. Thus</p><disp-formula id="scirp.87785-formula7"><label>(11)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/87785x314.png"  xlink:type="simple"/></disp-formula><p>Now, let<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x315.png" xlink:type="simple"/></inline-formula>, that is <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x315.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x316.png" xlink:type="simple"/></inline-formula> and hence<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x315.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x316.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x317.png" xlink:type="simple"/></inline-formula>, it follows that<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x315.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x316.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x317.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x318.png" xlink:type="simple"/></inline-formula>, that is<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x315.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x316.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x317.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x318.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x319.png" xlink:type="simple"/></inline-formula>. Hence</p><disp-formula id="scirp.87785-formula8"><label>(12)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/87785x320.png"  xlink:type="simple"/></disp-formula><p>form (11) and (12) we have<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x321.png" xlink:type="simple"/></inline-formula>. Thus <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x321.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x322.png" xlink:type="simple"/></inline-formula> is right semi π-regular element. Therefore R is right semi π-regular ring.</p></sec></sec><sec id="s3"><title>3. The Conclusion</title><p>From the study on characterization and properties of semi π-regular local rings, we obtain the following results:</p><p>1) Let R be a right semi π-regular local ring. Then the associated elements are idempotents.</p><p>2) Let R be a right semi π-regular local ring. Then the idempotent associated element is unique.</p><p>3) Let R be a right semi π-regular local ring. Then any element <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x323.png" xlink:type="simple"/></inline-formula> is π-regular if <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x323.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x324.png" xlink:type="simple"/></inline-formula> for any associated element b in R.</p><p>4) The epimorphism image of right semi π-regular local ring is right semi π-regular local ring.</p><p>5) Let R be a ring. Then R is a right semi π-regular local ring if and only if either <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x325.png" xlink:type="simple"/></inline-formula> or <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x325.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x326.png" xlink:type="simple"/></inline-formula> is direct summand for all <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x325.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x326.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x327.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x325.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x326.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x327.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x328.png" xlink:type="simple"/></inline-formula>.</p><p>If R is a local ring with <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x329.png" xlink:type="simple"/></inline-formula> for all <inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x329.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x330.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x329.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x330.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="//html.scirp.org/file/87785x331.png" xlink:type="simple"/></inline-formula>, then R is a right semi π-regular local ring.</p></sec><sec id="s4"><title>Conflicts of Interest</title><p>The authors declare no conflicts of interest regarding the publication of this paper.</p></sec><sec id="s5"><title>Cite this paper</title><p>Ibraheem, Z.M., Mustafa, R.A. and Khalf, M.F. (2018) On Semi π-Regular Local Ring. Open Access Library Journal, 5: e4788. https://doi.org/10.4236/oalib.1104788</p></sec></body><back><ref-list><title>References</title><ref id="scirp.87785-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Von Neumann, J. (1936) On Regular Rings. Proceedings of the National Academy of Sciences of the United States of America, 22, 707-713. https://doi.org/10.1073/pnas.22.12.707</mixed-citation></ref><ref id="scirp.87785-ref2"><label>2</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Shuker</surname><given-names> N.H. </given-names></name>,<etal>et al</etal>. (<year>1994</year>)<article-title>On Semi-Regular Ring</article-title><source> Journal of Education and Science</source><volume> 21</volume>,<fpage> 183</fpage>-<lpage>187</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.87785-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Al-Kouri, M.R.M. (1996) On π-Regular Rings. M.Sc. Thesis, Mosul University, Mosul.</mixed-citation></ref><ref id="scirp.87785-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Kim, N.K. and Lee, Y. (2011) On Strongly π-Regularity and π-Regularity. Communications in Algebra, 39, 4470-4485. https://doi.org/10.1080/00927872.2010.524184</mixed-citation></ref><ref id="scirp.87785-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Burton, D.M. (1970) A First Course in Rings and Ideals. Addison Wesley Publishing Company, Boston.</mixed-citation></ref><ref id="scirp.87785-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Abdullah, F.A. (2013) On Local and Local Semi Regular Rings. M.Sc. Thesis, Mosul University, Mosul.</mixed-citation></ref></ref-list></back></article>