Solutions to Selected Homework Problems 1.26 Claim: α : S S which is 1-1 but not onto β : S S which is onto but not 1-1. y z = z y y, z S.

Σχετικά έγγραφα
2 Composition. Invertible Mappings

EE512: Error Control Coding

ST5224: Advanced Statistical Theory II

Every set of first-order formulas is equivalent to an independent set

Reminders: linear functions

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit

ORDINAL ARITHMETIC JULIAN J. SCHLÖDER

C.S. 430 Assignment 6, Sample Solutions

Example Sheet 3 Solutions

2. Let H 1 and H 2 be Hilbert spaces and let T : H 1 H 2 be a bounded linear operator. Prove that [T (H 1 )] = N (T ). (6p)

Finite Field Problems: Solutions

A Note on Intuitionistic Fuzzy. Equivalence Relation

Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in

Matrices and Determinants

Chapter 3: Ordinal Numbers

Fractional Colorings and Zykov Products of graphs

Homomorphism of Intuitionistic Fuzzy Groups

4.6 Autoregressive Moving Average Model ARMA(1,1)

SCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions

CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS

Cyclic or elementary abelian Covers of K 4

Lecture 13 - Root Space Decomposition II

Section 8.3 Trigonometric Equations

Intuitionistic Fuzzy Ideals of Near Rings

6.1. Dirac Equation. Hamiltonian. Dirac Eq.

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

Inverse trigonometric functions & General Solution of Trigonometric Equations

Trigonometry 1.TRIGONOMETRIC RATIOS

Math 446 Homework 3 Solutions. (1). (i): Reverse triangle inequality for metrics: Let (X, d) be a metric space and let x, y, z X.

Homework 3 Solutions

Homomorphism in Intuitionistic Fuzzy Automata

HOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:

Practice Exam 2. Conceptual Questions. 1. State a Basic identity and then verify it. (a) Identity: Solution: One identity is csc(θ) = 1

Fourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics

James Lee Crowder Math 430 Dr. Songhao Li Spring 2016 HOMEWORK 5 SOLUTIONS

Lecture 15 - Root System Axiomatics

SOLVING CUBICS AND QUARTICS BY RADICALS

Uniform Convergence of Fourier Series Michael Taylor

Statistical Inference I Locally most powerful tests

w o = R 1 p. (1) R = p =. = 1

DIRECT PRODUCT AND WREATH PRODUCT OF TRANSFORMATION SEMIGROUPS

Tridiagonal matrices. Gérard MEURANT. October, 2008

Srednicki Chapter 55

Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3

The Simply Typed Lambda Calculus

k A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +

Solutions to Exercise Sheet 5

UNIT - I LINEAR ALGEBRA. , such that αν V satisfying following condition

3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 19/5/2007

A Note on Characterization of Intuitionistic Fuzzy Ideals in Γ- Near-Rings

Generating Set of the Complete Semigroups of Binary Relations

Solution Series 9. i=1 x i and i=1 x i.

ANSWERSHEET (TOPIC = DIFFERENTIAL CALCULUS) COLLECTION #2. h 0 h h 0 h h 0 ( ) g k = g 0 + g 1 + g g 2009 =?

Partial Differential Equations in Biology The boundary element method. March 26, 2013

( ) 2 and compare to M.

F19MC2 Solutions 9 Complex Analysis

Congruence Classes of Invertible Matrices of Order 3 over F 2

5. Choice under Uncertainty

Econ 2110: Fall 2008 Suggested Solutions to Problem Set 8 questions or comments to Dan Fetter 1

MINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS

On a four-dimensional hyperbolic manifold with finite volume

Math221: HW# 1 solutions

New bounds for spherical two-distance sets and equiangular lines

MATH1030 Linear Algebra Assignment 5 Solution

Units and the Unit Conjecture

Homework 8 Model Solution Section

SOLUTIONS TO MATH38181 EXTREME VALUES AND FINANCIAL RISK EXAM

