In this paper we continue the algebraic consideration begun earlier. As it was sun,
two of the proprieties of Smarandache's function are hold

Dumitrescu, C.

Radescu, E.

Radescu, N.

English

ZENODO

SOME ELEMENTARY ALGEBRAIC CONSIDERATIONS INSPIRED BY SMARANDACHE'S FUNCTION (II) E. R.A.DESCU, N. R.A.DESCU AND C. DUMITRESCU In this paper we continue the algebraic consideration begun in [2]. As it was sun, two of the proprieties of Smarandache's function are hold: (1) 5 is a surjective function; (2) 5([m,n]) = max {5(m),5(n)}, where [m,n] is the smallest common multiple of m and n. That is on N there are considered both of the divisibility order "~d" having the known properties and the total order with the usual order :5 with all its properties. N has also the algebric usual operations "+" and ".". For instance: a :5 b <=> (3) u E N so that b = a + u. Here we can stand out: : the universal algebra (N*, 0), the set of operations is 0 = {V d, 'Po} where Vd : (N*)2 -+ N* is given by m Vd n = [m, n], and 'Po : (N*)o -+ N* the null operation that fixes I-unique particular element with the role of neutral element for "V d" -that means 'Po ({0}) = 1 and 1 = eVd ; : the universal algebra (N*, 0'), the set of operations is 0' = {V, tPo} where V : N2 -+ N is given by x V y = sup {x, y} and tPo : N° -+ N a null operation with tPo ({0}) = 0 the unique particular element with the role of neutral element for V, so 0 = ev. We observe that the universal algebras (N*, 0) and (N*, 0') are of the same type: _(Vd 'Po)_(V tPo) 2 0 - 2 0 and with the similarit y (bijective) Va<=> V and 'Po <=> tPo, Smarandache's function 5: N* -+ N is a morphism surjective between them 5(x Va y) - 5(x) V 5(y), \lx,y E N* from (2) and 5(cpo({0}» = tPo({0}) <=> 5(1) = o. 70 E. RADESCU, N. RADESCU AND C. DUMITRESCU Problem 3. If S : N* - N is Smarandache's function defined as we know by S(n) = m <===* m = min {k : n divides k!} and I is a some set, then there exists an unique s : (N*)I _ NI a surjective morphisme between the universal algebras ((W)I,O) and (NI, 0') so that PieS = SOPi, for i E I, where Pj : NI _ N defined by a = {adiEI E NI, Pj (a) = aj, for each j E I, .. Pj are the canonical projections, morphismes between (NI, 0') and (N, O')-universal algebras of the same kind and pj : (N-)I - N- analogously between ((N-)I,O) and (N*, 0) . We shall go over the following three steps in order to justify the assumption: Theorem 0.1. Let by (N, 0) is an universal algebra more complexe with of the kind T : 0 - N given by where V d and 'Po are defined as above and Ad : N2 - N, for each x, yEN, X Ad Y = (x,y) where (x,y) is the biggest common divisor of x and y and ~o : N° - N is the null operation that fixes O-an unique particular element having the role of the neutral element for "Ad" i.e. ~0({0}) = 0 so 0 = eAd and I a set. Then (w,fi) with fi = {WI, W2, Wo, wo} becomes an universal algebra of the same kind as (N, 0) and the canonical projections become surjective morphismes between (NI, fi) and (N, 0), an universal algebra that satisfies the following property of universality: (U) : for every (A, 0) with 0 = {T, ..L, 0'0,0'0} an universal algebra of the same kind _ (T ..L 0'0 0'0) T- 2 2 0 0 and Ui : A - N, for each i E I, morphismes between (A,O) and (N,O), exists an unique u : A - NI morphism between the universal algebras (A, 0) and (N1 , fi) so that Pj ° U = Uj, for each j E I, where Pj : NI - N with each a = {ai}iEI E NI, Pi (a) = aj, for each j E I are the canonical projections morphismes between (NI,fi) and (N, 0). 71 SMARANDACHE'S FUNCTION Proof. Indeed (NI, fi) with fi = {Wl' W2, Wo, WO} becomes an universal algebra because we can well define: Wl (NI)2 _ NI by each a = {adiEI' b = {bdiEI E N;Wl (a, b) = {as Vd bdiEI E NI and W2 (NI)2 _ NI by W2 (a, b) = {ai Ad bil.EI NI and also Wo: (NI)0-NIwithwo({0})={ei=1}iEIENI an unique particular elemen t (the family with all the comp onen ts equal with 1) fixed by Wo and having the role of neutral for the operation Wl noted with e"'l and then Wo : (NI)O _ NI with Wo ({0}) = {ei = Ol.EI an unique particular element fixed by Wo but hawing the role of neutral for the operation W2 noted e"'2 (the verifies are imediate). The canonical projections Pi : NI - N, defined as above, become morphismes between (NI, fi) and (N, n) . Indeed the two universal algebras are of the same kind ( Wl W2 Wo wo) = ( V d Ad 'Po 'Po) 2200 2200 and with the similairi ty (bijective) Wl o¢=::} V d; W2 o¢=::} Ad; Wo o¢=::} 'Po; Wo o¢=::} 'Po we observe first that for each a, bE NI,Pi (WI (a, b)) = pj(a) Vd pj(b), for each j E I because a = {adiEI,b = {bi}iEI,Pi(wda,b)) = Pi ({aiVdbi}iEI) = aj Vd bi and Pi(a) Vd Pi(b) = pj({ai};EI) Vd Pj ({bi}iEI) = ai Vd bj and then pi(wo({0})) = 'Po ( {0}) o¢=::} Pi ({ ei = I} iEI) = 1 o¢=::} Pi( e",J = ev,,; analogously we prove that Pi, for each j E I keeps the operations W2 and Wo, too. So, it was built the universal algebra (N I, fi) with fi = {Wll W2, Wo, wo} of the kind T described above. We prove the property of universality (U) . We observe for this purpose that the Ui morphismes for each i E I, presumes the coditions: for each X,Y E S,ui(xTy) = Ui(X) Vd Ui(Y);Ui(X.Ly) = Ui(X) Ad Ui(Y); Ui(O"O ({0})) = 'Po({0}) o¢=::} ui(eT) = ev" = 1 and ui(0'0({0})) = 'Po({0}) o¢=::} ui(e.d = e"" = 0 which show also the similarity (bijective) between n and n. We also observe that (5, n) and (N I , fi) are of the same kind and there is a similarity (bijective) between n and fi given by T o¢=::} wl;.L o¢=::} W2; 0"0 o¢=::} Wo; 0'0 o¢=::} woo We define the corespondance u: A - NI by u(x) = {Ui(x)}iEI. U is the function: • for each x E A, (3)u;(x) E N for each i E I (ui-functions) so (3){Ui(X)}iEI that can be imagines for x; 72 E. RADESCU, N. RADESCU AND C. DUMITRESCU • Xl = X2 ==> u(xd = U (X2) because Xl = X2 and ui-functions lead to ui(xd = Ui(X2) for each i E I==> {Ui(Xl)};EI = {Ui(X2)}iEI ==> U(Xl) = U(X2). U is a morphisme: for each X, yEA, U (xTy) = {u;(xTy)} iEI = {Ui(X) V d Ui(y)}iEI = WI ({Ui(X)}iEI ' {Ui(y)}iEI) = Wl(U(X),u(y)). Then u(0"0({0})) = wo({0}) {:::::} u(eT) = e"'l because for each {ai}iEI E NI,Wl( {adiEI' {Ui (eT )}iEI) = {ai Vd ui(eT )}iEI = { ai V d I} iEI = {ai} iEI . Analogously we prove that U keeps the operations: .1. and 0'0. Besides the condition Pj 0 U = Uj, for each j E I is verified (by the definition: for each xES, (Pi 0 u)(x) = pj(u(x)) = pj( {Ui(X)}iEI) = Uj(x)). For the singleness of U we consider U and u, two morphismes so that Pj 0 U = Uj (1) and Pi 0 u = ui (2), for every j E I. Then for every X E A, if U (x) = {Ui(X )}iEI and u(x) = {Zi}iEI we can see that Yi = ui(x) = (pj 0 u)(x) = Pi( {Zi};EI) = Zj, for every j E I i.e. u(x) = u(x), for every X E A {:::::} U = U. Consequence. Particularly, taking A = NI and Ui = Pi we obtain: the morphisme U : NI -t W verifies the condition Pi 0 U = Pj, for every j E I, if and only if, U = IN/. The property of universality establishes the universal algebra (NI, 0) until an iso-morphisme as it results from: Theorem 0.2. If (P, n) is an universal algebra of the same kind as (N, n) and]l; : P -t N, i E I a family of morphismes between (P, n) and (N, n) so that for every universal algebra (A, n) and every morphisme Ui : A -t N, for every i E I between (A, n) and (N, n) it exists an unique morphisme U : A -t P with ~ 0 U = Ui, for every i E I, then it exists an unique isomorphisme f : P -t NI with Pi 0 f = ]1;, for every i E I. Proof. From the property of universality of (NI,O) it results an unique f : P -t NI so that for every i E I, Pi 0 f = ]I; with f morphisme between (P, n) and (NI, 0) . Applying now the same property of universality to (P, n) ==>exists an unique 7 : NI -t P so that ]I; 07= Pi, for every i E I with 7 morphisme between (NI, 0) and (P, n). Then ~ 07= Pj {:::::} Pi 0 (f 07) = Pi, using the last consequence, we get f 07= IN]. Analogously, we prove that f 07= Ip from where 7 = f- l and the morphisme f becomes isomorphisme. We could emphasize other properties (a family of finite support or the case I -filter) but we remain at these which are strictly necessary to prove the proposed assertion (Problem 3). b) Firstly it was built (NI, 0) being an universal algebra more complexe (with four operations). We try now a similar construction starting from (N, n*) with n* = 73 SMARANDACHE'S FUNCTION (V, 1\, tPo) with "V" and "tPo" defined as above and 1\ : N2 - N with x 1\ y = inf {x, y} for every x, YEN .• Theorem 0.3. Let by (N, D*) the above universal algebra and I a set. Then: (i) (NI,O) with ° = {01,02,00} becomes an universal algebra of the same kind r as (N, [2*) so r : ° - N is (ii) For every j E I the canonical projection Pi : NI - N defined by every a = {adiEI E NI,pj(a) = aj is a surjective morphisme between (NI,O) and (N,D*) and ker Pi = {a E NI : a = {ai} iEI and aj = O} where by definition we have ker Pj = {a E NI : Pj (a) = ev } ; (iii) For every j E I the canonical injection qj : N - NI for every x E N, qj( x) = {ai} if where ai = 0 if i =1= j and aj = x is an injective morphisme between (N, D*) and ~NI,O) and qj(N) = {{adiEI: ai = O,vi E 1- {j}}; (iv) If j,k E I then: . _ { V-the null morphisme for j =1= k, p; 0 qk - IN-the identical morphisme for j = k. Proof. (i) We well define the operations 01 : (NI)2 _ NI by Va = {a;}iEI E NI and b = {bihEI E NI,01 (a, b) = {ai V b;}iEI; O2 : (NIr - NI by O2 (a, b) = {ai 1\ bihEI and 00 : (NIt - NI by 00 ({0}) = {ei = O} iEI an unique particular element fixed by 00 , but with the role of neutral element for 01 and noted e81 (the verifications are immediate). (ii) The canonical projections are proved to be morphismes (see the step a)), they keep all the operations and kerpj = {a = {adiEI E NI : pj(a) = ev} = {a E NI : aj = O}. (iii) For every x,y E N,q;(x V y) = {e;}iEI where e; = 0 for every i =1= j and Cj = x V y and 01 ({ ai = 0, vi:f:. j }., { bi = 0, vi:f:. j }) = { e; = 0 , Vi :f:. j } aj = x bj = y Cj = x V y i.e. q;(x V y) = 01 (qj (x), qj (y)) with j E I, therefore qj keeps the operation "V" for every j E I. Then qj ( tP ( {0 }) = 00 ( {0}) <==> qj (ev) = {ei = O} iEI <==> qj (0) = {ei = OLEI = e81 because 'Va = {ai}iEI E NI,01 (qj (0) ,a) = 01 ({ei = O}iEI' {ai}iEI) = 74 E. RADESCU, N. RADESCU AND C. DUMITRESCU {ej V aj}iEI = {aj}iEI = a enough for qj(O) = eo! because ()I is obviously comutative -this observation refers to all the similar situations met before. Analogously we also prove that ()2 is kept by qj and this one for every j E I. (iv) For every x E N, (Pioqk)(X) = pj(qA:(x)) = Pi ({ :::~ ,'Vi#k}) = O=:;'Pjoqk=OfOrj#kand(pjOqj)(X)=Pi(qi(X))=Pi({ :::~ ,'Vi#j}) = x =:;. Pj 0 qk = IN for j = k .• The universal algebra (NI, ()) satisfies the following property of universality: Theorem 0.4. For every (A, 0) with 0 = {T, 1., ()o} an universal algebra of the some kind T : () - N (T .1. ()o) T = 2 2 0 as (NI, ()) and Ui : A - N for every i E I morphismes between (A, 0) and (N, n*), exists an unique U : A - NI morphisme between the universal algebras (A, 0) and (NI,()) so that Pj 0 U = Uj, for every j E I with Pj : NI - N,'Va = {ai}iEI E NI , Pi (a) = aj the canonical projections morphismes between (NI, ()) and (N, n*). Proof. The proof repeats the other one from the Theorem 1, step a) .• The property of universality establishes the universal algebra (N I , ()) until an iso-morphisme, which we can state by: If (P, n*) it is an universal algebra of the same kind as (N, n*) and 11; : P - N for every i E I a family of morphismes between (P, n*) and (N, n*) so that for every universal algebra (A, 0) and every morphismes Ui : A _ N, 'Vi E I between (A, e) and (N, n*) exists an unique morphisme U : A - P with 11; 0 U = Ui, for every i E I then it exists an unique isomorphisme f : P - NI with Pi 0 f = 11;, for every i E I. c) This third step contains the proof of the stated proposition (Problem 3). As (W, n) with n = (Vd,Io} is an universal algebra, in accordance with step a) it exists an universal algebra ((N*)I ,n) with n = {WbWO} defined by: WI ((W)I)2 _ (N*/ by every a = {ai}iEI and b = {bi}iEI E (N*)I, WI (a, b) = {aiVdbdiEI 75 SMARANDACHE'S FUNCTION and the canonical projections being certainly morphismes between ((N*)I ,0) and (N-, 0). As (N, 0') with 0' = {V, 'ITo} is an universal algebra, in accordance with step b) it exists an universal algebra (NI, 0') with 0' = {th, Oo} defined by: 01 : (NI)2 _ NI by every a = {adiEI' b = {bdiEI E NI, 01 (a, b) = {aiVdbdiEI and 00 : (NI)O _ NI by 00 ({0}) = {ei = O}iEI = e81 The universal algebras ((N*)I, 0) and (NI, 0') are of the same kind 01 00 = 2 0 We use the property of universality for universal algebra (W, n'): an universal al-gebra (A,O) can be ((N*)I, 0) because they are the same kind; the morphismes Ui : A - N from the assumption will be ;i : (N-)I - N- by every a = {ai}iEI E (N-)I ,S-i (a) = S-i ({ ai} iEI) = S (ai) <;::::=? ;i = S 0 Pi for every j E I where S : N* - N is Smarandache's function and Pi : (N-)I - N* the canonical projections, morphismes between ((N-)I ,n) and (N*,O). As S is a morphisme berween (N-,n) and (N,O'), S-i are morphismes (as a composition of morphismes) for every j E I. The assumptions of the property of universality being provided ~ exists an unique S : (N*)I _ NI morphism between ((N-l , 0) and (NI, 0) so that Pi 0 S = ;i <;::::=? Pi 0 s = So Ph for every j E I. We finish the proof noticing that s is also surjection: Pi 0 S surjection (as a composition of surjections) ~ S surjection. Remark: The proof of the step 3 can be done directly. As the universal algebras from the statement are built, we can define a correspondence S : (N-)I _ (N-)I by every a = {adiEI E (N-)I ,s(a) = {S(adhEI' which is a function, then morphisme between the universal algebra of the same kind ((N*)I,O) and (NI,n') and is also surjective, the required conditions being satisfied evidently. The stated Problem finds a prolongation S of the Smarandache function S to more comlexe sets (for I = {I} ~ S = S). The properties of the function s for the limitation to N- could bring new properties for the Smarandache function. 78 8 E. RADESCU, N. RADESCU AND C. DUMITRESCU 1. REFERENCES [1] Purdea, 1., Pic, Gh. (1977). Tratat de algebra. moderna., vol. 1. (Ed. Academiei Romane, Bucuresti) [2] Radescu, E., Radescu, N. and Dumitrescu, C. (1995) Some Elementary Alge-braic Considerations Inspired by the Smarandache Function (Smarandache Function 1. vol. 6, no. 1, June, p 50-54) [3] Smarandache, F. (1980) A Function in the Number Theory (An. Univ. Timi~ara, Ser. St. Mat., vol. XVIII, fasc. 1, p. 79-88) DEPARTAMENT OF MATHEMATICS, UNIVERSITY OF CRAIOVA A.I.CuZA, NO. 13, CRAIOVA 1100, ROMANIA n 

SOME ELEMENTARY ALGEBRAIC CONSIDERATIONS INSPIRED BY SMARANDACHE'S FUNCTION

Abstract

Similar works

Full text

Available Versions

ZENODO