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

<http://www.irandoc.acir/onto/irandoc/math0001873>
  skos:prefLabel "قضیه ماشکه"@fa, "maschke theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0008932>
  skos:prefLabel "قضایای سیلو"@fa, "sylow theorems"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro1509> skos:related <http://www.irandoc.acir/onto/irandoc/mathpro1317> .
<http://www.irandoc.acir/onto/irandoc/math0002398>
  skos:prefLabel "دوگانی موضعی تات"@fa, "local tate duality"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0003997>
  skos:prefLabel "جی-طیف"@fa, "g-spectrum"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0001858>
  skos:prefLabel "قضیه پیتر-ویل"@fa, "peter-weyl theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0001880>
  skos:prefLabel "نظریه نمایش گروه متناهی"@fa, "representation theory of a finite group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/mathpro1317> .

<http://www.irandoc.acir/onto/irandoc/math0008847>
  skos:prefLabel "پی-گروه"@fa, "p-group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0009188>
  skos:prefLabel "میدان متناهی"@fa, "finite field"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

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

<http://www.irandoc.acir/onto/irandoc/math0001909>
  skos:prefLabel "نمایش همتافته"@fa, "symplectic representation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0005387>
  skos:prefLabel "integer number"@en, "عدد صحیح"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

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

<http://www.irandoc.acir/onto/irandoc/math0008982>
  skos:prefLabel "گروه خاص"@fa, "special group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0003133>
  skos:prefLabel "گراف توانی"@fa, "power graph"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0009006>
  skos:prefLabel "گروه فروبنیوس"@fa, "frobenius group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0008036>
  skos:prefLabel "گروه ناپیوسته"@fa, "discontinuous group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/mathpro1317>
  skos:related <http://www.irandoc.acir/onto/irandoc/math0008934>, <http://www.irandoc.acir/onto/irandoc/math0001873>, <http://www.irandoc.acir/onto/irandoc/math0001880>, <http://www.irandoc.acir/onto/irandoc/math0002398>, <http://www.irandoc.acir/onto/irandoc/math0009188>, <http://www.irandoc.acir/onto/irandoc/math0009049>, <http://www.irandoc.acir/onto/irandoc/math0008036>, <http://www.irandoc.acir/onto/irandoc/math0003133>, <http://www.irandoc.acir/onto/irandoc/math0003997>, <http://www.irandoc.acir/onto/irandoc/math0008380>, <http://www.irandoc.acir/onto/irandoc/math0001858>, <http://www.irandoc.acir/onto/irandoc/math0001909>, <http://www.irandoc.acir/onto/irandoc/math0004018>, <http://www.irandoc.acir/onto/irandoc/math0008936>, <http://www.irandoc.acir/onto/irandoc/math0008847>, <http://www.irandoc.acir/onto/irandoc/math0009006>, <http://www.irandoc.acir/onto/irandoc/math0008932>, <http://www.irandoc.acir/onto/irandoc/math0005387>, <http://www.irandoc.acir/onto/irandoc/math0008982> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/mathpro1275> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:scopeNote "یک گروه را متناهی گویند اگر تعداد عناصر آن متناهی باشد."@fa ;
  skos:prefLabel "گروه متناهی"@fa, "finite group"@en .

<http://www.irandoc.acir/onto/irandoc/math0008380>
  skos:prefLabel "قضیه انتگرال کوشی"@fa, "cauchy integral theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0008934>
  skos:prefLabel "قضیه جردن-هولدر"@fa, "jordan-holder theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0009049>
  skos:prefLabel "مرتبه گروه"@fa, "order of a group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .

<http://www.irandoc.acir/onto/irandoc/math0004018>
  skos:prefLabel "گروه همانستگی تات"@fa, "tate cohomology group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .