Section 57

Action of a group on a set. Relation of conjugacy

[46/83%]
Show
LaTeX
Problem 57.1

Find all orbits of the group GG of nonsingular linear operators acting on an nn-dimensional space VV, if:

?
(a)

GG is the group of all nonsingular linear operators;

(b)

GG is the group of orthogonal operators;

(c)

GG is the group of operators whose matrices in the basis (e1,…,en)\left(e_{1}, \ldots , e_{n}\right) are diagonal;

(d)

GG is the group of operators whose matrices in the basis (e1,…,en)\left(e_{1}, \ldots , e_{n}\right) are upper triangular.

Problem 57.2

Find the stabilizer GaG_{a} of the vector a=e1+e2+…+ena=e_{1}+e_{2}+\ldots +e_{n}, if:

?
(a)

GG is the group from 57.1, (c);

(b)

GG is the group from 57.1, (d).

Problem 57.3

Find the stabilizer GxG_{x} and the orbit of the vector xx, if:

?
(a)

GG is the group of all orthogonal operators in a three-dimensional Euclidean space;

(b)

GG is the group of all proper orthogonal operators in a two-dimensional Euclidean space.

Problem 57.4

Let GG be the group of all nonsingular linear operators in an nn-dimensional vector space VV, and let XX be the set of all subspaces of dimension kk in XX.

?
(a)

Find the orbits of the group GG in XX.

(b)

Let e1,…,ene_{1}, \ldots , e_{n} be a basis of VV such that e1,…,eke_{1}, \ldots , e_{k} is a basis of some subspace UU. Find, in the basis e1,…,ene_{1}, \ldots , e_{n}, the matrices of the operators from the stabilizer GUG_{U}.

Problem 57.5

Let GG be the group of all nonsingular linear operators in an nn-dimensional vector space VV, and let FF be the set of flags in VV, i.e., of collections f=(V0,V1,…,Vn)f=\left(V_{0}, V_{1}, \ldots , V_{n}\right) of subspaces of VV such that 0=V0<V1<…<Vn=V0=V_{0}<V_{1}<\ldots <V_{n}=V.

?
(a)

Find the orbits of GG in FF.

(b)

Let ei∈Vi\Vi−1,i=1,…,ne_{i} \in V_{i} \backslash V_{i-1}, i=1, \ldots , n. Prove that e1,…,ene_{1}, \ldots , e_{n} is a basis of VV.

(c)

Find, in the basis e1,…,ene_{1}, \ldots , e_{n}, the matrices of the operators from the stabilizer GfG_{f}.

Problem 57.6

Let GG be the group of all nonsingular linear operators in an nn-dimensional vector space VV, and let XX (respectively YY) be the set of all nonzero decomposable qq-vectors in ΛqV\Lambda^{q} V (in Sq(V)S^{q}(V)).

?
(a)

Find the orbits of the action of GG in XX and YY.

(b)

Find the stabilizer GaG_{a} of a decomposable qq-vector aa (a vector in Sq(V)S^{q}(V)).

Problem 57.7

Let GG be the group of all nonsingular linear operators in an nn-dimensional real (complex) space VV, and let BB be the set of all symmetric (Hermitian) bilinear functions on VV. For g∈Gg \in G and b∈Bb \in B, set g(b)(x,y)=b(g−1x,g−1y)g(b)(x, y)=b\left(g^{-1} x, g^{-1} y\right).

?
(a)

Prove that this defines an action of GG on BB.

(b)

Describe the orbits of GG in BB. Find their number.

(c)

Describe the stabilizer GbG_{b} of a positive definite function bb.

Problem 57.8

Let GG be the group of all nonsingular linear operators in an nn-dimensional complex space VV, and let L(V)L(V) be the set of all linear operators on VV. For g∈Gg \in G and f∈L(V)f \in L(V), set g(f)=gfg−1g(f)=g f g^{-1}.

?
(a)

Prove that this defines an action of GG on L(V)L(V).

(b)

Describe the orbits of GG in L(V)L(V).

Problem 57.9

Find, in the set {1,2,…,10}\left\{ 1,2, \ldots , 10\right\}, all orbits and all stabilizers for the group GG generated by the permutation:

?
(a)

g=(1234567891058394106217)∈S10g=\left(\begin{array}{cccccccccc}1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 \\ 5 & 8 & 3 & 9 & 4 & 10 & 6 & 2 & 1 & 7\end{array}\right) \in \mathbf{S}_{10};

(b)

g=(1234567891074618329510)∈S10g=\left(\begin{array}{llllllllll}1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 \\ 7 & 4 & 6 & 1 & 8 & 3 & 2 & 9 & 5 & 10\end{array}\right) \in \mathbf{S}_{10};

(c)

g=(169)(210)(34578)∈S10g=(169)(210)(34578) \in \mathbf{S}_{10}.

Problem 57.10

In a rectangular coordinate system, a rhombus is given with vertices

A=(0,1),B=(2,0),C=(0,−1),D=(−2,0). A=(0,1), \quad B=(2,0), \quad C=(0,-1), \quad D=(-2,0).
?
(a)

Find the matrices of the orthogonal transformations of the plane that carry the rhombus into itself.

(b)

Prove that these matrices form, under multiplication, a group GG isomorphic to the group V4\mathbf{V}_{4}.

(c)

Find the orbits of the action of the group GG on the set of vertices of the rhombus and their stabilizers.

Problem 57.11

Find the order of the dihedral group Dn\mathbf{D}_{n}.

?
Problem 57.12

Find the order of:

?
(a)

the group of rotations of a cube;

(b)

the group of rotations of a tetrahedron;

(c)

the group of rotations of a dodecahedron.

Problem 57.13

Prove that:

?
(a)

the group of rotations of an icosahedron is isomorphic to the group A5\mathbf{A}_{5};

(b)

the group of motions of a tetrahedron is isomorphic to S4\mathbf{S}_{4}.

(c)
Problem 57.14

Find the order of the stabilizer of a vertex for the group of rotations of:

?
(a)

an octahedron;

(b)

an icosahedron;

(c)

a tetrahedron;

(d)

a cube;

(e)

a dihedron.

Problem 57.15

Let GG be the group of affine transformations of an nn-dimensional affine space XX. Suppose YY is the set of all collections of n+1n+1 points (A0,…,An)\left(A_{0}, \ldots , A_{n}\right) in general position.

?
(a)

Find the orbits of GG in YY.

(b)

Find the stabilizer GaG_{a} of a collection a∈Ya \in Y.

Problem 57.16

Let GG be the group of affine transformations of an nn-dimensional affine real (complex) space XX. Denote by QQ the set of all quadratic functions on XX. For g∈Gg \in G, h∈Qh \in Q, and x∈Xx \in X, set g(h)=h(g−1x)g(h)=h\left(g^{-1} x\right).

?
(a)

Prove that this defines an action of GG on QQ.

(b)

Describe the orbits of GG in QQ.

(c)

Describe the stabilizer GhG_{h} of a nonsingular function h∈Qh \in Q.

Problem 57.17

Let GG be the group of fractional-linear transformations of the unit disk centered at OO from problem 24.22. Find:

?
(a)

the stabilizer of the point OO;

(b)

the orbit of the point OO;

(c)

the intersection of the stabilizers of two distinct points of the unit disk.

Problem 57.18

Let a group GG act on a set XX, and let x,yx, y be elements of the same orbit of GG in XX. Prove that all g∈Gg \in G such that g(x)=yg(x)=y form a left coset of GG modulo the stabilizer GxG_{x}, and a right coset modulo the stabilizer GyG_{y}.

?
Problem 57.19

Let a commutative group GG act on some set MM. Prove that if, for some g∈Gg \in G and m0∈Mm_{0} \in M, the equality gm0=m0g m_{0}=m_{0} holds, then gm=mg m=m for every point mm lying in the same orbit as m0m_{0}.

?
Problem 57.20

Let HH be a subgroup of a group GG, a∈Ga \in G. Prove that:

?
(a)

the map σa:gH↦agH\sigma_{a}: g H \mapsto a g H is a permutation of the set MM of all left cosets of the group GG modulo the subgroup HH;

(b)

the map f:a↦σaf: a \mapsto \sigma_{a} defines an action of the group GG on MM;

(c)

σa\sigma_{a} is the identity permutation if and only if aa belongs to the intersection of all subgroups conjugate to HH in the group GG.

Problem 57.21

Having numbered the left cosets of the group GG modulo the subgroup HH, find all the permutations σa\sigma_{a} (problem 57.20), if:

?
(a)

