-3
votes
0answers
23 views

Frobenius subgroups of Sz(8)

Does the suzuki group Sz(8) has any Frobenius subgroup except $D_{14}$, $F_{20}$ and $F_{52}$?
2
votes
0answers
30 views

Fixed point set of orthogonal Transformation

I need some help with this problem. Let $g$ be an element of the orthogonal group and $s$ a reflection. Then the dimension of the fixed point set of $g$ and $gs$ differ by $\pm 1$. Since that ...
1
vote
1answer
29 views

Adjoint Lie algebra homomorphism

I have a problem deriving the adjoint action $ad_X(Y)=XY-YX$ from the adjoint transformation of the group on the Lie algebra. Background: The adjoint action of the Lie algebra on itself is given by ...
0
votes
0answers
27 views

Formal proof of Clebsch Gordon sum

physicist here. When looking at the irreducible representations of $so(3)$, i.e. the set of all real valued anti-symmetric matrices, one can parametrize those irreps with an index $j$ which can be ...
2
votes
1answer
53 views

Group Axioms Motivation

Group theory is all about symmetries. Can this be seen from the axioms defining a group? Or equivalently can the group axioms be motivated from this point of view? Of course one can look at several ...
1
vote
0answers
36 views

Exact sequences of $1 \to A \to SO(N) \to B \to 1$, special orthogonal group

Inspired by the nice post and this, apart from SU(N), now I am particularly looking into the exact sequences of SO(N), but I will like to loosen the conditions of the previous post, Q1. $$1 \to A ...
1
vote
0answers
38 views

Exact sequences of $1 \to A \to SU(N) \to B \to 1$, special unitary group

Inspired by the nice post, I am particularly looking into the exact sequences of SU(N), but I will like to loosen the conditions of the previous post, Q1. $$1 \to A \to SU(N) \to B \to 1$$ where ...
4
votes
0answers
44 views

Exact sequences of SU(N) and SO(N)

We know that the spin group $Spin(N)$ has a short exact sequence of Lie groups. $$1 \to Z_2 \to Spin(N) \to SO(N) \to 1$$ I wonder whether there are some examples for SU(N) and SO(N) group, such ...
1
vote
0answers
79 views

Itzykson-Zuber integral over orthogonal groups

I would like to know is there a closed form expression for the following Itzykson-Zuber integral for the orthogonal case. $I=\int_{\mathcal{O}(p)} ...
2
votes
1answer
114 views

What is the manifold structure of U(n)?

A Lie group is simultaneously a differentiable manifold. As I understand it, the Lie group is generated via exponentiation of the generators of the Lie algebra. It is intuitively clear to me that the ...
0
votes
0answers
21 views

Real or complex representation

How can one know for a given algebra $\frak{g}$ if a specific representation is real or complex? For example if $\frak{g}=so(10)$ how can one know that the representation $\underline{16}$ is complex? ...
1
vote
0answers
31 views

Lie bracket as defining element for transformations

Why is it precisely the Lie bracket that encodes the information about a given transformation? A Lie algebra is defined by its commutator. Using the exponential map one ends up with a given ...
0
votes
1answer
19 views

Characters of a unipotent group.

Let $\def\C{\mathbb{C}}T = (\C^*)^n$. A character of $T$ is defined to be a homomorphism from $T$ to $\C^*$. The characters of $T$ is of the form $f(t_1,\ldots,t_n)=t_1^{a_1}\cdots t_n^{a_n}$ for some ...
1
vote
1answer
84 views

What does it mean to be a real Lie group

What does it mean to be a real Lie-group ? For example it is said that $SU(N)$ is a real Lie-group. While for example for $SU(2)$ the 2 dimensional matrix-representation consists of the Pauli ...
1
vote
2answers
44 views

Introduction to discrete subgroups of the euclidean group

I am looking for a general introduction to discrete subgroups of the euclidean group (= group of isometries in euclidean space). Even though I looked a little, I was unable to find a good ...
3
votes
1answer
34 views

A maximal subalgebra of $E_6$ !?

I'm puzzeled by the following sentence in one of Baez's posts: The Lie algebra $E_6$ has a subalgebra of maximal rank isomorphic to $\mathfrak{so}(10)\oplus \mathfrak{u}(1)$. However, I thought ...
3
votes
0answers
43 views

Continuous subgroup of SO(3)?

I read from a paperarXiv: cond-mat/0602109 by a theoretical physicist, Prof. Frank Bais, close subgroups of $SO(3)$ is given by ${C_n,D_n,T,O,I,SO(2)\rtimes Z_2}$, where $C_n$ is the cyclic group of ...
0
votes
0answers
13 views

Assign a root to a irreducible representation

