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

<http://www.irandoc.acir/onto/irandoc/math0001886>
  skos:prefLabel "قضیه تقابل فروبنیوس"@fa, "frobenius reciprocity theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001900> .

<http://www.irandoc.acir/onto/irandoc/math0001901>
  skos:prefLabel "نمایش تحویل‌پذیر"@fa, "reducible representation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001900> .

<http://www.irandoc.acir/onto/irandoc/math0001864>
  skos:prefLabel "زیرنمایش"@fa, "subrepresentation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001900> .

<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 ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001900> .

<http://www.irandoc.acir/onto/irandoc/math0001921>
  skos:prefLabel "نظریه نمایش"@fa, "representation theory"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0001900> .

<http://www.irandoc.acir/onto/irandoc/math0001867>
  skos:prefLabel "فرمول مشخصه کریلوف"@fa, "kirillov character formula"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001900> .

<http://www.irandoc.acir/onto/irandoc/math0001898>
  skos:prefLabel "نمایش گروه"@fa, "group representation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001900> .

<http://www.irandoc.acir/onto/irandoc/math0001876>
  skos:prefLabel "لم شور"@fa, "schur lemma"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001900> .

<http://www.irandoc.acir/onto/irandoc/mathpro1103> skos:related <http://www.irandoc.acir/onto/irandoc/math0001900> .
<http://www.irandoc.acir/onto/irandoc/math0001900>
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001867>, <http://www.irandoc.acir/onto/irandoc/math0001876>, <http://www.irandoc.acir/onto/irandoc/math0001886>, <http://www.irandoc.acir/onto/irandoc/math0001901>, <http://www.irandoc.acir/onto/irandoc/math0001858>, <http://www.irandoc.acir/onto/irandoc/math0001864> ;
  skos:prefLabel "irreducible representation"@en, "نمایش تحویل ناپذیر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:scopeNote "نمایش تحویل ناپذیر یک نمایش نابدیهی است که هیچ زیرنمایش نابدیهی ندارد."@fa ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0001898>, <http://www.irandoc.acir/onto/irandoc/math0001899> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001921> .

<http://www.irandoc.acir/onto/irandoc/math0001899>
  skos:prefLabel "نیم‌ساده"@fa, "semi-simple"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001900> .