G=Z4G=\mathbf{Z}_{4}, HH is the trivial subgroup;

(b)

G=D4G=\mathbf{D}_{4}, HH is the subgroup consisting of the identity transformation and some reflection of the square.

Problem 57.22

Prove that for any group GG:

?
(a)

conjugation defines an action

m↦g⋅m=gmg−1,g,m∈G m \mapsto g \cdot m=g m g^{-1}, \quad g, m \in G

of the group GG on the set GG;

(b)

the stabilizer of a point mm (the centralizer of the element mm) coincides with the set of elements of the group GG that commute with mm.

Problem 57.23

Find the centralizer of:

?
(a)

the permutation (12)(34) in the group S4\mathbf{S}_{4};

(b)

the permutation (123…n)(123 \ldots n) in the group Sn\mathbf{S}_{n}.

Problem 57.24

In the group GL2(R)\mathbf{G L}_{2}(\mathbb {R}), find the centralizer of the matrix:

?
(a)

(100−1)\left(\begin{array}{rr}1 & 0 \\ 0 & -1\end{array}\right);

(b)

(2002)\left(\begin{array}{ll}2 & 0 \\ 0 & 2\end{array}\right);

(c)

(1234)\left(\begin{array}{ll}1 & 2 \\ 3 & 4\end{array}\right);

(d)

(1101)\left(\begin{array}{ll}1 & 1 \\ 0 & 1\end{array}\right).

Problem 57.25

In the group GLn(R)\mathbf{G L}_{n}(\mathbb {R}), find the centralizer of the matrix diag⁡(λ1,…,λn)\operatorname {diag}\left(\lambda_{1}, \ldots , \lambda_{n}\right), if:

?
(a)

all diagonal entries are distinct;

(b)

λ1=…=λk=a,λk+1=…=λn=b\lambda_{1}=\ldots =\lambda_{k}=a, \lambda_{k+1}=\ldots =\lambda_{n}=b and a≠ba \neq b.

Problem 57.26

Which of the three matrices are conjugate to one another in the group GL2(C)\mathbf{G L}_{2}(\mathbb {C}):

A1=[1101],A2=[1/2002],A3=[1021]? A_{1}=\left[\begin{smallmatrix} 1 & 1 \\ 0 & 1 \end{smallmatrix}\right], \quad A_{2}=\left[\begin{smallmatrix} 1 / 2 & 0 \\ 0 & 2 \end{smallmatrix}\right], \quad A_{3}=\left[\begin{smallmatrix} 1 & 0 \\ 2 & 1 \end{smallmatrix}\right]?
?
Problem 57.27

Let FF be a field. In the group SLn(F)\mathbf{S L}_{n}(F), find:

?
(a)

the centralizer CijC_{i j} of the elementary matrix E+EijE+E_{i j} for 1⩽i≠j⩽n1 \leqslant i \neq j \leqslant n;

(b)

the intersection of the CijC_{i j} over all i,ji, j, where 1⩽i≠j⩽n1 \leqslant i \neq j \leqslant n;

(c)

the conjugacy class containing E+EijE+E_{i j}.

Prove that any two elementary matrices E+αEijE+\alpha E_{i j} and E+βEpqE+\beta E_{p q}, where 1⩽i≠j,p≠q⩽n1 \leqslant i \neq j, p \neq q \leqslant n and α,β∈F∗\alpha , \beta \in F^{*}, are conjugate.

Problem 57.28

In the group O2(R)\mathbf{O}_{2}(\mathbb {R}) of orthogonal operators, find:

?
(a)

the centralizer of the operator of rotation by an angle q≠kπq \neq k \pi;

(b)

the centralizer of the reflection in the axis OXO X.

Problem 57.29

Prove that in the group O2(R)\mathbf{O}_{2}(\mathbb {R}) any two reflections are conjugate.

?
Problem 57.30

Find the conjugacy classes of the groups:

?
(a)

S3S_{3};

(b)

A4\mathbf{A}_{4};

(c)

D4\mathbf{D}_{4}.

Problem 57.31

Find all finite groups whose number of conjugacy classes equals:

?
(a)

1;

(b)

2;

(c)
Problem 57.32

In the group S4\mathbf{S}_{\mathbf{4}}, find the conjugacy class of:

?
(a)

the permutation (12)(34);

(b)

the permutation (124).

Problem 57.33

