scholarly journals A generalization of the practical numbers

2018 ◽  
Vol 14 (05) ◽  
pp. 1487-1503
Author(s):  
Nicholas Schwab ◽  
Lola Thompson

A positive integer [Formula: see text] is practical if every [Formula: see text] can be written as a sum of distinct divisors of [Formula: see text]. One can generalize the concept of practical numbers by applying an arithmetic function [Formula: see text] to each of the divisors of [Formula: see text] and asking whether all integers in a certain interval can be expressed as sums of [Formula: see text]’s, where the [Formula: see text]’s are distinct divisors of [Formula: see text]. We will refer to such [Formula: see text] as “[Formula: see text]-practical”. In this paper, we introduce the [Formula: see text]-practical numbers for the first time. We give criteria for when all [Formula: see text]-practical numbers can be constructed via a simple necessary-and-sufficient condition, demonstrate that it is possible to construct [Formula: see text]-practical sets with any asymptotic density, and prove a series of results related to the distribution of [Formula: see text]-practical numbers for many well-known arithmetic functions [Formula: see text].

1973 ◽  
Vol 16 (1) ◽  
pp. 119-128 ◽  
Author(s):  
K. L. Yocom

McCarthy [4] generalized a necessary and sufficient condition for an arithmetic function to be totally multiplicative to the incidence algebra on a partially ordered set. Several equivalent conditions for an arithmetic function to be totally multiplicative are known [1], [2]. In this paper we generalize several of these (and some apparently new ones) to the regular convolution rings of Narkiewicz [5]. We also investigate the prime factorization of arithmetic functions in a certain subring of some of these regular convolution rings.


2020 ◽  
Vol 18 (1) ◽  
pp. 873-885
Author(s):  
Gülnaz Boruzanlı Ekinci ◽  
Csilla Bujtás

Abstract Let k be a positive integer and let G be a graph with vertex set V(G) . A subset D\subseteq V(G) is a k -dominating set if every vertex outside D is adjacent to at least k vertices in D . The k -domination number {\gamma }_{k}(G) is the minimum cardinality of a k -dominating set in G . For any graph G , we know that {\gamma }_{k}(G)\ge \gamma (G)+k-2 where \text{Δ}(G)\ge k\ge 2 and this bound is sharp for every k\ge 2 . In this paper, we characterize bipartite graphs satisfying the equality for k\ge 3 and present a necessary and sufficient condition for a bipartite graph to satisfy the equality hereditarily when k=3 . We also prove that the problem of deciding whether a graph satisfies the given equality is NP-hard in general.


2020 ◽  
Vol 12 (03) ◽  
pp. 2050045
Author(s):  
A. Chellaram Malaravan ◽  
A. Wilson Baskar

The aim of this paper is to determine radius and diameter of graph complements. We provide a necessary and sufficient condition for the complement of a graph to be connected, and determine the components of graph complement. Finally, we completely characterize the class of graphs [Formula: see text] for which the subgraph induced by central (respectively peripheral) vertices of its complement in [Formula: see text] is isomorphic to a complete graph [Formula: see text], for some positive integer [Formula: see text].


2014 ◽  
Vol 21 (02) ◽  
pp. 317-330 ◽  
Author(s):  
Guixin Deng ◽  
Pingzhi Yuan

Let H be an abelian group written additively and k be a positive integer. Let G(H, k) denote the digraph whose set of vertices is just H, and there exists a directed edge from a vertex a to a vertex b if b = ka. In this paper we give a necessary and sufficient condition for G(H, k1) ≃ G(H, k2). We also discuss the problem when G(H1, k) is isomorphic to G(H2, k) for a given k. Moreover, we give an explicit formula of G(H, k) when H is a p-group and gcd (p, k)=1.


1964 ◽  
Vol 16 ◽  
pp. 310-314 ◽  
Author(s):  
J. H. Jordan

For a positive integer k and a prime p ≡ 1 (mod k), there is a proper subgroup, R, of the multiplicative group (mod p) consisting of the kth power residues (mod p). A necessary and sufficient condition that an integer t be an element of R is that the congruence xk ≡ t (mod p) be solvable. The cosets, not R, formed with respect to R are called classes of kth power nonresidues, and form with R a cyclic group of order k. Let ρ be a primitive kth root of unity and let S be a class of non-residues that is a generator of this cyclic group. There is a kth power character X (mod p) such that


