User talk:Zan.Grad

complexification of O(n,R)
hello, regarding the page you edited about complexification of lie group, what could be a way to show that the complexification of O(n,R) is O(nC)? same goes for GL(n, R) I have also asked the question here: https://math.stackexchange.com/questions/4535644/complexification-of-on-mathbbr#comment9547743_4535644 thanks! une musque de Biscaye (talk) 12:04, 29 September 2022 (UTC)