Esse politopo de “embalagem de subgrupo” é integral?

Deixe ser um grupo abeliano finito, e deixá- P ser o poliepítopo em R Γ definido como sendo os pontos x satisfaçam as seguintes desigualdades:$\Gamma$$P$$\mathbb{R}^\Gamma$$x$

onde significa G é um subgrupo de Γ . P é integral? Se sim, podemos caracterizar seus vértices?$G \le \Gamma$$G$$\Gamma$$P$

Minha pergunta surgiu originalmente com , onde alguns pequenos exemplos ( n = 2 , 3 ) sugerem que a resposta é "sim" e "talvez, mas não é simples". Eu também tentei o grupo cíclico com 9 e 10 elementos, bem como com F 2 3 , onde novamente o politopo é integral. O poliepítopo é não integrante quando Γ é qualquer um de S 3 , D 4 , e D 5 , de modo abelianness é aparentemente essencial.$\Gamma = \mathbb{F}_2^n$$n = 2,3$$\mathbb{F}_3^2$$\Gamma$$S_3$$D_4$$D_5$

Devo mencionar que, se você escrever o primeiro conjunto de equações como , A não será necessariamente totalmente unimodular (o que implicaria que o politopo é integral). Quando Γ = F 3 2 , pode escolher três linearmente independente g e levar a três G 's gerado por cada par de elementos seleccionado g . A submatriz resultante é [ 0 1 1 1 0 1 1 1 0 ] até a permutação e, portanto, possui determinante ± 2 .$Ax \ge b$$A$$\Gamma = \mathbb{F}_2^3$$g$$G$$g$

É fácil (embora tedioso) caracterizar os vértices para grupos de primeira ordem e observar que eles são integrais. Tenho certeza de que isso pode ser estendido a grupos cíclicos com ordem de potência principal. Não tenho certeza do que acontece ao receber produtos.

Esse sistema lembra muito os polímatróides definidores , mas, em vez de uma função de conjunto submodular, as restrições são uma "função de subgrupo" que eu suspeito que seja "submodular" depois de definida da maneira correta. Ainda assim, as técnicas para mostrar certos polímatoides são essenciais, também podem funcionar aqui, mas não vejo como.

$\Gamma = \mathbb{F}_2^n$$\sum_g x_g$$x_g = 1$$g$$x_g = 1 - \chi_S(g)$$\chi_S$$S$$S$$S$$x_g = 0$

Andrew (o autor da pergunta) e eu discutimos isso por e-mail e mostramos que a conjectura é falsa. O politopo não é parte integrante dos grupos abelianos, nem mesmo dos grupos cíclicos.

Pelo lado positivo.

$p^kq$$p$$q$$k\in \mathbb{N}$

Isso ocorre porque a família de subgrupos é uma união de duas famílias laminares.

$2\times 3\times 5 =30$

$30$

$x_0=1/2$$x_2=\frac{30}{2}-\frac{1}{2}=29/2$$x_3=\frac{30}{3}-\frac{1}{2}=19/2$$x_5=\frac{30}{5}-\frac{1}{2}=11/2$$0$$30$$2,3$$5$$30$$x$

$\mathbb{F}_2^n$$n$$\mathbb{F}_2^4$