Problem 2. Let A be a central division algebra (of finite dimension) over a field k. Let [A, A] be the k-subspace of A spanned by the elements ab − ba with a, b ∈ A. Show that [A, A] = A. Solution. Let K be the algebraic closure of k, and consider B = A ⊗ k K. Then B ∼ = M n (K) for some n ∈ N, and thus we can understand [B, B] ∼ = [A, A] ⊗ k K. In this case, [B, B] contains only matrices of tr...