@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/math0001868> .

<http://www.irandoc.acir/onto/irandoc/math0001869>
  skos:prefLabel "نمایش خطی"@fa, "linear representation"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/math0001868> .

<http://www.irandoc.acir/onto/irandoc/math0001858> skos:related <http://www.irandoc.acir/onto/irandoc/math0001868> .
<http://www.irandoc.acir/onto/irandoc/math0008656>
  skos:prefLabel "عملگر یکانی"@fa, "unitary operator"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001868> .

<http://www.irandoc.acir/onto/irandoc/math0001924>
  skos:prefLabel "رده بندی ویگنر"@fa, "wigner classification"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001868> .

<http://www.irandoc.acir/onto/irandoc/math0001871>
  skos:prefLabel "قضیه گلفاند-رایکف"@fa, "gelfand-raikov theorem"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001868> .

<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/math0001868> .

<http://www.irandoc.acir/onto/irandoc/math0004735>
  skos:prefLabel "زیرفضای دوری"@fa, "cyclic subspace"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001868> .

<http://www.irandoc.acir/onto/irandoc/math0001194>
  skos:prefLabel "فضای هیلبرت"@fa, "hilbert space"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001868> .

<http://www.irandoc.acir/onto/irandoc/math0001868>
  skos:related <http://www.irandoc.acir/onto/irandoc/math0001886>, <http://www.irandoc.acir/onto/irandoc/math0001876>, <http://www.irandoc.acir/onto/irandoc/math0001871>, <http://www.irandoc.acir/onto/irandoc/math0001194>, <http://www.irandoc.acir/onto/irandoc/math0008656>, <http://www.irandoc.acir/onto/irandoc/math0001924>, <http://www.irandoc.acir/onto/irandoc/math0004735> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/math0001869> ;
  skos:prefLabel "unitary representation"@en, "نمایش یکانی"@fa ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:scopeNote "نمایش یکانی گروه g یک نمایش خطی p از g روی فضای هیلبرت مختلط v است به طوری که تصویر هر هر g در g تحت p یک عملگر یکانی باشد."@fa .

