# Алгебра

А́лгебра («аль-джабр» ғәрәп һүҙенән, «тулыландырыу», «бәйләнеш», «йомғаҡлау» аңлата) — математиканың бүлеге, уны арифметиканы дөйөмләштереү һәм киңәйтеү тип атап була.
«Алгебра» һүҙе шулай уҡ төрлө алгебраик системалар атамаларында ҡулланыла. А́лгебра математика фәненең бер бүлеге, һанлы системаларҙың дөйөм үҙсәнлектәрен, хәреф тамғалары ҡулланып төҙөлгән тигеҙләмәләр ярҙамында мәсьәләләр сисеүҙең дөйөм ысулдарын өйрәнә. Баштарак хәрефле аңлатмалар, хәрефтәрҙән торған формулаларҙы үҙгәртеү гилеме булараҡ үҫкән. XVII быуат ахыры — XIX быуат баштарында алгебра, беренсе сиратта, тигеҙләмәләр тураһындағы фән булып формалаша. Хәҙерге заман алгебраһы үҙсәнлектәре рациональ һандарҙы ҡушыу һәм ҡабатлау ғәмәлдәренә аҙмы-күпме дәрәжәлә оҡшаған төрлө тәбиғәтле объекттар системаһын өйрәнә. Ундай ғәмәлдәр — алгебраик ғәмәлдәр тип, улар буйһына торған закондар аксиомалар тип атала. Ҡағиҙә булараҡ, аксиомалар геометрия, математик анализ, физика, алгебраның уҙ мәсьәләләрен сискәндә барлыҡҡа килә. Ул алгебраик ғәмәлдәре билдәләнгән системаларҙы үҙсәнлектәренә ҡарап классификациялай һәм шул системаларҙа тәбиғи рәүештә барлыҡҡа килгән төрлө мәсьәләләрҙе өйрәнә.

# Алгебра
## Алгебра бүлектәре

Алгебраны түбәндәге бүлектәргә бүлеп була:
* элементар алгебра — алгебраның иң боронғо бүлеге, алгебраик аңлатмаларҙы, матди һәм комплекслы һандар өҫтөндә тигеҙләмәләрҙе өйрәнә. Унда даими дәүмәл һәм үҙгәреүсәндәр хәреф символдар менән тамғаланалар. Элементар алгебрала ошо символдарҙы ҡулланып математик аңлатмаларҙы һәм тигеҙләмәләрҙе үҙгәртеү ҡағиҙәләре бар. Мәктәптә ғәҙәттә алгебра исеме аҫтында уҡытыла.
* абстракт алгебра, йәғни юғары алгебра — ул яландар, төркөмдәр һәм ҡулсалар кеүек дөйөм алгебраик системаларҙы аксиомалаштырып өйрәнеүсе математик фән.
* Универсаль алгебра, бөтә алгебраик структурала өсөн дөйөм үҙсәнлектәрҙе өйрәнә (дөйөм алгебраның аҫбүлеге булып һынала).
* Һыҙыҡлы алгебра векторлы арауыҡтарҙың (матрицаларҙы ла индереп) үҙсәнлектәрен өйрәнә.
* Алгебраик комбинаторика — абстракт алгебра ысулдарын ҡулланып комбинаторика мәсьәләләрен өйрәнә, математик объекттар өҫтөндә символик манипуляциялар өсөн алгоритмдарҙы булдырыу һәм өйрәнеү менән шөғөлләнә.

# Алгебра
## Алгебраик системалар

«Алгебра» һүҙе шулай уҡ төрлө алгебраик системалар атамаларында ҡулланыла:
* ҡулса өҫтөндә алгебра
* булева алгебра
* сигма-алгебра

# Алгебра
## Этимология

Был термин тәүге тапҡыр 825 йылда ғәрәп ғалимы Аль-Хорезми хеҙмәтендә осрай. Унда «аль-джабр» һүҙе алыусыларҙы бер өлөштән икенсе өлөшкә күсереүҙе аңлата, уның тура мәғәнәһе — «тулыландырыу».

# Алгебра
## Элементар алгебра

