Главная » Просмотр файлов » Ю.И. Журавлёв, Ю.А. Флёров, М.Н. Вялый - Дискретный анализ. Основы высшей алгебры

Ю.И. Журавлёв, Ю.А. Флёров, М.Н. Вялый - Дискретный анализ. Основы высшей алгебры (1127101), страница 32

Файл №1127101 Ю.И. Журавлёв, Ю.А. Флёров, М.Н. Вялый - Дискретный анализ. Основы высшей алгебры (Ю.И. Журавлёв, Ю.А. Флёров, М.Н. Вялый - Дискретный анализ. Основы высшей алгебры) 32 страницаЮ.И. Журавлёв, Ю.А. Флёров, М.Н. Вялый - Дискретный анализ. Основы высшей алгебры (1127101) страница 322019-05-11СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 32)

. , ik . Будем искать такойu ∈ F k , что ϕ(u)i1 = 1, ϕ(u)i2 = 0, . . . , ϕ(u)ik = 0. Получаемсистему линейных уравнений, матрица которой невырождена.Значит, решение u этой системы существует. Тогда ϕ(u) и естьискомое кодовое слово с k − 1 нулями.Мы доказали, что d 6 n − (k − 1) = n − k + 1.Как следует из теоремы 4.17, на кодах Рида – Соломонаграница Синглтона достигается, т. е. неравенство в ней обращается в равенство. В этом смысле коды Рида – Соломонаоптимальны.

Однако с точки зрения оценки в теореме Хэмминга дело обстоит иначе.Пример 4.19. Пусть n = 4 (т. е. мы берем значения многочленов в четырех точках поля), g = 1. Код образуют значениялинейных многочленов, кодовое расстояние 3, т. е. код исправляет одну ошибку. Напишем границу Хэмминга для таких параметров:q4q426q6.1 + 4(q − 1)n + 6(q − 1)21 + 4(q − 1)При больших q число кодовых слов в коде Рида – Соломонаближе к нижней границе, чем к верхней.Пример 4.20. Пусть n = q (т. е. мы берем значения многочленов во всех точках поля), g = 1. Код образуют значениялинейных многочленов, кодовое расстояние q − 1.

Так как2(q − 3)/2 + 1 6 q − 1 < 2(q − 1)/2 + 1,186Глава 4.Коды, исправляющие ошибкитакой код исправляет (q − 3)/2 ошибок. Напишем оценки изтеоремы Хэмминга для этих значений параметров:qnqn26q6Pq−3.P(q−3)/2i n(q − 1)i nii=0 (q − 1) ii=0При больших q нижняя оценка близка к константе(1 − 2.5e−1 )−1 ≈ 12.5,мощность кода намного больше. Но мощность кода намногоменьше верхней оценки из теоремы Хэмминга.

Покажем, чтоотношение q 2 к верхней оценке в теореме Хэмминга стремитсяк 0 при q → ∞. Имеем(q−3)/2 qq< q 2−q q(q − 1)(q−3)/2<i(q − 3)/2i=0(q−3)/213−q+(q−3)/2<q1−2q < 8q −(q−3)/2 4(q−3)/2 =q (q−3)/24=8→ 0.qq 2−qX(q − 1)i4.7. Коды Рида – МаллераПриведем еще одну оценку для кодового расстояния.Теорема 4.21 (граница Плоткина).

Кодовое расстояние dлюбого q-ичного кода длины n, содержащего q k кодовых слов,удовлетворяет неравенствуd6nq k (q − 1).(q k − 1)q(4.8)Доказательство. Минимальное расстояние между кодовыми словами не превосходит среднего расстояния:X1d6 k kρ(x, y).q (q − 1)x6=y∈CОценим, какой вклад в сумму вносит каждая позиция в кодовом слове. Для этого нужно оценить количество пар слов,различающихся в позиции i.

Обозначим через F множество4.7.187Коды Рида – Маллерасимволов кода, а для каждого i через fa,i — количество кодовыхв позиции i стоит a ∈ F . Тогда ясно, чтоP слов, у которыхka∈F fa,i = q , а количество пар слов, различающихся в i-йпозиции, равно!2XXXX22fa,i= q 2k −fa,i.fa,i fb,i =fa,i −a6=b∈Fa∈Fa∈Fa∈FПри заданной сумме чисел сумма квадратов этих чисел достигает минимума, когда все числа равны. Поэтому вклад каждойпозиции не превосходит k 2qq 2kq−1= q 2k −= q 2k= q 2k−1 (q − 1).q 2k − q ·qqqОтсюда получаем искомую оценкуd61q k (q k − 1)· nq 2k−1 (q − 1) =nq k−1 (q − 1)nq k (q − 1)=.qk − 1(q k − 1)qЕсли q является степенью простого числа, граница Плоткина достигается на кодах Рида – Маллера первого порядка.Возьмем n = q m − 1. Тогда слову длины n можно однозначносопоставить функцию F m \ {0} → F .

