Section 13

The concept of groups

[27/63%]
Show
LaTeX
Problem 13.1

Does the given set of transformations of the plane form a group under the operation of multiplication:

?
(1)

the set of all translations

(2)

the set of all translations by nonzero vectors

(3)

the set of all rotations about a fixed point

(4)

the set of all rotations

(5)

the set of all orthogonal transformations

(6)

the set of all orthogonal transformations of the second kind

(7)

the set of all orthogonal transformations having a common fixed point

(8)

the set of all affine transformations

(9)

the set of all linear transformations

(10)

the set consisting of the identity transformation and the reflection with respect to a given line

(11)

the set of rotations of the plane about the center of a regular nn-gon that carry this nn-gon onto itself (rotations of a regular nn-gon)

(12)

the set of all similarity transformations?

Problem 13.2

Does the set of transformations of the plane given by the formulas form a group under the operation of multiplication:

?
(1)

x∗=λx,y∗=λyx^{ * } = \lambda x, y^{ * } = \lambda y

(2)

x∗=λy,y∗=λ−1x,λ≠0x^{ * } = \lambda y, y^{ * } = \lambda^{ - 1} x, \lambda \neq 0

(3)

x∗=λx,y∗=y,λ≠0x^{ * } = \lambda x, y^{ * } = y, \lambda \neq 0

(4)

x∗=x,y∗=λx+yx^{ * } = x, y^{ * } = \lambda x + y

(5)

x∗=ax+by,y∗=cx+dyx^{ * } = ax + by, y^{ * } = cx + dy

(6)

x∗=ax+by,y∗=cx+dy,ad−bc≠0x^{ * } = ax + by, y^{ * } = cx + dy, ad - bc \neq 0

(7)

x∗=ax−by,y∗=bx+ay,a2+b2≠0x^{ * } = ax - by, y^{ * } = bx + ay, a^{2} + b^{2} \neq 0

(8)

x∗=r(xcos⁡φ−ysin⁡φ),y∗=r(xsin⁡φ+ycos⁡φ),r>0x^{ * } = r(x\cos \varphi - y\sin \varphi ), \quad y^{ * } = r(x\sin \varphi + y\cos \varphi ), \quad r > 0

(9)

x∗=a1x+b1y+c1,y∗=a2x+b2y+c2,a1b2−a2b1=1x^{ * } = a_{1} x + b_{1} y + c_{1}, y^{ * } = a_{2} x + b_{2} y + c_{2}, a_{1} b_{2} - a_{2} b_{1} = 1?

Problem 13.3

Does the following form a group under the operation of addition:

?
(1)

the set of all real numbers

(2)

the set of all nonnegative real numbers

(3)

the set of all rational numbers

(4)

the set of all integers

(5)

the set of all even numbers

(6)

the set of all odd numbers

(7)

the set of all complex numbers

(8)

the set of all purely imaginary complex numbers

(9)

the set consisting of the single number 0?

Problem 13.4

Does the following form a group under the operation of multiplication:

?
(1)

the set of all real numbers

(2)

the set of all positive real numbers

(3)

the set of all rational numbers

(4)

the set of all natural numbers

(5)

the set of all nonzero complex numbers

(6)

the set of all complex numbers with modulus equal to 1

(7)

the set of all nonzero purely imaginary complex numbers

(8)

the set of complex nn-th roots of 1(n1(n is a natural number)?

Problem 13.5

Prove that in any group:

?
(1)

the identity element ee is unique

(2)

for any element aa the inverse element a−1a^{ - 1} is unique

(3)

the equality ax=bax = b is equivalent to x=a−1bx = a^{ - 1} b, and the equality xa=bxa = b is equivalent to x=ba−1x = ba^{ - 1}

(4)

for any elements aa and bb the equality (ab)−1=b−1a−1(ab)^{ - 1} = b^{ - 1} a^{ - 1} holds.

Problem 13.6

Prove that if the square of every element of a group equals the identity element, then the group is abelian.

?
Problem 13.7

Prove that all affine transformations of the plane under which a given triangle goes to itself form a nonabelian group. Find the order of this group.

?
Problem 13.8

Prove that the two groups are isomorphic:

?
(1)

the group of complex numbers under the operation of addition and the group of translations of the plane under the operation of multiplication (composition)

(2)

the group of complex numbers with modulus equal to 1 under the operation of multiplication and the group of rotations of the plane about a fixed point under the operation of multiplication

(3)

the group of nonzero real numbers under the operation of multiplication and the group of homotheties with center at a given point under the operation of multiplication (the ratio of the homothety is nonzero)

(4)

the group of nonzero complex numbers under the operation of multiplication and the group of transformations of the plane given by the formulas x∗=ax−by,y∗=bx+ay(a2+b2>0)x^{ * } = ax - by, y^{ * } = bx + ay\left(a^{2} + b^{2} > 0\right), under the operation of multiplication

(5)

the group of real numbers under the operation of addition and the group of positive real numbers under the operation of multiplication

(6)

the group CnC_{n} of rotations of a regular nn-gon under the operation of multiplication and the group UnU_{n} of complex nn-th roots of 1 under the operation of multiplication.

Problem 13.9

Prove that there exist only two nonisomorphic groups containing four elements. Give examples for both cases.

?
Problem 13.10

Prove that the given group is cyclic, and find its generating element:

?
(1)

the group of all integers under addition

(2)

the group nZn\mathbb {Z} of integers that are multiples of a given natural number nn, under addition

(3)

the group UnU_{n} of complex nn-th roots of 1 under multiplication

(4)

the group CnC_{n} of rotations of a regular nn-gon.

Problem 13.11

Find all subgroups of the groups from problem 13.10:

?
(1)

the group of all integers under addition

(2)

the group nZn\mathbb {Z} of integers that are multiples of a given natural number nn, under addition

(3)

the group UnU_{n} of complex nn-th roots of 1 under multiplication

(4)

the group CnC_{n} of rotations of a regular nn-gon.

Problem 13.12

Prove that:

?
(1)

every infinite cyclic group is isomorphic to the group of integers

(2)

all finite cyclic groups of the same order are isomorphic to each other.

Problem 13.13

Prove that:

?
(1)

every subgroup of a cyclic group is itself cyclic

(2)

the order of any subgroup of a finite cyclic group is a divisor of the order of the group.

Problem 13.14

Let HH be a nonempty subset of a group GG. Prove that HH is a subgroup of GG if and only if the following two conditions hold:

(1) if h1,h2∈Hh_{1}, h_{2} \in H, then h1h2∈Hh_{1} h_{2} \in H,

(2) if h∈Hh\in H, then h−1∈Hh^{ - 1} \in H.

?
Problem 13.15

Let HH be a nonempty subset of a group GG, closed under multiplication (i.e., condition а) of problem 13. 14 holds). Prove that, under either of the following conditions, HH is a subgroup of GG:

