А́лгебра — раздел математики, который можно нестрого охарактеризовать как обобщение и расширение арифметики; в этом разделе числа и другие математические объекты обозначаются буквами и другими символами, что позволяет записывать и исследовать их свойства в самом общем виде. Слово «алгебра» также употребляется в общей алгебре в названиях различных алгебраических систем. В более широком смысле под «алгеброй» понимают раздел математики, посвящённый изучению операций над элементами множеств произвольной природы, обобщающий обычные операции сложения и умножения чисел.
Арифме́тика — раздел математики, изучающий числа, их отношения и свойства. Предметом арифметики является понятие числа и его свойства. В арифметике рассматриваются измерения, вычислительные операции и приёмы вычислений. Изучением свойств отдельных целых чисел занимается высшая арифметика, или теория чисел. Теоретическая арифметика уделяет внимание определению и анализу понятия числа, в то время как формальная арифметика оперирует логическими построениями предикатов и аксиом. Арифметика является древнейшей и одной из основных математических наук; она тесно связана с алгеброй, геометрией и теорией чисел.
Натура́льные чи́сла — числа, возникающие естественным образом при счёте. Последовательность всех натуральных чисел, расположенных в порядке возрастания, называется натуральным рядом.
Це́лые чи́сла — расширение множества натуральных чисел, получаемое добавлением к нему нуля и отрицательных чисел. Необходимость рассмотрения целых чисел продиктована невозможностью в общем случае вычесть из одного натурального числа другое — можно вычитать только меньшее число из большего. Введение нуля и отрицательных чисел делает вычитание такой же полноценной операцией, как сложение.
Кольцо́ в общей алгебре — алгебраическая структура, в которой определены операция обратимого сложения и операция умножения, по свойствам похожие на соответствующие операции над числами. Простейшими примерами колец являются совокупности чисел, совокупности числовых функций, определённых на заданном множестве. Во всех случаях имеется множество, похожее на совокупности чисел в том смысле, что его элементы можно складывать и умножать, причём эти операции ведут себя естественным образом.
Кватернио́ны — система гиперкомплексных чисел, образующая векторное пространство размерностью четыре над полем вещественных чисел. Обычно обозначаются символом 
. Предложены Уильямом Гамильтоном в 1843 году.
В математике, если заданы две группы (G, ∗) и (H, •), гомоморфизм групп из (G, ∗) в (H, •) — это функция h : G → H, такая, что для всех u и v из G выполняется
Уравне́ние — равенство вида
,
Алгебраическая система в универсальной алгебре — непустое множество 
(носитель) с заданным на нём набором операций и отношений (сигнатурой). Алгебраическая система с пустым множеством отношений называется алгеброй, а система с пустым множеством операций — моделью.
Дифференциальными кольцами, полями и алгебрами называются кольца, поля и алгебры, снабжённые дифференцированием — унарной операцией, удовлетворяющей правилу произведения. Естественный пример дифференциального поля — поле рациональных функций одной комплексной переменной 
, операции дифференцирования соответствует дифференцирование по 
. Теория создана Джозефом Риттом (1950) и его учеником Эллисом Колчином.
Формула Эйлера связывает комплексную экспоненту с тригонометрическими функциями. Названа в честь Леонарда Эйлера, который её ввёл.
Антикоммутативность — свойство мультипликативной бинарной операции в кольце: 
.
Математи́ческая фо́рмула в математике, а также физике и других естественных науках — символическая запись высказывания, либо формы высказывания. Формула, наряду с термами, является разновидностью выражения формализованного языка. В более широком смысле формула — всякая чисто символьная запись, противопоставляемая в математике различным выразительным способам, имеющим геометрическую коннотацию: чертежам, графикам, диаграммам, графам и т. п.
Элемента́рная а́лгебра — самый старый раздел алгебры, в котором изучаются алгебраические выражения и уравнения над вещественными и комплексными числами.
Алгоритмы быстрого возведения в степень — алгоритмы, предназначенные для возведения числа 
в натуральную степень 
за меньшее число умножений, чем это требуется в определении степени. Многие из этих алгоритмов основаны на том, что для возведения числа в степень не обязательно перемножать число на само себя раз, а можно перемножать уже вычисленные степени. В частности, если 
степень двойки, то для возведения в степень достаточно число возвести в квадрат 
раз, затратив при этом умножений вместо 
. Например, чтобы возвести число в восьмую степень, вместо выполнения семи умножений 
можно возвести число в квадрат, потом результат возвести ещё раз в квадрат и получить четвёртую степень, и наконец результат ещё раз возвести в квадрат и получить ответ.
Тождество Брахмагупты — Фибоначчи, называемое также тождеством Брахмагупты или тождеством Диофанта — алгебраическое тождество, показывающее, как произведение двух сумм квадратов можно представить в виде суммы квадратов :
Кривые Эдвардса — семейство эллиптических кривых, изученных профессором математик Гарольдом Эдвардсом в 2007 году. Концепция эллиптических кривых над конечными полями широко используется в эллиптической криптографии. Первыми, кто исследовал преимущества эллиптической кривой в форме Эдвардса перед эллиптической кривой в форме Вейерштрасса, были Даниэль Бернстайн и Тани Ланге: они доработали оригинальную кривую Эдвардса, введя новый параметр кривой, и получили закон сложения точек для модифицированной кривой.