Other Test Constructions: Likelihood Ratio & Bayes Tests

Commutative Monoids in Intuitionistic Fuzzy Sets

CHAPTER 101 FOURIER SERIES FOR PERIODIC FUNCTIONS OF PERIOD

PHYS606: Electrodynamics Feb. 01, Homework 1. A νµ = L ν α L µ β A αβ = L ν α L µ β A βα. = L µ β L ν α A βα = A µν (3)

( y) Partial Differential Equations

Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 6/5/2006

Approximation of distance between locations on earth given by latitude and longitude

THE SECOND ISOMORPHISM THEOREM ON ORDERED SET UNDER ANTIORDERS. Daniel A. Romano

Concrete Mathematics Exercises from 30 September 2016

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

MATHEMATICS. 1. If A and B are square matrices of order 3 such that A = -1, B =3, then 3AB = 1) -9 2) -27 3) -81 4) 81

ω ω ω ω ω ω+2 ω ω+2 + ω ω ω ω+2 + ω ω+1 ω ω+2 2 ω ω ω ω ω ω ω ω+1 ω ω2 ω ω2 + ω ω ω2 + ω ω ω ω2 + ω ω+1 ω ω2 + ω ω+1 + ω ω ω ω2 + ω

12. Radon-Nikodym Theorem

CRASH COURSE IN PRECALCULUS

1. Introduction and Preliminaries.

Bounding Nonsplitting Enumeration Degrees

Trigonometric Formula Sheet

Section 9.2 Polar Equations and Graphs

Second Order Partial Differential Equations

Areas and Lengths in Polar Coordinates

F A S C I C U L I M A T H E M A T I C I

Problem Set 3: Solutions

Quadratic Expressions

Lecture 2. Soundness and completeness of propositional logic

1 String with massive end-points

Affine Weyl Groups. Gabriele Nebe. Summerschool GRK 1632, September Lehrstuhl D für Mathematik

Overview. Transition Semantics. Configurations and the transition relation. Executions and computation

Chapter 2. Ordinals, well-founded relations.

Areas and Lengths in Polar Coordinates

Jordan Journal of Mathematics and Statistics (JJMS) 4(2), 2011, pp

9.09. # 1. Area inside the oval limaçon r = cos θ. To graph, start with θ = 0 so r = 6. Compute dr

Transcript:

Solutions to Selected Homework Problems 1.26 Claim: α : S S which is 1-1 but not onto β : S S which is onto but not 1-1. Proof. ( ) Since α is 1-1, β : S S such that β α = id S. Since β α = id S is onto, β is onto. β is not invertible since otherwise α = β 1 would be invertible. So β is not 1-1. ( ) Since β is onto, α : S S such that α β = id S. Since β α = id S is 1-1, α is 1-1. α is not invertible since otherwise β = α 1 would be invertible. So α is not onto. 2.24 Proof. Since α : T U is 1-1, δ : U T such that δ α = id T. So 3.31 Proof. We have β = (δ α) β = δ (α β) = δ (α γ) = (δ α) γ = γ. Letting x = e in the above, Hence is commutative. Now x (y z) = (x z) y x, y, z S. y z = z y y, z S. x (z y) = x (y z) = (x z) y x, y, z S. Hence is associative. 4.8 Proof. (a) α a,0, α b,0 B where a, b R, a 0, b 0, α a,0 α b,0 = α ab,0 B where 0 ab R. Hence is an operation on B. It is associative and commutative. α 1,0 is the identity. (b) α 1,b, α 1,c C where b, c R, α 1,b α 1,c = α 1,b+c C. Hence is an operation on C. It is associative and commutative. α 1,0 is the identity. (c) In fact, α a,b = α 1,b α a,0. 5.12 Proof. Let G = {2 m 3 n : m, n Z}. 2 m1 3 n1, 2 m2 3 n2 G, 2 m1 3 n1 2 m2 3 n2 = 2 m1+m2 3 n1+n2 G. Hence G is closed under multiplication. 2 0 3 0 is the identity of G. a = 2 m 3 n G, a 1 = 2 m 3 n G. Hence G is a group. 5.21 1

