arxiv: v1 [math.gr] 27 Jan 2018

Transcription

1 Fnte groups wth two relatve subgroup commutatvty degrees arxv: v1 [math.gr] 27 Jan 2018 Mha-Slvu Lazorec and Marus Tărnăuceanu January 27, 2018 Abstract In ths paper we show that there s an nfnte number of fnte groups wth two relatve subgroup commutatvty degrees. Also, we ndcate a suffcent condton such that a fnte group has at least three relatve subgroup commutatvty degrees and we prove that D 6 s the only fnte dhedral group wth two relatve commutatvty degrees. Fnally, we study the densty of the set contanng all subgroup commutatvty degrees of fnte groups. MSC (2010): Prmary 20D60, 20P05; Secondary 20D30, 20F16, 20F18. Key words: subgroup commutatvty degree, relatve subgroup commutatvty degree, subgroup lattce. 1 Introducton The large amount of results (see [2], [4]-[8], [10]) obtaned durng the last decades usng the commutatvty degree of a fnte group G, determned the ntroducton and study of some new probablstc aspects of fnte groups theory. In ths paper, we wll focus on two such concepts that were ntroduced n [15] and [16]. More exactly, we wll prove some results related to the relatve subgroup commutatvty degree of a subgroup H of G defned by sd(h,g) = 1 L(H) L(G) {(H 1,G 1 ) L(H) L(G) H 1 G 1 = G 1 H 1 }, whch s a generalzaton of the subgroup commutatvty degree of G that s gven by sd(g) = where L(G) denotes the subgroup lattce of G. k 1 L(G) 2 {(H,K) L(G)2 HK = KH}, We recall that f G = G, where (G ) =1,k s a famly of fnte groups havng coprme orders, =1 the subgroup lattce of G s decomposable. Hence, a subgroup H of G, s wrtten as H = H, =1 where H L(G ), = 1,2,...,k. Moreover, we have k k sd(g) = sd(g ) and sd(h,g) = sd(h,g ). =1 =1 1 k

2 A relevant property of the functon f : L(G) [0,1],f(H) = sd(h,g), s that t s constant on each conjugacy class of subgroups of G. It s easy to see that Im f = 1 f and only f G s an Iwasawa group (.e. a nlpotent modular group). Havng n mnd these results, our am s to study the followng class of groups C = {G = fnte group Im f = 2}. The paper s organzed as follows. Secton 2 descrbes all fnte groups wth two relatve commutatvty degrees under the addtonal assumpton that they have one or two conjugacy classes of non-normal subgroups. A consequence of ths study s the fact that C contans an nfnte number of groups. We prove a crteron that ndcates whch groups do not belong to C n Secton 3. Usng ths result, we detect some well known classes of groups whch are not ncluded n C. Also, we show that S 3 = D6 s the unque fnte dhedral group contaned n C. In Secton 4, we study the densty of the sets {sd(g) G = fnte group} and {sd(h,g) G = fnte group,h L(G)} n [0,1]. We end our paper by suggestng some open problems n the last secton. Most of our notaton s standard and wll usually not be repeated here. Elementary notons and results on groups can be found n [3, 12]. For subgroup lattce concepts we refer the reader to [11, 13, 14]. 2 The connecton between C and the conjugacy classes of non-normal subgroups of a fnte group For a fnte group G, we wll denote the number of ts conjugacy classes of non-normal subgroups by γ(g). It s obvous that sd({1},g) = 1. Therefore, t s natural to thnk that a group G may belong to C f γ(g) = 1 or γ(g) = 2. Ths addtonal hypothess wll help us n our study because all fnte groups havng one or two conjugacy classes of non-normal subgroups were descrbed n [1] and [9], respectvely. More exactly, the followng two theorems were proved. Theorem 2.1. Let G be a fnte group. Then γ(g) = 1 f and only f G s somorphc to one of the followng groups: (1) N P, where N = Z p,p = Z q n,[n,φ(p)] = 1 and p,q are prmes such that q p 1; (2) M(p n ) = x,y x pn 1 = y p = 1,x y = x 1+pn 2, where p s a prme and n 3 f p 3 or n 4 f p = 2. Theorem 2.2. Let G be a fnte group. Then γ(g) = 2 f and only f G s somorphc to one of the followng groups: (1) A 4 ; (2) x,y x q = y pn = 1,x y = x k, where p,q are prme numbers such that p 2 q 1, n > 1 and k p2 1 (mod q) wth k 1; 2

