Algebra theory MOC

Tensor product of algebras

Let (𝐴, ⋅𝐴) and (𝐡, ⋅𝐡) be 𝕂-algebras The tensor product algebra (𝐴 βŠ—π΅, β‹…π΄βŠ—π΅) is their tensor product vector space 𝐴 βŠ—π΅ along with the product defined by the following commutative diagram falg

A quiver diagram.

where 𝛽 :π‘Ž βŠ—π‘ ↦𝑏 βŠ—π‘Ž is the braiding morphism for 𝖡𝖾𝖼𝗍𝕂. Thus

(π‘Ž1βŠ—π‘1)β‹…(π‘Ž2βŠ—π‘2)=(π‘Ž1β‹…π‘Ž2)βŠ—(𝑏1⋅𝑏2)

Special cases


tidy | en | SemBr