All Questions

Let $k$ be a field of characteristic zero and $A = kQ$ the path algebra associated with a quiver $Q$. The algebra $A$ is said to be formally smooth over $k$ if $$ \Omega^1_kA = \operatorname{Ker}(\...