Given a root, e.g. $(-1 0 1 00)$ of $\text{SO}(10)$, how can I see/find to which representation of the Lie group it belongs?
0
votes
1answer
28 views

Elements Outside the Identity Component $SO^+(1,\,3)$ of the Lorentz Group $O(1,\,3)$

I have been answering a question on Physics Stack exchange to do with the difference between the "proper orthochronous" (i.e. identity component of) the Lorentz group $SO^+(1,\,3)$ and the Lorentz ...
2
votes
1answer
37 views

Isomorphism $U(p,q)/U(1)=SU(p,q)/Z_{n}$

I have a little experience in Lie groups, so I have met the strange isomorphism: $$U(p,q)/U(1)=SU(p,q)/Z_{n}$$ Here $U(p,q)$ is a set of complex $n\times n$ matrices ($p+q=n$), which satifies the ...
3
votes
1answer
61 views

What is the maximal torus in the Lorentz group $O(m,n)$?

I'm close to certain it's just the product of the maximal tori of $O(m)$ and $O(n)$, but I can't quite prove it. I've tried the following: ...
1
vote
0answers
29 views

Adjoint Representation of Lorentz Group

I'm thinking about the image under the adjoint representation $\mathrm{Ad}$ of the proper (identity connected component) Lorentz group $SO^+(1,3)$. Since this group has a trivial centre (it contains, ...
5
votes
1answer
39 views

Commuting path from identity to matrix

Let $G$ be a connected, closed subgroup of $\operatorname{GL}(n,\mathbb{C})$ and let $g \in G$. Is there a continuous function $f:[0,1] \to G$ such that $f(0) = g$ and $f(1)=1$ and $f(t) \cdot g = g ...
3
votes
2answers
46 views

Equivalent form for the Bruhat decomposition

Let $G$ be a reductive group and $B$ a Borel subgroup. The Bruhat decomposition allows us to write (where $W$ is the Weyl group): $$ G/B = \coprod_{w\in W} BwB$$ Why is this form the same as looking ...
1
vote
1answer
53 views

Group representations and short exact sequences

Let $0 \rightarrow A \rightarrow B \rightarrow C \rightarrow 0$ be a short exact sequence of groups. What can be said about group representations of $B$ if we assume a complete classification of the ...
0
votes
0answers
25 views

Question about a notation.

I have a question about the notation in the paper. On page 8, the 3-rd line from bottom, it is said that $h_J(t)$ is the corresponding diagonal matrix in $GL_4$. I think that $J$ is some set such that ...
0
votes
0answers
33 views

Root space of a Semi simple group an LVS?

A semi-simple Lie group has a Cartan Subalgebra ($H$) (CSA) -an LVS, Dual to this CSA LVS is root space($H^*$), which is set funtionals that map elements of CSA to real numbers and hence useful in ...
1
vote
1answer
52 views

Decompose complex vector by SU(4)

This question is about to decompose (or reduce dimension) complex vector by $SU\left( 4 \right)$. Given any $4\times1$ complex vector $B$. We can build $a_i$,and matrix$\lambda_i,i=1\ldots n $, $a_i ...
1
vote
1answer
37 views

prove that the maximal torus of $SO(3)$ is the maximal torus of $GL_3(\mathbb{R})$.

I want to prove that the maximal torus of $SO(3)$ is the maximal torus of $GL_3(\mathbb{R})$. I want to use the theorem that every maximal torus of G equals $gTg^{-1}$ for some $g \in G$. But I am not ...
1
vote
0answers
14 views

About representations and transformations under an $SU(n)$ Lie Group

I think my problem is that I misunderstand what "transforms under" really means. Let's take $SU(3)$, for the $\mathbf{3}$ with Dynkin indices $(1,0)$, a state transforms like : $ψ→gψ$. For the ...
3
votes
0answers
29 views

Nontrivial relations in rotation groups

Consider the subgroup $H$ of $SO(3)$ generated by rotations of order $5$ (i.e., rotations by $\frac{2\pi}5$) about the $x$ and $y$ axes. This group certainly isn't finite or discrete (as it's not ...
2
votes
0answers
36 views

Inner automorphisms of Lie groups

I have a few questions about $Aut(G)$, when $G$ is a Lie group. It was proven by Hochschild that if $G/G_0$ is finitely generated, then $Aut(G)$ is a Lie group with at most countably many components. ...
0
votes
1answer
30 views

General Linear Group is(not) compactly generated

We know that any connected Lie Group is compactly generated. I have a feeling that $\mathbb{GL}_n\mathbb{R}$ is not compactly generated. Is it true? If it is how can I prove this? If not, what ...
3
votes
1answer
170 views

Definition of Lie Groups