3 (3) x,y,z x r = y pn = z q = [x,z] = [y,z] = 1,x y = x k, where p,q,r are prme numbers such that p q,q r,p r 1 and k p 1 (mod r) wth k 1; 1 (4) x,y x q2 = y pn = 1,x y = x k, where p,q are prmes such that p q 1 and k p 1 (mod q 2 ) wth k 1; (5) M(p n ) Z q, where p,q are prmes such that p q and n 3 f p 3 or n 4 f p = 2; (6) Z 4 Z 4 ; (7) Q 16 ; (8) x,y x 4 = y 2n = 1,y x = y 1+2n 1, where n 3; (9) D 8. Snce the above classfcatons are complete, our am s to pass through the two lsts of groups and fnd the ones that are contaned n C. Some answers are provded by our next two results. Theorem 2.3. Let G be a fnte group such that γ(g) = 1. Then G C f and only f G = S 3. Proof. We saw that there are only two classes of groups havng the property γ(g) = 1. The modular p-groups M(p n ) are Iwasawa, so Im f = 1. Consequently, they are not contaned n C. We assume that G = Z p Z q n, where p,q are prmes such that q p 1. There are p subgroups somorphc to Z q n and they form the conjugacy class of non-normal subgroups of G. Two dfferent conjugates cannot commute snce G does not contan a subgroup of order q n+1. Therefore, sd(z q n,g) = L(Z q n 1) L(G) + N(G) +1 L(Z q n) L(G) = n(2n+p+1)+2(n+1), (n+1)(2n+p+1) whle Then sd(g) = N(G) L(G) +p( N(G) +1) L(G) 2 = (2n+1)(2n+p+1)+2p(n+1) (2n+p+1) 2. G C sd(z q n,g) = sd(g) p = 2+ 1 or p = 1. n But p,q are prmes such that q p 1, so (p,q,n) = (3,2,1). Consequently G C f and only f G = S 3. For any other trplet (p,q,n), we have Im f = 3. Theorem 2.4. Let G be a fnte group wth γ(g) = 2. Then G C f and only f G = S 3 Z q, where q 5 s a prme number. Proof. We are movng our attenton to the lst of groups provded by Theorem Frst, we wll nspect the nlpotent groups that have two non-normal conjugacy classes of subgroups. It s easy to see that f G = Q 16 or G = D 8, we obtan that Im f = 3. Also, f G = Z 4 Z 4, we get Im f = 4. Gong further, a drect product of two Iwasawa groups s an Iwasawa group, so Im f = 1 for a group G = M(p n ) Z q, where the trplet (p,q,n) s chosen as t s ndcated n Theorem If G s a group of type (8), then t s a nonhamltonan 2-group that contans an abelan normal subgroup N = Z 2 n. Accordng to Theorem 9 of [13], snce G N s cyclc and there 1 Note that the condton q r must be added to the group (3) n Theorem I of [9], as shows the example G = S 3 Z 3 ; n ths case we have q = r = 3, but γ(g) = 3. 3