Do the groups S5,S6S_{5}, S_{6} have non-conjugate elements of the same order?

?
Problem 57.34

Prove that two permutations are conjugate in the group Sn\mathbf{S}_{n} if and only if they have the same cycle type, i.e., their decompositions into products of disjoint cycles contain, for every kk, the same number of cycles of length kk.

?
Problem 57.35

Find the number of conjugacy classes in the groups:

?
(a)

S4\mathbf{S}_{4};

(b)

S5S_{5};

(c)

S6\mathbf{S}_{6};

(d)

D4\mathbf{D}_{4}.

Problem 57.36

The canonical form of a matrix A∈SO3(R)A \in \mathbf{S O}_{3}(\mathbb {R}) is the matrix conjugate to AA of the form

[1000cos⁡φ−sin⁡φ0sin⁡φcos⁡φ] \left[\begin{smallmatrix} 1 & 0 & 0 \\ 0 & \cos \varphi & -\sin \varphi \\ 0 & \sin \varphi & \cos \varphi \end{smallmatrix}\right]

Prove that the matrices A1A_{1} and A2A_{2} are conjugate in SO3(R)\mathbf{S O}_{3}(\mathbb {R}) if and only if their canonical forms are related by φ1+φ2=2πk\varphi_{1}+\varphi_{2}=2 \pi k or φ1−φ2=2πk\varphi_{1}-\varphi_{2}=2 \pi k for some integer kk.

?
Problem 57.37

Prove that:

?
(a)

if HH and KK are conjugate subgroups of a finite group and K⊆HK \subseteq H, then K=HK=H;

(b)

the subgroups

H={[1n01](n∈Z)},K={[12n01](n∈Z)} H=\left\{ \left[\begin{smallmatrix} 1 & n \\ 0 & 1 \end{smallmatrix}\right] \quad (n \in \mathbb {Z})\right\} , \quad K=\left\{ \left[\begin{smallmatrix} 1 & 2 n \\ 0 & 1 \end{smallmatrix}\right] \quad (n \in \mathbb {Z})\right\}

are conjugate in the group GL2(R)\mathbf{G L}_{2}(\mathbb {R}), and K⊂HK \subset H.

Problem 57.38

Find the normalizer N(H)N(H) of the subgroup HH in the group GG, if:

?
(a)

G=GL2(R),HG=\mathbf{G L}_{2}(\mathbb {R}), H is the subgroup of diagonal matrices;

(b)

G=GL2(R),HG=\mathbf{G L}_{2}(\mathbb {R}), H is the subgroup of matrices of the form

[1a01],a∈R \left[\begin{smallmatrix} 1 & a \\ 0 & 1 \end{smallmatrix}\right], \quad a \in \mathbb {R}
(c)

G=S4,H=⟨(1234)⟩G=\mathbf{S}_{4}, H=\langle (1234)\rangle.

Problem 57.39

Find the automorphism group:

?
(a)

of the group Z5\mathbf{Z}_{5};

(b)

of the group Z6\mathbf{Z}_{6}.

Problem 57.40

Prove that:

?
(a)

Aut S3≃S3\mathbf{S}_{3} \simeq \mathbf{S}_{3}, and moreover all automorphisms of the group S3\mathbf{S}_{3} are inner;

(b)

AutV4≃S3\mathrm{Aut} \mathbf{V}_{4} \simeq \mathbf{S}_{3}, and moreover the only inner automorphism of V4\mathbf{V}_{4} is the identity automorphism.

Problem 57.41

Is the automorphism group cyclic:

?
(a)

of the group Z9\mathbf{Z}_{9};

(b)

of the group Z8\mathbf{Z}_{8}?

Problem 57.42

Find the order of the group Aut Aut Aut Z9\mathbf{Z}_{9}.

?
Problem 57.43

Construct an outer automorphism of the group S6\mathbf{S}_{6}.

?
Problem 57.44

Prove that in the group Sn(n≠6)\mathbf{S}_{n}(n \neq 6) all automorphisms are inner.

?
Problem 57.45

Prove that the automorphism group of D4\mathbf{D}_{4} is isomorphic to D4\mathbf{D}_{4}. Find the subgroup of inner automorphisms of the group D4\mathbf{D}_{4}.

?
Problem 57.46

Find the automorphism group of the group Dn\mathbf{D}_{n} and the subgroup of its inner automorphisms.

?