2 Solution. The Cayley table must be x y z x x y z y y z x z z x y 6.4 Solution. (a) ( ) 1 2 3 4 5 6 = (2, 6)(3, 4, 5). 1 6 4 5 3 2 (b) (1, 4)(1, 3)(1, 2) = (1, 2, 3, 4). (c) (1, 2, 3) 1 (2, 3)(1, 2, 3) = (3, 2, 1)(1, 2)(3, 2, 1) 1 = (2, 1). (d) (2, 4, 5)(1, 3, 5, 4)(1, 2, 5) = (1, 4)(2, 5, 3). 6.9 Proof. Let α = (a 1, a 2,..., a k ), β = (a 1, a k ) (a 1, a 3 )(a 1, a 2 ). x {1,..., n}, we will show that α(x) = β(x). Case 1. x / {a 1,..., a k }. Then α(x) = x and β(x) = x. Case 2. x = a i for some 1 i k 1. We have α(x) = a i+1 and β(x) = ( (a 1, a k ) (a 1, a i ) ) (a i ) = ( (a 1, a k ) (a 1, a i+1 ) ) (a 1 ) = ( (a 1, a k ) (a 1, a i+2 ) ) (a i+1 ) = a i+1. Case 3. x = a k. We have α(x) = a 1 and β(x) = a 1. 7.2 Proof. (a) It is a subgroup. (b) It is a subgroup. (c) It is not a subgroup. (1, 2, 3, 4, 5) 2 is not in the set. (d) It is a subgroup. 7.24 Proof. Let a, b Z(G). x G, we have (a b) z = a (b z) = a (z b) = (a z) b = (z a) b = z (a b). Thus a b Z(G). Hence Z(G) is closed under. Clearly, e Z(G). Let a Z(G). Then x G, a x = x a. Thus a 1 (a x) a 1 = a 1 (x a) a 1, i.e., x a 1 = a 1 x. Hence a 1 Z(G). 8.5

3 Solution. Let p k = e k 2π 1 5, k = 0, 1, 2, 3, 4 and let T = {p 0,..., p 4 }. The question is determine M (T ). p 2 y p 1 p 0 x p 3 p 4 Let We claim that α = the counterclockwise rotation of 72, β = the reflection with respect to the x-axis. M (T ) = {α i β j : 0 i 4, j = 0, 1}. Proof of the claim. It suffices to show that every γ M (T ) is of the form α i β j for some 0 i 4 and 0 j 1. There is a j (0 j 4) such that α j (p 0 ) = γ(p 0 ). Thus (α j γ)(p 0 ) = p 0. Since (α j γ) is an isometry such that leaves T invariant, it follows that (α j γ)({p 1, p 4 }) = {p 1, p 4 }. Case 1. (α j γ)(p 1 ) = p 1 and (α j γ)(p 4 ) = p 4. Using the fact (α j γ) is an isometry such that leaves T invariant, it follows that (α j γ)(p k ) = p k for all k = 0,... 4. Thus (α j γ) = id. Therefore, γ = α j = α j β 0. Case 2. (α j γ)(p 1 ) = p 4 and (α j γ)(p 4 ) = p 1. Then (βα j γ)(p k ) = p k for k = 0, 1, 4. By the arguments in Case 1, we have (βα j γ)(p k ) = p k = id. Hence, 9.8 γ = α j β 1. Proof. (a) Reflexivity. a N, a = a 10 0, hence a a. Symmetry. Assume a, b N such that a b. Then a = b 10 k for some k Z. We have b = a 10 k, hence b a. Transitivity. Assume a, b, c N such that a b and b c. Then a = b 10 k and b = c 10 l for some k, l Z. It follows that a = c 10 k+l, hence a c. (b) {a N : 10 a} is a complete set of equivalence class representatives. 9.17

