Статья 201. Порядок применения налоговых вычетов 1. Налоговые вычеты, предусмотренные пунктами 1 – 4 статьи 200 настоящего Кодекса, производятся на основании расчетных документов и счетов-фактур, выставленных продавцами при приобретении налогоплательщиком подакцизных

Как показано в §5, отношение сравнимости по модулю т обладает свойствами рефлексивности, симметричности и транзитивности; поэтому оно является отношением эквивалентности Возьмем произвольное целое число а. Обозначим через о множество чисел, сравнимых с а по модулю т: Пусть. Пусть теперь. И так далее. Процесс будет длиться до тех пор, пока построенные множества не будут покрывать все множество целых чисел. При этом возникает разбиение2> множества Z на множества а. Ь, с,..которые называют классами вычетов по модулю m; каждое число, входяшее в какой-нибудь из классов, называется вычетом этого класса. Число классов вычетов по модулю т равно т. Действительно, остаток отделения целого числа на т принимает одно из значений т - 2 или т - 1 и поэтому каждое из чисел попадает в один из классов 01, количество которых равно т. Взяв по одному числу из каждого класса вычетов получим систему представителей классов вычетов, или полную систему вычетов по модулю т. Системы вычетов Пример 1. Различные полные системы вычетов по модулю 7: Лемма 3. Числа, хт образуют полную систему вычетов по модулю т тогда и только тогда, когда они попарно не сравнимы по модулю т. Необходимость очевидна. Докажем достаточность. Если два числа не сравнимы по модулю ту то они попадают в разные классы вычетов. Так как всего классов вычетов m и рассматриваемых чисел гп, то они составляют полную систему вычетов. Лемма 4. Пусть,хт - полная система вычетов по модулю т, целое число а взаимно просто с т, b - произвольное целое число. Тогда числа ахi + 6, ах2 + Ь, ..ахт -f b также образуют полную систему вычетов. Согласно лемме 3 достаточно убедиться в том, чт Предположим (для приведения к противоречию), ч OG общем определении отношения и его свойствах речь пойдет ниже - в главе LXVIII; заметим, что теория чисел является источником многих важных примеров для обшей алгебры. Разбиение множества - это представление его в виде объединения попарно не пересекающихся подмножеств. Тогда a{xi-xj) \my и, поскольку (о, m) = 1, имеем (Xi-Xj) m, что противоречит лемме 3. Лемма 5. Пусть х = a(modm). Тогда (Системы вычетов м Действительно, пусть г - остаток от деления о на т. Тогда по лемме 2 Но так как х = a(mod т), при делении на m ««ело г"тамке имеет остаток г, и, следовательно, (я,т) = (г,т), откуда и вытекает требуемое. Итак, числа из одного класса вычетов по модулю т имеют один и тот же наибольший обший делитель с т. Поэтому становится корректным следующее определени е. Вычет по модулю т называют приведенным, если он взаимно прост с т. Совокупность приведенных вычетов из разных классов вычетов называют приведенной системой вычетов. Пример 2. При m = 7 приведенная система вычетов может выглядеть так: Системы вычетов Функцией Эйлера (р(т) называют число натуральных чисел, не превосходящих т и взаимно простьк с т. Например, . Легко видеть, что если р - простое число, Очевидно, что приведенная система вычетов по модулю т содержит чисел. Лемма 6. Пусть а взаимно просто приведенная система вычетов по модулю т. Тогда числа ах\, ах к также образуют приведенную систему вычетов по модулю т. 4 Так как числа о и Х{ взаимно просты с т, таким же свойством обладает и их произведение ах*. В силу леммы 4 числа ах\,ах2,... принадлежат к разным классам вычетов, и, следовательно, в силу предыдущего, образуют приведенную систему вычетов.

В предыдущем пункте было отмечено, что отношение  m сравнимости по произвольному модулю m есть отношение эквивалентности на множестве целых чисел. Это отношение эквивалентности индуцирует разбиение множества целых чисел на классы эквивалентных между собой элементов, т.е. в один класс объединяются числа, дающие при делении на m одинаковые остатки. Число классов эквивалентности  m (знатоки скажут – "индекс эквивалентности  m ") в точности равно m .

Определение. Любое число из класса эквивалентности  m будем называть вычетом по модулю m . Совокупность вычетов, взятых по одному из каждого класса эквивалентности  m , называется полной системой вычетов по модулю m (в полной системе вычетов, таким образом, всего m штук чисел). Непосредственно сами остатки при делении на m называются наименьшими неотрицательными вычетами и, конечно, образуют полную систему вычетов по модулю m . Вычет ρ называется абсолютно наименьшим, если ⎪ρ ⎪ наименьший среди модулей вычетов данного класса.

Пример : Пусть m = 5. Тогда:

0, 1, 2, 3, 4 - наименьшие неотрицательные вычеты;

2, -1, 0, 1, 2 - абсолютно наименьшие вычеты.

Обе приведенные совокупности чисел образуют полные системы вычетов по модулю 5.

Лемма 1 . 1) Любые m штук попарно не сравнимых по модулю m чисел образуют полную систему вычетов по модулю m .

