@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

<http://www.irandoc.acir/onto/irandoc/mathpro1455> skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .
<http://www.irandoc.acir/onto/irandoc/math0004298>
  skos:prefLabel "حلقه صفربعدی"@fa, "zero-dimensional ring"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/math0004198>
  skos:prefLabel "توان نمادین"@fa, "symbolic power"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/math0004251>
  skos:prefLabel "ایده‌آل منشعب"@fa, "ramified ideal"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/math0004208>
  skos:prefLabel "ایده‌آل پی-اولیه"@fa, "p-primary ideal"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/math0004192>
  skos:prefLabel "ایده‌آل اول ضعیف"@fa, "weakly prime ideal"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/math0004356>
  skos:prefLabel "دامنه صحیح"@fa, "integral domain"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/math0004243>
  skos:prefLabel "ایده‌آل کاملا اول"@fa, "completely prime ideal"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/math0004435>
  skos:prefLabel "حلقه گلفند"@fa, "gelfand ring"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/math0004322>
  skos:prefLabel "بعد حلقه"@fa, "ring dimension"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/math0004197>
  skos:prefLabel "ایده‌آل قویا اول"@fa, "strongly prime ideal"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/math0004376>
  skos:prefLabel "قضیه اجتناب از ایده‌آل اول"@fa, "prime avoidance theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/math0004069>
  skos:prefLabel "قضیه میان رفتن"@fa, "going between theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/math0004191>
  skos:prefLabel "ایده‌آل اول چسبیده"@fa, "attached prime ideal"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/mathpro1459> skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .
<http://www.irandoc.acir/onto/irandoc/mathpro333> skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .
<http://www.irandoc.acir/onto/irandoc/math0004255>
  skos:prefLabel "ایده‌آل وجهی"@fa, "face ideal"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/math0004196>
  skos:prefLabel "ایده‌آل اول وابسته"@fa, "associated prime ideal"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/mathpro1404> skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .
<http://www.irandoc.acir/onto/irandoc/math0004234>
  skos:prefLabel "ایده‌آل اول ناهموار پایینی"@fa, "lower rough prime ideal"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/mathpro1445> skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .
<http://www.irandoc.acir/onto/irandoc/math0004068>
  skos:prefLabel "قضیه پایین رفتن"@fa, "going down theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/math0004341>
  skos:prefLabel "حلقه هیلبرت"@fa, "hilbert ring"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/math0004382>
  skos:prefLabel "قضیه کوهن"@fa, "cohen theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/math0004354>
  skos:prefLabel "دامنه شبه‌ارزیابی"@fa, "pseudo valuation domain"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/math0004082>
  skos:prefLabel "مجموعه بسته ضربی"@fa, "multiplicatively closed set"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/math0004261>
  skos:prefLabel "ایده‌آل-جی نوع"@fa, "g-type ideal"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/math0004233>
  skos:prefLabel "ایده‌آل اول ناهموار بالایی"@fa, "upper rough prime ideal"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/math0004067>
  skos:prefLabel "قضیه بالا رفتن"@fa, "going up theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/math0003866>
  skos:prefLabel "نظریه بعد"@fa, "dimension theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/math0004353>
  skos:prefLabel "دامنه ددکیند"@fa, "dedekind domain"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/math0004140>
  skos:prefLabel "حلقه نیم‌اول"@fa, "semi-prime ring"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/math0004266>
  skos:prefLabel "جی-ایده‌آل"@fa, "g-ideal"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/math0004399>
  skos:prefLabel "نظریه حلقه‌های تعویض‌پذیر"@fa, "commutative ring theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/mathpro1384>
  skos:prefLabel "ایده‌آل"@fa, "ideal"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/math0004393>
  skos:prefLabel "بعد کرول"@fa, "krull dimension"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/math0004199>
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004393>, <http://www.irandoc.acir/onto/irandoc/math0004234>, <http://www.irandoc.acir/onto/irandoc/math0004068>, <http://www.irandoc.acir/onto/irandoc/math0004353>, <http://www.irandoc.acir/onto/irandoc/math0004376>, <http://www.irandoc.acir/onto/irandoc/math0004208>, <http://www.irandoc.acir/onto/irandoc/math0004261>, <http://www.irandoc.acir/onto/irandoc/math0004266>, <http://www.irandoc.acir/onto/irandoc/math0004233>, <http://www.irandoc.acir/onto/irandoc/math0004251>, <http://www.irandoc.acir/onto/irandoc/math0004341>, <http://www.irandoc.acir/onto/irandoc/math0004067>, <http://www.irandoc.acir/onto/irandoc/math0004331>, <http://www.irandoc.acir/onto/irandoc/math0004382>, <http://www.irandoc.acir/onto/irandoc/math0004082>, <http://www.irandoc.acir/onto/irandoc/math0004354>, <http://www.irandoc.acir/onto/irandoc/math0004069>, <http://www.irandoc.acir/onto/irandoc/math0004272>, <http://www.irandoc.acir/onto/irandoc/math0004399>, <http://www.irandoc.acir/onto/irandoc/math0004298>, <http://www.irandoc.acir/onto/irandoc/math0004435>, <http://www.irandoc.acir/onto/irandoc/math0004322>, <http://www.irandoc.acir/onto/irandoc/math0004255>, <http://www.irandoc.acir/onto/irandoc/math0004356>, <http://www.irandoc.acir/onto/irandoc/math0003866>, <http://www.irandoc.acir/onto/irandoc/math0004243>, <http://www.irandoc.acir/onto/irandoc/math0004140> ;
  skos:prefLabel "ایده‌آل اول"@fa, "prime ideal"@en ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0004193>, <http://www.irandoc.acir/onto/irandoc/math0004198>, <http://www.irandoc.acir/onto/irandoc/math0004196>, <http://www.irandoc.acir/onto/irandoc/math0004192>, <http://www.irandoc.acir/onto/irandoc/math0004197>, <http://www.irandoc.acir/onto/irandoc/math0004191> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1384> ;
  skos:scopeNote "یک ایده آل را اول گوییم هرگاه اگر حاصلضرب دو عنصر حلقه در آن باشد آنگاه حداقل یکی از آن دو عنصر متعلق به ایده آل باشد."@fa .

<http://www.irandoc.acir/onto/irandoc/math0004331>
  skos:prefLabel "حلقه زدپی‌آی"@fa, "zpi-ring"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/math0004193>
  skos:prefLabel "ایده‌آل اول مینیمال"@fa, "minimal prime ideal"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0004199> .

<http://www.irandoc.acir/onto/irandoc/math0004272>
  skos:prefLabel "واریته ایده‌آل"@fa, "variety of ideal"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0004199> .