Yang-Baxter- ligningen (faktoriseringsligning, trekantligning) er en ligning, der tilhører klassen af nøjagtigt løselige problemer . Det har form af lokale ækvivalenstransformationer, der forekommer i en lang række tilfælde, såsom elektriske kredsløb , knudeteori og fletteteori , spinsystemer . Det tager sit navn fra det uafhængige arbejde af C. N. Young i 1968 og R. D. Baxter i 1971 i statistisk mekanik .
Betegn ved den associative algebra med enhed . Den parameterafhængige Yang-Baxter-ligning er ligningen for det parameterafhængige inverterbare element af tensorproduktet af algebraer (her parameteren , som normalt varierer over alle reelle tal i tilfælde af en additiv parameter, eller over alle positive reelle tal tal i tilfælde af en multiplikativ parameter). I tilfælde af en additiv parameter er Yang-Baxter-ligningen den funktionelle ligning
til en funktion , hvori to variable og substitueres på den angivne måde . Hos nogle kan det blive til en endimensionel projektor , hvilket fører til en kvantedeterminant. For en multiplikativ parameter har Yang-Baxter-ligningen formen
til funktionen , hvor , , og , for alle værdier af parameteren , og , , og , er algebramorfismer defineret som
I nogle tilfælde er determinanten[ tvetydig ] kan annullere ved visse værdier af den spektrale parameter og bliver nogle gange endda til en endimensionel projektor. I dette tilfælde kan kvantedeterminanten bestemmes.
Betegn ved den associative algebra med enhed . Den parameter-uafhængige Yang-Baxter-ligning er ligningen for , det inverterbare element af tensorproduktet af algebraer . Yang-Baxter-ligningen har formen
hvor , , og .
Lad være et modul forbi . Lad et lineært kort tilfredsstillende for alle . Så kan repræsentationen af flettegruppen , , konstrueres på for , hvor på . Denne repræsentation kan bruges til at bestemme de kvasi-invarianter af fletninger , knob .