Элементар алгебра — алгебраның иң төп төшөнсәләрен өйрәнеүсе бүлеге. Ғәҙәттә арифметиканың төп төшөнсәләрен өйрәнгәндән һуң өйрәнелә. Арифметикала һандар һәм улар өҫтөндә иң ябай ғәмәлдәр (+, −, ×, ÷) өйрәнелә. Алгебрала һандар үҙгәреүсәндәр менән ($a,b,c,x,y$ һәм башҡалар) алмаштырыла. Ошолай эшләү бик уңайлы, сөнки:
* Арифметика закондарын (мәҫәлән, теләһә ниндәй $a$ һәм $b$ өсөн $a+b=b+a$) дөйөм күренештә күрһәтергә мөмкинлек бирә, был ысын һандарҙың үҙсәнлектәрен системалы өйрәнеүгә беренсе аҙым булып тора.
* «Билдәһеҙ дәүмәл» төшөнсәһе индерергә, тигеҙләмәләр төҙөргә һәм уларҙы сығарыу ысулдарын өйрәнергә мөмкинлек бирә. (Миҫал өсөн, «$3x+1=10$» булырлыҡ x һанын табырға, дөйөм осраҡта, «$ax+b=c$ булырлыҡ x һанын табырға». Был, үҙгәреүсәндең ҡиммәтен табыу һандарҙың тәбиғәтенә түгел, ә улар араһындағы ғәмәлдәргә бәйле тигән һығымтаға килтерә.)
* Функция төшөнсәһен индерергә мөмкинлек бирә. (Миҫал өсөн, «Әгәр һеҙ $x$ билет һатһағыҙ, һеҙҙең килем $3x-10$ һум тәшкил итә, йәки $f(x)=3x-10$, бында $f$ — функция, һәм $x$ — функция уға бәйле булған һан»)

# Алгебра
## Һыҙыҡлы алгебра

Һыҙыҡлы алгебра — алгебраның векторҙарҙы, векторлы, йәки һыҙыҡлы арауыҡтарҙы, һыҙыҡлы сағылыштарҙы һәм һыҙыҡлы алгебраик тигеҙләмәләр системаларын өйрәнеүсе бүлеге. билдәләүселәр теорияһын, матрицалар теорияһын, формалар теорияһын (мәҫәлән, квадратик формалар), инварианттар теорияһы (өлөшләтә), тензорлы иҫәпләмә (өлөшләтә) шулай уҡ һыҙыҡлы алгебраға индерәләр. Хәҙерге заман һыҙыҡлы алгебраһы векторлы арауыҡтарҙы өйрәнеүгә төп баҫым яһай.
    $F$ яланы өҫтөндә һыҙыҡлы, йәки векторлы арауыҡ $V\left(F\right)$ — ул тәртипкә килтерелгән дүртәү $(V,F,+,\cdot )$, бында
    $V$ — векторҙар тип аталған, ирекле тәбиғәтле элементтарҙың буш булмаған күмәклеге;
    $F$ — элементтары скалярҙар тип аталған (алгебраик) ялан;
    $+\colon V\times V\to V$ — $V$ күмәклегенең һәр $\mathbf {x} ,\mathbf {y}$ элементтар парына $V$ күмәклегенең $\mathbf {x} +\mathbf {y}$ тип тамғаланған берҙән бер элементын ярашлы ҡуйыусы, векторҙарҙы ҡушыу ғәмәле;
    $\cdot \colon F\times V\to V$ — векторҙарҙы скалярҙарға ҡабатлау ғәмәле, ул $\in F$ яланының һәр $\lambda$ элементына һәм $V$ күмәклегенең һәр $\mathbf {x}$ элементына $V$ күмәклегең $\lambda \mathbf {x}$ тип тамғаланған берҙән бер элементын ярашлы ҡуя;
