關(guān)于Erd_s,Herzog和Sch_nheim的一個(gè)公開(kāi)問(wèn)題.pdf

1、1970年，Erdos，Herzog和Schonheim證明了：設(shè)D是正整數(shù)N的正因數(shù)構(gòu)成的一個(gè)集合，|D|=m，且N的標(biāo)準(zhǔn)分解式為N=ptα1…pnαn，α1≥α2≥…≥αn.如果D中元素兩兩不互素并且不能添加N的其它因數(shù)使得新構(gòu)成的集合中元素依然兩兩不互素，則m≥αn∏ni=1n-1(αi+1).為了敘述方便，我們將滿(mǎn)足上述條件的集合D稱(chēng)為極大N-集，并且規(guī)定文章中出現(xiàn)的因數(shù)均是指正因數(shù)。他們?cè)谖恼履┪蔡岢隽艘粋€(gè)問(wèn)題：試刻畫(huà)出使得等

2、號(hào)成立的所有極大N-集D。在本文中我們解決了這個(gè)問(wèn)題，主要的結(jié)論如下(Discrete Applied Mathematics(2012)，doi：10.1016/j.dam.2012.02.013)：
　　設(shè)N=p1α1…pnαn為N的標(biāo)準(zhǔn)分解式，其中α1≥α2≥…≥αu>αu+1=…=αn。
　　(1)若αn≥2，則D是一個(gè)極大N-集且當(dāng)且僅當(dāng)存在v，u+1≤u≤n滿(mǎn)足
　　(2)若an=1，則D是一個(gè)極大N-集且

3、當(dāng)且僅當(dāng)存在一個(gè)極大Pu+1…Pn-集D’使得
　　(3)若an≥2，D是一個(gè)極大N-集，記
　　d(D)={d∈D：對(duì)任何d’∈D＼ma8qi2m都有d'f d}，則當(dāng)且僅當(dāng)d(D)={pv)對(duì)于某個(gè)u+1≤v≤n成立。
　　(4)若αn=1，D是一個(gè)極大N-集，則當(dāng)且僅當(dāng)d(D)∈{d：d|pu+1…pn}(d(D)的定義同上)。
　　(5)若αn=1，集合T1，…，Tk是所有由pu+1…pn的正因數(shù)構(gòu)成并且滿(mǎn)足以下

4、三個(gè)條件的集合T：
　　(a)集合丁中的元素兩兩不互素；
　　(b)集合T中的元素沒(méi)有整除關(guān)系；
　　(c)pu+1…pn中的任一因數(shù)或者與集合T中的某個(gè)元素互素，或者被集合T中的某個(gè)元素整除，則R(T1，N)，…，R(Tk，N)就是所有滿(mǎn)足的極大N-集D，其中R(Ti，N)=∪t∈Ti{d：d|N，t|d}。
　　(6)若αn≥2，則R({pu+1}，N)，…，R({pn}，N)就是所有滿(mǎn)足的極大N-集D.(R