2) Если а и m взаимно просты, а x пробегает полную систему вычетов по модулю m , то значения линейной формы а x + b , где b – любое целое число, тоже пробегают полную систему вычетов по модулю m .

Доказательство. Утверждение 1) – очевидно. Докажем утверждение 2) Чисел а x +b ровно m штук. Покажем, что они между собой не сравнимы по модулю m . Ну пусть для некоторых различных x 1 и x 2 из полной системы вычетов оказалось, что ax 1 + b ≡ ax 2 + b (mod m). Тогда, по свойствам сравнений из предыдущего пункта, получаем:

ax 1 ≡ ax 2 (mod m )

x 1 ≡ x 2 (mod m )

– противоречие с тем, что x 1 и x 2 различны и взяты из полной системы вычетов.

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

Определение. Приведенной системой вычетов по модулю m называется совокупность всех вычетов из полной системы, взаимно простых с модулем m .

Приведенную систему обычно выбирают из наименьших неотрицательных вычетов. Ясно, что приведенная система вычетов по модулю m содержит ϕ (m ) штук вычетов, где ϕ (m )– функция Эйлера – число чисел, меньших m и взаимно простых с m .

Функция Эйлера.

Функция Эйлера ϕ (a ) есть количество чисел из ряда 0, 1, 2,..., a –1, взаимно простых с a .

Лемма. Пусть

Т
огда:

в частности, φ(p α) = p α –p α -1 , φ(p ) = p –1.

Пример . Пусть m = 42. Тогда приведенная система вычетов суть:

1, 5, 11, 13, 17, 19, 23, 25, 29, 31, 37, 41.

Лемма 2. 1) Любые ϕ (m ) чисел, попарно не сравнимые по модулю m и взаимно простые с модулем, образуют приведенную систему вычетов по модулю m .

2) Если d (a , m ) = 1 и x пробегает приведенную систему вычетов по модулю m , то а x так же пробегает приведенную систему вычетов по модулю m .

Доказательство . Утверждение 1) – очевидно. Докажем утверждение 2). Числа а x попарно несравнимы (это доказывается так же, как в лемме 1 этого пункта), их ровно ϕ (m ) штук. Ясно также, что все они взаимно просты с модулем, ибо d (a , m )=1, d (x ,m )=1 ⇒ d (ax , m )=1. Значит, числа а x образуют приведенную систему вычетов.

Лемма 3. Пусть m 1 , m 2 , ..., m k – попарно взаимно просты и m 1 m 2 ...m k =M 1 m 1 =M 2 m 2 =...=M k m k , где M j =m 1 ...m j -1 m j +1 ...m k

1) Если x 1 , x 2 , ..., x k пробегают полные системы вычетов по модулям m 1 , m 2 , ..., m k M 1 x 1 +M 2 x 2 + ...+M k x k пробегают полную систему вычетов по модулю m= m 1 m 2 ...m k .

2) Если ξ 1 , ξ 2 , ..., ξ k пробегают приведенные системы вычетов по модулям m 1 , m 2 , ..., m k соответственно, то значения линейной формы M 1 ξ 1 +M 2 ξ 2 + ...+M k ξ k пробегают приведенную систему вычетов по модулю m= m 1 m 2 ...m k .