In the definition of Lie Group, we require that $$(x,y)\rightarrow x*y \text{ and } x\rightarrow x^{-1}$$ both be smooth. Are there any examples of groups that satisfy only one of these and not the ...
3
votes
1answer
61 views

Building invariants of non-fundamental $SU(2)$

Suppose you have two objects, $ \phi _i $ and $ \psi _j $ that form representations of $ SU(2) $. With both fields in the fundamental representation, I believe there is one invariant, \begin{equation} ...
0
votes
0answers
29 views

Name of a Lie group

Does the Lie group $$G= \left\{ \left. \left( \begin{array}{cccc} x & y_{1} & \cdots & y_{n-1} \\ 0 & 1 & \cdots & 0 \\ \vdots & & \ddots & \vdots \\ 0 & \cdots ...
4
votes
2answers
121 views

Is the determinant the “only” group homomorphism from $\mathrm{GL}_n(\mathbb R)$ to $\mathbb R^\times$?

This might be a dumb question; I know only enough group theory to be able to ask dumb questions. Ken W. Smith has pointed out that one way to get intuition about the determinant is to observe that it ...
0
votes
0answers
34 views

Ideals in the unitary group

What would be examples of one-dimensional ideals in the lie algebra of the unitary group? Moreover, how would one show that it is in the tangent space of the center of the unitary group and that the ...
2
votes
2answers
60 views

Dimension of $SO_n(\mathbb{R})$

Is there a simple proof that the dimension of $SO_n(\mathbb{R})$, a.k.a the group of rotations in $n$-dimensional space is $(n-1)n/2$? It would be great to see some proofs based only on the ...
1
vote
0answers
45 views

Irreducible representations of $SO(5)$

I am looking for irreducible representations of the group $SO(5)$ that can be described by a tensor of at most rank two. My own considerations have brought me to the conclusion that there is a ...
11
votes
2answers
150 views

Non-isomorphic Group Structures on a Topological Group

Which Topological Groups Have a Unique Group Structure (up to isomorphism)? I know that there are many non-isomorphic finite groups of same order, so there are many group structures possible for ...
0
votes
0answers
24 views

How to decompose a representation of $so(n)$ into representations of a subalgebra

In some cases, it is possible. For instance the representation $16$ of $so(9)$ decomposes as $8_c+8_s$ of $so(8)$. Now I would like to do the same with representations of $so(8)$ into a sum of ...
0
votes
1answer
68 views

A question about differential forms on Lie groups

Let $G$ is a Lie group and $\mathfrak{g}$ is its Lie algebra and $\mathfrak{g}^{\mathbb{C}}$ be its complexification. Also assume that $\mathfrak{h}\subset \mathfrak{g}^{\mathbb{C}}$ be its ...
2
votes
1answer
107 views

Generators of Translation - Lie Algebra [duplicate]

I have just started learning Lie Groups and Algebra. Considering a flat 2-d plane if we want to translate a point from $(x,y)$ to $(x+a,y+b)$ then can we write it as : $$ \left( \begin{array}{ccc} ...
3
votes
0answers
43 views

Would the transformation of a differential equation obey the same algebra?

I've found that the algebra of this differential equation $$\frac{d^2y}{dz^2}-(3z^2+\gamma)\frac{dy}{dz}+(cz+\alpha)y=0$$ is in $sl(2)$ because it is possible to use the generators of the $sl(2)$ ...
0
votes
1answer
24 views

Find an abelian subgroup of $GL(2n, q)$ of special order

I want to prove that $GL(2n, q)$ where $q$ is even, has an abelian subgroup of order $q^{2n - 1}$. please help me.
5
votes
1answer
101 views

What is the coordinate ring of $G/U$?

Let $G$ be an algebraic group and $U$ its subgroup consisting all upper triangular matrices. For example, $G=GL_n(k)$ and $U$ the subgroup consisting of all upper triangular unipotent matrices in ...
0
votes
2answers
84 views

What are the good textbooks on Kac-Moody groups?

While there is a number of good books on Kac-Moody algebras ("Infinite dimensional Lie algebras" by Kac is already enough), it seems to me there is lack of textbooks on Kac-Moody groups. nLab says ...
0
votes
1answer
27 views

Given the generators of a group find the parametrization matrix

I have the generators of $sl(2,\mathbb{R})$ algebra $$J_0=\begin{pmatrix}0&1\\ -1&0\end{pmatrix},\quad J_1=\begin{pmatrix}1&0\\ 0&-1\end{pmatrix},\quad J_2=\begin{pmatrix}0&1\\ ...
1
vote
1answer
27 views

Questions about definition of edges in affine building.

I have a question about about edges in a building in the book of expander graphs by Alexander Lubotzky, page 69. We know that if $L_1' \subseteq L_2'$ and $[L_2' : L_1'] = p$, then there is an edge ...