Chapter 02 Groups and Vector Spaces

2.1

A group can be constructed by using the rotations and reflections of a regular pentagon into itself. The group operator is “followed by” (e.g., a reflection “followed by” a rotation ). This is a permutation group, as in Example 2.14.

(a) How many elements are in this group?

There are different rotations and different reflections along each vertex of the pentagon. So there are 10 elements in this group.

(b) Construct the group (i.e., show the “multiplication table” for the group).

skip

(c) Is it an Abelian group?

Solution: No.

and .

(d) Find a subgroup with five elements and a subgroup with two elements.

Solution: The rotations forms five elements. One of the reflections and forms two elements.

2.10

An automorphism of a group is an isomorphism of the group with itself, . Using Exercise 2.9, how many automorphisms are there of ? of ? of ? of ?

Solution:

Because all these groups are cyclic group, so we just need to consider .

For , there is only one case for automorphism, i.e. .

For , there are 2 cases for automorphism, i.e. .

For , there are 4 cases for automorphism, i.e. .

For , there are 16 cases for automorphism, i.e. .

2.11 [144]

Let be a finite Abelian group of order , and let be a positive integer relatively prime to (i.e., they have no factors in common except ). Show that the map defined by is an isomorphism of onto itself (an automorphism). Deduce that the equation always has a unique solution in a finite Abelian group if is relatively prime to the order of .

Proof:

First, we will show that we cannot find and such that .

Consider the following elements

Since , there must be 2 elements satisfy , with . As a result .

Let be the order of , then we know .

Since forms a subgroup, then from the Lagrange’s Theorem, we know .

Since , then we have . So .

Let , then . So .

Then assume , since is Abelian, we have . From the discussion above, , so .

This means is injective. Since is a finite group, it means is also surjective.

Then is one-to-one.

Furthermore, since is Abelian

So is an isomorphism.

Since is one-to-one, given any , we can find unique such that , i.e. .

A proof from AI:

Since , there exist integers and such that:

Now, suppose , which means . Raise both sides to the power of :

Using Bezout's identity, we can substitute :

By Lagrange's Theorem (or a corollary of it), the order of any element divides the order of the group, so and for all elements in .

This directly proves injectivity without needing to explicitly define the order of the element or use modulo arithmetic.

2.18

Consider the set with the operations

Is this a field? If not, why not?

Solution:

Consider the F11 Multiplication distributes over addition:

Let

And

So it violates the F11, then it's not a field.

2.20

Use the representation of in (2.4) to solve the following pair of equations:

Solution

We first add them together and get

So . Also .

We add it to the first equation and get . So , similarly, .

2.24

Let be a vector space, and let be a subspace. The dual space of is the set of vectors in which are orthogonal to every vector in . Show that the dual space is a subspace of .

Proof:

Assume , , then

First . So .

Also

Also

So is a subspace of .

2.25

Show that the set of binary polynomials (i.e., polynomials with binary coefficients, with operations in ) with degree less than forms a vector space over with dimension .

Solution:

Let be the set.

Since the constant has degree which is less than , so .

Next, if

Then

Its degree is still less than .

Also

Its degree is still less than .

So is a vector space.

Now we need to prove it's dimension is .

Consider the following polynomials

First, if

Then .

So they are linear independent.

Also for any binary polynomial with degree less than , it can be represented as the linear combination of .

So it's a basis of .

So .

2.26

What is the dimension of the vector space spanned by the vectors

over ?

Solution:

Assume

We will prove they are independent.

Assume

We have

From , we have . Then from (4), we have , then from (5), . Then from , we have .

2.27

Find a basis for the dual space to the vector space spanned by

Solution:

First note, these 3 vectors are linear independent. That means the dimension of the dual space is .

Assume is orthogonal to these 3 vectors.

Then we have

we have

Consider the following 2 vectors.

Note they are independent, then they are a basis of the dual space.

2.29

Is it true that if 𝐱,𝐲 and 𝐳 are linearly independent vectors over then so also are 𝐱 +𝐲, 𝐲 +𝐳 and 𝐳 +𝐱?

Proof: We will give an counterexample for .

Assume

Then

Then , so they are linear dependent.

2.33

In this exercise, let denote the inner product over the real numbers. Let and be vectors of length with elements from the set . Show that

Proof:

Let