Talk:Frobenius determinant theorem