Question on Lie groups

  • Thread starter arz2000
  • Start date
  • #1
15
0

Main Question or Discussion Point

Does anybody know the answer of the following problem?

Show that the Lie group of Euclidean motions of R^3 has a Lie algebra g which is perfect i.e., Dg=g but g is not semisimple.
By Dg I mean the commutator [g,g] and a semisimple lie algebra is one has no nonzero solvable ideals.

Regards
 

Answers and Replies

  • #2
matt grime
Science Advisor
Homework Helper
9,395
3
Is the following helpful?
1. Write down the lie algebra
2. show that Dg=g
3. find a solvable non-zero ideal (there will be an obvious candidate - this must be the easiest part)
 
  • #3
15
0
does the lie group of Euclidean motions of R^3 means O(3) i.e. rotations?
 
  • #4
matt grime
Science Advisor
Homework Helper
9,395
3
No. I don't think so. I think it means distance preserving maps (not just linear maps) - so rotations and translations, and reflections. (SO(3) is the group of rotations, not O(3)).
 
  • #5
15
0
you're right. So what is the Lie algebra of transformation preserving distance?
Since I'm learning Lie theory by myself, I have lots of questions even in definitions!!
 
  • #6
matt grime
Science Advisor
Homework Helper
9,395
3
Write down the lie group, then work out its lie algebra. I'll give you the lie group.

G:= O(3)\sdp R^3, that is the semi direct product. It is the set of pairs (X,V) with X in O(3) and v in R^3, and the composition:

(X,v)(Y,w)=(XY,Xw+ v).

You have been told how to find lie algebras (or someone else has in another thread currently active in this forum).
 
  • #7
15
0
Ok!

many thanks
 

Related Threads on Question on Lie groups

  • Last Post
Replies
7
Views
2K
Replies
2
Views
2K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
3
Views
10K
Replies
1
Views
1K
Replies
2
Views
5K
  • Last Post
Replies
10
Views
2K
  • Last Post
Replies
2
Views
1K
Replies
21
Views
9K
Replies
4
Views
2K
Top