4 Proof. (a) Routine. (b) [(x, y)] consists of all points in R 2 obtained by shifting (x, y) and integral units horizontally and an integral units vertically. (c) [0, 1) [0, 1) is a complete set of equivalence class representatives. 10.16 Proof. Since a b (mod n) and c d (mod n), we have a = b + un and c = d + vn for some u, v Z. Thus, ac = (b + un) + (d + vn) = bd + bvn + und + uvn 2 = bd + (bv + ud + uvn)n where bv + ud + uvn Z. Hence ac bd (mod n). 10.18 Solution. Not true. Example: 4 1 (mod 3), but 4 2 1 2 (mod 3 2 ). 11.3 Solution. (f) [17] [76] = [2] [1] = [2]. 11.14 Disproof. [2] [2] / Z 4. 14.7 Solution. (a) (1, 2, 3, 4) = {id, (1, 2, 3, 4), (1, 3)(2, 4), (4, 3, 2, 1)}. (b) (1, 2, 3, 4, 5) = {id, (1, 2, 3, 4, 5), (1, 3, 5, 2, 4), (4, 2, 5, 3, 1), (5, 4, 3, 2, 1)}. (c) (1, 2,, n) = n. 14.14 Proof. (a) (ab) mn = a m b n = e. (b) It follows from Theorem 14.3 (b). (c) [2] Z 4 with o([2]) = 2. But o([2][2]) = o([0]) = 1 2 2. 14.20 e a a 2 a 3 a 4 e e a a 2 a 3 a 4 a a a 2 a 3 a 4 e a 2 a 2 a 3 a 4 e a a 3 a 3 a 4 e a a 2 a 4 a 4 e a a 2 a 3 14.31 Proof. Since (a 1 ba) n = a 1 b n a, we see that (a 1 ba) n = e a 1 b n a = e b n = e. Thus o(a 1 ba) = o(b). 15.2 Proof. Since 24, 36, 54 6 24, 36, 54 6. Since 6 = 54 2 24 24, 36, 54 6 24, 36, 54. 15.19 Proof. Z 2 Z 2 is not cyclic since it does not contain any element of order 4.

5 15.25 Proof. ( ) Since [1] Z n = [a] [1] = u[a] for some a Z. Thus ua 1 (mod n), i.e., ua + vn = 1 for some v Z. It follows that gcd(a, n) = 1. ( ) We have 1 = gcd(a, n) = ua + vn for some u, v Z. Thus [1] = u[a] [a]. Hence Z p = [1] [a]. 16.8 Solution. The distinct right coset of Z in R are Z + x, x [0, 1). Z + x, x [0, 1) is obtained by shifting Z x units to the right. 16.17 Solution. 16.20 ((1, 2), [1]) (id, [0]) ={(id, [0]), (1, 2), [1])}, ((1, 2), [1]) (id, [1]) ={(id, [1]), (1, 2), [0])}, ((1, 2), [1]) ((1, 3), [0]) ={((1, 3), [0]), ((1, 3, 2), [1])}, ((1, 2), [1]) ((1, 3), [1]) ={((1, 3), [1]), ((1, 3, 2), [0])}, ((1, 2), [1]) ((2, 3), [0]) ={((2, 3), [0]), ((1, 2, 3), [1])}, ((1, 2), [1]) ((2, 3), [1]) ={((2, 3), [1]), ((1, 2, 3), [0])}, Proof. Assume that HaK HbK. Then h 1, h 2 H and k 1, k 2 K such that h 1 ak 1 = h 2 bk 2. So a = h 1 1 h 2bk 2 k1 1. Now for any h H and k K, we have hak = (hh 1 1 h 2)b(k 2 k1 1 ) HbK since hh 1 1 h 2 H and k 2 k1 1 K. So HaK HbK. By symmetry, HbK HaK. 17.15 Solution. Trivial subgroups: {([0], [0])}, Z p Z p. Subgroups of order p: ([1], y), y Z p and ([0], [1]). 18.14 Proof. Define f : Z mn Z m Z n by f([x] mn ) = ([x] m, [x] n ), x Z. Note that if [x] mn = [y] mn, then x y (mod mn). Hence x y (mod m) and x y (mod n), i.e., [x] m = [y] m and [x] n = [y] n. Thus f is well defined. For any [x] mn, [y] mn Z mn, we have Hence f is a homomorphism. f([x] mn [y] mn ) = f([xy] mn ) = ([xy] m, [xy] n ) = ([x] m [y] m, [x] n [y] n ) = ([x] m, [x] n ) ([y] m, [y] n ) = f([x] mn )f([y] mn ).

