Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

Показательные и полиномиальные сравнения. 2 страница



4) , 5) .

5.3. Решите полиномиальные сравнения, предварительно понизив их степени с помощью теоремы Ферма:

1) 2) ,

3) ,

4) ,

5) .

5.4. Докажите, что сравнение не имеет решений.

5.5. Решите следующие сравнения:

1) 2) , 3) ,

4) , 5) .

5.6. Решите следующие полиномиальные сравнения:

1) 2) ,

3) ,

4) ,

5) .

5.7. Решите следующие уравнения в натуральных числах

1) , 2) , 3) .

5.8. Для каждого натурального найдите число вычетов в полной системе вычетов по модулю , удовлетворяющих сравнению .

5.9. Докажите, что нахождение решений сравнения ax 2+ bx + c ≡ ≡0(mod m), , сводится к нахождению решений сравнения вида .

5.10. В приведенной системе вычетов по модулю 23 найдите все квадратичные вычеты.

5.11. Используя свойства символов Лежандра и Якоби, исследовать на разрешимость сравнения:

1) , 2) , 3) ,

4) , 5) .

5.12. Укажите способ решения показательного сравнения , где .

5.13. Укажите способ решения степенного сравнения , где .

5.14. Пусть - простое число вида . Для любого целого найдите решение сравнения в явном виде.

Группы.

Непустое множество с заданной на нем бинарной операцией образует группу , если выполнены условия:

1) операция ассоциативна, то есть для любых ;

2) существует нейтральный элемент , то есть для любого ;

3) для любого элемента существует обратный элемент , то есть .

Если операция коммутативна, то есть для любых , то группа называется коммутативной или абелевой. Если множество конечное, то группа называется конечной, а число элементов множества называется порядком группы и обозначается . Для любого целого числа степень элемента определяется следующим образом: , для натуральных , . Натуральное число называется порядком элемента и обозначается , если и для любого натурального , меньшего . Если группа конечна, то для вычисления порядка степеней элементов справедлива формула: , .

Если в группе существует элемент , такой, что для любого элемента существует целое число , такое, что , то группа называется циклической, а элемент называется образующим элементом группы и обозначается .

Пусть - непустое подмножество множества G.

Если множество образует группу относительно операции , то группу называют подгруппой группы и пишут или в случае ; если же и для любых , то говорят, что - нормальная подгруппа (нормальный делитель) группы и обозначают .

Пусть . Тогда для каждого элемента множества , называются соответственно левым смежным классом и правым смежным классом. В случае левый смежный класс совпадает с правым смежным классом и называется смежным классом по нормальной подгруппе.

Если , то для любых элементов смежные классы , либо не пересекаются, либо совпадают и мощность каждого смежного класса равна мощности множества .Если – множество всех различных смежных классов, то образует группу относительно операции умножения смежных классов и .

Группа называется фактор-группой группы по подгруппе ; нейтральным элементом фактор-группы является множество , а обратным элементом к является смежный класс ; число элементов в фактор-группе , в случае её конечности, называется индексом подгруппы в группе и обозначается . В случае конечности группы имеет место равенство (теорема Лагранжа).

Пусть и - группы; отображение называется гомоморфизмом групп, если для любых ; ядром гомоморфизма называется множество , где - нейтральный элемент группы ; образом гомоморфизма называется множество ; ядро гомоморфизма образует нормальную подгруппу группы , образ гомоморфизма образует подгруппу группы ; биективный гомоморфизм называется изоморфизмом; группы и называются изоморфными, если существует изоморфизм , и обозначают ; для любого гомоморфизма группы и являются изоморфными (теорема об изоморфизме); любая конечная циклическая группа порядка изоморфна группе вычетов по модулю , любая бесконечная циклическая группа изоморфна аддитивной группе целых чисел .

Пример 1. Определите, образует ли группу множество с операцией суперпозиции.

Решение. Проверим, что операция суперпозиции является бинарной операцией на множестве , т.е. для любых . Так как , то . Кроме того, для любого

.

Очевидно, операция суперпозиции является ассоциативной. Нейтральным элементом является тождественное отображение: , . Покажем, что обратным элементом к является обратное отображение . Так как , то . Возьмём произвольное и обозначим , тогда , . Так как , то . Следовательно, . Отсюда получаем . Множество с операцией суперпозиции образует группу.

Пример 2. Найдите все подгруппы группы .

Решение. Докажем, что любая подгруппа группы имеет вид , где , - некоторый натуральный делитель числа . Пусть - произвольная подгруппа группы , - наименьший натуральный вычет множества . Допустим, существует такой элемент , что не делится на , то есть , где , . Но тогда , что противоречит минимальности . Следовательно, для любого найдётся натуральное , такое, что . Допустим, что не делится на , тогда , где , . Отсюда , что противоречит минимальности . Следовательно, есть подмножество множества . Очевидно, .

Пример 3. Определите, являются ли группы и изоморфными.

Решение. Обозначим , . Отображение , действующее по правилу , , является гомоморфизмом, так как

.

Так как гомоморфизм биективный, то группы , являются изоморфными.

Пример 4. Пусть - циклическая группа 8-го порядка, - её подгруппа порядка 4. Найдите индекс подгруппы в группе и вычислите фактор-группу .

Решение. Пусть - образующий элемент группы , тогда . Так как , то , где - некоторый делитель числа 8. Поскольку , то . Следовательно, . Индекс равен 2. Фактор-группа состоит из двух смежных классов и .

6.1. Определите, какие из указанных множеств относительно заданных операций, образуют группу:

1) , где - одно из множеств ;

2) , где - одно из множеств ;

3) , где - одно из множеств ;

4) , где - одно из множеств ;

5) , где - одно из множеств ( - множество всех положительных чисел из множества );





Дата публикования: 2015-11-01; Прочитано: 608 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2024 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.012 с)...