Section 1.2

Supplementary Problems

[8/0%]
LaTeX
Problem 1.103

Let A,BA, B be 3×33 \times 3 matrices over R\mathbb {R}. We define the composition

A∙B:=A+B−2AB. A \bullet B := A+B-2AB .

Does this composition define a group? The neutral element is 030_{3}.

?
Problem 1.104

Consider the set

G={(a,b)∈R2:−∞<a<∞, 0≤b<2π}. G = \left\{ (a,b) \in \mathbb {R}^{2} : -\infty < a < \infty , \ 0 \leq b < 2\pi \right\} .

We define the composition (a,b)∙(c,d):=(ac,(b+d) mod 2π)(a,b) \bullet (c,d) := (ac, (b+d) \bmod 2\pi ). Show that this composition defines a group.

?
Problem 1.105

Let m∈Zm \in \mathbb {Z}, m≥2m \geq 2, and let G(m)G(m) be the group of 2×22 \times 2 matrices of determinant ±1\pm 1 and with entries in the ring Z/mZ\mathbb {Z}/m\mathbb {Z}, i.e.

G(m):={(a11a12a21a22):a11,a12,a21,a22∈Z/mZ, ∣a11a22−a12a21∣=1}. G(m) := \left\{ \begin{pmatrix} a_{11} & a_{12} \\ a_{21} & a_{22} \end{pmatrix} : a_{11},a_{12},a_{21},a_{22} \in \mathbb {Z}/m\mathbb {Z}, \ \left|a_{11}a_{22}-a_{12}a_{21}\right|=1\right\} .

Show that the set G(m)G(m) forms a finite group under matrix multiplication.

?
Problem 1.106

Show that there is only one group of order three. Is the group commutative? Is the group isomorphic to a subgroup of S3S_{3}?

?
Problem 1.107

Let ϕ:G→H\phi : G \rightarrow H be a homomorphism between the groups GG and HH. Show that ker⁡(ϕ)\ker (\phi ) is a normal subgroup of GG.

?
Problem 1.108

Let α,β,ϕ∈R\alpha , \beta , \phi \in \mathbb {R} and α,β≠0\alpha , \beta \neq 0. Consider the matrices

A(α,β,ϕ)=(αcos⁡ϕ−βsin⁡ϕβ−1sin⁡ϕα−1cos⁡ϕ). A(\alpha ,\beta ,\phi ) = \begin{pmatrix} \alpha \cos \phi & -\beta \sin \phi \\ \beta ^{-1}\sin \phi & \alpha ^{-1}\cos \phi \end{pmatrix} .

Do the matrices form a group under matrix multiplication?

?
Problem 1.109

Let SnS_{n} be the group of all permutations of nn objects. Show that every finite group is isomorphic to a group of permutations.

?
Problem 1.110

Let GG be a group. An automorphism of GG is an isomorphism sending GG onto itself. Show that the set Aut⁡(G)\operatorname {Aut}(G) of automorphisms of GG is a group with respect to the operation of composition of automorphisms.

?