Related papers: On large primitive subsets of $\{1,2,\ldots,2n\}$

Let (G, *) be a semigroup, D subset of G, and n >= 2 be an integer. We say that (D, *) is an n-closed subset of G if a_1* ... *a_n in D for every a_1, ..., a_n in D. Hence every closed set is a 2-closed set. The concept of n-closed sets…

A set $S$ of natural numbers is multiplicative Sidon if the products of all pairs in $S$ are distinct. Erd\H{o}s in 1938 studied the maximum size of a multiplicative Sidon subset of $\{1,\ldots, n\}$, which was later determined up to the…

We introduce the notion of primitive elements in arbitrary truncated $p$-divisible groups. By design, the scheme of primitive elements is finite and locally free over the base. Primitive elements generalize the "points of exact order $N$,"…

A (2,*)-group is a group that can be generated by two elements, one of which is an involution. We describe the method we have used to produce a census of all (2,*)-groups of order at most 6 000. Various well-known combinatorial structures…

For $n$ at least 7 and $n$ equal to 5, we give generating sets of size 2 for the commutator subgroup of the braid group on $n$ strands. These generating sets are of the smallest possible cardinality. For $n$ equal to 4 or 6, we give…

If $s$ is a positive integer and $A$ is a set of positive integers, we say that $B$ is an $s$-divisor of $A$ if $\sum_{b\in B} b\mid s\sum_{a\in A} a$. We study the maximal number of $k$-subsets of an $n$-element set that can be…

We prove that if $A=\{a_1,\dots ,a_{|A|}\}\subset \{1,2,\dots ,n\}$ is a Sidon set so that $|A|=n^{1/2}-L^\prime$, then $$a_m = m\cdot n^{1/2} + \mathcal O\left( n^{7/8}\right) + \mathcal O\left(L^{1/2}\cdot n^{3/4}\right)$$ where…

Erd\H{o}s and Graham proposed to determine the number of subsets $S \subseteq \left\{1,2,\dots,n\right\}$ with $\sum_{s \in S} 1/s = 1$ and asked, among other things, whether that number could be as large as $2^{n - o(n)}$. We show that the…

Hasanalizade [1] studied Deaconescu's conjecture for positive composite integer $n$. A positive composite integer $n\geq4$ is said to be a Deaconescu number if $S_2(n)\mid \phi(n)-1$. In this paper, we improve Hasanalizade's result by…

For a positive integer $m$, a (positive definite integral) quadratic form is called primitively $m$-universal if it primitively represents all quadratic forms of rank $m$. It was proved in arXiv:2202.13573 that there are exactly $107$…

In this paper, we first investigate the relationship between the number of primitive representations of $n$ by quadratic forms and the number of non-primitive ones. We hence obtain a theorem to deal with the Eisenstein series part with…

This paper discusses the question of how many non-empty subsets of the set $[n] = \{ 1, 2, ..., n\}$ we can choose so that no chosen subset is the union of some other chosen subsets. Let $M(n)$ be the maximum number of subsets we can…

We describe $\{2,3\}$-groups in which the order of a product of any two elements of orders at most $4$ does not exceed $9$ and the centralizer of every involution is a locally cyclic $2$-subgroup. In particular, we will prove that these…

A partial group with $n+1$ elements is, when regarded as a symmetric simplicial set, of dimension at most $n$. This dimension is $n$ if and only if the partial group is a group. As a consequence of the first statement, finite partial groups…

Let $La(n,P)$ be the maximum size of a family of subsets of $[n]=\{1,2,...,n\}$ not containing $P$ as a (weak) subposet. The diamond poset, denoted $B_{2}$, is defined on four elements $x,y,z,w$ with the relations $x<y,z$ and $y,z<w$.…

Be d_{m,n} a generic element in the infinite matrix D, with d_{1, n} defined as the n-th prime number and, for any m>1, d_{m, n} = | d_{m-1, n} - d_{m-1, n+1} | When n>1, after the first few terms the columns in the matrix appear to be…

In the paper we solve few problems proposed by Prapanpong Pongsriiam. Let $f(n)$ denote the number of relatively prime subsets of $\{1, 2, 3, \dots, n\}$ and $g(n)$ denote the number of subsets $A$ of $\{1, 2, 3, \dots, n\}$ such that…

We show that the full group C$^*$-algebra of $PSL(n, \Z)$ is primitive when $n=2$, and not primitive when $n\geq 3$. Moreover, we show that there exists an uncountable family of pairwise inequivalent, faithful irreducible representations of…

For every even integer N, denote by D_{1,2}(N) the number of representations of N as a sum of a prime and an integer having at most two prime factors. In this paper, we give a new lower bound for D_{1,2}(N).

We define a primitive index of an integer in a sequence to be the index of the term with the integer as a primitive divisor. For the sequences $k^u+h^u$ and $k^u-h^u$, we discern a formula to find the primitive indexes of any composite…