?
(1)

HH is a finite set;

(2)

all elements of HH have finite order.

Problem 13.16

Show that:

?
(1)

the group of all orthogonal transformations preserving a given regular nn-gon (called its symmetry group, also the dihedral group of degree n,Dnn, D_{n}), contains 2n2n transformations

(2)

the group CnC_{n} of rotations of a regular nn-gon is a normal subgroup of DnD_{n}.

Problem 13.17

Let ∣G∣=2n\left|G\right| = 2n and let HH be a subgroup of GG of order nn. Prove that HH is a normal subgroup of the group GG.

?
Problem 13.18

Prove, using Lagrange's theorem, that:

?
(1)

the order of a finite group is divisible by the order of any of its elements

(2)

a group of prime order is cyclic.

Problem 13.19

Let G=D3G = D_{3} be the symmetry group of an equilateral triangle (see problem 13. 16), and let H\mathrm{H} be its subgroup consisting of the identity transformation and the reflection with respect to one of the altitudes of the triangle. Find the partition of the group GG into left and right cosets with respect to HH and verify that HH is not a normal subgroup of GG.

?
Problem 13.20

Prove that:

?
(1)

translations form a normal subgroup of the group of orthogonal transformations of the plane

(2)

transformations having a common fixed point form a subgroup of the group of orthogonal transformations of the plane, but it is not normal.

Problem 13.21

Prove that:

?
(1)

if a finite set of affine transformations of the plane forms a group, then all the transformations in this set have a common fixed point

(2)

every finite group of orthogonal transformations of the plane is the symmetry group or the rotation group of some regular polygon.

Problem 13.22

Find (up to isomorphism) the quotient group G/HG / H, if:

?
(1)

GG is the group of all complex numbers under the operation of addition, HH is the subgroup of all real numbers.

(2)

GG is the group of nonzero complex numbers under the operation of multiplication, HH is the subgroup of positive real numbers.

(3)

GG is the group of nonzero complex numbers under the operation of multiplication, HH is the subgroup of numbers with modulus equal to 1.

(4)

GG is the group of all real numbers under the operation of addition, HH is the subgroup of integers.

(5)

G=ZG = \mathbb {Z} is the group of integers under the operation of addition, H=nZH = n\mathbb {Z} is the subgroup of numbers that are multiples of a given natural number nn.

(6)

GG is the group of all orthogonal transformations of the plane of the first kind under the operation of multiplication of transformations, H\mathrm{H} is the subgroup of translations.

Problem 13.23
?
(1)

Prove that the set SnS_{n} of all permutations of degree nn is a group under the operation of multiplication of transformations (the symmetric group of degree nn). Find the order of this group.

(2)

Prove that the groups SnS_{n} are noncommutative for n⩾3n \geqslant 3.

Problem 13.24

Compute:

?
(1)

(1221)2\left(\begin{array}{ll}1 & 2 \\ 2 & 1\end{array}\right)^{2}

(2)

(123213)⋅(123231)\left(\begin{array}{lll}1 & 2 & 3 \\ 2 & 1 & 3\end{array}\right) \cdot \left(\begin{array}{lll}1 & 2 & 3 \\ 2 & 3 & 1\end{array}\right)

(3)

(123231)⋅(123312)\left(\begin{array}{lll}1 & 2 & 3 \\ 2 & 3 & 1\end{array}\right) \cdot \left(\begin{array}{lll}1 & 2 & 3 \\ 3 & 1 & 2\end{array}\right)

(4)

(12342341)⋅(12344321)\left(\begin{array}{llll}1 & 2 & 3 & 4 \\ 2 & 3 & 4 & 1\end{array}\right) \cdot \left(\begin{array}{llll}1 & 2 & 3 & 4 \\ 4 & 3 & 2 & 1\end{array}\right) and (12344321)⋅(12342341)\left(\begin{array}{llll}1 & 2 & 3 & 4 \\ 4 & 3 & 2 & 1\end{array}\right) \cdot \left(\begin{array}{llll}1 & 2 & 3 & 4 \\ 2 & 3 & 4 & 1\end{array}\right).

Problem 13.25

Prove that all even permutations (see the introduction to §14)\S 14) form a normal subgroup AnA_{n} in SnS_{n}, and find its order.

?
Problem 13.26

Let VV be a noncyclic subgroup of order four in S4S_{4}. Prove that:

?
(1)

V⊂A4V \subset A_{4}

(2)

VV is normal in S4S_{4}

(3)

S4/V≅S3S_{4} / V \cong S_{3}.

Problem 13.27

Find:

?
(1)

all subgroups of S3S_{3}

(2)

all normal subgroups of S4S_{4}.