Constructing subsets of a given packing index in Abelian groups

Publication date: 24 February 2009

Abstract: By definition, the sharp packing index

i n d_{P}^{s} h a r p (A)

of a subset

A

of an abelian group

G

is the smallest cardinal

k a p p a

such that for any subset

B s u b s e t G

of size

| B | g e k a p p a

the family

b + A : b i n B

is not disjoint. We prove that an infinite Abelian group

G

contains a subset

A

with given index

i n d_{P}^{s} h a r p (A) = k a p p a

if and only if one of the following conditions holds: (1)

2 l e k a p p a l e | G |^{+}

and

k o t i n 3, 4

; (2)

k a p p a = 3

and

G

is not isomorphic to

o p l u s_{i i n I} m a t h b b Z_{3}

; (3)

k a p p a = 4

and

G

is not isomorphic to

o p l u s_{i i n I} m a t h b b Z_{2}

or to

m a t h b b Z_{4} o p l u s (o p l u s_{i i n I} m a t h b b Z_{2})

.

Recommendations

Cited In (5)

This page was built for publication: Constructing subsets of a given packing index in Abelian groups