Лемма 4. Пусть x 1 , x 2 , ..., x k , x пробегают полные, а ξ 1 , ξ 2 ,..., ξ k , ξ – пробегают приведенные системы вычетов по модулям m 1 , m 2 ,...,m k и m=m 1 m 2 ...m k соответственно, где (m i m j )=1 при i ≠ j . Тогда дроби {x 1 /m 1 +x 2 /m 2 +...+x k /m k } совпадают с дробями {x/m} , а дроби { ξ 1 /m 1 + ξ 2 /m 2 +...+ ξ k /m k } совпадают с дробями { ξ/m} .

Обозначим через ε k k -ый корень m- ой степени из единицы:

Здесь k =0,1,...,m -1 – пробегает полную систему вычетов по модулю m .

Напомню, что сумма ε 0 + ε 1 +...+ ε m-1 всех корней m -ой степени из единицы равна нулю для любого m . Действительно, пусть ε 0 + ε 1 +...+ ε m-1 = a . Умножим эту сумму на ненулевое число ε 1 . Такое умножение геометрически в комплексной плоскости означает поворот правильного m -угольника, в вершинах которого расположены корни ε 0 + ε 1 +...+ ε m-1 , на ненулевой угол 2 π/m . Ясно, что при этом корень ε 0 перейдет в корень ε 1 , корень ε 1 перейдет в корень ε 2 , и т.д., а корень ε m-1 перейдет в корень ε 0 , т.е. сумма ε 0 + ε 1 +...+ ε m-1 не изменится. Имеем ε 1 a=a , откуда a=0 .

Теорема 1. Пусть m>0 – целое число, a  Z , x пробегает полную систему вычетов по модулю m . Тогда, если а кратно m , то

в противном случае, при а не кратном m ,

Теорема 2. Пусть m>0 – целое число, ξ пробегает приведенную систему вычетов по модулю m . Тогда (сумма первообразных корней степени m ):

где μ(m ) – функция Мебиуса.

дипломная работа

2.5.2 Вычеты. Полная и приведенная системы вычетов

Числа равноостаточные, или, что то же самое, сравнимые по модулю m, образуют класс чисел по модулю m.

Из такого определения следует, что всем числам класса отвечает один и тот же остаток r, и мы получим все числа класса, если в форме mq + r заставим q пробегать все целые числа.

Соответственно m различным значениям r имеем m классов чисел по модулю m.

Любое число класса называется вычетом по модулю m по отношению ко всем числам того же класса. Вычет, получаемый при q = 0, равный самому остатку r, называется наименьшим неотрицательным вычетом.

Взяв от каждого класса по одному вычету, получим полную систему вычетов по модулю m. Чаще всего в качестве полной системы вычетов употребляют наименьшие неотрицательные вычеты 0, 1, ..., m-1 или также абсолютно наименьшие вычеты. Последние, как это следует из вышеизложенного, в случае нечетного m представляются рядом

1, 0, 1, ...,

а в случае чётного m каким-либо из двух рядов

1, 0, 1, ...,

1, 0, 1, ..., .

Любые m чисел, попарно несравнимые по модулю m, образуют полную систему вычетов по этому модулю.

Действительно, будучи несравнимы, эти числа тем самым принадлежат к различным классам, а так как их m, т.е. столько же, сколько и классов, то в каждый класс наверно попадёт по одному числу.

Если (a, m) = 1 и x пробегает полную систему вычетов по модулю m, то ax + b, где b - любое целое, тоже пробегает полную систему вычетов по модулю m.

Действительно, чисел ax +b будет столько же, сколько и чисел x, т.е. m. Согласно предыдущему утверждению остаётся, следовательно, только показать, что любые два числа ax 1 + b и ax 2 + b, отвечающие несравнимым x 1 и x 2 , будут сами несравнимы по модулю m.

Но допустив, что ax 1 + b ax 2 + b (mod m), мы придём к сравнению ax 1 = ax 2 (mod m), откуда, вследствие (a, m) = 1, получим

x 1 x 2 (mod m),

что противоречит предположению о несравнимости чисел x 1 и x 2 .

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

Взяв от каждого такого класса по одному вычету, получим приведённую систему вычетов по модулю m. Приведённую систему вычетов, следовательно, можно составить из чисел полной системы, взаимно простых с модулем. Обыкновенно приведённую систему вычетов выделяют из системы наименьших неотрицательных вычетов: 0, 1, ..., m-1. Так как среди этих чисел число взаимно простых с m есть (m), то число чисел приведённой системы, равно как и число классов, содержащих числа, взаимно простые с модулем, есть (m).

