Kを体として、KのK上のテンソル代数
⊗ K
ってどういうもんなんですか?