@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix ns0: <http://rdf-vocabulary.ddialliance.org/xkos#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<http://www.irandoc.acir/onto/irandoc/math0008887>
  skos:prefLabel "زیرگروه ساکن"@fa, "inert subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/math0008881>
  skos:prefLabel "زیرگروه تابدار"@fa, "torsion subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/mathpro1506>
  skos:prefLabel "زیرگروه نرمال"@fa, "زیرگروه عادی"@fa, "normal subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/math0008894>
  skos:prefLabel "زیرگروه‌ مزدوج"@fa, "conjugate subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/mathpro2467>
  skos:prefLabel "هسته"@fa, "kernel"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/math0008879>
  skos:prefLabel "زیرگروه پرونرمال"@fa, "pronormal subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/math0008873>
  skos:prefLabel "حاصل‌ضرب زیرگروه‌ها"@fa, "product of subgroups"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/mathpro1275>
  skos:prefLabel "گروه"@fa, "group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  ns0:contains <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/math0008880>
  skos:prefLabel "زیرگروه پلی‌نرمال"@fa, "polynormal subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/mathpro1505>
  skos:prefLabel "زیرگروه ماکسیمال"@fa, "زیرگروه حداکثری"@fa, "maximal subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/mathpro1512>
  skos:prefLabel "زیرگروه دوری"@fa, "زیرگروه چرخه‌ای"@fa, "cyclic subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/math0007453>
  skos:prefLabel "زیرمجموعه"@fa, "subset"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0006254>
  skos:prefLabel "زیرگروه گروه توپولوژیک"@fa, "subgroup of topological group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/math0008872>
  skos:prefLabel "پی-زیرگروه سیلو"@fa, "sylow p-subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/mathpro1274>
  skos:prefLabel "دستگاه جبری"@fa, "algebraic system"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/math0008908>
  skos:prefLabel "نرمال‌ساز"@fa, "normalizer"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/mathpro1504>
  skos:narrower <http://www.irandoc.acir/onto/irandoc/mathpro1508>, <http://www.irandoc.acir/onto/irandoc/math0008891>, <http://www.irandoc.acir/onto/irandoc/math0008887>, <http://www.irandoc.acir/onto/irandoc/math0008873>, <http://www.irandoc.acir/onto/irandoc/math0008884>, <http://www.irandoc.acir/onto/irandoc/math0008908>, <http://www.irandoc.acir/onto/irandoc/math0008870>, <http://www.irandoc.acir/onto/irandoc/math0008889>, <http://www.irandoc.acir/onto/irandoc/math0008875>, <http://www.irandoc.acir/onto/irandoc/math0008902>, <http://www.irandoc.acir/onto/irandoc/math0008907>, <http://www.irandoc.acir/onto/irandoc/mathpro1511>, <http://www.irandoc.acir/onto/irandoc/math0008881>, <http://www.irandoc.acir/onto/irandoc/math0008895>, <http://www.irandoc.acir/onto/irandoc/mathpro1507>, <http://www.irandoc.acir/onto/irandoc/mathpro1514>, <http://www.irandoc.acir/onto/irandoc/math0008872>, <http://www.irandoc.acir/onto/irandoc/math0008877>, <http://www.irandoc.acir/onto/irandoc/math0008892>, <http://www.irandoc.acir/onto/irandoc/math0008901>, <http://www.irandoc.acir/onto/irandoc/math0008883>, <http://www.irandoc.acir/onto/irandoc/mathpro1510>, <http://www.irandoc.acir/onto/irandoc/math0008880>, <http://www.irandoc.acir/onto/irandoc/mathpro1509>, <http://www.irandoc.acir/onto/irandoc/mathpro1506>, <http://www.irandoc.acir/onto/irandoc/math0008906>, <http://www.irandoc.acir/onto/irandoc/mathpro1505>, <http://www.irandoc.acir/onto/irandoc/mathpro2467>, <http://www.irandoc.acir/onto/irandoc/math0008879>, <http://www.irandoc.acir/onto/irandoc/math0008876>, <http://www.irandoc.acir/onto/irandoc/math0008894>, <http://www.irandoc.acir/onto/irandoc/math0008871>, <http://www.irandoc.acir/onto/irandoc/mathpro1512>, <http://www.irandoc.acir/onto/irandoc/math0008882>, <http://www.irandoc.acir/onto/irandoc/math0008896> ;
  skos:prefLabel "زیرگروه"@fa, "subgroup"@en ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0005998>, <http://www.irandoc.acir/onto/irandoc/math0007453>, <http://www.irandoc.acir/onto/irandoc/math0009047>, <http://www.irandoc.acir/onto/irandoc/math0006254>, <http://www.irandoc.acir/onto/irandoc/math0006299>, <http://www.irandoc.acir/onto/irandoc/math0001927> ;
  skos:scopeNote "یک زیرمجموعه از یک گروه را که با عمل گروه، خود تشکیل گروه دهد."@fa ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1274>, <http://www.irandoc.acir/onto/irandoc/mathpro1275> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  ns0:label <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/math0008892>
  skos:prefLabel "زیرگروه گردشپذیر-مزدوج"@fa, "conjugate-permutable subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/math0008877>
  skos:prefLabel "زیرگروه پایدارساز"@fa, "stabilizer subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/math0001927>
  skos:prefLabel "قضیه کارتان"@fa, "cartan theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/math0008902>
  skos:prefLabel "زیرگروه نقاط ثابت"@fa, "fixed point subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/mathpro1511>
  skos:prefLabel "زیرگروه واقعی"@fa, "زیرگروه مناسب"@fa, "proper subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/math0008871>
  skos:prefLabel "پی زیرگروه قدرتمند"@fa, "powerful p-subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/math0008884>
  skos:prefLabel "زیرگروه جمعی"@fa, "additive subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/mathpro1509>
  skos:prefLabel "زیرگروه هال"@fa, "hall subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