Пример. Приведённая система вычетов по модулю 42 будет 1, 5, 11, 13, 17, 19, 23, 25, 29, 31, 37, 41.

Любые (m) чисел, попарно несравнимые по модулю m и взаимно простые с модулем, образуют приведённую систему вычетов по модулю m.

Действительно, будучи несравнимыми и взаимно простыми с модулем, эти числа тем самым принадлежат к различным классам, содержащим числа, взаимно простые с модулем, а так как их (m), т.е. столько же, сколько и классов указанного вида, то в каждый класс наверно попадёт по одному числу.

Если (a, m) = 1 и x пробегает приведённую систему вычетов по модулю m, то ax тоже пробегает приведённую систему вычетов по модулю m.

Действительно, чисел ax будет столько же, сколько и чисел x, т.е. (m). Согласно предыдущему свойству остаётся, следовательно, только показать, что числа ax по модулю m несравнимы и взаимно просты с модулем. Первое следует из свойства сравнений (если сравнение имеет место по модулю m, то оно имеет место и по модулю d, равному любому делителю числа m) для чисел более общего вида ax + b, второе же следует из (a, m) = 1, (x, m) = 1.

Алгебраическая проблема собственных значений для матриц специального вида и ее программное обеспечение

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

База данных MS Access

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

Дефрагментатор файловой системы

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

Компьютерное моделирование устройств робототехники

В данной курсовой работе необходимо изучить моделирование устройств робототехники следующими методами: 1. С использованием системы MathCAD -- исследовать поведение одного звена робота...

Методы и средства защиты компьютерной информации

Зашифрование по алгоритму Rijndael реализуется в виде следующего псевдокода. Аргументы обрабатываются как указатели на поля байтов или четырехбайтовых слов. Интерпретация полей, переменных и функций дана в таблицах 11-13...

Описание реализации базовой модели электрической цепи

В данной курсовой работе необходимо выполнить: 1. С использованием системы MathCAD рассчитать значения функции заряда на конденсаторе в заданной электрической схеме. Построить графики функции емкости конденсатора и функции заряда. 2...

Приложения Windows: графический редактор Paint

Двойным щелчком на ячейке палитры можно выбрать для неё цвет из полной палитры цветов...

Применение систем компьютерного моделирования для исследования математической модели RLC-цепи

Применение системы Mathcad и Matlab для исследования математической модели электрической, включающей в себя источник ЭДС, сопротивления R, емкость С и катушку индуктивности L. Полная постановка задачи: 1. С использванием системы Mathcad 1...

Применение системы MathCAD для исследования модели электрической цепи с переменной индуктивностью

Применение системы MathCAD для исследования модели электрической цепи с переменной индуктивностью, заданной графически. Постановка задачи: 1...

Применение системы MathCAD для исследования реакции электрической цепи на внешнее воздействие

Применение системы Mathcad для исследования реакции электрической цепи на внешнее воздействие Постановка задачи 1. С использованием системы Mathcad рассчитать значения функции реакции u(t) на воздействие e(t). Построить графики функций u(t) и e(t). 2...

Программа для решения системы обыкновенных дифференциальных уравнений

Разработка алгоритма и Паскаль-программы по вычислению заданной функции

Запишем полную Паскаль-программу в соответствии с разработанным алгоритмом, который приведён в Приложении A. Program n_33; var m, n, j: integer; b, an, mult, h: real; x: array of real; y: array of real; c: array of real; gd,gm,n,m,i,j:integer; s,b,srk,min,max,y1:real; Begin clrscr; writeln (vvedite kol-vo chlenov c,x); readln (n...

Синтез алгоритмов согласованного управления пространственным движением беспилотным летательным аппаратом

Известно, что одним из основных моментов в составлении или разработке математической модели ЛА является принятие различных допущений, упрощающих, схематизирующих реальный процесс. Принятие допущений это инженерная задача, от правильности...

Управление проектом внедрения автоматизированной информационной системы для ООО "Рим"

АСУП как система состоит из большого количества элементов различных уровней и различного назначения. К ним относятся подсистемы, модули, блоки управления, задачи, управленческие процедуры, функции, операции и т. п. Базовые системы типа ERP...