The concept of groups
[27/63%]Does the given set of transformations of the plane form a group under the operation of multiplication:
the set of all translations
the set of all translations by nonzero vectors
the set of all rotations about a fixed point
the set of all rotations
the set of all orthogonal transformations
the set of all orthogonal transformations of the second kind
the set of all orthogonal transformations having a common fixed point
the set of all affine transformations
the set of all linear transformations
the set consisting of the identity transformation and the reflection with respect to a given line
the set of rotations of the plane about the center of a regular -gon that carry this -gon onto itself (rotations of a regular -gon)
the set of all similarity transformations?
Does the set of transformations of the plane given by the formulas form a group under the operation of multiplication:
?
Does the following form a group under the operation of addition:
the set of all real numbers
the set of all nonnegative real numbers
the set of all rational numbers
the set of all integers
the set of all even numbers
the set of all odd numbers
the set of all complex numbers
the set of all purely imaginary complex numbers
the set consisting of the single number 0?
Does the following form a group under the operation of multiplication:
the set of all real numbers
the set of all positive real numbers
the set of all rational numbers
the set of all natural numbers
the set of all nonzero complex numbers
the set of all complex numbers with modulus equal to 1
the set of all nonzero purely imaginary complex numbers
the set of complex -th roots of is a natural number)?
Prove that in any group:
the identity element is unique
for any element the inverse element is unique
the equality is equivalent to , and the equality is equivalent to
for any elements and the equality holds.
Prove that if the square of every element of a group equals the identity element, then the group is abelian.
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.
Prove that the two groups are isomorphic:
the group of complex numbers under the operation of addition and the group of translations of the plane under the operation of multiplication (composition)
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
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)
the group of nonzero complex numbers under the operation of multiplication and the group of transformations of the plane given by the formulas , under the operation of multiplication
the group of real numbers under the operation of addition and the group of positive real numbers under the operation of multiplication
the group of rotations of a regular -gon under the operation of multiplication and the group of complex -th roots of 1 under the operation of multiplication.
Prove that there exist only two nonisomorphic groups containing four elements. Give examples for both cases.
Prove that the given group is cyclic, and find its generating element:
the group of all integers under addition
the group of integers that are multiples of a given natural number , under addition
the group of complex -th roots of 1 under multiplication
the group of rotations of a regular -gon.
Find all subgroups of the groups from problem 13.10:
the group of all integers under addition
the group of integers that are multiples of a given natural number , under addition
the group of complex -th roots of 1 under multiplication
the group of rotations of a regular -gon.
Prove that:
every infinite cyclic group is isomorphic to the group of integers
all finite cyclic groups of the same order are isomorphic to each other.
Prove that:
every subgroup of a cyclic group is itself cyclic
the order of any subgroup of a finite cyclic group is a divisor of the order of the group.
Let be a nonempty subset of a group . Prove that is a subgroup of if and only if the following two conditions hold:
(1) if , then ,
(2) if , then .
Let be a nonempty subset of a group , closed under multiplication (i.e., condition а) of problem 13. 14 holds). Prove that, under either of the following conditions, is a subgroup of :
is a finite set;
all elements of have finite order.
Show that:
the group of all orthogonal transformations preserving a given regular -gon (called its symmetry group, also the dihedral group of degree ), contains transformations
the group of rotations of a regular -gon is a normal subgroup of .
Let and let be a subgroup of of order . Prove that is a normal subgroup of the group .
Prove, using Lagrange's theorem, that:
the order of a finite group is divisible by the order of any of its elements
a group of prime order is cyclic.
Let be the symmetry group of an equilateral triangle (see problem 13. 16), and let 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 into left and right cosets with respect to and verify that is not a normal subgroup of .
Prove that:
translations form a normal subgroup of the group of orthogonal transformations of the plane
transformations having a common fixed point form a subgroup of the group of orthogonal transformations of the plane, but it is not normal.
Prove that:
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
every finite group of orthogonal transformations of the plane is the symmetry group or the rotation group of some regular polygon.
Find (up to isomorphism) the quotient group , if:
is the group of all complex numbers under the operation of addition, is the subgroup of all real numbers.
is the group of nonzero complex numbers under the operation of multiplication, is the subgroup of positive real numbers.
is the group of nonzero complex numbers under the operation of multiplication, is the subgroup of numbers with modulus equal to 1.
is the group of all real numbers under the operation of addition, is the subgroup of integers.
is the group of integers under the operation of addition, is the subgroup of numbers that are multiples of a given natural number .
is the group of all orthogonal transformations of the plane of the first kind under the operation of multiplication of transformations, is the subgroup of translations.
Prove that the set of all permutations of degree is a group under the operation of multiplication of transformations (the symmetric group of degree ). Find the order of this group.
Prove that the groups are noncommutative for .
Compute:
and .
Prove that all even permutations (see the introduction to form a normal subgroup in , and find its order.
Let be a noncyclic subgroup of order four in . Prove that:
is normal in
.
Find:
all subgroups of
all normal subgroups of .