4 exst x G and an nteger m = n 1 2 such that G = N,x and g x = g 1+2m, g N, we deduce that G s modular. Consequently, G s an Iwasawa group and we have Im f = 1. The groups that are not covered yet are non-nlpotent. It s easy to see that Im f = 5 for G = A 4. If G s a group of type (2), then G = Z q Z p n, where p,q are prmes such that p 2 q 1 and n > 1. There are q subgroups somorphc to Z p n and q subgroups somorphc to Z p n 1 and they form the two non-normal conjugacy classes of subgroups of G. We wll denote them by C 1 and C 2, respectvely. Snce Z p n s a cyclc p-group, t contans one subgroup somorphc to Z p n 1. Therefore, two dfferent conjugates contaned n C 2 cannot commute. Also, the same thng can be sad about two dfferent conjugates taken from C 1. Then, we have sd(z p n 1,G) = L(Z p n 2) L(G) + N(G) +2 L(Z p n 1) L(G) = (n 1)(n+q)+n+1, n(n+q) sd(z p n,g) = L(Z p n 2) L(G) +2( N(G) +2) L(Z p n) L(G) sd(z q Z p n 1,G) = (2n 1) L(G) +q( N(G) +2) L(Z q Z p n 1) L(G) sd(g) = N(G) L(G) +2q( N(G) +2) L(G) 2 = (n 1)(n+q)+2(n+1), (n+1)(n+q) = (2n 1)(n+q)+q(n+1), (2n+q 1)(n+q) = n(n+q)+q(n+1) (n+q) 2. Now, to fnd Im f, we must study when two of the above (relatve) subgroup commutatvty degrees are equal, under the assumptons that p,q are prmes such that p 2 q 1 and n > 1. After makng some computaton, we deduce that Im f = 4 f and only f (p,q,n) = (2,5,4) and Im f = 5 f and only f (p,q,n) (2,5,4). A group G of type (4) s somorphc to Z q 2 Z p n, where p,q are prmes such that p q 1 and n s a poztve nteger. There are q subgroups somorphc to Z q Z p n whch form a non-normal conjugacy class of subgroups. Each of them have q subgroups somorphc to Z p n, so the second nonnormal conjugacy class contans q 2 subgroups. The reader can check f two non-normal subgroups commute usng smlar technques wth the ones appled prevously. We obtan the followng results: sd(z p n,g) = L(Z p n 1) L(G) + N(G) +2 L(Z p n) L(G) = n(3n+q2 +q +1)+3(n+1) (n+1)(3n+q 2, +q+1) sd(z q Z p n,g) = L(Z p n 1 q) L(G) +q( N(G) +2)+ N(G) +q +1 L(Z q Z p n) L(G) = 2n(3n+q2 +q +1)+3q(n+1)+3n+q +2 (2n+q +1)(3n+q 2, +q +1) sd(g) = N(G) L(G) +q2 ( N(G) +2)+q( N(G) +q +1) L(G) 2 = (3n+1)(3n+q2 +q +1)+3q 2 (n+1)+q(3n+q +2) (3n+q 2 +q +1) 2. The propertes of the trplet (p,q,n) lead to statng that the above 3 (relatve) subgroup commutatvty degrees are dfferent. Consequently, Im f = 4 for a group of type (4). 4

5 Fnally, f G s a group of type (3), then G = (Z r Z p n) Z q, where p,q,r are prme numbers such that p q,q r,p r 1 and n s a postve nteger. We remark that the group Z r Z p n s exactly the non-nlpotent group havng one conjugacy class of non-normal subgroups descrbed n Theorem Also, t s obvous that (rp,q) = 1. Consequently, the frst conjugacy class of non-normal subgroups contans r subgroups somorphc to Z p n, whle the second class s formed by r subgroups somorphc to Z p n Z q. Moreover, we have sd(z p n,g) = sd(z p n,z r Z p n)sd({1},z q ) = n(2n+r+1)+2(n+1), (n+1)(2n+r+1) sd(z p n Z q,g) = sd(z p n,z r Z p n)sd(z q ) = n(2n+r+1)+2(n+1), (n+1)(2n+r+1) sd(z r Z p n,g) = sd(z r Z p n)sd({1},z q ) = (2n+1)(2n+r +1)+2r(n+1) (2n+r +1) 2, (2n+1)(2n+r +1)+2r(n+1) sd(g) = sd(z r Z p n)sd(z q ) = (2n+r+1) 2. Then G C sd(g) = sd(z p n,g) r = 2+ 1 or r = 1. n Followng the propertes of p,q,r and n, we have G C f and only f G = S 3 Z q, where q s a prme number such that q 5. We fnsh our proof by statng that for a group of type (3), we get Im f = 3 for all other possble choces of the quadruplet (p,q,r,n). Lookng to our last proof, we deduce that even f γ(g) = n, where n 3 s an nteger, we always fnd a group G that belongs to C. An example would be G = S 3 Z 5 n 1. Also, our prevous proof suggests that we can generalze our last result n the followng way. Corollary 2.5. Let G be a fnte Iwasawa group such that (6, G ) = 1. Then S 3 G s contaned n C. 3 How can we fnd fnte groups that do not belong to C? In the prevous secton, we used the number of conjugacy classes of non-normal subgroups of a fnte group G to establsh that C contans an nfnte number of groups. Our next am s to fnd a condton whch guarantees that a fnte group G s not a part of C. We wll denote by N(G) the normal subgroup lattce of G and, for a subgroup H of G, we wll consder the followng set C(H) = {K L(G) HK = KH}. Proposton 3.1. Let G be a fnte group. If sd(g) < N(G) +1, then Im f > 2. Proof. Assume that Im f 2. Then Im f = 2 snce Im f = 1 would mply that G s Iwasawa and ths s contradctng our hypothess. Let H be a mnmal subgroup of G such that sd(h,g) 1. Then sd(h,g) = sd(g) as a consequence of the fact that Im f = 2. On the other hand, we have sd(k,g) = 1 for any proper subgroup K of H. Hence, sd(g) = sd(h,g) = 1 L(H) L(G) K L(H) C(K) = 1 L(H) L(G) [( L(H) 1) L(G) + C(H) ] 5