шуның менән бергә бирелгән ғәмәлдәр түбәндәге аксиомаларҙы — һыҙыҡлы (векторлы) арауыҡ аксиомаларын ҡәнәғәтләндерә:
* теләһә ниндәй $\mathbf {x} ,\mathbf {y} \in V$ өсөн $\mathbf {x} +\mathbf {y} =\mathbf {y} +\mathbf {x}$ (ҡушыуҙың коммутативлығы);
* теләһә ниндәй $\mathbf {x} ,\mathbf {y} ,\mathbf {z} \in V$ өсөн $\mathbf {x} +(\mathbf {y} +\mathbf {z} )=(\mathbf {x} +\mathbf {y} )+\mathbf {z}$(ҡушыуҙың ассоциативлығы);
* теләһә ниндәй $\mathbf {x} \in V$ өсөн шундай $\theta \in V$ элементы бар, бында $\mathbf {x} +\theta =\mathbf {x}$ (ҡушыуға ҡарата нейтраль элементтың булыуы), шуның менән бергә $V$ буш түгел;
* теләһә ниндәй $\mathbf {x} \in V$ өсөн шундай $-\mathbf {x} \in V$ элементы бар, бында $\mathbf {x} +(-\mathbf {x} )=\theta$ (ҡушыуға ҡарата ҡапма ҡаршы элементтың булыуы).
* $\alpha (\beta \mathbf {x} )=(\alpha \beta )\mathbf {x}$ (скалярға ҡабатлауҙың ассоциативлығы);
* $1\cdot \mathbf {x} =\mathbf {x}$ (унитарлыҡ: F яланының нейтраль(ҡабатлау буйынса) элементына ҡабатлау векторҙы һаҡлай).
* $(\alpha +\beta )\mathbf {x} =\alpha \mathbf {x} +\beta \mathbf {x}$ (векторға ҡабатлауҙың скалярҙарҙы ҡушыуға ҡарата дистрибутивлығы);
* $\alpha (\mathbf {x} +\mathbf {y} )=\alpha \mathbf {x} +\alpha \mathbf {y}$(скалярға ҡабатлауҙың векторҙарҙы ҡушыуға ҡарата дистрибутивлығы).
Геометрияла өйрәнелгән Евклид арауыҡтарына, аффинлы арауыҡтарға, шулай уҡ бик күп башҡа арауыҡтарға билдәләмә векторлы арауыҡтар аша бирелә. Ялан өҫтөндә векторлы арауыҡтың автоморфизмдары ҡабатлауға ҡарата төркөм, үҙенсәлекле булмаған квадрат матрицаларҙың изоморфлы төркөмөн төҙөйҙәр, был һыҙыҡлы алгебраны төркөмдәр теорияһы, атап әйткәндә, төркөмдәрҙең һыҙыҡлы күрһәтмәһе теорияһы менән бәйләй
Һыҙыҡлы алгебрала ҡулланылған n-үлсәмле векторлы арауыҡтарҙан сикһеҙ үлсәмле һыҙыҡлы арауыҡтарға күсеү функциональ анализдың ҡайһы бер бүлектәрендә сағылыш таба. Унан башҡа тәбиғи дөйөмләштереү булып ялан урынына ирекле ҡулсаларҙы ҡулланыу тора. Ирекле ҡулса өҫтөндә модуль өсөн һыҙыҡлы алгебраның төп теоремалары үтәлмәй. Ялан өҫтөндә векторлы арауыҡтарҙың һәм ҡулса өҫтөндә модулдәрҙең дөйөм үҙсәнлектәре алгебраик К-теорияла өйрәнелә.

# Алгебра
## Дөйөм алгебра

Дөйөм алгебра төрлө алгебраик системаларҙы өйрәнеү менән шөғөлләнә. Унда объекттар өҫтөндә ғәмәлдәрҙең үҙсәнлектәре асылда объекттарҙың тәбиғәтенә бәйһеҙ рәүештә өйрәнелә. Ул тәү сиратта төркөмдәр һәм ҡулсалар теорияһын үҙ эсенә ала. Алгебраик системаларҙың икеһе өсөн дә хас булған дөйөм үҙсәнлектәр яңы алгебраик системалар: рәшәткәләр, категориялар, универсаль алгебралар, моделдәр, ярымтөркөмдәр һәм квазитөркөмдәр ҡарауға килтерә. Тәртипкә килтерелгән һәм топологик алгебраларҙы, өлөшләтә тәртипкә килтерелгән һәм топологик төркөмдәр һәм ҡулсаларҙы, шулай уҡ дөйөм алгебраға индерәләр.
Дөйөм алгебраның теүәл генә сиге юҡ. Уға шулай уҡ яландар, сикле төркөмдәр теорияларын, сикле үлсәмле Ли алгебраларын индерергә мөмкин.

