Dear All, I am interested in computing the centralizer of a subgroup H of G=O(n, R) in O(n, R) (the orthogonal group). I would be thankful if you let me know whether I can do the computation while I have the orthogonal group over an infinite field.