Код Рида – Маллерапервого порядка образуют такие слова, которым соответствуют линейные однородные функции и 0. Количество кодовыхслов также равно q m (линейная однородная функция задаетсяm коэффициентами). Поскольку любая отличная от 0 линейная однородная функция принимает нулевое значение ровнов q m−1 точках, кодовое расстояние для кода Рида – Маллерапервого порядка равно d = q m − q m−1 . Граница Плоткина вэтом случае имеет вид(q m − 1)q m (q − 1)= q m − q m−1 .(q m − 1)qОтветы, указания, решения1.1.

Ответ: да. Указание: результат операции ∗ — этообратное к сумме обратных111= + .x∗yx y1.2. Ответ: операция x ∗ y = (1 + 2xy)(x + y) на множествецелых чисел Z.1.4. Докажем, что всякий правый обратный является левым обратным: возьмем равенство x−1 ·x·x−1 = x−1 , умножимего справа на (x−1 )−1 , получаем x−1 · x = e.Докажем, что всякая правая единица является левой единицей: ex = xx−1 x = xe = x.Теперь легко проверяется единственность единицы и обратного.Пусть e, e′ — две единицы. Тогда e = e · e′ = e′ .Пусть xy = xz = e.

Поскольку y, z являются также левымиобратными, имеем: y = ye = yxz = ez = z.1.5. 1) да; 2) да; 3) да; 4) да; 5) нет; 6) нет; 7) нет; 8) да;9) нет; 10) да; 11) да; 12) нет; 13) да; 14) да; 15) да; 16) да;17) нет; 18) да; 19) нет; 20) да; 21) да; 22) да; 23) да; 24) да;25) нет 26) да; 27) да; 28) да; 29) да; 30) да; 31) да; 32) нет;33) нет; 34) да; 35) нет; 36) да; 37) нет; 38) да.1.9.

Прямое вычисление:ab = aeb = a(ab)2 b = a(abab)b = a2 bab2 = ba.1.10. Указание. Первый способ: показать, что |a| = 1 длялюбого a из данной группы G порядка n. При n > 1 взять вG элемент b = cos(ψ) + i sin(ψ) с наименьшим положительнымаргументом ψ и проверить, что G = {1, b, b2, . . . , bn−1 }.189Ответы, указания, решенияВторой способ: пользуясь теоремой Лагранжа, показать,что an = 1 для любого a ∈ G.1.11. а) Одна группа — циклическая группа третьего порядка с элементами {e, a, a2 } и таблицейeaa2a2e .aaa2eВ представлении перестановками можно положить:e = (1)(2)(3), a = (123), a2 = (132)(e — единица).Доказательство единственности см. на с. 15.б) Существуют две группы порядка 4.

По теореме Лагранжа порядки элементов должны делить 4.Первая возможность: существует элемент порядка 4. Этоциклическая группа четвертого порядка с элементами {e, a,a2 , a3 } и таблицейeaa2a3aa2a3ea2a3eaa3e.aa2В представлении перестановками можно положить:e = (1)(2)(3)(4), a = (1234), a2 = (13)(24), a3 = (1432)(e — единица.)Вторая возможность: все неединичные элементы имеют порядок 2. Поэтому группа коммутативна (задача 1.9). Есливзять любые два неединичных элемента a, b, то четвертый элемент будет их произведением: c = ab. По этим данным таблицаумножения восстанавливается однозначно:e aa eb abab bbabeaabb.ae190Ответы, указания, решенияВ представлении перестановками можно положить:e = (1)(2)(3)(4), a = (12)(34), b = (13)(24), c = (14)(23).(e — единица).Эта группа называется четверно́й группой Клейна V .в) Существуют две группы порядка 6: циклическая группаC6 и группа перестановок трех элементов S3 .1.13.

а) Указание. Проверить равенство (1i) ◦ (1j) ◦ (1i) == (ij).б) Указание. Проверить, что произведение двух транспозиций следующим образом выражается через тройные циклы:(ik) ◦ (ij) = (ijk),(ij) ◦ (kl) = (ilk) ◦ (ijk).в) Решение. Пусть G — подгруппа знакопеременной группыAn , порожденная множеством указанных тройных циклов, и i,j, k — различные числа, большие двух (при n = 3 утверждениеочевидно, а при n = 4 данное ниже доказательство упрощается).