# Алгебра
## Дөйөм алгебра
### Төркөмдәр теорияһы

Буш булмаған $G$ күмәклеге унда бирелгән $*\,\colon G\times G\to G$ бинар операцияһы менән, әгәр түбәндәге аксиомалар үтәлһә, $(G,*)$ төркөмө тип атала:
* ассоциативлыҡ: $\forall (a,b,c\in G):(a*b)*c=a*(b*c)$;
* нейтраль элементтың булыуы: $\exists e\in G\quad \forall a\in G:(e*a=a*e=a)$;
* кире элементтың булыуы: $\forall a\in G\quad \exists a^{-1}\in G:(a*a^{-1}=a^{-1}*a=e)$
Төркөм төшөнсәһе симметрияны һәм геометрик объекттарҙың эквивалентлығын рәсми тасуирлау һөҙөмтәһендә барлыҡҡа килә. Төркөм төшөнсәһенә башланғыс биргән Галуа теорияһында төркөмдәр, тамырҙары булып ниндәйҙер полиномиаль тигеҙләмәнең тамырҙары торған тигеҙләмәләр симметрияһын тасуирлау өсөн ҡулланыла. Төркөмдәр математикала һәм тәбиғәт фәндәрендә һәр ерҙә, йыш ҡына (автоморфизмдар төркөмө) объекттарының эске симметрияһын күрһәтеү өсөн ҡулланыла. Дөйөм алгебраның бөтә структуралары тиерлек — төркөмдәрҙең айырым осраҡтары.

# Алгебра
## Дөйөм алгебра
### Ҡулсалар теорияһы