ns0:label rdfs:label "برچسب"@fa, "label"@en .
<http://www.irandoc.acir/onto/irandoc/math0008907>
  skos:prefLabel "مرکزساز"@fa, "centralizer"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/math0008891>
  skos:prefLabel "زیرگروه فیتینگ"@fa, "fitting subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/math0008876>
  skos:prefLabel "زیرگروه پارانرمال"@fa, "paranormal subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/math0006299>
  skos:prefLabel "زیرگروه گسسته"@fa, "discrete subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/math0008901>
  skos:prefLabel "زیرگروه نرمال‌ساز"@fa, "normalizer subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/math0008889>
  skos:prefLabel "زیرگروه غیرنرمال"@fa, "abnormal subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/mathpro1510>
  skos:prefLabel "زیرگروه سیلو"@fa, "sylow subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/math0005998>
  skos:prefLabel "کد خطی"@fa, "linear code"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0008870>
  skos:prefLabel "ارتفاع فیتینگ"@fa, "fitting height"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/math0008883>
  skos:prefLabel "زیرگروه تقسیم‌پذیر"@fa, "divisible subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/mathpro1508>
  skos:prefLabel "زیرگروه مشخصه"@fa, "characteristical subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/math0008896>
  skos:prefLabel "زیرگروه مشخص"@fa, "characteristic subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/math0008906>
  skos:prefLabel "سری حل‌پذیر"@fa, "solvable serie"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/math0008875>
  skos:prefLabel "زیرگروه آبلی"@fa, "abelian subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/math0008882>
  skos:prefLabel "زیرگروه تعویض‌گر"@fa, "commutator subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/mathpro1507>
  skos:prefLabel "زیرگروه فراتینی"@fa, "frattini subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/math0008895>
  skos:prefLabel "زیرگروه مشتق"@fa, "derived subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/mathpro1514>
  skos:prefLabel "زیرگروه ابتدایی"@fa, "elementary subgroup"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1504> .

<http://www.irandoc.acir/onto/irandoc/math0009047>
  skos:prefLabel "مدار گروه"@fa, "orbit of group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .