Кіріспе

Комбинаторикада айырмашылық жиыны – топтың q ретіндегі өлшеміне ие болатын, мөлшері k болатын ішкі жиын. Бұл жиынның әрбір бірлік емес элементі, жиынның элементтерінің көбейтіндісі түрінде дәл λ жолмен өрнектеледі. Айырмашылық жиыны топтың сәйкес қасиеттеріне ие болса, циклдік, абельдік, абельдік емес және т.б. деп аталады. k=λ болған жағдайдағы айырмашылық жиыны кейде жазықтық немесе қарапайым деп аталады. Егер G – аддитивті нотацияда жазылған абельдік топ болса, анықтамалық шарты – G-нің әрбір нөлдік емес элементі, жиынның элементтерінің айырмасы түрінде дәл λ жолмен жазылуы мүмкін. "Айырмашылық жиыны" термині осылай туындайды.

Теңдес және изоморфты айырмашылықтар жиынтығы

Топтағы және топтағы екі айырмашылық жиынтығы, егер олардың арасында топтық изоморфизм болса, эквивалентті болады және кейбір үшін . Егер жобалар блоктық жобалар ретінде изоморфты болса, екі айырмашылық жиынтығы изоморфты болып табылады. Эквивалентті айырмашылық жиынтықтары изоморфты, бірақ эквивалентті емес изоморфты айырмашылық жиынтықтарының мысалдары бар. Циклдік айырмашылық жиынтығы жағдайында, барлық белгілі изоморфты айырмашылық жиынтықтары эквивалентті.

Тарих

Циклдық айырмашылықтар жиындарының және симметриялық блоктарды құру әдістерін жүйелі қолдану Р.С. Боздың 1939 жылғы мақаласына қарызды. Дегенмен, осыған дейін де түрлі мысалдар кездескен, мысалы, 1933 жылға дейін жатқан "Пейли айырмашылықтар жиындары". Циклдық айырмашылықтар жиындары тұжырымдамасын одан да жалпы топтарға кеңейту 1955 жылы Р.Х. Брукке тиесілі. Көбейткіштерді 1947 жылы Маршалл Холл кіші ұсынды.

Қолдану

Ся, Чжоу және Джаннакис айырмашылықтар жиындарының максималды қиылыс корреляциясы амплитудасы бойынша қиын Уэлш шегіне жететін күрделі векторлық код кітабын құруға қолданылатынын анықтады. Осылай құрастырылған код кітабы сондай-ақ Грасманн манифолды деп аталады.