3
$\begingroup$

Let $S, S_1$ be subsets of the positive numbers $\mathbb{N}$. We say (as usual) that $S$ is multiplicative closed if $x \in S$ and $y \in S$ implies $xy \in S.$ We say also that $S_1$ is arithmetic closed if $x \in S_1$ and $y \in S_1,$ and $\gcd(x,y)=1,$ implies $xy \in S_1.$

Let $T$ be a subset of the positive integers containing $1$ and at least another element. The smallest multiplicative closed set that contains $T$ (say $C(T)$ ) i.e., the intersection of all multiplicative closed sets that contain $T,$ is also equal to the set containing $1$ and containing all finite products of powers of primes $p^{a_p}$ (say), where $p$ is prime and $a_p >0$ is minimal with the property $p^{a_p} \in T.$

Question: How to describe (analogously ?) the smallest arithmetic closed set that contains $T$ (say $A(T)$ ) i.e., the intersection of all arithmetic closed sets that contain $T.$

Example: If $T$ contains exactly $1$ and all $3 \cdot 2^n$ with $n>0$ then $C(T)$ is the set of $1$ and all products $2^a \cdot 3^b$ with $a >0$ and $b > 0,$ while

$$ A(T) = T. $$

$\endgroup$
7
  • $\begingroup$ So any random set of 1 and assorted multiples of 6,10, and 15 is a.c. I don't see your claim about m.c. As your example shows, there need not be any prime powers in such a set. $\endgroup$ Jun 12, 2011 at 23:54
  • $\begingroup$ C(T) finite implies T=C(T) and has only the number 1 in it. For any finite subset U of T, A(U) is finite. If you map each integer t to its squarefree part u, A(U) will be a subsemilattice resembling a subsemilattice of finite subsets of primes which divide some member of T, under the operation of union. I doubt you will get a cleaner description which is number-theoretic in character. Gerhard "Ask Me About System Design" Paseman, 2011.06.12 $\endgroup$ Jun 13, 2011 at 4:03
  • $\begingroup$ This question doesn't seem to be appropriate for MathOverflow, since it is about basic undergraduate number theory. I'm inclined to close it. $\endgroup$
    – S. Carnahan
    Jun 13, 2011 at 8:13
  • $\begingroup$ It may be possible to rescue it by generalizing to near-rings, or tying it to other current research somehow. I have seen better questions from Luis Gallardo. If he does not provide sufficient motivation and correction, I would support closing. Gerhard "Ask Me About System Design" Paseman, 2011.06.13 $\endgroup$ Jun 13, 2011 at 8:26
  • $\begingroup$ Good idea to close. Thanks for comments anyway. $\endgroup$ Jun 13, 2011 at 10:06

1 Answer 1

2
$\begingroup$

It does not matter much if one includes 1 or not. In the case that $T$ is finite and the members are square free you have the question: Given a family $T$ of subsets of a finite set $U$, what can we say about the smallest subset of the power-set $2^U$ which is closed under disjoint unions? I'm not sure how much there is to say. When $T$ is finite, also $A(T)$ is finite and a subset of the set of divisors of the least common multiple of the members of $T$. For $T$ infinite not so much changes.

For fixed $k \gt 1,$ we have $ A(\lbrace t^k \mid t \in T \rbrace)=\lbrace a^k \mid a \in A(T) \rbrace$ but $A(kT)=kT.$

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.