Первообразный корень

1) П. к., примитивный корень, из единицы в поле Кстепени т - элемент [img: http://localhost:8080/file/041706-141.jpg] ноля К такой, что [img: http://localhost:8080/file/041706-142.jpg] и [img: http://localhost:8080/file/041706-143.jpg] для любого натурального r<m. Элемент [img: http://localhost:8080/file/041706-144.jpg] порождает циклич. группу [img: http://localhost:8080/file/041706-145.jpg] корней из единицы порядка т. Если в поле Ксуществует П. к. степени т, то твзаимно просто с характеристикой поля К. Алгебраически замкнутое поле содержит П. к. любой степени взаимно простой с характеристикой поля. Если [img: http://localhost:8080/file/041706-146.jpg] - П. к. степени п. то для любого kвзаимно простого с пэлемент [img: http://localhost:8080/file/041706-147.jpg] также является П. к. Число всех П. к. степени m равно значению функции Эйлера [img: http://localhost:8080/file/041706-148.jpg]. В поле комплексных чисел П. к. степени m имеют вид [img: http://localhost:8080/file/041706-149.jpg] где 0<k<m и kвзаимно просто с т. 2) П. к. по модулю т - целое число gтакое, что [img: http://localhost:8080/file/041706-150.jpg] и [img: http://localhost:8080/file/041706-151.jpg] при [img: http://localhost:8080/file/041706-152.jpg], где [img: http://localhost:8080/file/041706-153.jpg] - функция Эйлера. Для П. к. gего степени [img: http://localhost:8080/file/041706-154.jpg] несравнимы между собой по модулю ти образуют приведенную систему вычетов по модулю т. Таким образом, для каждого числа а, взаимно простого с т, найдется показатель [img: http://localhost:8080/file/041706-155.jpg], для к-рого [img: http://localhost:8080/file/041706-156.jpg]. П. к. существуют не для всех модулей, а только для модулей твида [img: http://localhost:8080/file/041706-157.jpg] где р>2 - простое число. В этих случаях мультипликативные группы приведенных классов вычетов по модулю тустроены наиболее просто: они являются циклич. группами порядка j(m). С понятием П. к. по модулю m тесно связано понятие индекса числа по модулю т. П. к. для простых модулей рбыли введены Л. Эйлером (L. Euler), но существование П. к. для любых простых модулей рбыло доказано лишь К. Гауссом (С. Gauss, 1801).