2013 ◽  
Vol 12 (05) ◽  
pp. 1250205 ◽  
Author(s):  
MICHAŁ ZIEMBOWSKI

We consider the ring R[x]/(xn+1), where R is a ring, R[x] is the ring of polynomials in an indeterminant x, (xn+1) is the ideal of R[x] generated by xn+1 and n is a positive integer. The aim of this paper is to show that regularity or strong regularity of a ring R is necessary and sufficient condition under which the ring R[x]/(xn+1) is an example of a ring which belongs to some important classes of rings. In this context, we discuss distributive rings, Bézout rings, Gaussian rings, quasi-morphic rings, semihereditary rings, and rings which have weak dimension less than or equal to one.


2014 ◽  
Vol 2014 ◽  
pp. 1-5
Author(s):  
Xiaochun Li ◽  
Fugen Gao

Letnbe a positive integer, and an operatorT∈B(ℋ)is called a classA(n)operator ifT1+n2/1+n≥|T|2andn-paranormal operator ifT1+nx1/1+n≥||Tx||for every unit vectorx∈ℋ, which are common generalizations of classAand paranormal, respectively. In this paper, firstly we consider the tensor products for classA(n)operators, giving a necessary and sufficient condition forT⊗Sto be a classA(n)operator whenTandSare both non-zero operators; secondly we consider the properties forn-paranormal operators, showing that an-paranormal contraction is the direct sum of a unitary and aC.0completely non-unitary contraction.


2019 ◽  
Vol 101 (2) ◽  
pp. 255-265
Author(s):  
DONGFANG YANG ◽  
LIJIAN AN ◽  
HENG LV

Given a positive integer $m$, a finite $p$-group $G$ is called a $BC(p^{m})$-group if $|H_{G}|\leq p^{m}$ for every nonnormal subgroup $H$ of $G$, where $H_{G}$ is the normal core of $H$ in $G$. We show that $m+2$ is an upper bound for the nilpotent class of a finite $BC(p^{m})$-group and obtain a necessary and sufficient condition for a $p$-group to be of maximal class. We also classify the $BC(p)$-groups.


2017 ◽  
Vol 13 (05) ◽  
pp. 1083-1094 ◽  
Author(s):  
Tianxin Cai ◽  
Zhongyan Shen ◽  
Lirui Jia

In 2014, Wang and Cai established the following harmonic congruence for any odd prime [Formula: see text] and positive integer [Formula: see text], [Formula: see text] where [Formula: see text] and [Formula: see text] denote the set of positive integers which are prime to [Formula: see text]. In this paper, we obtain an unexpected congruence for distinct odd primes [Formula: see text], [Formula: see text] and positive integers [Formula: see text], [Formula: see text] and the necessary and sufficient condition for [Formula: see text] Finally, we raise a conjecture that for [Formula: see text] and odd prime power [Formula: see text], [Formula: see text], [Formula: see text] However, we fail to prove it even for [Formula: see text] with three distinct prime factors.


2013 ◽  
Vol Vol. 15 no. 2 (Combinatorics) ◽  
Author(s):  
Shonda Gosselin ◽  
Andrzej Szymański ◽  
Adam Pawel Wojda

Combinatorics International audience A \em cyclic q-partition of a hypergraph (V,E) is a partition of the edge set E of the form \F,F^θ,F^θ², \ldots, F^θ^q-1\ for some permutation θ of the vertex set V. Let Vₙ = \ 1,2,\ldots,n\. For a positive integer k, Vₙ\choose k denotes the set of all k-subsets of Vₙ. For a nonempty subset K of V_n-1, we let \mathcalKₙ^(K) denote the hypergraph ≤ft(Vₙ, \bigcup_k∈ K Vₙ\choose k\right). In this paper, we find a necessary and sufficient condition on n, q and k for the existence of a cyclic q-partition of \mathcalKₙ^(V_k). In particular, we prove that if p is prime then there is a cyclic p^α-partition of \mathcalK^(Vₖ)ₙ if and only if p^α + β divides n, where β = \lfloor \logₚ k\rfloor. As an application of this result, we obtain two sufficient conditions on n₁,n₂,\ldots,n_t, k, α and a prime p for the existence of a cyclic p^α-partition of the complete t-partite k-uniform hypergraph \mathcal K^(k)_n₁,n₂,\ldots,n_t.


Sign in / Sign up

Export Citation Format

Share Document