6 1 L(G) N(G) 1 [( L(H) 1) L(G) + N(G) +1] = 1 L(H) L(G) L(H) L(G) 1 L(G) N(G) 1 = N(G) +1, whch agan contradcts our hypothess. Ths argument completes our proof. We remark that the upper bound N(G) +1 s the best possble one snce, f G = S 3, we have sd(g) = N(G) +1, but Im f = 2 as we already saw. Also, our prevous result manly states that a group G may be contaned n C f ts subgroup commutatvty degree s large. Consequently, we expect that a class of groups s not ncluded n C f ts subgroup commutatvty degree vanshes asymptotcally. Some examples of well known classes of groups havng ths property were ndcated n [15]. They are -the dhedral groups -the generalzed quaternon groups -the quas-dhedral groups D 2 n = x,y x 2n 1 = y 2 = 1,yxy 1 = x 2n 1 1,n 3, Q 2 n = x,y x 2n 1 = y 4 = 1,yxy 1 = x 2n 1 1,n 3, S 2 n = x,y x 2n 1 = y 2 = 1,y 1 xy = x 2n 2 1,n 4. Corollary 3.2. The sets {D 2 n} n 3, {Q 2 n} n 3 and {S 2 n} n 4 are not ncluded n C. Proof. We wll check f the nequalty sd(g) < N(G) +1 (1) holds for a fnte groupgcontaned n anyof the mentoned classesofgroups. The followng explct formulas were ndcated n [15] and [17]: sd(d 2 n) = (n 2)2n+2 +n2 n+1 +(n 1) 2 +8 (n 1+2 n ) 2, sd(q 2 n) = (n 3)2n+1 +n2 n +(n 1) 2 +8 (n 1+2 n 1 ) 2, sd(s 2 n) = (n 3)2n+1 +n2 n +(3n 2)2 n 1 +(n 1) 2 +8 (n n 2 ) 2, N(D 2 n) = N(Q 2 n) = N(S 2 n) = n+3. Usng a mathematcal software, we deduce that nequalty (1) s satsfed for a fnte group G contaned n any of the sets {D 2 n} n 5, {Q 2 n} n 6 and {S 2 n} n 5. Hence, for such a group we have 6

7 Im f > 2 as Proposton 3.1. ndcates. Consequently, G s not an element of C. Moreover, t s easy to see that 1, f G = Q 8 Im f = 3, f G = D 8,G = Q 16,G = S 16, 4, f G = D 16,G = Q 32 ths beng a result whch completes our proof. Theorem 3.3.S 3 = D6 s the unque fnte dhedral group contaned n C. Proof. Assume that the dhedral group D 2n = x,y x n = y 2 = 1,yxy = x 1 belongs to C. Then sd(h,d 2n ) = sd(k,d 2n ) for every two non-iwasawa subgroups H and K of D 2n. The subgroup structure of D 2n s well-known: gven a dvsor r or n, D 2n possesses a subgroup somorphc to Z r, namely H0 r = r, xn and n r subgroups somorphc to D 2r, namely H r = x n r,x 1 y, = 1,2,..., n r. Then L(D 2n) = τ(n)+σ(n), where τ(n) and σ(n) are the number and the sum of all dvsors of n, respectvely. Also, by [15] we have C(H r) = τ(n)+xr, where xr s the number of solutons of n [r,s] 2( j) wth s n and j = 1,2,..., n s. (2) Snce n cannot be of type 2 m (see Corollary 3.2.), we dstngush the followng two cases. Case 1. n s odd, say n = p α1 1 pα2 2 pα k k wth each p an odd prme. By takng H = H1 1 and K = Hp 1, one obtans mplyng that C(H) = 2τ(n) and C(K) = 2τ(n)+(p 1)τ( n sd(h,d 2n ) = 3τ(n)+σ(n) 2(τ(n)+σ(n)) and sd(k,d 2n) = p α (2p +4)τ(n)+2σ(n)+(p 1)τ( n ), (p +3)(τ(n)+σ(n)) p α ). These equaltes lead to σ(n) τ(n) = 2τ( n p α ). (3) Snce s arbtrary, we nfer that α 1 = α 2 =... = α k = α, and (3) becomes k =1 p α+1 1 p 1 = (α+1) k 1 (α+3). It s easy to see that whch mples that p α+1 1 p 1 (α+1) 2, = 1,2,...,k, (α+1) k 1 (α+3) (α+1) 2k,.e. (α+3) (α+1) k+1. 7

