Vol. 14, No. 3, 2017, 581-592
ISSN: 2279-087X (P), 2279-0888(online) Published on 5 December 2017
www.researchmathsci.org
DOI: http://dx.doi.org/10.22457/apam.v14n3a25
581
Annals of
The Number of r-Relatively Prime Subsets and Phi
Functions for {m,m+1, …, n}- its r-Generalization
G. Kamala1 and G. Lalitha2
1
Department of Mathematics, Osmania University, Hyderabad (TS), India
2
Department of Mathematics, SRR & CVR Govt. Degree College Vijayawada (AP), India.
Email: 1gkamala369@gmail.com;2lalitha.secpg@gmail.com
2
Corresponding author.
Received 15 November 2017; accepted 30 November 2017
Abstract. A nonempty finite set A of positive integers is relatively prime if gcd
( )
A =1 and it is relatively prime to n ifgcd(
A∪{ }
n)
=1. For k≥1, the number of nonempty subsets A of {1,2,…,n} which are relatively prime is f n( )
and the number of such subsets of cardinality k, is fk( )
n . The number of nonempty subsets A of {1,2,…,n} which are relatively prime to n is Φ( )
n and the number of such subsets of cardinality k isΦk( )
n . A nonempty finite set A of positive integers is r-relatively prime if greatest r th power common divisor of elements of A is 1. In this case we writegcdr( )
A =1. The number of r-relatively prime subsets of {1,2,…,n} is f( )
r( )
n and the number of such subsets of cardinality k is fk( )
r( )
n . The number of nonempty subsets A of {1,2,…,n} which are r-relatively prime to n is Φ( )
r( )
n and the number of such subsets of cardinality k is Φ( )
kr( )
n . In this paper we generalize the four functions f( )
r( )
n ,( )
r( )
kf n ,Φ
( )
r( )
n and Φ( )
kr( )
n for the set{
m m, +1, ..., n}
where m≤n, as follows :( )
r(
,)
#{
{
, 1, ...,}
: , gcd( )
1}
rf m n = A⊆ m m+ n A≠
φ
A =( )
r(
,)
#{
{
, 1, ...,}
: # , gcd( )
1}
r k
f m n = A⊆ m m+ n A=k A =
582
Φ
( )
kr(
m n,)
=#{
A⊆{
m m, +1, ..., n}
: #A=k , gcdr(
A∪{ }
n)
=1 .}
We obtain the exact formulae for the above four functions. We use r-Generalized Mobius inversion formula for two variables.Keywords: r-relatively prime sets, r-Generalization of Phi functions, r-Generalized Mobius inversion for two variables.
AMS Mathematics Subject Classification (2010): 11BXX, 11B75 1. Introduction
A nonempty finite set A of positive integers is relatively prime if gcd
( )
A =1 and it is relatively prime to n ifgcd(
A∪{ }
n)
=1. The number of nonempty subsets of {1,2,…,n} which are relatively prime is f n( )
and the number of such subsets of cardinality k is fk( )
n . The number of nonempty subsets A of {1, 2 ,…, n} which are relatively prime to n is Φ( )
n and the number of such subsets of cardinality k is( )
.k n
Φ A nonempty finite set A of positive integers {1, 2 ,…, n} is r-relatively prime if greatest rth power common divisor of elements of A is 1. In this case, we write
( )
gcdr A =1. The number of r-relatively prime subsets of {1, 2,…, n} is f
( )
r( )
n and the number of such subsets of cardinality k is fk( )
r( )
n . The number of nonempty subsets A of {1, 2 ,…, n} which are r-relatively prime to n is Φ( )
r( )
n and the number of such subsets of cardinality k is Φk( )
r( )
n . Nathanson [2] obtained the exact formulae for the functions f n( )
, fk( )
n ,Φ( )
n and Φk( )
n . Inspired by the work of Nathanson [2] , we obtained the exact formulae for f( )
r( )
n , fk( )
r( )
n ,Φ( )r( )
n and Φ( )kr( )
n in [1]. Bachraoui [3] generalized the results of Nathanson [2]. In this paper we generalize the results obtained in [1] and derive the explicit formulae for the functions f( )
r(
m n,)
,( )
r(
,)
kf m n ,Φ
( )
r(
m n,)
and Φ( )
kr(
m n,)
by using r-Generalized Mobius inversion formula for two variables.Definition 1. Let r ≥ 1 be a positive integer. F
( )
r and G( )
r are generalized arithmetical functions of two variables with domain(
0, ∞)
2 such that( )
(
)
( )
(
)
1, 2 0 1, 2
r r
{m,m+1, …, n}- its r -Generalization
583
Definition 2. r - Relatively prime subsets of {m, m+1, …, n}. Let r≥1, k≥1 be fixed integers .Then we define,
g
( )
r(
m n,)
=#{
A⊆{
m m, +1, ..., n}
: m∈A, gcdr( )
A =1}
gk
( )
r(
m n,)
=#{
A⊆{
m m, +1, ..., n}
: m∈A, #A=k, gcdr( )
A =1}
f( )
r(
m n,)
=#{
A⊆{
m m, +1, ..., n}
: A≠φ
, gcdr( )
A =1}
fk
( )
r(
m n,)
=#{
A⊆{
m m, +1, ..., n}
: A≠φ
, #A=k, gcdr( )
A =1 .}
Note that f
( )
r , fk( )
r , g( ) ( )
r , gkr are counting sets on nonempty subsets.( )
r( )
f n = Number of r - relatively prime subsets of
{
1, 2, ..., n}
= f( )
r( )
1, n . Definition 3. Letn
≥
m
be positive integers. We define( )
r(
,)
#{
{
, 1, ...,}
: , gcd(
{ }
)
1}
rm n A m m n m A A n
ψ
= ⊆ + ∈ ∪ =( )
r(
,)
#{
{
, 1, ...,}
: , # , gcd(
{ }
)
1}
rk m n A m m n m A A k A n
ψ
= ⊆ + ∈ = ∪ =( )
r(
,)
#{
{
, 1, ...,}
: , gcd(
{ }
)
1}
rm n A m m n A
φ
A nΦ = ⊆ + ≠ ∪ =
( )
r(
,)
#{
{
, 1, ...,}
: # , gcd(
{ }
)
1 .}
rk m n A m m n A k A n
Φ = ⊆ + = ∪ =
Note that the four functions defined above count the sets that are nonempty.
( )
r( )
n
Φ =Number of non empty subsets of
{
1, 2, ..., n}
that are r-relatively prime to n = Φ( )
r( )
1,n2. r-Generalized Mobius inversion formula for two variables
Theorem 1. Let F
( )
r and G( )
r be generalized arithmetical functions with domain(
)
20, ∞ then
( )
(
)
( ) ( )( )
( )1 1
, , , ,
r r r r r r
r r
r r m n r m n r r m n
r
d d d d d d
d m d m
G m n F F µ d G
≤ ≤ ≤ ≤
= ∑ ⇔ = ∑
(1)
where the summation is over all integers d such that dr ≤m. Proof: Assume
( )
(
)
( )
1
, r, r
r
r r m n
d d d m
G m n F
≤ ≤
= ∑
584 Consider
( )
( )
( )
( )
1 1 1
, ,
r
m
d
r r r r r r
r r r
r r
r m n r m n
r r
d d t d t d
d m d m t
d G d F
µ
µ
≤ ≤ ≤ ≤ ≤ ≤
=
∑ ∑ ∑
( )
( )
1,
r r
r r r
r m n r
r
u u
u m d u
F
µ
d≤ ≤
= ∑ ∑
=F
( )
r(
m n,)
.Conversely, assume
( )
(
)
( )
( )
1
, , .
r r
r
r r r m n
r
d d d m
F m n
µ
d G≤ ≤
= ∑
Consider
( )
( )
( )
1 1 1
, ,
r
m d
r r r r r r
r r r
r m n r r m n
r
d d t d t d
d m d m t
F
µ
d G≤ ≤ ≤ ≤ ≤ ≤
=
∑ ∑ ∑
( )
( )
1,
r r
r r r
r m n r
r
u u
u m t u
G
µ
t≤ ≤
= ∑ ∑
=G
( )
r(
m n,)
.Corollary 2. Suppose F
( )
r(
x y,)
and G( )
r(
x y,)
are generalized arithmetical functions such that F( )
r(
x y,)
= =0 G( )
r(
x y,)
if x is not an integer and( )
r(
,)
0( )
r(
,)
F x y = =G x y if 0< <y 1, then Mobius inversion formula for such functions reduces to the following form
( )
(
,)
( )
,( )
(
,)
( )
,r r r r
r r
r r m n r r m n
r
d d d d
d m d m
G m n = ∑ F ⇔F m n = ∑
µ
d
(2)
Proof: Suppose
( )
(
,)
( )
,r r
r
r r m n
d d
d m
G m n = ∑ F
{m,m+1, …, n}- its r -Generalization
585 Consider
( )
( )
,( )
( )
,r r r r r r
r r r m
r d
r r
r m n r m n
r r
d d t d t d
d m d m t
d G d F
µ
µ
=
∑ ∑ ∑
( )
,( )
r r
r r r
r m n r
r
u u
u m d u
F
µ
d
= ∑ ∑
=F
( )
r(
m n,)
.Conversely, suppose
( )
(
,)
( )
( )
r , rr
r r r m n
r
d d
d m
F m n = ∑
µ
d G
Consider
( )
r, rr
r m n
d d
d m
F
∑
( )
( )
,r r r r
r r m
r d
r
r m n
r
t d t d
d m t
t G
µ
= ∑ ∑
( )
r, r( )
r r r
r m n r
r
u u
u m t u
G
µ
t
= ∑ ∑
=G
( )
r(
m n,)
. 3. Exact formulaeTo find the exact formulas we use the following theorems proved in [1]. Theorem 3. For all positive integers n≥2r r≥1, k,
(i)
( )
( )
( )
( )
( )
1
2 1 1,
n r d r
r r r
r
d n
f n
µ
d f n
≤ ≤
= ∑ − =
(3)
(ii)
( )
( )
( )
( )
( )
1
1, .
n r d r
r r r
r
k k
d n
f n d f n
k
µ
≤ ≤
= ∑ =
(4)
586
(i)
( )
( )
( )
2 1( )
( )
1, .n r d r
r r r r
d n
n
µ
d n
Φ = ∑ − = Φ
(5)
(ii)
( )
k( )
( )
r( )
k( )
1, .r
n
r r r d r
d n
n d n
k
µ
Φ = ∑ = Φ
(6)
Lemma 5. If n≥m, we have
(i)
( )
(
,)
( )
2n m
r r
d d
r
r r
r d m
g m n
µ
d −
= ∑ (7)
(ii)
( )
(
,)
( )
.1
r r
r
n m
r r
d d
r k
d m
g m n d
k
µ
−
= ∑
−
(8)
Proof: (i) Let P m n
(
,)
denotes the set of subsets of{
m m, +1, ..., n}
containing m. Then# P m n(
,)
=2n m− . We define a relation on P m n(
,)
as follows:For A B, ∈P m n
(
,)
we say that A≅ B if and only if gcdr( )
A =dr =gcdr( )
B . Note that d mr and 1≤dr ≤m. Then≅
is an equivalence relation on P m n(
,)
. If m is r-free then gcdr( )
A = =1 gcdr( )
B . Hence the elements of P m n(
,)
can be partitioned using the relation" "
≅
of having the same rth power gcd dr. Also the mapping A 1r Ad
→ is a 1-1 correspondence between the subsets of P m n
(
,)
havingth
r power gcd dr and r-relatively prime subsets of , ...,
r r
m n
d d
which contain
.
r
m
d Then we have the following identity
( )
2 , .
r r
r
r
n m m n
d d
d m
g
− = ∑
By Corollary (2)
( )
(
,)
( )
2n m
r r
d d
r
r r
r d m
g m n
µ
d
−
= ∑ which proves (7).
(ii) Note that the correspondence 1
r
A A
d
{m,m+1, …, n}- its r -Generalization
587
( )
, .1 r r r
r m n
k d d d m n m g k − = ∑ −
By Corollary (2), we have
( )
(
,)
( )
. 1 r r r n m r r d d r k d mg m n d
k
µ
− = ∑ − which proves (8).
Theorem 6. If n≥m, then the following two identities are true.
(i)
( )
(
)
( )
( )
1
1 1
, 2 1 2
n n i
r r r
d d d
r r
m
r r r
r r
i
d n d i
f m n
µ
dµ
d − − = ≤ ≤ = ∑ − − ∑ ∑ (9)
(ii)
( )
(
)
( )
( )
1 1 1
, .
1
n n i
r r r
d d d
r r
m
r r r
r r
k
i
d n d i
f m n d d
k k
µ
µ
− − = ≤ ≤ = ∑ − ∑ ∑ − (10)Proof: (i) Repeatedly applying Lemma (5) and equations (7) and (3)
f
( )
r(
m n,)
= f( )
r(
m−1, n)
−g( )
r(
m−1, n)
= f
( )
r(
m−2, n)
−g( )
r(
m−2, n)
+g( )
r(
m−1, n)
⋮ ⋮
( )
( )
( )
1 11, m ,
r r
i
f n − g i n
= = − ∑
( )
( )
1 1 12 1 2
n n i
r r r
d d d
r r
m
r r
r r
i
d n d i
d d
µ
µ
− − = ≤ ≤ = ∑ − − ∑ ∑ (ii) From equation (4), we have
( )
( )
( )
1
1, .
n r d r r r r k d n
f n d
k
µ
≤ ≤ = ∑ 588
( )
(
,)
( )
1
n m
r r
d d
r
r r
r k
d m
g m n d
k
µ
−
= ∑
−
Therefore fk
( )
r(
m n,)
= fk( )
r(
m−1, n)
−gk( )
r(
m−1, n)
= fk
( )
r(
m−2, n)
−gk( )
r(
m−2, n)
+gk( )
r(
m−1, n)
⋮ ⋮
( )
( )
( )
( )
11
1, m ,
r r
k k
i
f n − g i n
=
= − ∑
( )
( )
1 1 1
.
1
n n i
r r r
d d d
r r
m
r r
r r
i
d n d i
d d
k k
µ
µ
− −
= ≤ ≤
= ∑ − ∑ ∑
−
Note : gcdr
(
{ }
)
1 gcd(
r( )
,)
1.r
A∪ n = ⇔ A n =
Proof: Assume gcdr
(
A∪{ }
n)
=1. Let(
gcdr( )
,)
rr A n =d
⇒ dr n and dr gcdr( )A ( since gcdr
( )
A a for all a∈A) ⇒ dr n and dr a for all a∈A⇒ dr gcdr
(
A∪{ }
n)
⇒ dr1 ⇒ d =1. Conversely, let(
gcdr( )
,)
1r
A n = and gcdr
(
A∪{ }
n)
=dr ⇒ dr a for all a∈A and dr n⇒ dr a and dr n for all a∈A ⇒ dr gcdr( )A and dr n
r
(
gcdr( ),)
r
d A n
⇒
⇒ dr1 ⇒ d =1.
{m,m+1, …, n}- its r -Generalization 589
( )
(
)
( )
(
)
1 2 1 2 1 2 gcd ,, r , r
r r
n n
r r
d d
d n n
G n n = ∑ F
( )
(
)
( )
( )
(
)
1 2 1 2 1 2 gcd , , , r r r r n nr r r
r
d d
d n n
F n n
µ
d G ⇔ = ∑
Proof: Assume
( )
(
)
( )
(
)
1 2 1 2 1 2 gcd , , , r r r r n n r r d dd n n
G n n = ∑ F
Consider
( )
( )
(
)
1 2 1 2 gcd , , r r r r n n r r r d dd n n
d G
µ
∑ ( )
( )
(
)
1 2 1 2 1 2gcd , gcd ,
,
r r r r
r r n n
r r r r d d n n r r r
t d t d
d n n t
d F
µ
= ∑ ∑ ( )
( )
(
)
1 2 1 2 gcd , , r rr r r
r
n n
r r
r
u u
u n n d u
F
µ
d = ∑ ∑
=F
( )
r(
n1, n2)
.Conversely, assume
( )
(
)
( )
( )
(
)
1 2 1 2 1 2 gcd , , , r r r r n nr r r
r
d d
d n n
F n n = ∑
µ
d G Consider
( )
(
)
( )
( )
(
)
1 2 1 2
1 2
1 2 1 2
gcd , gcd , gcd ,
, ,
r r r r r r
r r r n n
r r r
r r d d
n n n n
r r r
r
d d t d t d
d n n d n n t
F
µ
t G = ∑ ∑ ∑
( )
( )
(
)
1 2 1 2 gcd , , r rr r r
r
n n
r r
r
u u
u n n t u
G
µ
t = ∑ ∑
( )
(
)
1 2G r n , n .
=
590
(i)
( )
(
)
( )
(
)
gcd ,
, 2
n m r d r
r
r r
r
d m n
m n d
ψ
µ
−
= ∑ (11)
(ii)
( )
(
)
( )
(
)
gcd ,
, .
n m r d r
r
r r
r k
d m n
m n d
k
ψ
µ
−
= ∑
(12)
Proof: (i) Let P m n
(
,)
denotes the set of subsets of{
m m, +1, ..., n}
containing m. Then # P m n(
,)
=2n m− . We define the set(
, , r)
{
{
, 1, ...,}
: and gcdr(
{ }
)
r}
P m n d = A⊆ m m+ n m∈A A∪ n =dThe set P m n
(
,)
can be partitioned using the equivalence relation" "
≅
for having the same rthpowergcd,
that is , A≅ ⇔B A B, ∈P m n d(
, , r)
for some(
)
gcd , . r
r
d m n Further, the mapping 1
r
A A
d
→ is a
1 1
−
correspondence between(
, , r)
P m n d and the set of subsets B of , 1, 2, ...,
r r r r
m m m n
d d d d
+ +
such that
r
m B d ∈
and gcdr B nr 1. d
∪ =
Then we have #
(
, , r)
( )
r mr, nrd d
P m n d =
ψ
.
Thus we have
(
)
(
)
( )
(
)
gcd , gcd ,
2 # , , ,
r r
r r
r r
r
n m r m n
d d
d m n d m n
P m n d
ψ
− = =
∑ ∑
( )
(
)
gcd ,
Therefore 2 , .
r r
r r
r
n m m n
d d
d m n
ψ
− =
∑
Applying Lemma (7) we have
( )
(
)
( )
(
)
gcd ,
, 2
n m r d r
r
r r
r
d m n
m n d
ψ
µ
−
= ∑ which proves (11).
(ii) Note that the correspondence 1
r
A A
d
→ defined above preserves the Cardinality and hence using an argument similar to the one in part (i) , we have
{m,m+1, …, n}- its r -Generalization
591
( )
(
)
gcd ,
,
1 r r r
r
r m n
k
d d
d m n
n m
k
ψ
−
=
∑
−
is equivalent to which proves (12). Theorem 9. If n≥m, then the following two identities are true.
(i)
( )
(
)
( )
( )
( )
11 gcd ,
, 2 1 2
n n i
r r
d d
r r
r m
r r r
r r
i
d n d i n
m n
µ
dµ
d− −
=
Φ = ∑ − − ∑ ∑
(13)
(ii)
( )
(
)
( )
( )
( )
11 gcd ,
, .
1
r r
r r
r
n n i
m
r r d r d
r r
k
i
d n d i n
m n d d
k k
µ
−µ
−=
Φ = ∑ − ∑ ∑
−
(14)
Proof: (i) Applying theorem (8) repeatedly and using the equation (5) we have Φ
( )
r(
m n,)
= Φ( )
r(
m−1, n)
−ψ
( )
r(
m−1, n)
= Φ
( )
r(
m−2, n)
−ψ
( )
r(
m−2, n)
+ψ
( )
r(
m−1, n)
⋮ ⋮
( )
( )
( )
( )
11
1, ,
m
r r
i
n −
ψ
i n=
= Φ − ∑
( )
( )
( )
11 gcd ,
2 1 2
n n i
r r
d d
r r
r
m
r r
r r
i
d n d i n
d d
µ
µ
− −
=
= ∑ − − ∑ ∑
which proves (13).
(ii) Applying theorem (8) repeatedly and using equation (6) Φ
( )
kr(
m n,)
= Φk( )
r(
m−1, n)
−ψ
k( )
r(
m−1, n)
= Φk
( )
r(
m−2, n)
−ψ
( )
kr(
m−2, n)
+ψ
k( )
r(
m−1, n)
⋮ ⋮
( )
(
)
( )
(
)
gcd ,
,
1
r
r r
n m
r r d
r k
d m n
m n d
k
ψ
= ∑µ
− −
592
( )
( )
( )
( )
11
1, m ,
r r
k k
i
n −
ψ
i n=
= Φ − ∑
( )
( )
( )
1
1 gcd ,
. 1
r r
r r
r
n n i
m
r d r d
r r
i
d n d i n
d d
k k
µ
−µ
−=
= ∑ − ∑ ∑
−
which proves (14). 4. Conclusion
We count the exact number of nonempty subsets of { m , m+1 ,…, n} which are (i) r-relatively prime
(ii) r-relatively prime of cardinality k. (iii) r-relatively prime to n
(iv) r-relatively prime to n of cardinality k.
by using r-Generalized version of Mobius inversion formula for two variables.
Acknowledgements. The authors are grateful to the referee for valuable comments and interesting suggestions.
REFERENCES
1. G.Kamala and G.Lalitha, r-Relatively prime sets and r-Generalization of phi functions for subsets of {1, 2 , … , n}, Annals of Pure and Applied Mathematics, 14(3) (2017) 497-508.
2. M.B.Nathanson, Affine invariants, relatively prime sets, and a phi function for subsets of {1, 2 , … , n}, Integer, 7 (2007) #A1,7pp. (electronic).
3. M.El.Bachraoui, The Number of relatively prime subsets and phi functions for {m, m+1, … n}, Integer, 7 (2007), #A43, 8pp. (electronic).
4. M.B.Nathanson, Elementary Methods in Number Theory, Graduate Texts in Mathematics, Vol. 195. Springer- New York, 2000.
5. M.Ayad and O.Kihel, The number of relatively prime subsets of {1, 2 , … ,n}, Integers, 9 (2009) 163-166.
6. C.Jayasekaran and A. Jancy Vini, Results on relatively prime dominating sets in graphs, Annals of Pure and Applied Mathematics, 14(3) (2017) 359-369.
7. N.Burshtein, A note on the diaphontine equation p3+q4 =z4 when p is prime, Annals of Pure and Applied Mathematics, 14(3) (2017) 509-511.
8. A.Sugumaran and V.Mohan, Further results on prime cordial labeling, Annals of Pure and Applied Mathematics, 14(3) (2017) 489-496.