I've a problem from my Group theory module that's been puzzling me, which is asking me to rotate a vector x (1,0,0) around a vector Ov, where v is (1/sqrt(3), -1/sqrt(3), 1/sqrt(3)), by 60 degrees by representing x as a matrix Z (encoding (0,1,0,0) as a matrix) and computing
UZU*,
where U is...