Yang-Baxterin yhtälö (faktorointiyhtälö, kolmioyhtälö) on yhtälö, joka kuuluu täsmälleen ratkaistavien ongelmien luokkaan . Se on paikallisten ekvivalenssimuunnosten muodossa, joita esiintyy monenlaisissa tapauksissa, kuten sähköpiireissä , solmuteoriassa ja punosteoriassa , spin-järjestelmissä . Se on saanut nimensä C. N. Youngin vuonna 1968 ja R. D. Baxterin vuonna 1971 tekemästä itsenäisestä työstä tilastomekaniikassa .
Merkitään assosiatiivisella algebralla yksiköllä . Parametririippuvainen Yang-Baxterin yhtälö on algebran tensoritulon parametririippuvaisen käännettävän elementin yhtälö (tässä parametri , joka yleensä vaihtelee kaikkien reaalilukujen kohdalla additiivisen parametrin tapauksessa tai kaikkien positiivisten reaalilukujen osalta numerot kertovan parametrin tapauksessa). Kun kyseessä on additiivinen parametri, Yang-Baxterin yhtälö on funktionaalinen yhtälö
funktioon , johon kaksi muuttujaa ja korvataan määritetyllä tavalla . Joskus se voi muuttua yksiulotteiseksi projektoriksi , mikä johtaa kvanttideterminanttiin. Kertovan parametrin osalta Yang-Baxterin yhtälöllä on muoto
funktioon , jossa , , ja , kaikille parametrin arvoille ja , , ja , ovat algebran morfismit , jotka määritellään
Joissakin tapauksissa määräävä tekijä[ epäselvä ] voi mitätöidä tietyillä spektriparametrin arvoilla ja joskus jopa muuttuu yksiulotteiseksi projektoriksi. Tässä tapauksessa kvanttideterminantti voidaan määrittää.
Merkitään assosiatiivisella algebralla yksiköllä . Parametrista riippumaton Yang-Baxterin yhtälö on yhtälö algebran tensoritulon käännettävälle elementille . Yang-Baxterin yhtälöllä on muoto
missä , , ja .
Olkoon moduuli ohi . _ Olkoon lineaarinen kartta , joka tyydyttää kaikkia . Sitten punosryhmän esitys voidaan rakentaa kohtaan , missä on . Tätä esitystä voidaan käyttää punosten , solmujen , kvasi-invarianttien määrittämiseen .