Ҡулса — ул, түбәндәге үҙсәнлектәргә эйә булған, (ҡушыу һәм ҡабатлау тип аталған) ике бинар операция: + һәм × бирелгән R күмәклеге:
* $\forall a,b\in R\left(a+b=b+a\right)$ — ҡушыуҙың коммутативлығы;
* $\forall a,b,c\in R\left(a+(b+c))=((a+b)+c\right)$ — ҡушыуҙың ассоциативлығы;
* $\exists 0\in R\;\forall a\in R\left(a+0=0+a=a\right)$ — ҡушыуға ҡарата нейтраль элементтың булыуы;
* $\forall a\in R\;\exists b\in R\left(a+b=b+a=0\right)$ — ҡушыуға ҡарата ҡапма-ҡаршы элементтың булыуы;
* $\forall a,b,c\in R\;(a\times b)\times c=a\times (b\times c)$ — ҡабатлауҙың ассоциативлығы (ҡайһы бер авторҙар был аксиоманың үтәлеүен талап итмәйҙәр)
* $\forall a,b,c\in R\left\{{\begin{matrix}a\times (b+c)=a\times b+a\times c\\(b+c)\times a=b\times a+c\times a\end{matrix}}\right.$ — дистрибутивлыҡ.

# Алгебра
## Универсаль алгебра

Универсаль алгебра дөйөм алгебраның бөтә алгебраик системалар өсөн хас булған үҙсәнлектәрҙе өйрәнеүсе махсус бүлеге булып тора. Алгебраик система бирелгән сикле арлы (сикһеҙ булырға ла мөмкин) ғәмәлдәр һәм сикле арлы бәйләнештәр йыйылмаһы менән ирекле буш булмаған күмәклектән ғибәрәт: ${\mathfrak {A}}=\langle A,F,R\rangle$, $F=\langle f_{1}:A^{n_{1}}\to A,\dots f_{i}:A^{n_{i}}\to A,\dots \rangle$, $R=\langle r_{1}\subseteq A^{m_{1}},\dots r_{i}\subseteq A^{m_{i}},\dots \rangle$. $A$ күмәклеге был осраҡта системаның эйәһе (йәки төп күмәклек) тип атала, ә функциональ һәм предикатлы символдарҙың уларҙың арлыҡтары менән йыйылмаһы $\langle F,R,\langle n_{1},\dots n_{i},\dots \rangle ,\langle m_{1}\dots m_{i},\dots \rangle \rangle$ — уның сигнатураһы тип атала. Бәйләнештәр күмәклеге буш булған система универсаль алгебра (предмет контексында — йышыраҡ ябай ғына алгебра) тип атала, ә ғәмәлдәр күмәклеге буш булған система — модель йәки бәйләнештәр системаһы, реляцион система тип атала.
Универсаль алгебра терминдарында, мәҫәлән, ҡулса — ул шундай универсаль алгебра $\left(R,+,\times \right)$, бында $\left(R,+\right)$ алгебраһы — Абель төркөмө, һәм $+$ ғәмәле $\times$ ҡарата уңдан һәм һулдан дистрибутив. Ҡулса, әгәр мультипликатив группоид ярымтөркөм булһа, ассоциатив тип атала.
Бүлек асылда универсаль алгебраларҙы ла, шулай уҡ бер үк ваҡытта булған структураларҙы: $\mathbf {End} {\mathfrak {A}}$ бөтә эндоморфизмдарҙың моноидын, $\mathbf {Aut} {\mathfrak {A}}$ бөтә автоморфизмдар төркөмөн, $\mathbf {Sub} {\mathfrak {A}}$ бөтә аҫалгебралар рәшәткәһен һәм $\mathbf {Con} {\mathfrak {A}}$ бөтә конгруэнцияларҙы ҡарай.
Универсаль алгебра логика һәм алгебраның тоташҡан урыны.

# Алгебра
## Тарихи очерк

Алгебраның башланғысы бик боронғо замандарға барып тоташа. Натураль һандар һәм кәсерҙәр өҫтөндә арифметик ғәмәлдәр — иң ябай алгебраик ғәмәлдәр — тәүге математик текстарҙа осрайҙар. Б.э. тиклем 1650 йылда уҡ Египет күсереп яҙыусылары ситләштерелгән беренсе дәрәжә тигеҙләмәләрҙе һәм иң ябай икенсе дәрәжә тигеҙләмәләрҙе эшләй белгәндәр, уларға Ринд папирусынан 26-сы һәм 33-сө мәсьәләләрҙе һәм Мәскәү папирусынан 6-сы мәсьәләне индерәләр. Мәсьәләләрҙең сығарылышы ялған фекер ҡағиҙәһенә нигеҙләнгән тип фаразлана. Ошо уҡ ҡағиҙәне, бик һирәк булһа ла, Вавилонлылар ҡулланғандар.
Вавилон математиктары квадрат тигеҙләмәләрҙе сығара белгәндәр. Улар тик ыңғай коэффициенттар һәм тигеҙләмә тамырҙары менән эш иткәндәр, сөнки тиҫкәре һандарҙы белмәгәндәр. Төрлө реконструкциялар буйынса Вавилонда йә сумманың квадраты ҡағиҙәһен, йә сумма һәм айырма ҡабатландығы өсөн ҡағиҙәне белгәндәр, шуның менән бергә тамырҙы иҫәпләү ысулы тулыһынса хәҙерге формула менән тап килә. Өсөнсө дәрәжә тигеҙләмәләр ҙә осрай. Бынан тыш, Вавилонда махсус терминология индерелгән була, беренсе билдәһеҙҙе («оҙонлоҡто»), икенсе билдәһеҙҙе («киңлекте»), өсөнсө билдәһеҙҙе («тәрәнлекте»), шулай уҡ математик символдар тип иҫәпләп булған төрлө сығарылма дәүмәлдәрҙе («оҙонлоҡ» һәм «киңлек» ҡабатландығы булған «яланды», «оҙонлоҡ», «киңлек» һәм «тәрәнлек» ҡабатландығы булған «күләмде») тамғалау өсөн шумер шына яҙыулы тамғалары ҡулланыла. Мәсьәләләр һәм терминдарҙың геометрик сығышына ҡарамаҫтан, улар абстрактлаштырып ҡулланыла, атап әйткәндә, «майҙан» һәм «оҙонлоҡ» бер иш тип һанала. Квадрат тигеҙләмәләрҙе сығарыу өсөн төрлө тождестволы алгебраик үҙгәртеүҙәр башҡара, билдәһеҙ дәүмәлдәр менән эш итергә белергә кәрәк була. Шулай итеп, сығарыу өсөн алгебраик ысулдар менән ҡуллана белергә кәрәк булған тотош мәсьәләләр класы бүленеп сыға.
Квадраттың яғы менән диагонале сағыштырғыһыҙ булыуы асыҡланғандан һуң, грек математикаһы кризис кисерә, уны хәл итеүгә геометрияны математиканың нигеҙе итеп һайлау һәм алгебраик ғәмәлдәрҙе геометрик дәүмәлдәр өсөн билдәләү булышлыҡ итә. Евклидтың «Башланғыстарының» икенсе китабы, Архимедтың һәм Аполлонийҙың хеҙмәттәре Геометрик алгебраға бағышланған. Киҫектәр, тура дүртмөйөштәр һәм параллелепипедтар ҡулланыу менән ҡушыу, алыу һәм ҡабатлау (ике киҫектә төҙөлгән тура дүртмөйөш) билдәләнә. Бындай күҙаллау ҡабатлауҙың ҡушыуға ҡарата дистрибутивлыҡ законын, сумманың квадраты өсөн тождествоны иҫбатларға мөмкинлек бирә. Алгебра башта планиметрияға нигеҙләнә һәм тәү сиратта квадрат тигеҙләмәләрҙе сығарыу өсөн ҡулайлаштырыла. Шуның менән бергә Пифагорсылар тарафынан әйтеп бирелгән кубты икеләтеү һәм мөйөштөң трисектрисаларын төҙөү, төҙөк күпмөйөштәр төҙөү тураһында мәсьәләләр алгебраик тигеҙләмәләргә ҡайтып ҡала. Куб тигеҙләмәләрҙе сығарыу Архимедтың хеҙмәттәрендә үҫеш ала («Шар һәм цилиндр тураһында» һәм «Коноидтар һәм сфероидтар тураһында» яҙмалары), ул дөйөм күренештә $x^{3}+ax+b=0$ тигеҙләмәһен тикшерә. Айырым мәсьәләләр конус киҫелештәре ярҙамында сығарыла.
Көтөлмәгән, арифметикаға нигеҙләнгән алгебраға күсеү Диофанттың хеҙмәттәрендә барлыҡҡа килә, ул хәреф тамғалауҙар индерә: Билдәһеҙ һанды ул «һан» тип, билдәһеҙҙең икенсе дәрәжәһен — «квадрат», өсөнсө жәрәжәһен — «куб», дүртенсе дәрәжәһен — «квадрато-квадрат», бишенсе дәрәжәһен — «квадрато-куб», алтынсы дәрәжәһен — «кубо-куб» тип атай. Шулай уҡ ул тиҫкәре дәрәжәләр, ирекле быуын, тиҫкәре һан (йәки алыу) өсөн тамғалау һәм тигеҙлек тамғаһын индерә. Диофант кәметеүсене тигеҙләмәнең бер яғынан икенсе яғына күсереү ҡағиҙәһен һәм тигеҙ быуындарҙы ҡыҫҡартыу ҡағиҙәһен белгән. Өсөнсө һәм дүртенсе дәрәжә тигеҙләмәләрҙе тикшереп, Диофант, кәкре һыҙыҡта рациональ нөктәне табыу өсөн геометрик алгебраның, кәкре һыҙыҡтың рациональ нөктәһендә тейеүсе үткәреү йәки ике рациональ нөктә аша тура һыҙыҡ үткәреү кеүек ысулдарын ҡуллана. X быуатта Диофанттың үҙенең ысулдарын тасуирлаған «Арифметика» китабы ғәрәп теленә тәржемә ителә, ә XVI быуатта Көнбайыш Европаға барып етә, ул Ферма һәм Виеттың хеҙмәттәренә йоғонто яһай. Диофанттың идеяларын шулай уҡ Эйлерҙың, Якоби, Пуанкаре һәм башҡа математиктарҙың хеҙмәттәрендә XX быуат баштарына тиклем күрергә мөмкин. Хәҙерге ваҡытта Диофант мәсьәләләрен алгебраик геометрияға ҡайтарып ҡалдырыу ҡабул ителгән.
Хәҙерге заманға тиклем 2000 йыл элек Ҡытай ғалимдары беренсе дәрәжә тигеҙләмәләрҙе һәм уларҙың системаларын, шулай уҡ квадрат тигеҙләмәләрҙе эшләй белгәндәр (ҡарағыҙ. Математика в девяти книгах). Улар хатта тиҫкәре һәм иррациональ һандарҙы белгәндәр. Ҡытай телендә һәр символ төшөнсәне аңлатҡанлыҡтан, ҡыҫҡартыуҙар булмай. XIII быуатта ҡытайлылар биномиаль коэффициенттарҙы төҙөү законын асҡандар, ул хәҙерге ваҡытта «Паскаль өсмөйөшө» булараҡ билдәле. Европала ул тик 250 йыл үткәс кенә билдәле була.
«Алгебра» термины Урта Азия ғалимы Аль-Хорезмиҙың «Краткая книга об исчислении аль-джабра и аль-мукабалы» (825 йыл) китабынан алына. «аль-джабр» һүҙе кәметеүсене тигеҙләмәнең бер яғынан икенсе яғына күсереү ғәмәлен аңлата һәм уның тура мәғәнәһе «ҡайтарыу».
XII быуатта алгебра Европаға килеп эләгә. Ошо ваҡыттан алып уның йылдам үҫеше башлана. 3 һәм 4 дәрәжә тигеҙләмәләрҙе сығарыу ысулы асыла. Тиҫкәре һәм комплекслы һандар киң танылыу ала. Теләһә ниндәй 4 дәрәжәнән юғары тигеҙләмәләрҙе алгебраик ысул менән сығарыу мөмкин түгел икәне иҫбат ителә.
XX быуаттың икенсе яртыһына тиклем алгебраны практик ҡулланыу, башлыса, бер нисә үҙгәреүсәнле алгебраик тигеҙләмәләрҙе һәм тигеҙләмәләр системаһын сығарыу менән сикләнә. XX быуаттың икенсе яртыһында техниканың яңы тармаҡтарының йылдам үҫеше башлана. Электрон-иҫәпләү машиналары, мәғлүмәтте һаҡлау, эшкәртеү һәм тапшырыу ҡоролмалары, радар тибындағы күҙәтеү системалары барлыҡҡа килә. Техниканың яңы төрҙәрен проектлау һәм уларҙы ҡулланыу хәҙерге хәҙерге заман алгебраһын ҡулланмайынса мөмкин түгел. Шулай, электрон-иҫәпләү машиналары сикле автоматтар принцибы буйынса төҙөлгән. электрон-иҫәпләү машиналарын һәм электрон схемаларҙы проектлау өсөн Буль алгебраһы ысулдары ҡулланыла. ЭВМ өсөн хәҙерге программалау телдәре алгоритмдар теорияһы принциптарына нигеҙләнгән. Күмәклектәр теорияһы компьютерҙа мәғлүмәтте эҙләү һәм һаҡлау системаларында ҡулланыла. Категориялар теорияһы образдарҙы таныу мәсьәләләрендә, программалау телдәре семантикаһын аныҡлағанда, һәм башҡа практик мәсьәләләрҙә ҡулланыла. Мәғлүмәтте кодлау һәм кодты алыу төркөмдәр теорияһы ысулдары менән башҡарыла. Рекуррент эҙмә-эҙлелектәр теорияһы радарҙар эшендә ҡулланыла. Экономик иҫәпләүҙәр графтар теорияһын ҡулланмайынса мөмкин түгел. Математик моделдәрҙе алгебраның бөтә бүлектәре лә киң ҡуллана.