- •List of Symbols
- •Classical Algebra
- •Modern Algebra
- •Binary Operations
- •Algebraic Structures
- •Extending Number Systems
- •Algebra of Sets
- •Number of Elements in a Set
- •Boolean Algebras
- •Propositional Logic
- •Switching Circuits
- •Divisors
- •Posets and Lattices
- •Normal Forms and Simplification of Circuits
- •Transistor Gates
- •Representation Theorem
- •Exercises
- •Groups and Symmetries
- •Subgroups
- •Cyclic Groups and Dihedral Groups
- •Morphisms
- •Permutation Groups
- •Even and Odd Permutations
- •Equivalence Relations
- •Normal Subgroups and Quotient Groups
- •Morphism Theorem
- •Direct Products
- •Groups of Low Order
- •Action of a Group on a Set
- •Exercises
- •Translations and the Euclidean Group
- •Matrix Groups
- •Finite Groups in Two Dimensions
- •Proper Rotations of Regular Solids
- •Finite Rotation Groups in Three Dimensions
- •Necklace Problems
- •Coloring Polyhedra
- •Counting Switching Circuits
- •Exercises
- •Monoids and Semigroups
- •Finite-State Machines
- •Quotient Monoids and the Monoid of a Machine
- •Exercises
- •Rings
- •Integral Domains and Fields
- •Subrings and Morphisms of Rings
- •New Rings From Old
- •Field of Fractions
- •Convolution Fractions
- •Exercises
- •Euclidean Rings
- •Euclidean Algorithm
- •Unique Factorization
- •Factoring Real and Complex Polynomials
- •Factoring Rational and Integral Polynomials
- •Factoring Polynomials over Finite Fields
- •Linear Congruences and the Chinese Remainder Theorem
- •Exercises
- •Ideals and Quotient Rings
- •Computations in Quotient Rings
- •Morphism Theorem
- •Quotient Polynomial Rings that are Fields
- •Exercises
- •Field Extensions
- •Algebraic Numbers
- •Galois Fields
- •Primitive Elements
- •Exercises
- •Latin Squares
- •Orthogonal Latin Squares
- •Finite Geometries
- •Magic Squares
- •Exercises
- •Constructible Numbers
- •Duplicating a Cube
- •Trisecting an Angle
- •Squaring the Circle
- •Constructing Regular Polygons
- •Nonconstructible Number of Degree 4
- •Exercises
- •The Coding Problem
- •Simple Codes
- •Polynomial Representation
- •Matrix Representation
- •Error Correcting and Decoding
- •BCH Codes
- •Exercises
- •Induction
- •Divisors
- •Prime Factorization
- •Proofs in Mathematics
- •Modern Algebra in General
- •History of Modern Algebra
- •Connections to Computer Science and Combinatorics
- •Groups and Symmetry
- •Rings and Fields
- •Convolution Fractions
- •Latin Squares
- •Geometrical Constructions
- •Coding Theory
- •Chapter 2
- •Chapter 3
- •Chapter 4
- •Chapter 5
- •Chapter 6
- •Chapter 7
- •Chapter 8
- •Chapter 9
- •Chapter 10
- •Chapter 11
- •Chapter 12
- •Chapter 13
- •Chapter 14
- •Index
318 |
|
|
|
|
|
|
|
|
|
|
ANSWERS TO THE ODD-NUMBERED EXERCISES |
|||
11.19. |
2. |
|
|
|
|
|
|
|
|
11.21. |
2. |
|
|
|
11.23. ∞. |
3 |
|
|
|
3 |
|
|
11.25. ∞. |
|
|
||||
11.27. |
|
|
− |
√ |
|
|
+ |
√ |
|
|
11.29. |
− 1 + 6 |
|
|
|
4 |
2 |
|
4 3. |
ω)/ |
31. |
||||||||
|
(1 |
+ α. |
|
|
)/ |
|
( |
|
||||||
11.31. α |
|
|
|
|
|
11.33. |
2; not a field. |
|||||||
11.35. 7; a field |
|
|
|
|
11.37. |
0; a field. |
|
11.39. 0; not a field.
11.43. m = 2, 4, pr or 2pr , where p is an odd prime; see Weiss [12, Th. 4–6–10].
11.47. α = √2 + √−3.
11.49. All elements of GF (32) except 0 and 1 are primitive.
11.51. |
x3 + x + 1. |
11.57. |
No solutions. |
11.59. |
x = 1 or α + 1. |
11.63. |
5. |
11.65.The output has cycle length 7 and repeats the sequence 1101001, starting at the right.
CHAPTER 12 |
|
|
|
|
|
||
12.1. |
|
|
|
|
|
|
|
a |
b |
c |
d |
e |
f |
g |
|
|
b |
c |
d |
e |
f |
g |
a |
|
c |
d |
e |
f |
g |
a |
b |
|
d |
e |
f |
g |
a |
b |
c |
|
e |
f |
g |
a |
b |
c |
d |
|
f |
g |
a |
b |
c |
d |
e |
|
g |
a |
b |
c |
d |
e |
f |
|
|
|
|
|
|
|
|
12.3.Use GF(8) = {0, 1, α, 1 + α, α2, 1 + α2, α + α2, 1 + α + α2} where α3 = α + 1.
12.7. No. |
|
|
|
|
|
|
12.9. |
|
|
|
|
|
|
|
|
|
Week |
|
||
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
1 |
2 |
3 |
4 |
|
|
|
↓ |
↓ |
↓ |
↓ |
|
|
→ |
A B C D |
|||
|
Shelf |
→ |
B |
C |
D |
A |
|
height |
→ |
C |
D |
A |
B |
|
|
→ |
D |
A |
B |
C |
A, B, C, and D are the four brands of cereal.
ANSWERS TO THE ODD-NUMBERED EXERCISES |
319 |
||||||||
12.11. |
|
|
|
|
|
|
|
|
|
|
|
|
|
Week |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
3 |
4 |
5 |
|
|
|
|
|
↓ |
↓ |
↓ |
↓ |
↓ |
|
|
|
M |
→ |
A |
B |
C |
D |
0 |
|
|
|
T |
→ |
B |
C |
D |
0 |
A |
|
|
|
W |
→ |
C |
D |
0 |
A |
B |
|
|
|
T |
→ |
D |
0 |
A |
B |
C |
|
|
|
F |
→ |
0 |
A |
B |
C |
D |
|
|
A, B, C, and D are the four different types of music, and 0 refers to
no music.
12.15. y = αx. 12.17. y = (α + 2)x + 2α. 12.21. 1.
12.23. |
1 |
6 |
11 |
|
16 |
|
|
|
1 |
6 |
11 |
16 |
|
||
|
|
|
|
|
|
||||||||||
|
12 |
15 |
2 |
|
5 |
|
|
|
15 |
12 |
5 |
2 |
|
||
|
14 |
9 |
8 |
|
3 |
|
|
|
8 |
3 |
14 |
9 |
|
||
|
7 |
4 |
13 |
|
10 |
|
|
|
10 |
13 |
4 |
7 |
|
||
12.25. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
10 |
19 |
|
28 |
|
|
37 |
46 |
55 |
64 |
|
|
|||
|
|
|
|
|
|
||||||||||
|
35 |
44 |
49 |
|
58 |
|
|
7 |
16 |
21 |
30 |
|
|
||
|
29 |
22 |
15 |
|
8 |
|
|
57 |
50 |
43 |
36 |
|
|
||
|
63 |
56 |
45 |
|
38 |
|
|
27 |
20 |
9 |
2 |
|
|
||
|
52 |
59 |
34 |
|
41 |
|
|
24 |
31 |
6 |
13 |
|
|
||
|
18 |
25 |
4 |
|
11 |
|
|
54 |
61 |
40 |
47 |
|
|
||
|
48 |
39 |
62 |
|
53 |
|
|
12 |
3 |
26 |
17 |
|
|
||
|
14 |
5 |
32 |
|
23 |
|
|
42 |
33 |
60 |
51 |
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
CHAPTER 13 |
|
|
|
|
|
|
|
|
|
|
|
|
|||
13.1. Constructible. |
|
|
|
|
|
|
13.3. Constructible. |
||||||||
13.5. Not constructible. |
|
|
|
|
13.7. No. |
||||||||||
13.11. Yes. |
|
|
1 |
|
|
|
|
|
|
|
13.13. No. |
||||
13.15. Yes; |
π |
|
π |
|
π |
. |
|
13.23. Yes. |
|||||||
|
= |
|
|
− |
|
|
|||||||||
21 |
4 |
3 |
7 |
|
|||||||||||
13.25. No. |
|
|
|
|
|
|
|
|
|
|
13.27. No. |
||||
13.29. Yes. |
|
|
|
|
|
|
|
|
|
|
13.31. No. |
||||
13.33. Yes. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
CHAPTER 14
14.1. 010, 001, 111.
320 |
ANSWERS TO THE ODD-NUMBERED EXERCISES |
14.3.The checking is done modulo 9, using the fact that any integer is congruent to the sum of its digits modulo 9.
14.5.(1 2 3 4 5 6 7 8 9 10) modulo 11. It will detect one error but not correct any.
14.7. 000000, 110001, 111010, 001011, 101100, 011101, 010110, 100111.
14.9.101, 001, 100.
14.11.Minimum distance = 3. It detects two errors and corrects one error.
|
|
|
|
|
|
|
1 |
0 |
|
0 |
0 |
0 |
0 |
0 |
1 |
0 |
|
|
|
|
|
H = |
0 |
1 |
|
0 |
0 |
0 |
0 |
1 |
0 |
1 |
|||
|
|
|
|
|
0 |
0 1 0 |
0 1 |
0 |
1 |
1 |
. |
||||||
|
|
|
|
|
|
|
0 |
0 |
|
0 |
1 |
0 |
0 |
1 |
0 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
0 |
|
0 |
0 |
1 |
1 |
0 |
0 |
1 |
||
14.13. GT |
1 |
1 |
1 |
1 |
, H |
|
0 |
1 |
0 |
1 |
. |
|
|
|
|||
|
= |
|
|
|
|
|
|
= |
|
1 |
0 |
0 |
1 |
|
|
|
|
|
|
|
|
|
|
|
0 |
0 |
1 |
1 |
|
|
|
|
|||
|
0 |
|
|
|
|
|
|
|
|
0 |
|
|
|
||||
|
1 |
0 |
1 |
0 |
0 |
|
1 |
0 |
|
|
|
|
|||||
|
= |
1 |
0 |
1 |
0 |
0 |
1 |
|
0 |
0 |
0 |
, |
|
|
|
|
|
14.15. GT |
0 |
0 |
1 |
0 |
1 |
0 |
|
0 |
1 |
0 |
|
|
|
|
|||
|
|
1 |
0 |
1 |
1 |
0 |
0 |
|
0 |
0 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
|
|
0 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
||
|
H = |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
. |
|
|
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
||
14.17. 110, 010, 101, 001, 011. |
|
|
|
|
|
||||||
14.19. |
|
|
|
|
|
|
|
||||
Syndrome |
|
Coset Leader |
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
00 |
|
|
|
|
000 |
|
|
|
|
|
|
01 |
|
|
|
|
010 |
|
|
|
|
|
|
10 |
|
|
|
|
100 |
|
|
|
|
|
|
11 |
|
|
|
|
001 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ANSWERS TO THE ODD-NUMBERED EXERCISES |
|
321 |
|||||
14.21. |
|
|
|
|
|
|
|
|
Coset |
|
Coset |
|
Coset |
||
|
|
|
|
||||
|
Syndrome |
Leader |
Syndrome |
Leader |
Syndrome |
Leader |
|
|
|
|
|
|
|
|
|
00000 |
000000000 |
01011 |
000010100 |
10110 |
000000001 |
|
|
00001 |
000010000 |
01100 |
011000000 |
10111 |
000010001 |
|
|
00010 |
000100000 |
01101 |
010000010 |
11000 |
110000000 |
|
|
00011 |
000110000 |
01110 |
001000100 |
11001 |
000000111 |
|
|
00100 |
001000000 |
01111 |
000000110 |
11010 |
100000100 |
|
|
00101 |
000000010 |
10000 |
100000000 |
11011 |
000001110 |
|
|
00110 |
001100000 |
10001 |
000001010 |
11100 |
000000101 |
|
|
00111 |
000100010 |
10010 |
100100000 |
11101 |
000010101 |
|
|
01000 |
010000000 |
10011 |
000000011 |
11110 |
000001100 |
|
|
01001 |
010010000 |
10100 |
000001000 |
11111 |
000011100 |
|
|
01010 |
000000100 |
10101 |
000011000 |
|
|
|
|
|
|
|
|
|
|
|
|
14.23.(a) 56; (b) 7; (c) 27 = 128, (d) 8/9; (e) it will detect single, double, triple, and any odd number of errors; (f) 1.
14.25. No.
14.29. x8 + x4 + x2 + x + 1 and x10 + x9 + x8 + x6 + x5 + x2 + 1.
14.31. x5 + x4 + x3 + x2 + 1.