Braided vector space

In mathematics, a braided vectorspace formula_1 is a vector space together with an additional structure map formula_2 symbolizing interchanging of two vector tensor copies:
such that the Yang–Baxter equation is fulfilled. Hence drawing tensor diagrams with formula_2 an overcrossing the corresponding composed morphism is unchanged when a Reidemeister move is applied to the tensor diagram and thus they present a representation of the braid group.
As first example, every vector space is braided via the trivial braiding (simply flipping). A superspace has a braiding with negative sign in braiding two odd vectors. More generally, a diagonal braiding means that for a formula_1-base formula_6 we have
A good source for braided vector spaces entire braided monoidal categories with braidings between any objects formula_8, most importantly the modules over quasitriangular Hopf algebras and Yetter–Drinfeld modules over finite groups (such as formula_9 above)
If formula_10 additionally possesses an algebra structure inside the braided category ("braided algebra") one has a braided commutator (e.g. for a superspace the anticommutator): 
Examples of such braided algebras (and even Hopf algebras) are the Nichols algebras, that are by definition generated by a given braided vectorspace. They appear as quantum Borel part of quantum groups and often (e.g. when finite or over an abelian group) possess an arithmetic root system, multiple Dynkin diagrams and a PBW-basis made up of braided commutators just like the ones in semisimple Lie algebras.