Групи Определение



Дата28.08.2017
Размер82.18 Kb.
#28979
Групи
Определение.

Нека е множество, в което е зададена бинарна операция. Казваме, че относно тази операция е група ако са изпълнени слидните условия:


  1. операцията е асоциативна, т.е. е полугрупа;




  1. съществува неутрален елемент:

При мултипликативна операция това означава, че такъв, че .

При адитивна операция това означава, че , тькъв че .


  1. всеки елемент на е обратим:

При мултипликативна операция това означава, че за всеки елемент съществува , тькъв че .

При адитивна операция това означава, че за всеки елемент съществува , тькъв че .

Ако операциятя е комутативна тогава групата се нарича комутативна или абелева. Броят на елементите на дадена група ( или нейната мощност) се нарича ред на групата и се бележи с .


Примери:


  1. Относно събирането линейните пространства и пръстените са абелеви групи.

  2. Ненулевите елементи на всяко поле относно умножението образуват абелева група. Тази група се нарича мултипликативна група на полето.

  3. Обратимите квадратни матрици от даден ред над полето относно умножението образуват група, която се нача пълна линейна група и се бележи с . Тази група не е абелева.

  4. В числата 1 с –1 относно умножението образуват група от два елемента.



Непосредствени следствия от аксиомите на група



Следствие 1.

Единственост на неутралния елемент.
Следствие 2.

Единственост на обратния елемент.
Следствие 3.

Произведението(сумата) на краен брой елемнти не зависи от начина, по който са поставени скобите.



Следствие 4.

Вярно е равенството



.
Следствие 5.

От или следва .
Следствие 6.

.

Симетрична група на дадено множество

Нека е дадено множество. Разглеждаме полугрупата на всичките изображения на в . Множеството на всичките 1-1 изображения от означаваме със .


Твърдение.

наследява операцията на и относно наследената операция е група.
Доказателство:

Нека . Тогава


и .
Следователно , т.е. е изображение “върху”.

Нека и . Тогава . Следователно , т.е. изобразява различните елементи в различни. Доказанме, че , което означава че наследява операцията на . Очевидно е, че тъждесвиното изображение е неутрален елемент на тази операция в . Ако и , тогава дефинираме



.
Понеже , изображението е дефинирано коректно и . Ясно е, че
.
С това проверката, че е група е завършена.
Определение.

Групата се нарича симетрична група на множеството .
Нека да разгледаме специалната ситуация, когато . В тази ситуация групата се нарича симетрична група от -та степен и се бележи с . Полугрупата се нарича симетрична полугрупа от n-та степен и се бележи с .

Нека и . Тогава изображинието ще записваме пос ледния начин


.
При това представяне на очевидно е вядно, че
е пермутация на числата от 1 до n.
Следователно броят на елементите на групата е равен на .

Подгрупи



Определение.

Нека е група и е подмножество но . Казваме, че е подгрупа на групата ако са изпълнени следните условия:


  1. Ако , тогава ().

  2. Ако , тогава ().


Твърдение.

Подгрупите наследяват операцията на групата и относно наследената операция също са групи.


Доказателство:

Операцията се наследява съгласно (1). Ясно е че наследената операция е асоциативна. От . Съгласно (2), имаме . От (1) следва . Следователно има неутрален елемент. От (2) следва, че всеки елемент от има обратен елемент също в . Доказателството, че е група е завършено.


Примери:


  1. Всяка група е подгрупа на себе си. Неутралният елемент сам по себе си също е подгрупа. Тези две подгрупи се наричат несобствени подгрупи.

  2. Разглеждаме подгрупата . В нея множеството


е подгрупа. Тази подгрупа се нарича специална линейна група.


  1. В мултипликативната група на полето на комплексните числа. Множеството


е подгрупа. Също множеството




е подгрупа.

  1. В адитивната група на целите числа, четните числа образуват подгрупа. По-общо всички числа, които се делят на дадено естествено число образуват подгрупа, която се бележи с .

  2. Във всяко линеино пространство подпространствата са подгрупи на неговата адитивна група.


Твърдение.

Сечението на произволна фамилия от подгрупи на дадена група също е подгрупа.


Доказателство:

Същото както за подпространства.


Определение.

Нека е група и .

  1. Ако е естествено число и операцията е мултипликативна дефинираме


.
Елементът се нарича -та степен на .

Ако операцията е адитивна дефинираме



.

Елементът се нарича -то кратно на .


  1. Ако операцията е мултипликативна нулевата степен на елемента се дефинира с равенството .

Ако операцията е адитивна нулевото кратно на елемента се дефинира с равенството .


  1. Нека е цяло отрицателно число и .

Ако операцията е мултипликативна -тата степен на елемента се дефинира чрез равенството



.
Ако операцията е адитивна, -тото кратно на дефинираме чрез равенството



.
Твърдение.

Нека е мултипликативна група и . Тогава е вярно равенството
. (*)
Доказателство:

Ако или равенството (*) е очевидно. Поради това ще предполагаме, че и и ще разгледаме останалите възможни ситуации както следва.


Случай 1 и . Имаме
.
Случай 2 и . Полагаме . Тогава
. (**)
Ако тогава от (**) следва
.
Ако тогава в дясната част на (**) всичките множители се съкращават и получаваме
.
Ако тогава от (**) получаваме
.
Случай 3 и . Да се направи самостоятелно.
Случаи 4 и . Нека и . Тогава
.
Твърдението е доказано.
В адитивен вариант равенството (*) има вида
.
Задача: Да се провери, че във всяка мултипликативна група е вярно равенството

(в адитивен вариант това равенство е ).
Определение.

Нека е мултипликативна група и . Дефинираме
.
Забелижка. По принцип равенството

не е вярно тъй като отдясно може да има повторения (в групите е възможно две различни степени на даден елемент да са равни). Ако всеки две цели степени на елемента обаче са различни, тогава това равенство е вярно.
При адитивна група имаме
.

твърдение.

Нека е група. За всеки елемент принадлежащ на имаме подмножеството е подгрупа на .
Д-во:

Нека . Тогава и съгласно равенството (*) . Следователно . Също от (*) имаме , поради това


Подгрупата се нарича циклична подгрупа на групата породена от елемента .

Тъй като и , имаме че


.
Следователно е комутативна подгрупа.

Определение.

Казваме, че групата е циклична, ако , такъв че .
Примери:

  1. Адитивната група на е циклична, защото .

  2. Мултипликативната група C е циклична, защото


.
Определение.

Нека е мултипликативна група и . Казваме, че елементът има краен ред ако съществува естествено число такова, че . Най-малкото естествено число ,за което се нарича ред на елемента и се бележи . Ако за всяко естествено число , казваме че има безкраен ред и пишем .
Забележка.

При адитивна операция, това че елементът има ред равен на означава, че и при .

Твърдение.

Нека е група е . Тогава редът на цикличната подгрупа на елемента .
Доказателство:

Ще предполагаме, че групата е мултипликативна. Нека , тогава


и . (#)
Нека , т.е. . Ако , тогава
.
Тъй като доказахме, че
.
За да докажем, че е вярно равенството
(##)
трябва да проверим, че в дясната част на (##) няма повторения. Да допуснем противното и нека . Тогава получаваме, че . Понеже това противоречи на (#). Полученото противоречие доказва твърдението.
Твърдение.

Нека е мултипликативна група и . Ако , тогава всеки две цели степени на елемента са различни и следователно в тази ситуация е вярно равенството
.
Доказателство:

Да допуснем противното, т.е. и . Тогава , което е противоречие.


Сподели с приятели:




©obuch.info 2024
отнасят до администрацията

    Начална страница