Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Given $G=\left\{A\in M_2(\mathbb{R})\mid A^\top XA = X\right\}$ where $X = \pmatrix{3&1\\1&1}$ and a Lie algebra $\mathfrak g=\left\{Y\in M_2(\mathbb{R})\mid Y^\top X+XY = 0\right\}$, how would I show that every element in $G$ does not have $\det=-1$?

share|cite|improve this question

The matrix $$ A = \pmatrix{0&\sqrt{3}\\\frac{1}{\sqrt3}&0} $$ has $\det{A} = - 1$ and satisfies $A^T X A = X$ unless I miscalculated....

(The Group in question can be thought of as the orthogonal group relative to the scalar product induced by $X$, which has two components (in the sense of topology), like the usual $O(2)$. These are precisely the counterimages of $1, -1$ respectively, under $\det$)

share|cite|improve this answer
Thanks, unless I misunderstood your answer, but the question basically is asking to "Show that no element of G has det=-1"? But if you gave a matrix (which gives detA=-1), is there something wrong with the question or? – John Dec 31 '11 at 16:29
Yes, @John. Something is wrong. May be they assumed earlier that $G$ is the connectivity component containing the identity element? That is a subgroup. Often Lie theory concentrates on that subgroup. For example, the Lie algebra of that subgroup is the same as the Lie algebra of the whole group for the obvious reason that all the paths via $1_G$ are contained in that component. – Jyrki Lahtonen Dec 31 '11 at 16:38
yes, precisely. The claim implied by the question is wrong, as Jyrki already pointed out. – user20266 Dec 31 '11 at 17:07
Hi Jyrki. I think you may be correct. Im reading your reasoning and it seems to make sense. Maybe they are talking about the Lie Algebra of $G$? It further states in the question to show that "hence $G$ has only one component." Assuming we ignore the determinant part of the question, is it possible (how would I show?) to show that $G$ has only 1 component? i.e if there is more than 1 component, det(A)= 1 or -1. – John Dec 31 '11 at 17:12
$G$, if defined as in your post, does have two components, they won't go away. If you are asked to show that only one component exists an additional condition has to be imposed. That said, your original question does not involve the Lie Algebra in any way. What is true (as a possible additional condition) is that the image of this Lie algebra under the exponential map at $E$ is a connected Lie sub group of $G$ (namely the one for which $\det = 1$). – user20266 Dec 31 '11 at 19:52

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.