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

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

<http://www.irandoc.acir/onto/irandoc/MAT0009038>
  skos:prefLabel "co-Hopfian group"@en, "گروه هم-هاپفین"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0001064> .

<http://www.irandoc.acir/onto/irandoc/MAT0001065>
  skos:prefLabel "c*-module"@en, "سی ستاره-مدول"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0001064> .

<http://www.irandoc.acir/onto/irandoc/MAT0003649>
  skos:prefLabel "Tietze extension theorem"@en, "قضیه توسیع تیتز"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0001064> .

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

<http://www.irandoc.acir/onto/irandoc/MAT0001064>
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0001065>, <http://www.irandoc.acir/onto/irandoc/MAT0001898>, <http://www.irandoc.acir/onto/irandoc/MAT0003949>, <http://www.irandoc.acir/onto/irandoc/MAT0009038>, <http://www.irandoc.acir/onto/irandoc/MAT0008630>, <http://www.irandoc.acir/onto/irandoc/MAT0003962>, <http://www.irandoc.acir/onto/irandoc/MAT0004960>, <http://www.irandoc.acir/onto/irandoc/MAT0001061>, <http://www.irandoc.acir/onto/irandoc/MAT0001060>, <http://www.irandoc.acir/onto/irandoc/MAT000993>, <http://www.irandoc.acir/onto/irandoc/MAT0001070>, <http://www.irandoc.acir/onto/irandoc/MAT0001059>, <http://www.irandoc.acir/onto/irandoc/MAT0001050>, <http://www.irandoc.acir/onto/irandoc/MAT0001025>, <http://www.irandoc.acir/onto/irandoc/MAT0001063>, <http://www.irandoc.acir/onto/irandoc/MAT0001069>, <http://www.irandoc.acir/onto/irandoc/MAT0001068>, <http://www.irandoc.acir/onto/irandoc/MAT0005609>, <http://www.irandoc.acir/onto/irandoc/MAT0003649> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/MAT0001071> ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:prefLabel "سی ستاره-جبر"@fa, "c*-algebra"@en ;
  skos:scopeNote "نوعی ستاره جبر است که در شرط خاصی صدق می کند."@fa .

<http://www.irandoc.acir/onto/irandoc/MAT000993>
  skos:prefLabel "Gelfand representation"@en, "نمایش گلفاند"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0001064> .

<http://www.irandoc.acir/onto/irandoc/MAT0001063>
  skos:prefLabel "*-algebra"@en, "ستاره جبر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0001064> .

<http://www.irandoc.acir/onto/irandoc/MAT0001069>
  skos:prefLabel "decomposition theory"@en, "نظریه تجزیه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0001064> .

<http://www.irandoc.acir/onto/irandoc/MAT0001025>
  skos:prefLabel "involution"@en, "برگشت"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0001064> .

<http://www.irandoc.acir/onto/irandoc/MAT0001059>
  skos:prefLabel "Von Neumann algebra"@en, "جبر فون نویمان"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0001064> .

<http://www.irandoc.acir/onto/irandoc/MAT0001068>
  skos:prefLabel "derivation in c*-algebra"@en, "مشتق‌گیری در سی ستاره-جبر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0001064> .

<http://www.irandoc.acir/onto/irandoc/MAT0001071>
  skos:prefLabel "self-adjoint operator algebra"@en, "جبر عملگر خودالحاقی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/MAT0001064> .

<http://www.irandoc.acir/onto/irandoc/MAT0003962>
  skos:prefLabel "operator K-theory"@en, "عملگر کا-نظریه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0001064> .

<http://www.irandoc.acir/onto/irandoc/MAT0004960>
  skos:prefLabel "positive map"@en, "نگاشت مثبت"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0001064> .

<http://www.irandoc.acir/onto/irandoc/MAT0001061>
  skos:prefLabel "free product of c*-algebra"@en, "حاصل‌ضرب آزاد سی ستاره-جبر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0001064> .

<http://www.irandoc.acir/onto/irandoc/MAT0003949>
  skos:prefLabel "گروه فشرده"@fa, "compact group"@en ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0001064> .

<http://www.irandoc.acir/onto/irandoc/MAT0001070>
  skos:prefLabel "positive semi-group in c*-algebra"@en, "نیم‌گروه مثبت در سی ستاره-جبر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0001064> .

<http://www.irandoc.acir/onto/irandoc/MAT0008630>
  skos:prefLabel "individual linear operator"@en, "عملگر خطی فردی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0001064> .

<http://www.irandoc.acir/onto/irandoc/MAT0001060>
  skos:prefLabel "tensor product of c*-algebra"@en, "حاصل‌ضرب آزاد تانسوری ستاره-جبر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0001064> .

<http://www.irandoc.acir/onto/irandoc/MAT0005609>
  skos:prefLabel "ergodic theory"@en, "نظریه ارگودیک"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/MAT0001064> .