فرض می کنیم g یگ گروه نابدیهی، s=s^(-1)={s^(-1) |s?s} و 1?s?g. گراف کیلی g که آن را به صورت cay(s:g) نمایش می دهیم ، یک گراف با مجموعه رئوس g است که در آن دو رأس a و b مجاور هستند هرگاه ab^(-1)?s. یک گراف صحیح است، اگر مقادیر ویژه مجاورت آن صحیح باشند. فرض کنید g گروهی متناهی و g ? مجموعه تمام سرشت های نمایش های g روی اعداد مختلط باشد. برای هر a?g ، ??g ? و( ?(a)=?_(a?a)?(a، مجموعه a را صحیح می نامیم، هرگاه ?(a)?z. در این پایان نامه مجموعه های صحیح و گراف های کیلی صحیح برخی از گروه های متناهی و همچنین مفهوم یک مجموعه صحیح را بیان می کنیم.