8 From ths nequalty t follows that k = α = 1 and p 1 = 3. Thus n = 3, as desred. Case 2. n = 2 m n, where m 1 and n = p α1 1 pα2 2 pα k k s odd. Smlarly, by takng H = H1 1 and K = Hp 1, one obtans ] C(H) =τ(n)+(2m+1)τ(n ) and C(K) = τ(n)+(2m+1) [τ(n )+(p 1)τ( n ), p α mplyng that and sd(h,d 2n ) = 2τ(n)+σ(n)+(2m+1)τ(n ) 2(τ(n)+σ(n)) (p +3)τ(n)+2σ(n)+(2m+1)(p +1)τ(n )+(2m+1)(p 1)τ( n p α ) sd(k,d 2n ) =, (p +3)(τ(n)+σ(n)) respectvely. Then σ(n) (2m+1)τ(n ) = 2(2m+1)τ( n ), (4) and agan we have α 1 = α 2 =... = α k = α. Thus (4) becomes p α (2 m+1 1)σ(n ) = (2m+1)(α+1) k 1 (α+3). (5) But we have 2 m+1 1 2m+1 wth equalty f and only f m = 1, and σ(n ) (α+1) k 1 (α+3) wth equalty f and only f k = α = 1 and p 1 = 3. So, (5) leads to n = 6. In ths case we observe that sd(h,d 12 ) = sd(k,d 12 ) = = sd(d 12,D 12 ) = sd(d 12 ) (.e. the functon f has at least three dstnct values 1, , and 128 ), a contradcton. Hence n = 3, completng the proof. 4 Densty results for (relatve) subgroup commutatvty degree Let α [0,1]. We wll consder the followng two sets A = {sd(g) G = fnte group} and B = {sd(h,g) G = fnte group,h L(G)}. An nterestng queston that appeared after the subgroup commutatvty degree of a fnte group G was ntroduced, was f there exsts a sequence of groups (G n ) n N, such that lm sd(g n) = α. In n other words, s the set A dense n [0,1]? We wll show that the answer s negatve and an mportant role n our proof wll be played by the followng prelmnary result. Proposton 4.1. The set B s dense n [0,1]. Proof. Let α [0,1]. It s obvous that α = 1 s a lmt pont. If α = 0, then we choose the sequence (D 2 n,d 2 n) n 3 and we have lm sd(d 2 n,d 2n) = lm sd(d 2n) = 0, as t was proved n n n 8

9 [15]. Further, we consder α = a b Q (0,1), where a,b are postve ntegers wth a < b. The proof of Theorem 2.3. provdes the explct formula that allows us to compute sd(z q n,z p Z q n), where p,q are prmes such that q p 1 and n s a postve nteger. We remark that lm sd(z q n,z n(2n+p+1)+2(n+1) p Z q n) = lm = n p p (n+1)(2n+p+1) n+1. Further, we consder the sequence (q ) N, where each q s a prme number of the form 4k+3, wth k N. Snce (4q,1) = 1, there s a sequence of prmes (p ) N of the form 4hq +1. In ths way, for each prme q, we fnd a prme p such that q p 1. Moreover the sequences (p ) n N,(q ) n N are strctly ncreasng and p q j,,j N. Now, let (kn),(k 1 n),...,(k 2 n b a ) some strctly ncreasng and dsjont subsequences of N. From our prevous dscusson about prme numbers, we can choose the sequences (Hj n,gn j ) n N = (Z q a+j 1,Z q a+j 1 Z pk j ) n N, where j = 1,2,...,b a. Then n k j n lm n sd(hn j,gn j Moreover, we can buld the sequence k j n a+j 1 ) =, j = 1,2,...,b a. a+j ( b a b a Hj j=1 n, j=1g n j ), and use the fact that L n N ( b a j=1g n j decomposable for each postve nteger n, whch, agan, s a consequence of the above dscusson about prme numbers. Fnally, we get that ( b a b a ) b a lm sd H n j j=1 n, b a j=1g n j = lm n sd(hn j,gn j ) = j=1 j=1 a+j 1 a+j = a b = α. Ths mples that (0,1) Q B. Snce 0 and 1 were other lmt ponts and B [0,1], we have [0,1] Q B [0,1]. Fnally, we deduce that B s dense n [0,1] as a consequence of the fact that the closure of [0,1] Q s [0,1]. Theorem 4.2. The set A s not dense n [0,1]. Proof. It s clear that A B and we proved that B = [0,1]. If B = A, then B s closed, so B = B. But B s dense n [0,1] and ths leads us to B = [0,1], whch s false snce any relatve subgroup commutatvty degree of a subgroup H of G can only be a ratonal number accordng to the defnton of ths concept. Hence, B A. Then there s a non-empty open set D B such that D A =. Snce D s an open set of B, t s wrtten as D = B D 1, where D 1 s an open set of R. But D [0,1], so D = B (D 1 [0,1]) = B D 2, where D 2 s an open set of [0,1]. We add that D 2 s non-empty and D 2 A =. Otherwse, we would obtan that D = or D A, a contradcton. Therefore, A [0, 1] and our proof s complete. 5 Further research We dd not fully descrbed the set C and another remark s that we dd not fnd any nlpotent group that belongs to ths set. Hence, t s natural to ndcate the followng two open problems: Problem 5.1. Show that C = {S 3 G G = fnte Iwasawa group such that (6, G ) = 1}. Problem 5.2. Does C contans any nlpotent group? ) s 9

10 References [1] R. Brandl, Groups wth few non-normal subgroups, Comm. Algebra 23 (1995), [2] W.H. Gustafson, What s the probablty that two group elements commute?, Amer. Math. Monthly 80 (1973), [3] B. Hupert, Endlche Gruppen, I, II, Sprnger Verlag, Berln, 1967, [4] P. Lescot, Sur certans groupes fns, Rev. Math. Spécales 8 (1987), [5] P. Lescot, Degré de commutatvté et structure d un groupe fn (1), Rev. Math. Spécales 8 (1988), [6] P. Lescot, Degré de commutatvté et structure d un groupe fn (2), Rev. Math. Spécales 4 (1989), [7] P. Lescot, Isoclnsm classes and commutatvty degrees of fnte groups, J. Algebra 177(1995), [8] P. Lescot, Central extensons and commutatvty degree, Comm. Algebra 29(2001), [9] H. Mousav, On fnte groups wth few non-normal subgroups, Comm. Algebra 27 (1999), [10] D.J. Rusn, What s the probablty that two elements of a fnte group commute?, Pacfc J. Math. 82 (1979), [11] R. Schmdt, Subgroup lattces of groups, de Gruyter Expostons n Mathematcs 14, de Gruyter, Berln, [12] M. Suzuk, Group theory, I, II, Sprnger Verlag, Berln, 1982, [13] M. Tărnăuceanu, Groups determned by posets of subgroups, Ed. Matrx Rom, Bucureşt, [14] M. Tărnăuceanu, Contrbutons to the study of subgroup lattces, Ed. Matrx Rom, Bucureşt, [15] M. Tărnăuceanu, Subgroup commutatvty degrees of fnte groups, J. Algebra 321 (2009), [16] M. Tărnăuceanu, Addendum to Subgroup commutatvty degrees of fnte groups, J. Algebra 337 (2011), [17] M. Tărnăuceanu, Normalty degrees of fnte groups, Carpath. J. Math. 33 (2017), Mha-Slvu Lazorec Faculty of Mathematcs Al.I. Cuza Unversty Iaş, Romana e-mal: mha.lazorec@student.uac.ro Marus Tărnăuceanu Faculty of Mathematcs Al.I. Cuza Unversty Iaş, Romana e-mal: tarnauc@uac.ro 10