• Aucun résultat trouvé

BAS- Exercise sheet 1 -correction

N/A
N/A
Protected

Academic year: 2021

Partager "BAS- Exercise sheet 1 -correction"

Copied!
1
0
0

Texte intégral

(1)

University of Luxembourg Year 2013-2014 Basic algebraic structures

Corrections of exercises 6-9

Exercise 6

a) As U and V are subgroups, they both contain the neutral element e of G, so e ∈ U ∩ V . We have to show that if x and y belong to U ∩ V , then so does xy−1. Since U is a subgroup of G :

x ∈ U ∩ V and y ∈ U ∩ V ⇒ x ∈ U and y ∈ U ⇒ xy−1∈ U and similarly, ince V is also a subgroup of G :

x ∈ U ∩ V and y ∈ U ∩ V ⇒ x ∈ V and y ∈ V ⇒ xy−1∈ V Thus

x ∈ U ∩ V and y ∈ U ∩ V ⇒ xy−1∈ U and xy−1∈ V ⇒ xy−1∈ U ∩ V

b) Let a be an element of U ∩ V . Then a ∈ U so the order of a divides the order of U . Similarly, the order of a has to divide the order of V . So the order of a has to be a common divisor of #U and #V , but the only common divisor of those two numbers is supposed to be 1, which implies that the order of a is exactely 1 i.e. a = e. Thus

gcd(#U, #V ) = 1 ⇒ U ∩ V = {e} Exercise 7

a) Let a1be a generator of G1and a2be a generator of G2. We claim that (a1, a2) is a generator of G1× G2.

As G1× G2 as order n1n2, it suffices to show that (a1, a2) as order n1n2. Suppose that (a1, a2)k= (e, e)

for somme positive integer k. Then (ak

1, ak2) = (e, e) thus ak1 = e and ak2 = e. But a1 has order n1 so n1

divides k, and a2 has order n2 so n2 divides k. Since gcd(n1, n2) = 1, this implies that n1n2 divides k.

Thus, the order of (a1, a2) is n1n2.

b) C2× C2 has order 2 × 2 = 4. If it was cyclic, it would contain an element of order 4. But for any a and b

in C2,

(a, b)2= (a2, b2) = (e, e)

because C2 has order 2. Thus, any element od C2× C2has order at most 2, so there is no element of order

4 in it, which implies that it cannot be cyclic.

Exercise 8 Let a be a generator of G. If H = {e}, then H is clearly cyclic. If H 6= {e}, then we can consider the smallest non-zero integer k such that ak belongs to H. We claim that H =< ak>. Indeed, any element b of H − {e} can be written has b = ai or a−ifor some positive integer i. Consider the euclidean division of i by k :

i = kq + r 0 6 r < k Then

ar= ai−kq= ai((ak)−1)q = b±1((ak)−1)q

Since b and ak belong to H, so does ar = b±1((ak)−1)q. Thus ar∈ H and r < k so r has to be zero otherwise it would be contradictory with the minimality assumption on k. This implies that b = a±i = (ak)q for some q ∈ Z, which implies that H ⊂< ak>. The inverse inclusion is obvious, so < ak>= H which proves that H is

cyclic, generated by ak.

Exercise 9

a) Notice that 10i= 1 mod 3. As a =Pn

i=0ai10i we have a = n X i=0 aimod 3 Thus 3|a ⇔ a = 0 mod 3 ⇔ n X i=0 ai= 0 mod 3 ⇔ 3| n X i=0 ai

b) 10i= 1 mod 9 and 10i= (−1)imod 11.

Références

Documents relatifs

2 Until a refrigerator-stable vaccine becomes available, however, varicella vac- cine will not be incorporated into the recommend- ed immunization schedule in Canada, as most

Overall, among the 17 different autophagy-associated proteins we found to be targeted by RNA virus proteins, 9 proteins interact with one RNA virus family, 5 interact with 2

This Note is a complement to paper [6] , especially Theorem 1.3, when the total ordering imposed on the wreath product C l o S n is defined as follows: the set {0, 1,. The

Qualitatively different categories of descriptions concerning the meaning of evalua- ting technical solutions, performing a house hop and being able to act with presence

Gr´ egory Chatel and Viviane Pons Universit´ e Paris-Est Marne-la-Vall´ ee. Counting smaller trees in the

IL EST RÉSOLU par le conseil de la ville de Campbellton de conclure un accord avec le ministre des Gouvernements locaux du Nouveau-Brunswick afin de fournir

The matrix formed by the first, the second, and the last vector has the determinant 9, so is invertible, so its reduced row echelon form is the identity matrix, so those three

It will be seen that the method used in this paper leads immediately to a much better result than o (n/log2 n) for thenumber ofprimitive abundant numbers not