Noncommutative sets of small doubling

Abstract: A corollary of Kneser's theorem, one sees that any finite non-empty subset

A

of an abelian group

G = (G, +)

with

| A + A | l e q (2 - e p s) | A |

can be covered by at most

f r a c 2 e p s - 1

translates of a finite group

H

of cardinality at most

(2 - e p s) | A |

. Using some arguments of Hamidoune, we establish an analogue in the noncommutative setting. Namely, if

A

is a finite non-empty subset of a nonabelian group

G = (G, c d o t)

such that

| A c d o t A | l e q (2 - e p s) | A |

, then

A

is either contained in a right-coset of a finite group

H

of cardinality at most

f r a c 2 e p s | A |

, or can be covered by at most

f r a c 2 e p s - 1

right-cosets of a finite group

H

of cardinality at most

| A |

. We also note some connections with some recent work of Sanders and of Petridis.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Noncommutative sets of small doubling