6 Suppose f([x] mn ) = f([y] mn ). Then [x] m = [y] m and [x] n = [y] n, i.e., x y (mod m) and x y (mod n). Since gcd(m, n) = 1, we have x y (mod mn), i.e., [x] mn = [y] mn. Therefore, f is 1-1. Since Z mn and Z m Z n are finite of the same cardinality, f is a bijection. 19.9 Reason. S 3 Z 2 has 2 elements of order 3; A 4 has 8 elements of order 3. 19.18 Proof. Let G = a be an infinite cyclic group. Then o(a) =. Define f : Z G n a n Since f(m + n) = a m+n = a m a n = f(m)f(n), f is a homomorphism. Clearly f is onto. Assume f(m) = f(n) for some m, n Z. Then a m = a n, i.e., a m n = e. Since o(a) =, it follows that m n = 0, i.e., m = n. Thus f is 1-1. 19.26 Proof. Clearly, θ is a bijection. a, b G, we have So θ is a homomorphism. θ(ab) = (ab) 1 = b 1 a 1 = a 1 b 1 = θ(a)θ(b). 20.3 Solution. an element α (1, 2, 3) id (1, 2, 3) (1, 3, 2) 21.5 the permutation θ(α) ( id ) id (1, 2, 3) (1, 3, 2) (1, 2, 3) (1, 3, 2) id ( id (1, 2, 3) ) (1, 3, 2) (1, 3, 2) id (1, 2, 3) Proof. (a) Assume that [a] 6 = [b] 6. Then a b (mod 6). Hence a b (mod 3), i.e., [a] 3 = [b] 3. (b) [a] 6, [b] 6 Z 6, we have θ([a] 6 + [b] 6 ) = θ([a + b] 6 ) = [a + b] 3 = [a] 3 + [b] 3 = θ([a] 6 ) + θ([b] 6 ). (c) ker θ = [3] 6. 21.11 Proof. x, y G, we have (β α)(xy) = β(α(xy)) = β(α(x)α(y)) = β(α(x))β(α(y)) = ( (β α)(x) )( (β α)(y) ). Hence β α is a homomorphism. 21.30

7 Proof. (a) E is the identity. I 2 = J 2 = K 2 = E. Additional rules of multiplication in Q 8 are illustrated by the diagram below. The product of any two elements in the counterclockwise direction equals the third element; the product of any two elements in the clockwise direction equals the third element with a negative sign. E.g, IJ = K, JK = I, IK = J, etc. I K Thus Q 8 is closed under multiplication and (±E) 1 = ±E, (±I) 1 = I, (±J) 1 = J, (±K) 1 = K. Hence Q 8 is a subgroup of M(2, C). (b) Subgroup of order 1: {E}. Subgroup of order 2: {±E}. Subgroups of order 4: I = {±E ± I}, 22.6 Subgroup of order 8: Q 8. J = {±E ± J}, K = {±E ± K}. Proof. Let G = a and N G. Every element in G/N is of the form Nx for some x G. Since x = a n for some n Z, we have Nx = N(a n ) = (Na) n. Hence G/N = Na. 22.9 Proof. (a) Since G/N = p is a prime, G/N Z p is cyclic. (b) Disproof. Z/6Z Z 6 is cyclic. Yet [Z : 6Z] = 6 is not a prime. 22.12 Proof. Every element of Q/Z is of the form Z + r for some r Q. Write r = m n, where m, n Z and n 0. Then Hence o(z + r) n. n Z with n > 0, o(z + 1 n ) = n. 23.4 n(z + r) = Z + nr = Z + 0. Solution. The homomorphic images of S 3 are S 3, Z 2, and {e}. 23.16 S 3 S 3 /{id}, Z 2 S 3 /A 3, {e} S 3 /S 3. J