Вместе с циклом (12i) группа G содержит обратныйэлемент (i21), поэтому G содержит(j21) ◦ (12i) ◦ (12j) = (1ij),(12j) ◦ (i21) ◦ (j21) = (2ij).При n = 4 группа G уже содержит все тройные циклы. Приn > 4 она содержит(k21) ◦ (1ij) ◦ (12k) = (ijk).Значит, G содержит все тройные циклы и по пункту б) совпадает с An .1.14. Ответ: 2.При > 3 группа Sn не коммутативна и потому не является циклической. Осталось указать два элемента, порождающих Sn . Докажем, что a = (01) и b = (012 . . . (n − 1)) порождают всю группу перестановок (здесь удобно занумероватьэлементы множества числами от 0 до n − 1). Поскольку Snпорождается транспозициями (см. пример 1.39 на с.

39), длядоказательства достаточно выразить любую транспозицию через a и b.Сначала рассмотрим транспозиции соседних элементов(i (i + 1)). Так как перестановка bk переводит i в (i + k) mod n,191Ответы, указания, решениядля перестановки bi ab−i получаем:b−ibiai−7 −→ 0 −7→ 1 −7 → i + 1,b−iabii+1−7 −→ 1 −7→ 0 −7 → i,b−iabiесли k 6= i, i + 1, то k −7 −→ k − i −7→ k − i −7 → k.Значит, (i (i + 1)) = bi ab−i .Чтобы выразить любую транспозицию через транспозициисоседних, нужно индуктивно применять равенство(ik) = (jk) ◦ (ij) ◦ (jk).Предположим, что все транспозиции вида (i (i + j)) выражаются через транспозиции соседних при j < k. Тогда имеемвыражение(i (i + k) = ((k − 1) k) ◦ (i (k − 1)) ◦ ((k − 1) k)для транспозиции (i (i + k), откуда по индукции заключаем,что всякая транспозиция выражается через транспозиции соседних.1.19.

а) Рассмотрим подгруппу H порядка d = n/k, порожденную элементом ak . Она содержит e, ak , a2k , . . . , a(d−1)k .Если (as )d = e, то sd кратно n, а s кратно k. Поэтому порядки подгрупп, порожденных элементами G \ H, отличаютсяот d. Но всякая подгруппа циклической группы — циклическая(теорема 1.27 на с. 30).

Значит, H — единственная подгруппапорядка d.б) Следует из а): любой элемент порядка d группы G порождает подгруппу порядка d, которая совпадает с H.1.23. Указание а) Рассмотреть (ab)pr и (ab)ps , где p — порядок ab. б) Рассмотреть (ab)p , где p — порядок ab, и показать,что ap = b−p = e.Пример 1. Для элементов a 6= e, b = a−1 условие (1◦ )выполнено, а (2◦ ) — нет. Утверждение б) не выполнено, таккак порядки a и b равны между собой и не равны единице, апорядок ab = e равен единице.Пример 2.

Элементы a = (12)(3), b = (123) симметрическойгруппы S3 имеют взаимно простые порядки 2 и 3. Условие(1◦ ) не выполнено, так как ab = (23), ba = (13), а условие192Ответы, указания, решения(2◦ ) выполнено. Утверждение б) не выполнено: a порядка 2,b порядка 3, ab порядка 2.в) Обе части равенства ak = bn возвести в степень s, равную порядку b.г) Пример 3. В циклической группе C8 с порождающим aэлементы a, a3 , a5 имеют порядок 8, но aa3 = a4 порядка 2,aa5 = a6 порядка 4.1.26. Обозначим через ϕ(n) количество порождающих элементов циклической группы Cn . (Это число совпадает с функцией Эйлера — количеством натуральных чисел, меньших n ивзаимно простых с n. Впрочем, этот факт в решении никак неиспользуется.)Каждый элемент a ∈ Cn порождает подгруппу hai порядкаd(a). В циклической группе есть ровно одна подгруппа порядка d (задача 1.19), поэтомуXn=ϕ(d)(∗)d|n(слева — все элементы группы, а справа — они же, но разбитыена множества порождающих элементов подгрупп).Рассмотрим элемент порядка d.

Он порождает подгруппу порядка d, элементы которой дают d решений уравненияxd = e. Других решений по условию быть не может (по теоремеЛагранжа d делит порядок группы). Значит, для любого делителя d порядка группы n либо вообще нет элементов порядка d,либо есть ровно ϕ(d) элементов порядка d. Первый случайневозможен, так как иначе нарушилось бы равенство (∗). Поэтому в группе есть элементы порядка d для любого делителя n, в том числе и для самого n. Но это и означает, чтогруппа — циклическая.1.27.

Характеристики

Тип файла
PDF-файл
Размер
1,2 Mb
Тип материала
Высшее учебное заведение

Список файлов книги

Свежие статьи
Популярно сейчас
Как Вы думаете, сколько людей до Вас делали точно такое же задание? 99% студентов выполняют точно такие же задания, как и их предшественники год назад. Найдите нужный учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6372
Авторов
на СтудИзбе
309
Средний доход
с одного платного файла
Обучение Подробнее