گراف کیلی

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به: ناوبری، جستجو
گراف کیلی گروه آزاد تولید شده توسط دو مولد a و b

در ریاضیات یک گراف کیلی، گرافی است که ساختار جبری یک گروه جبری را در خود دارد. نام گراف کیلی پس از قضیهٔ کیلی پیشنهاد شد که در تعریف آن یک گروه به همراه مجموعه‌ای از عناصر آن (معمولاً مولد آن گروه) در نظر گرفته می‌شود.

تعریف[ویرایش]

فرض کنید یک گروه، و یک مجموعهٔ مولد برای آن باشد. گراف کیلی از عناصر گروه به عنوان رئوس گراف تشکیل شده است طوری که بین هر کدام از این رئوس (عناصر گروه) یک یال وجود دارد هرگاه عضوی از وجود داشته باشد که با ضرب در یکی از رئوس دیگری را بسازد. مثلاً برای عضو دلخواه در همهٔ عناصری به شکل که در تغییر می‌کند به متصل‌اند. پس هر گراف کیلی منظم است. چون هر راس آن از درجهٔ است.