Kneser's theorem (combinatorics): Difference between revisions

Content deleted Content added
Statement: correct
Statement: extension, identifying subgroup as stabiliser
Line 5:
 
:<math> |A+B| \ge |A+H| + |B+H| - |H| . </math>
 
The subgroup ''H'' can be taken to be the ''stabiliser'' of ''A''+''B''
 
:<math> H = \lbrace g \in G : g + (A+B) = (A+B) \rbrace . </math>
 
==References==