Получена асимптотика числа множеств, свободных от произведений, в конечных группах четного порядка.Работа выполнена при поддержке Российского фонда фундаментальный исследо ваний, проект 04-01-00359.
Введение и основные понятияМножество А элементов группы G называется свободным от произведений, если урав нение ху = z не имеет решений в множестве А. Семейство всех подмножеств группы G, свободных от произведений, обозначим через 0>(G).Пусть где с -положительная постоянная, е(п) -* 0 при п -» оо и второе неравенство справед ливо, начиная с некоторого п. В данной работе неравенства (1) обобщаются на случай произвольных конечных групп четного порядка, имеющих хотя бы одну подгруппу индекса 2. Пусть G -группа, А с G, е £ А, А~1 = {а~1: а е А]. Графом Кэли %A(G) на множестве G относительно множества А будем называть граф с множеством вершин G, в котором ребрами являются пары {и, v} такие, что u~lv e (A U А -1 ). Из этого определения следует, что %A(G) -регулярный граф степени |А U Л -1 1.Множество U вершин графа Г называется независимым, если подграф, порожден ный множеством U, является пустым. Семейство всех независимых множеств графа Г обозначим через $(Г).Везде в дальнейшем предполагается, что п достаточно велико.
Вспомогательные утвержденияТеорема 2. Пусть Г -n-вершинный регулярный граф степени к. Тогда \НТ)\ < 2 ( " /2)(1+0( v /(log * )/ * )) .Здесь и далее log л означает log 2 п.