8 Proof. 1 A < G. x, y A, θ(a) B and θ(a) B. Hence θ(xy) = θ(x)θ(y) B, i.e., xy A. Thus A is closed under multiplication. We also have θ(x 1 ) = (θ(x)) 1 B. Hence x 1 A. Thus A is also closed under inversion. It follows that A < G. 2 A G. a A and xg G, we have θ(g 1 ag) = (θ(g)) 1 θ(a)θ(g) B since θ(a) B and B H. Therefore, g 1 ag A, which proves that A G. 23.20 Proof. (a) h 1 k 1, h 2 k 2 HK, where h 1, h 2 H and k 1, k 2 K, we have (h 1 k 1 )(h 2 k 2 ) = (h 1 h 2 )(h 1 2 k 1h 2 )k 2 HK since h 1 h 2 H, (h 1 2 k 1h 2 ) K and k 2 K. Thus HK is closed under multiplication. We also have (h 1 k 1 ) 1 = k1 1 h 1 1 = h 1 1 (h 1k1 1 h 1 1 ) HK. Hence HK is also closed under inversion. It follows that HK < G. Clearly, K HK, hence K < HK. g HK, since K G, we have g 1 Kg = K. Hence K HK. (b) h 1, h 2 H, we have θ(h 1 h 2 ) = Kh 1 h 2 = (Kh 1 )(Kh 2 ) = θ(h 1 )θ(h 2 ). So θ is a homomorphism. h H and k K, we have Khk = hkk = hk = Kh = θ(h). So θ is onto. (c) a H K, we have θ(a) = Ka = K. So a ker θ. Thus H K ker θ. a ker θ, we have K = θ(a) = Ka. So a K. Since the domain of θ is H, we also have a H. So a H K. Thus ker θ H K. By the fundamental homomorphism theorem, 53.6 Proof. (a) (b) HK/H K = HK/ ker θ = HK/K. Orb(1) = Orb(2) = Orb(3) = Orb(4) = {1, 2, 3, 4}. Orb(5) = Orb(6) = {5, 6}. G 1 = G 2 = G 3 = G 4 = {id}. G 5 = G 6 = {id, (1, 3)(2, 4)}. (c) Orb(1) = 4, G / G 1 = 4/1 = 4. Orb(5) = 2, G / G 5 = 4/2 = 2. 53.8 Proof. a, b G s, we have π a (s) = s and π b (s) = s. Hence π ab (s) = (π a π b )(s) = π a (π b (s)) = π a (s) = s. Thus ab G s. So G s is closed under multiplication. We also have π a 1(s) = πa 1 (s) = s since π a (s) = s. Thus a 1 G s. Therefore G s is closed under inversion. It follows that G s < G.

9 53.17 Proof. (a) a, b G, we want to show that π ab = π a π b. gh S, where g G, we have ( (π a π b )(gh) = π a πb (gh) ) ( ) = π a (bg)h = (abg)h = πab (gh). Hence π ab = π a π b. (b) Let a ker π. Then π a = id. Thus for any g G, π a (gh) = gh, i.e., (ag)h = gh. It follows that g 1 (ag) H, i.e., a ghg 1. Since this is true for all g G, we have a {ghg 1 : g G}. So, ker π {ghg 1 : g G}. Let a {ghg 1 : g G}. Then g G, a ghg 1. Thus g 1 (ag) H, hence (ag)h = gh, i.e., π a (gh) = gh. Therefore π a = id. Hence a ker π. So, {ghg 1 : g G} ker π.