فرض کنیم g یک گروه باشدوs باوارونش برابر باشدوهمانی داخل s نباشد.دراین صورت گراف کیلی cay(g,s( راگرافی تعریف می کنیم که مجموعه ی روس آن عناصرg باشد ودو راس g,h متعلقند به g مجاورند اگر وتنها اگرgدروارون h متعلق باشند به s.می دانیم گروه خودریختی های هر گراف گاماروی مجموعه ی روس ومجموعه ی یال ها و مجموعه ی s-کمان های یک گراف عمل کند وهر گاه این گروه روی هریک ازمجموعه فوق انتقالی عمل کند آن گاه گر...