Action of a group on a set. Relation of conjugacy
[46/83%]Find all orbits of the group of nonsingular linear operators acting on an -dimensional space , if:
is the group of all nonsingular linear operators;
is the group of orthogonal operators;
is the group of operators whose matrices in the basis are diagonal;
is the group of operators whose matrices in the basis are upper triangular.
Find the stabilizer of the vector , if:
is the group from 57.1, (c);
is the group from 57.1, (d).
Find the stabilizer and the orbit of the vector , if:
is the group of all orthogonal operators in a three-dimensional Euclidean space;
is the group of all proper orthogonal operators in a two-dimensional Euclidean space.
Let be the group of all nonsingular linear operators in an -dimensional vector space , and let be the set of all subspaces of dimension in .
Find the orbits of the group in .
Let be a basis of such that is a basis of some subspace . Find, in the basis , the matrices of the operators from the stabilizer .
Let be the group of all nonsingular linear operators in an -dimensional vector space , and let be the set of flags in , i.e., of collections of subspaces of such that .
Find the orbits of in .
Let . Prove that is a basis of .
Find, in the basis , the matrices of the operators from the stabilizer .
Let be the group of all nonsingular linear operators in an -dimensional vector space , and let (respectively ) be the set of all nonzero decomposable -vectors in (in ).
Find the orbits of the action of in and .
Find the stabilizer of a decomposable -vector (a vector in ).
Let be the group of all nonsingular linear operators in an -dimensional real (complex) space , and let be the set of all symmetric (Hermitian) bilinear functions on . For and , set .
Prove that this defines an action of on .
Describe the orbits of in . Find their number.
Describe the stabilizer of a positive definite function .
Let be the group of all nonsingular linear operators in an -dimensional complex space , and let be the set of all linear operators on . For and , set .
Prove that this defines an action of on .
Describe the orbits of in .
Find, in the set , all orbits and all stabilizers for the group generated by the permutation:
;
;
.
In a rectangular coordinate system, a rhombus is given with vertices
Find the matrices of the orthogonal transformations of the plane that carry the rhombus into itself.
Prove that these matrices form, under multiplication, a group isomorphic to the group .
Find the orbits of the action of the group on the set of vertices of the rhombus and their stabilizers.
Find the order of the dihedral group .
Find the order of:
the group of rotations of a cube;
the group of rotations of a tetrahedron;
the group of rotations of a dodecahedron.
Prove that:
the group of rotations of an icosahedron is isomorphic to the group ;
the group of motions of a tetrahedron is isomorphic to .
Find the order of the stabilizer of a vertex for the group of rotations of:
an octahedron;
an icosahedron;
a tetrahedron;
a cube;
a dihedron.
Let be the group of affine transformations of an -dimensional affine space . Suppose is the set of all collections of points in general position.
Find the orbits of in .
Find the stabilizer of a collection .
Let be the group of affine transformations of an -dimensional affine real (complex) space . Denote by the set of all quadratic functions on . For , , and , set .
Prove that this defines an action of on .
Describe the orbits of in .
Describe the stabilizer of a nonsingular function .
Let be the group of fractional-linear transformations of the unit disk centered at from problem 24.22. Find:
the stabilizer of the point ;
the orbit of the point ;
the intersection of the stabilizers of two distinct points of the unit disk.
Let a group act on a set , and let be elements of the same orbit of in . Prove that all such that form a left coset of modulo the stabilizer , and a right coset modulo the stabilizer .
Let a commutative group act on some set . Prove that if, for some and , the equality holds, then for every point lying in the same orbit as .
Let be a subgroup of a group , . Prove that:
the map is a permutation of the set of all left cosets of the group modulo the subgroup ;
the map defines an action of the group on ;
is the identity permutation if and only if belongs to the intersection of all subgroups conjugate to in the group .
Having numbered the left cosets of the group modulo the subgroup , find all the permutations (problem 57.20), if:
, is the trivial subgroup;
, is the subgroup consisting of the identity transformation and some reflection of the square.
Prove that for any group :
conjugation defines an action
of the group on the set ;
the stabilizer of a point (the centralizer of the element ) coincides with the set of elements of the group that commute with .
Find the centralizer of:
the permutation (12)(34) in the group ;
the permutation in the group .
In the group , find the centralizer of the matrix:
;
;
;
.
In the group , find the centralizer of the matrix , if:
all diagonal entries are distinct;
and .
Which of the three matrices are conjugate to one another in the group :
Let be a field. In the group , find:
the centralizer of the elementary matrix for ;
the intersection of the over all , where ;
the conjugacy class containing .
Prove that any two elementary matrices and , where and , are conjugate.
In the group of orthogonal operators, find:
the centralizer of the operator of rotation by an angle ;
the centralizer of the reflection in the axis .
Prove that in the group any two reflections are conjugate.
Find the conjugacy classes of the groups:
;
;
.
Find all finite groups whose number of conjugacy classes equals:
1;
2;
In the group , find the conjugacy class of:
the permutation (12)(34);
the permutation (124).
Do the groups have non-conjugate elements of the same order?
Prove that two permutations are conjugate in the group if and only if they have the same cycle type, i.e., their decompositions into products of disjoint cycles contain, for every , the same number of cycles of length .
Find the number of conjugacy classes in the groups:
;
;
;
.
The canonical form of a matrix is the matrix conjugate to of the form
Prove that the matrices and are conjugate in if and only if their canonical forms are related by or for some integer .
Prove that:
if and are conjugate subgroups of a finite group and , then ;
the subgroups
are conjugate in the group , and .
Find the normalizer of the subgroup in the group , if:
is the subgroup of diagonal matrices;
is the subgroup of matrices of the form
.
Find the automorphism group:
of the group ;
of the group .
Prove that:
Aut , and moreover all automorphisms of the group are inner;
, and moreover the only inner automorphism of is the identity automorphism.
Is the automorphism group cyclic:
of the group ;
of the group ?
Find the order of the group Aut Aut Aut .
Construct an outer automorphism of the group .
Prove that in the group all automorphisms are inner.
Prove that the automorphism group of is isomorphic to . Find the subgroup of inner automorphisms of the group .
Find the automorphism group of the group and the subgroup of its inner automorphisms.