Lineárna algebra a geometria | Konečné polia , vektorový priestor definícia | prednáška 12

Zhrnutie prednášky

Prednáška z Lineárnej algebry a geometrie 1 zavádza pojem poľa ako komutatívneho okruhu, v ktorom nenulové prvky tvoria komutatívnu grupu vzhľadom na násobenie, s príkladmi Q, R a C. Hlavným cieľom je pripraviť dôkaz tvrdenia, že Z modulo M je pole práve vtedy, keď M je prvočíslo, pričom sa využíva neexistencia deliteľov nuly v poli a plánovaný prevod dôkazu na izomorfný okruh Z/MZ. Prednáška ďalej pripomína najväčší spoločný deliteľ a Euklidov algoritmus a formuluje pomocnú lemu, že každá netriviálna podgrupa celých čísel má tvar MZ.

• Pole F je komutatívny okruh, v ktorom F* = F bez nuly tvorí komutatívnu grupu vzhľadom na násobenie (existencia inverzných prvkov k nenulovým prvkom)
• Q, R a C sú príklady polí
• Cieľ prednášky: dokázať, že Z modulo M je pole práve vtedy, keď M je prvočíslo
• V poli neexistujú netriviálne delitele nuly (z x·y=0 vyplýva x=0 alebo y=0)
• Ak M=A·B je zložené číslo, Z modulo M nie je pole, lebo A·B=0 pri nenulových A a B
• Dôkaz sa plánuje robiť pre izomorfný okruh Z/MZ namiesto priamo pre Z modulo M
• Pripomenutie najväčšieho spoločného deliteľa (NSD/GCD) cez rozklad na prvočísla (príklad NSD(8,12)=4) a Euklidovho algoritmu ako alternatívnej metódy
• Lema: každá netriviálna podgrupa aditívnej grupy celých čísel Z má tvar MZ pre nejaké prirodzené číslo M

Zhrnutie pripravené s pomocou AI z prepisu videa.