-
Notifications
You must be signed in to change notification settings - Fork 3
/
la.tex
17070 lines (16449 loc) · 677 KB
/
la.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
% !TeX root = la.tex
% arara: latexmk: {
% arara: --> engine: lualatex,
% arara: --> options: [ '-pvc-' ]
% arara: --> }
% arara: texindy: {
% arara: --> markup: xelatex,
% arara: --> language: hungarian,
% arara: --> codepage: utf8
% arara: --> }
% arara: latexmk: {
% arara: --> engine: lualatex,
% arara: --> options: [ '-pvc-' ]
% arara: --> }
\documentclass[a4paper, showtrims]{memoir}
\usepackage{fontspec,microtype,amssymb}
\usepackage{unicode-math} %a math fontokhoz. Oszeakad az amssymb csomaggal, ha nem az amssymb van elobb.
\defaultfontfeatures{Ligatures=TeX}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Font definíciók
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\setmainfont{TeX Gyre Pagella}\linespread{1.1}
%\setmainfont[BoldFont={TT Nooks-Regular},ItalicFont={Calluna-It}]{Calluna-Regular}
\setmathfont{TeX Gyre Pagella Math}
%\setmathfont{Asana Math}
%\setsansfont{Kurier}[Scale=MatchLowercase]
\setsansfont{TeX Gyre Adventor}[Scale=MatchLowercase]
%\setsansfont{TeX Gyre Heros}[Scale=MatchLowercase]
%\setsansfont{Dejavu Sans}[Scale=MatchLowercase]
%\setsansfont[BoldFont={TT Nooks-Regular},ItalicFont={Calluna-It}]{Calluna-Regular}%
%\setmonofont{inconsolata}[Scale=MatchLowercase]
\setmonofont{TeX Gyre Cursor}
\setlength{\headheight}{12.49pt}
%
\newfontfamily\DejaSans{Dejavu Sans}
%
\usepackage{csquotes, amsmath, amsthm, fixme, graphicx, datatool, nevelok}
\makeatletter
\patchcmd{\@part}{\printpartname \partnamenum \printpartnum}%
{\printpartnum.\partnamenum\printpartname}%
{}%
{\typeout{Failed to patch part, MGy}}%
\makeatother
\usepackage{polyglossia}[2022/10/26]
\setdefaultlanguage[forceheadingpunctuation]{hungarian}
\usepackage[backend=biber,
bibencoding=utf8,
style=authoryear,
autocite=inline,
backref=true]{biblatex}
\addbibresource{\jobname.bib}
\BiblatexHungarianWarningOff
%
\usepackage[x11names]{xcolor}
%\fxsetup{status=draft, theme=color, layout={inline}}
\fxsetup{status=draft, theme=color}
\renewcommand{\fixmelogo}{\textcolor{black}{\colorbox{Firebrick1}{\textsf{\textbf{FIX}}}}}
%
\usepackage[missing={GitHub:},dirty={(Munka alatt)},mark]{gitinfo2}
%\usepackage[mark,dirty={(Dirty)}]{gitinfo2}
%\edef\gitBranch{\gitBranch}
\renewcommand{\gitMarkFormat}{\normalfont\color{gray}\footnotesize\ttfamily}
\renewcommand{\gitMark}{Branch: \gitBranch\,@\,\gitFirstTagDescribe{}
\textbullet{}
Date: \gitAuthorIsoDate
}
%
\usepackage[inline]{enumitem}
\usepackage[a4paper]{geometry}
%
\usepackage[unicode,hungarian]{hyperref}% hyperref az utoljára load-olt csomag!
\hypersetup{final=true,
pdftitle={Lineáris algebra},
pdfauthor={Magyarkuti, Gyula},
pdfsubject={linear algebra},
pdfcreator={LuaLaTeX},
pdfkeywords={algebra}
}\usepackage{memhfixc}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% magyar tipográfia
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%1111111111111111111111111111111111111111111111111111
% tartalomjegyzék magyar specialitás
%1111111111111111111111111111111111111111111111111111
% A tartalomjegyzékben pont a counter után. Például 1. Előzmények
\renewcommand{\cftsubsectionaftersnum}{.}
\renewcommand{\cftsectionaftersnum}{.}
\renewcommand{\cftchapteraftersnum}{.}
\renewcommand{\cftpartaftersnum}{.}
%2222222222222222222222222222222222222222222222222222
%% theorem-like környezetek magyar specialitás
%2222222222222222222222222222222222222222222222222222
% amsthm.cls -ben \swappnumbers nem tesz pontot a szám után.
% Például ,,1.32 tétel.''
% Magyarul helyesen ,,1.32. tétel.''
% Emiatt kell felülírnom a \swappedhead makrót!
% Ha babel-t használunk nem kell pont, mert a babel a pontot is kiteszi.
\makeatletter
\def\thmhead#1#2#3{%
\thmnumber{\@upn{#2}\@ifnotempty{#1}{.~}}%
\thmname{#1}%
\thmnote{ {\the\thm@notefont(#3)}}%
}%
\let\swappedhead\thmhead
\makeatother
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% magyar tipográfia vége
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% caption fontok beállítása
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Ez csak akkor kell, ha San seriff fontokat akarunk a part, chapter, section stb helyeken.
\renewcommand{\booktitlefont}{\normalfont\Huge\scshape}
\renewcommand{\partnamefont}{\normalfont\huge\sffamily\raggedleft}
\renewcommand{\partnumfont}{\normalfont\huge\sffamily}
\renewcommand{\parttitlefont}{\normalfont\huge\sffamily\raggedleft}
\renewcommand{\chapnamefont}{\huge\sffamily\raggedleft}
\renewcommand{\chapnumfont}{\huge\sffamily}
\renewcommand{\chaptitlefont}{\Huge\sffamily\bfseries}
\setsecheadstyle{\Large\sffamily\bfseries\raggedright}
\setsubsecheadstyle{\large\sffamily\bfseries\raggedright}
\setsubsubsecheadstyle{\normalsize\sffamily\bfseries\raggedright}
\setparaheadstyle{\normalsize\sffamily\bfseries\raggedright}
\setsubparaheadstyle{\normalsize\sffamily\raggedright}
\renewcommand{\cftpartfont}{\sffamily\bfseries}% Tartalomjegyzék is a San seriff
\renewcommand{\cftchapterfont}{\sffamily\bfseries\scshape}
\renewcommand{\cftsectionfont}{\sffamily}
\renewcommand{\cftsubsectionfont}{\sffamily}
\renewcommand{\cftpartpagefont}{\sffamily\bfseries}
\renewcommand{\cftchapterpagefont}{\sffamily\bfseries}
\renewcommand{\cftsectionpagefont}{\sffamily}
\renewcommand{\cftsubsectionpagefont}{\sffamily}
%
%\maxtocdepth{subsection}
%\setsecdepth{2} %% Ez a default. Esetleg 3?
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% A fejlécben a theorem counter elem generálása
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% https://tex.stackexchange.com/questions/319474/put-current-theorem-like-items-name-number-in-header
% \myBotmark feltöltése a lapon lévő utolsó tétel környezettel
\newcommand{\myBotmark}{\relax}
\makeatletter
\@ifdefinable\@my@claim@mark{\newmarks\@my@claim@mark}
\newcommand*\myMark[1]{\marks\@my@claim@mark{#1}}
\renewcommand*\myBotmark{\botmarks\@my@claim@mark}
\patchcmd{\@begintheorem}{% search for:
\thm@swap\swappedhead\thmhead % more specific than before
}{% replace with:
% \myMark{#2.\@ifnotempty{#1}{\ #1}\@ifnotempty{#3}{\ (#3)}}%
\myMark{#2.\@ifnotempty{#1}{\ #1.}}% nem kell az megjegyzése
\thm@swap\swappedhead\thmhead
}{
\typeout{>>> Made patch specific for amsthm.}
}{
\typeout{>>> Patch specific for amsthm FAILED!}
}
\makeatother
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% futó fejléc beállítása
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\copypagestyle{labook}{Ruled}
\makeoddhead{labook}{\scshape\rightmark}{}{\scshape\myBotmark}
\nouppercaseheads
\pagestyle{labook}
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% theorem like környezeteknek is qed a vége
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% https://tex.stackexchange.com/questions/16453/denoting-the-end-of-example-remark
\makeatletter
\let\ps@plain\ps@empty
\newcommand\arraybslash{\let\\\@arraycr}
\renewenvironment{proof}[1][\proofname]
{\par\pushQED{\qed}%
\normalfont \topsep6\p@\@plus6\p@\relax
\trivlist
\item[\hskip\labelsep
\itshape
#1\@addpunct{:}]\ignorespaces}
{\popQED\endtrivlist\@endpefalse}
\makeatother
\newcommand{\addQEDstyle}[2]{\AtBeginEnvironment{#1}{\pushQED{\qed}\renewcommand{\qedsymbol}{#2}}\AtEndEnvironment{#1}{\popQED}}
\renewcommand{\qedsymbol}{□}
\newcommand{\myqedsymbol}{$\lrcorner$}
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% theorem-like környezetek definíciója
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\swapnumbers %% a babel megfordítja. A polyglossia nem. De a babel pontot is tesz a számcimke után
\theoremstyle{plain}
\newtheorem{proposition}{állítás}[chapter]
\newtheorem{lemma}[proposition]{lemma}
\newtheorem*{SL}{Steinitz-lemma}
\newtheorem*{FA}{Az algebra alaptétele}
\theoremstyle{remark}
\newtheorem{note}[proposition]{megjegyzés}
\theoremstyle{definition}
\newtheorem{definition}[proposition]{definíció}
\newtheorem{corollary}[proposition]{következmény}
\newtheorem{defprop}[proposition]{definíció-állítás}
\addQEDstyle{definition}{\myqedsymbol}\addQEDstyle{proposition}{\myqedsymbol}\addQEDstyle{lemma}{\myqedsymbol}\addQEDstyle{note}{\myqedsymbol}\addQEDstyle{corollary}{\myqedsymbol}\addQEDstyle{SL}{\myqedsymbol}\addQEDstyle{defprop}{\myqedsymbol}
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% A bölcsesség generálása
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\DTLloadrawdb[keys={Number,Quote,Author}]{quotes}{quotes.txt}% Load quotes
\edef\RandomQuote{\number\numexpr1+\uniformdeviate\DTLrowcount{quotes}}% Identify random quote
\dtlgetrow{quotes}{\RandomQuote}% Retrieve random quote
% \dtlgetrow{quotes}{112}% Retrieve the row 113
\dtlgetentryfromcurrentrow{\Number}{1}\dtlgetentryfromcurrentrow{\Quote}{2}\dtlgetentryfromcurrentrow{\Author}{3}%
\typeout{A bölcsesség:}
\typeout{\Number:\Quote -- \Author}
\typeout{ }
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Lustaságok
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\def\scwords #1 #2 #3 {\textsc{#1} \textsc{#2} \textsc{#3} }
\DeclareMathOperator{\tr}{tr}
\DeclareMathOperator{\sgn}{sgn}
\DeclareMathOperator{\id}{id}
\DeclareMathOperator{\lin}{lin}
\DeclareMathOperator{\gen}{gen}
\DeclareMathOperator{\rrank}{rrank}
\DeclareMathOperator{\srank}{srank}
%\DeclareMathOperator{\srank}{crank}
\DeclareMathOperator{\rank}{rank}
\DeclareMathOperator{\codim}{codim}
\DeclareMathOperator{\im}{Im}
\newcommand{\uj}{\text{új}}
\newcommand{\rgi}{\text{régi}}
\newcommand{\ip}[2]{\langle#1,#2\rangle}
\newcommand{\Star}[1]{#1\ensuremath{^*}\kern-\scriptspace}
\newcommand{\CStar}{\Star{\ensuremath{\mathrm{C}}}}
%
%\citeindextrue
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Az index bekapcsolása
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\makeindex\xindyindex
%\xindyindex
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Az forward-backward search bekapcsolása
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\synctex=1
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{document}
\showboxdepth=10 \showboxbreadth=100
\frontmatter*
{\centering
\thispagestyle{empty}
\noindent
\includegraphics[width=\linewidth]{Hortus_Deliciarum,_Die_Philosophie_mit_den_sieben_freien_Künsten.JPG}
\vspace{\fill}
{\printbooktitle{Lineáris Algebra}}\par
}
\newpage
\thispagestyle{empty}
\phantom{Ez egy szándékosan üres lap}
\newpage
\thispagestyle{empty}
\section*{\texttt{Verzió információk}}
%}
{\ttfamily
\begin{center}
\begin{tabular}{l|r}
\hline
References & \gitReferences \\
Branch & \gitBranch \\
Dirty & \gitDirty \\
Hash & \gitHash \\
Author Iso Date & \gitAuthorIsoDate \\
\hline
First Tag Describe & \gitFirstTagDescribe \\
Reln & \gitReln \\
Roff & \gitRoff \\
Tags & \gitTags \\
Describe & \gitDescribe \\
\hline
\end{tabular}
\end{center}
}
\chapter{Előszó}
%\epigraphhead[70]{\epigraph{\Quote}{\textit{\Author}}}
\epigraphhead[70]{\epigraph{\dots\ Evezz a mélyre,\ \dots}{\textit{Lk 5,4}}}
\scwords%
A legfontosabb forrás \parencite{DancsPuskas2001}.
%\ldots\fxnote{Újra gondolni! Esetleg Platon?}
Igyekszem strukturáltan írni.
Kicsi, atomszerű építőkövek egymás utáni megértése visz az anyagban előre,
ezek az egymástól feltűnő módon szeparált ,,állítások'' és azok érvekkel való alátámasztása,
amit ,,bizonyításnak'' is szokás mondani.
Az írásmód oka,
hogy evvel is hangsúlyozzam, hogy az olvasónak igyekeznie kell strukturáltan gondolkodni.
A hátulütője,
hogy hibásan azt a helytelen képzetet keltheti,
mintha az egyes állítások mintegy puzzle-ként állnának össze.
Nem, nem erről van szó.
A puzzle-ban minden elem egyenrangú,
az egyik elem hiánya éppen annyira fájdalmas mint a másiké.
Ez egyetlen matematikai diszciplína esetében sem igaz!
Az olvasónak igyekeznie kell,
hogy meglássa mi a legfontosabb gondolat a sok-sok állításnak,
mint építménynek egy-egy ,,nyilvánvaló következményében''.
Hogy e kis lépések egymástól még határozottabban váljanak el azt az írás
tipográfiája is erősíti azzal,
az állítás-szerű környezeteket a \,\myqedsymbol~,
és a bizonyítás környezetet a \,\qedsymbol~ karakterekkel zárom le.
Stb.
\bigskip\noindent
Magyarkuti Gyula
\hfill{Budapest, \ontoday}
\clearpage
\tableofcontents*
%
\mainmatter*
%\part{F-dúr hegedűverseny No. 3, Op. 8, RV 293, ,,L'autunno''}
\part{Ősz}
\chapter{Kezdetek}
\scwords A lineáris algebra tárgyalásához elengedhetetlenül szükséges általános algebrai ismereteket foglaljuk össze.
\section{Algebrai struktúrák}
\begin{definition}[$n$-változós művelet]\index{művelet}\index{algebrai struktúra}
Legyen $H$ egy halmaz. Egy
\[
\varphi\colon H^n\to H
\]
függvényt $n$-változós \emph{műveletnek} nevezünk.
Egy halmazt és rajta véges sok műveletet együtt \emph{algebrai struktúrának} mondunk.
Jelölés:
$$\left(H,\varphi_1,\ldots,\varphi_n \right),$$
ahol $H$ a halmaz és
$\varphi_1,\ldots,\varphi_n$ a $H$ halmazon értelmezett műveletek.
\end{definition}
\begin{definition}[félcsoport]\index{félcsoport}
Egy $\left( S,\ast \right)$ algebrai struktúrát \emph{félcsoportnak} mondjuk,
ha $\ast$ egy kétváltozós \emph{asszociatív}\index{asszociatív}
művelete az $S$ halmaznak,
azaz minden $a,b,c\in S$ mellett
\[
a\ast\left( b\ast c \right)=\left( a\ast b\right)\ast c.\qedhere
\]
\end{definition}
Lefordítva ez azt jelenti, hogy
\begin{enumerate}
\item minden $a,b\in S$ mellett $a\ast b\in S$, és
\item minden $a,b,c\in S$ esetén $\left( a\ast b \right)\ast c=a\ast\left( b\ast c \right)$
\end{enumerate}
\begin{definition}[neutrális elemes félcsoport]\index{neutrális elem}\index{neutrális elemes félcsoport}
Az $\left( S,\ast \right)$ félcsoportban az $s\in S$ elem \emph{balról (jobbról) neutrális},
\index{balról neutrális elem}\index{jobbról neutrális elem}
ha $s\ast t=t$ ($t\ast s=t$) minden $t\in S$ mellett.
Ha $s\in S$ balról is és jobbról is neutrális, akkor $s$-et egy \emph{neutrális elemnek}
mondjuk.
A félcsoportot \emph{neutrális elemes félcsoportnak} nevezzük, ha van benne neutrális elem.
\end{definition}
\begin{proposition}
Ha egy félcsoportban, van egy balról neutrális elem és egy jobbról neutrális elem,
akkor ezek megegyeznek.
Emiatt egy neutrális elemes félcsoportban neutrális elem csak egy van.
\end{proposition}
\begin{proof}
Legyen $s_1$ balról és $s_2$ jobbról neutrális elem.
Ekkor
\(
s_2=s_1\ast s_2=s_1.
\)
\end{proof}
A félcsoport additív írásmódja esetén természetes a neutrális elemet \emph{zérusnak},
míg multiplikatív írásmód esetén \emph{egységnek} nevezni.
\begin{definition}[csoport]\index{inverz}\index{bal inverz}\index{jobb inverz}
Egy $\left( S,\ast \right)$ egységelemes félcsoportnak rögzítsük egy $s\in S$ elemét.
Azt mondjuk, hogy az $s$ elemnek az $s'\in S$ elem a \emph{bal (jobb) inverze},
ha $s'\ast s=e$ ($s\ast s'=e$) teljesül,
ahol $e\in S$ a félcsoport neutrális eleme.
Ha $s'$ bal és jobb inverze is $s$-nek, akkor azt mondjuk, hogy $s'$ az $s$ \emph{inverze}.
Egy algebrai struktúrát \emph{csoportnak}\index{csoport} nevezünk,
ha olyan neutrális elemes félcsoport, amelyben minden elemnek van inverze.
\end{definition}
Formálisabban: ha $e\in G$ jelöli a $G$ félcsoport neutrális elemét,
akkor azt követeljük meg újabb axiómaként,
hogy miden $g\in G$-hez létezzen $g'\in G$, amelyre
\[
g\ast g'=e=g'\ast g.\tag{\dag}
\]
Ha ez fennáll, akkor a $(G,\ast)$ egységelemes félcsoportot csoportnak mondjuk.
\begin{proposition}
Egy neutrális elemes félcsoportban,
ha egy elemnek van egy bal és egy jobb inverze,
akkor ezek megegyeznek.
Emiatt egy csoportban minden elemnek csak egy inverze van.
\end{proposition}
\begin{proof}
Jelölje $e$ a csoport neutrális elemét,
és tegyük fel, hogy $g'$ bal inverze és $g''$ jobb inverze $g$-nek.
Ez azt jelenti,
hogy $g'\ast g=e$ és $g\ast g''=e$.
No de
\[
g'=g'\ast e=
g'\ast\left( g\ast g'' \right)=
\left(g'\ast g\right)\ast g'' =
e\ast g''=g''.\qedhere
\]
\end{proof}
Példaként gondoljuk meg, hogy az összes $H\to H$ függvények halmaza a kompozíció művelettel
neutrális elemes félcsoportot,
és az összes $H\to H$ kölcsönösen egyértelmű függvények halmaza a kompozíció művelettel csoportot alkotnak.
Ez utóbbi csoportot mondjuk \emph{permutáció csoportnak}\index{permutációk}.
\begin{proposition}[egyszerűsítési szabály]\index{egyszerűsítési szabály}
Csoportban igaz az egyszerűsítési szabály, azaz ha
\[
a\ast c=b\ast c\text{ akkor } a=b.\qedhere
\]
\end{proposition}
\begin{proof}
\begin{math}
a=a\ast e
=
a\ast \left( c\ast c'\right)=
\left( a\ast c \right)\ast c'=
\left( b\ast c \right)\ast c'=
b\ast\left( c\ast c' \right)=
b\ast e=
b.
\end{math}
\end{proof}
\begin{definition}[Abel-csoport]\index{Abel-csoport}
Egy $\left( G,\ast \right)$ csoportot \emph{Abel-csoportnak} nevezünk,
ha a művelete \emph{kommutatív}\index{kommutatív} is,
azaz minden $s,t\in G$ mellett $s\ast t=t\ast s$.
\end{definition}
\begin{definition}[gyűrű]\index{gyűrű}
A kétműveletes $\left( R,+,\cdot \right)$ algebrai struktúrát \emph{gyűrűnek} nevezzük,
ha
\begin{enumerate}
\item $\left( R,+ \right)$ Abel-csoport;
\item $\left( R,\cdot \right)$ félcsoport;
\item és a két műveletet összeköti a következő két disztributivitás:\index{disztributív}
\[
a\cdot\left( b+c \right)=a\cdot b + a\cdot c\qquad
\left( a + b \right)\cdot c=a\cdot c+b\cdot c.
\]
\end{enumerate}
Ha $\left( R,\cdot \right)$ neutrális elemes félcsoport, akkor azt mondjuk, hogy $R$ egy
\emph{egységelemes gyűrű}, és ha $\left( R,\cdot \right)$ kommutatív félcsoport, akkor
azt mondjuk, hogy $R$ egy \emph{kommutatív gyűrű}.
\end{definition}
\begin{definition}[test]
Egy $\left( \mathbb{F},+,\cdot \right)$ kétműveletes algebrai struktúrát \emph{testnek}
nevezünk, ha olyan
\begin{enumerate}
\item
kommutatív egységelemes gyűrű;
\item
amelyben minden nemzérus%
\footnote{Értsd: minden olyan elemnek,
amely a $+$ műveletre nézve neutrális elemtől különbözik.}
elemnek van inverze%
\footnote{Értsd: a $\cdot$ szorzás neutrális elemére mint egységelemre nézve.};
\item
és $0\neq 1$%
\footnote{Értsd: az összeadásra nézve és a szorzásra nézve képzett neutrális elemek
nem azonosak.}.\qedhere
\end{enumerate}
\end{definition}
A test az algebrai struktúra, ahol az összeadás és szorzás műveletekkel úgy számolhatunk, mint amit a valós számok során megszoktuk.
Példaként néhány tulajdonság.
\begin{proposition}
Az $\left( R,+,\cdot \right)$ egységelemes gyűrűben minden $a\in R$ mellett
\begin{equation*}
a\cdot 0=0\text{ és }
\left( -1 \right)\cdot a=-a.\qedhere
\end{equation*}
\end{proposition}
\begin{proof}
\begin{math}
0+a\cdot 0=
a\cdot 0=
a\left( 0+0 \right)=
a\cdot 0+a\cdot 0.
\end{math}
A jobboldali $a\cdot 0$-val való egyszerűsítés után kapjuk,
hogy $0=a\cdot 0$.
A második azonosságot az első felhasználásával kapjuk:
\begin{math}
0
=
0a
=
\left( 1+\left( -1 \right) \right)\cdot a
=
1\cdot a + \left( -1 \right)\cdot a
=
a +\left( -1 \right)\cdot a.
\end{math}
Az additív inverz definíciója és egyértelműsége szerint ez éppen azt jelenti, hogy $-a=\left( -1 \right)\cdot a$.
\end{proof}
Ami nagyon fontos, hogy egy gyűrűben nem feltétlen teljesül,
hogy elemek szorzata csak úgy lehet zérus, ha legalább az egyik elem zérus.
Számunkra a legfontosabb példa a mátrixok gyűrűje\footnote{Lásd kicsit később.},
ahol pont ennek a hiánya jelenti nehézséget.
Egy testben ilyen nem fordulhat elő.
\begin{definition}[nullosztómentes gyűrű]
Egy gyűrűt \emph{nullosztómentesnek} nevezzük,
ha két elem szorzata csak úgy lehet nulla,
ha legalább az egyik elem nulla.
\end{definition}
\begin{proposition}
Egy test egyben nullosztómentes gyűrű, azaz
ha $\mathbb{F}$ egy test, és $a,b\in\mathbb{F}$.
Akkor
\[
ab=0\implies a=0\text{ vagy }b=0.\qedhere
\]
\end{proposition}
\begin{proof}
Tegyük fel, hogy $ab=0$.
Ha $b\neq 0$, akkor létezik $b'\in\mathbb{F}$, hogy $bb'=1$.
Így
\[
0= 0b'=\left( ab \right)b'=a\left( bb' \right)=a1=a.\qedhere
\]
\end{proof}
\begin{proposition}
Nullosztómentes gyűrűben nem zérus elemmel való szorzatot egyszerűsíteni lehet
azaz, ha $a,b,c\in R,b\neq 0$ esetén
\[
ab=cb\implies a=c.\qedhere
\]
\end{proposition}
\begin{proof}
\begin{math}
\left( a-c \right)b=ab-cb=0\implies a-c=0.
\end{math}
\end{proof}
\begin{definition}[ideál]\index{ideál}\index{főideál}\index{főideál-gyűrű}
Egy $\left( R,+,\cdot \right)$ kommutatív gyűrű egy $J\subseteq R$ nem üres részhalmazát
\emph{ideálnak} nevezzük,
ha
\begin{enumerate}
\item
minden $a,b\in J$ mellett $a+b\in J$;
\item
minden $c\in R$ és minden $a\in J$ mellett $ca\in J$.
\end{enumerate}
Ha egy $d\in R$ adott, akkor a
\[
\left\{ da:a\in R \right\}
\]
halmaz egy ideálja $R$-nek.
Ez a $d$ elem többszöröseiből álló ideál, amelyet \emph{főideálnak}\index{főideál} is nevezünk.
Ha egy gyűrűben minden ideál egy főideál, akkor a gyűrűt \emph{főideál-gyűrűnek}\index{főideál-gyűrű} mondjuk.
\end{definition}
A generált ideál fogalma nagyon fontos.
\begin{defprop}[generált ideál]\index{generált ideál}
Legyen adott a kommutatív, egységelemes $\left( R,+,\cdot \right)$ gyűrűben véges sok $a_1,\ldots,a_r$ elem.
Az e véges sok elemet tartalmazó ideálok közös része maga is ideál,
és e metszet az eredeti véges halmazt
tartalmazó \emph{legszűkebb ideál}.
Jelöljük ezt $J\left( a_1,a_2,\ldots,a_r \right)$ módon.
Tekintsük a
$
\left\{ \sum_{j=1}^ra_jb_j:b_1,\ldots,b_r\in R \right\}
$
halmazt.
Világos,
hogy ez egy ideál az $R$ gyűrűben.
A gyűrű egységelemes,
ezért ennek $J\left( a_1,\ldots,a_r \right)$ egy részhalmaza.
Másrészt minden az $\left\{ a_1,\ldots,a_r \right\}$ elemeket tartalmazó ideál,
egyben tartalmazza a
$
\left\{ \sum_{j=1}^ra_jb_j:b_1,\ldots,b_r\in R \right\}
$
halmazt is,
ami azt jelenti, hogy
\[
J\left( a_1,\ldots,a_r \right)=
\left\{ \sum_{j=1}^ra_jb_j:b_1,\ldots,b_r\in R \right\}
\]
az $a_1,\ldots,a_r$ elemeket tartalmazó legszűkebb ideál.
Nevezzük ezt az ideált az $a_1,\ldots,a_r$ elemek \emph{generálta ideálnak} is.
\end{defprop}
Világos, hogy $\left\{ 0 \right\}$ és maga az egész $R$ ideálok.
A legfontosabb struktúrák számunkra a következők:
\begin{itemize}
\item
Egységelemes gyűrű, amelyben a nullosztómentesség nem teljesül: mátrixok.
\item
Kommutatív egységelemes gyűrű, amely nullosztómentes de mégsem test: polinomok.
\item
Test:
a valós vagy a komplex számok.
\end{itemize}
\section{Polinomgyűrűk}
\begin{definition}[polinom]\index{polinom}
Legyen $\mathbb{F}$ egy test.
E test feletti polinomokon az összes
\[
p\left( t \right)=
\alpha_0+\alpha_1t+\alpha_2t^2+\ldots+\alpha_nt^n
\]
alakú formális algebrai kifejezést értjük.
Itt $n$ tetszőleges nem negatív egész
és $\alpha_0,\ldots,\alpha_n$ tetszőleges, az $\mathbb{F}$ testbeli elemek.
Az $\mathbb{F}$ test feletti összes polinomok halmazát $\mathbb{F}\left[ t \right]$ módon jelöljük.
\end{definition}
A fenti definícióban az \emph{algebrai kifejezés} szó arra utal, hogy az
\begin{math}
\alpha_0+\alpha_1t+\alpha_2t^2+\ldots+\alpha_nt^n
\end{math}
műveletek minden $t\in\mathbb{F}$ mellett értelmesek,
és eredményük egy újabb $\mathbb{F}$ testbeli elem.
Ha $t\in\mathbb{F}$ konkrétan meg van adva,
akkor a behelyettesítés után kapott elemet mondjuk a $p$ polinom helyettesítési értékének.
A \emph{formális algebrai kifejezés}\index{formális algebrai kifejezés} arra utal,
hogy egy polinomot az együtthatói határozzák meg,
azaz két polinom akkor és csak akkor azonos,
ha a megfelelő együtthatói azonosak.
Ez szemben áll avval, hogy ha a polinomokra mint függvényekre tekintenénk,
akkor a helyettesítési értékek egyenlősége jelentené a két polinom azonos voltát.
A formális szó tehát azt jelenti, hogy nem mint függvényre gondolunk,
hanem egyszerűen az adott $\alpha_0,\ldots,\alpha_n$ rögzített elemek -- ezeket mondjuk együtthatóknak --,
által előírt műveletekre.
Az az előírás ugyanis, hogy tetszőleges $t\in\mathbb{F}$ mellett hajtsuk végre az
\[
\alpha_0+\alpha_1t+\alpha_2t^2+\ldots+\alpha_nt^n
\]
műveletsort.
A műveletsorról és nem annak eredményéről van szó.
Két műveletsor akkor azonos, ha ugyanazok a műveletsort meghatározó
$\left( \alpha_0,\alpha_1,\ldots,\alpha_n \right)$%
\footnote{Az előbbi zárójellel azt hangsúlyozzuk, hogy az együtthatók sorrendje is számít.}
együtthatók.%
\footnote{Persze felmerül a kérdés,
hogy ha két polinom minden helyettesítési értéke azonos,
akkor igaz-e,
hogy mint formális polinomok is azonosak,
azaz a két polinom együtthatói is rendre azonosak-e?
A~pozitív választ később látjuk nem véges számtest -- például a valós vagy a komplex test -- feletti polinomok esetén.
Lásd \aaz{pr:polinomfv}.~állítás utáni megjegyzést \aazt{\pageref{pr:polinomfv}}. oldalon.%
}
A jelölések megértése is fontos.
$p\left( t \right)\in\mathbb{F}\left[ t \right]$ semmi mást nem jelent,
minthogy $p\left( t \right)$ egy polinom.
Persze a polinom nem keverendő össze a helyettesítési értékével,
hiszen az egyik egy algebrai kifejezés-együttes, a másik egy az adott testbeli elem.
Szokásos viszont, hogy ha nincs konkrét $t$ a szövegkörnyezetben, akkor is $p\left( t \right)$ jelöli a polinomot.
Néha egyszerűbben csak $p$-vel jelöljük, főleg akkor ha nincs szó behelyettesítésről,
emiatt érdektelen a változó jele.
Ritkábban, de előfordul, hogy egy konkrét értékre, mondjuk $s\in\mathbb{F}$-re kell kiértékelnünk a polinomot ilyenkor $p\left( s \right)$ jelöli azt a testbeli elemet,
amelyet $t$ helyett $s$-et téve az előírt műveletek kiértékelése után kapunk.
A szövegkörnyezetben mindig világosnak kell lennie, hogy $p\left( t \right)$ a polinomot jelenti,
vagy egy konkrét $t$-re kiértékelt testbeli elemet.
\begin{definition}[polinom foka]\index{polinom foka}
Legyen $p\left( t \right)\in\mathbb{F}\left[ t \right]$ egy polinom.
Azt mondjuk, hogy az $n$ nem negatív egész szám e \emph{polinom fokszáma},
ha $n$ a legnagyobb indexű nem zérus együttható.
A legnagyobb indexű nem zérus együtthatót \emph{főegyütthatónak}\index{főegyüttható} nevezzük.
Azt mondjuk, hogy egy nemzérus polinom \emph{normált}\index{normált polinom}, ha $1$ a főegyütthatója.
A $p\left( t \right)=0$ konstans zérus polinom foka megállapodás szerint legyen $-\infty$.
A $p$ polinom fokszámát $\deg p$ módon jelöljük.
\end{definition}
Látni fogjuk, hogy a konstans zérus polinomra $\deg p=-\infty$ csak egy kényelmes jelölés.
Időnként a polinom fokszámával műveleteket is végzünk.
Megegyezés szerint ilyenkor $-\infty+a=-\infty$ minden $a$ nem negatív egész számra,
és $\left( -\infty \right)+\left( -\infty \right)=-\infty.$
A $-\infty$ szimbólumot minden egész számnál határozottan kisebbnek gondoljuk.
Két polinom összegét és szorzatát a szokásos módon definiáljuk:
\begin{definition}\label{def:polmuveletek}
Legyen $p,q\in\mathbb{F}[t]$, két polinom.
\[
p\left( t \right)
=
\sum_{j=0}^n\alpha_jt^j
\text{ és }
q\left( t \right)
=
\sum_{j=0}^m\beta_jt^j,
\qquad
\alpha_j,\beta_j\in\mathbb{F},
0\leq n,m\in\mathbb{Z}.
\]
Ekkor a $p$ és $q$ összegének definíciója:
\[
\left( p+q \right)\left( t \right)
=
\sum_{j=0}^{\max{\left\{ m,n \right\}}}\left( \alpha_j+\beta_j \right)t^j;
\]
míg a két polinom szorzatának definíciója:
\[
\left( pq \right)\left( t \right)
=
\sum_{j=0}^{n+m}c_jt^j
\text{ ahol }
c_j
=
\sum_{k=0}^j\alpha_k\beta_{j-k}.
\qedhere
\]
\end{definition}
Mind az összeadás, mind a szorzás definíciójában úgy kell a formulát érteni,
hogy amikor a hivatkozott együtthatók nem léteznek,
akkor értékük legyen zérus.
Például a szorzat legmagasabb indexű együtthatójára
$c_{n+m}=\alpha_n\beta_m$, hiszen az $\alpha_k,\beta_{n+m-k}$ számok
csak egyetlen $k$ mellett értelmezettek közösen, mikor $k=n$.
\footnote
{
Ha már követjük a konvenciót,
amely szerint a nem definiált együtthatókat zérusnak tekintjük,
akkor persze
\(
\left( p+q \right)\left( t \right)
=
\sum_{j=0}^\infty\left( \alpha_j+\beta_j \right)t^j;
\)
és
\(
\left( pq \right)\left( t \right)
=
\sum_{j=0}^\infty\left( \sum_{k=0}^\infty\alpha_k\beta_{j-k} \right)t^j
\)
is írható.
Itt a fenti összegek nem végtelen összegek, hiszen a két polinom együtthatói
csak véges sok esetben különböznek zérustól.
Így ebben az esetben a formálisan végtelen összeg definíciója
egyszerűen a véges sok nem zérus elem összege.
}
Fontos azt értenünk, hogy a $p$ és a $q$ polinom összegét és szorzatát úgy definiáltuk, hogy minden $s\in\mathbb{F}$ elemre a
\[
\left( p+q \right)\left( s \right)
=
p\left( s \right)+q\left( s \right)
\text{ valamint a }
\left( p\cdot q \right)\left( s \right)
=
p\left( s \right)\cdot q\left( s \right)
\]
kiértékelések fennálljanak.
\begin{proposition}
Legyenek $p,q\in\mathbb{F}[t]$ polinomok az $\mathbb{F}$ test felett.
Ekkor
\begin{enumerate}
\item $\deg \left( pq \right)=\deg p+\deg q$;
\item $\deg \left( p+q \right)\leq\max\left\{ \deg p,\deg q \right\}$.\qedhere
\end{enumerate}
\end{proposition}
\begin{proof}
Figyeljünk arra, hogy a konstans zérus polinom esetében is működik a tétel,
és vegyük észre, hogy az szorzat polinomra vonatkozó állítás azért igaz,
mert a test nullosztómentes.
\end{proof}
A következő állítás igazolását az olvasóra bízom.
Aprólékosan igazoljuk a test axiómák gyakorlásaként.
Vigyázat: a szorzás asszociativitása nem is olyan egyszerű.
\begin{proposition}
Egy $\mathbb{F}$ test feletti $\mathbb{F}\left[ t \right]$ formális polinomok
a fent bevezetett összeadás és szorzás műveletekkel,
nullosztómentes,
kommutatív, egységelemes gyűrűt alkotnak.
\end{proposition}
\section{Polinomok oszthatósága és a maradékos osztás}
\begin{definition}[oszthatóság]\index{polinom osztója}
Azt mondjuk, hogy a $p\in\mathbb{F}\left[ t \right]$ \emph{osztója} az $f\in\mathbb{F}\left[ t \right]$ nem zérus polinomnak,
ha létezik $h\in\mathbb{F}\left[ t \right]$, hogy $f\left( t \right)=p\left( t \right)h\left( t \right)$.
Ilyenkor $f$-et a $p$ egy \emph{többszörösének}\index{polinom többszöröse} is mondjuk.
Jelölés: $p|f$.
\end{definition}
Világos, hogy egy $p$ polinom összes többszörösei -- tehát azok, amelyeknek $p$ osztója --
ideált alkotnak.
Ez a $p$ generálta legszűkebb ideál, azaz a $J(p)=\left\{ fp:f\in\mathbb{F}\left[ t \right] \right\}$ főideál.
Ha $q\in J\left( p \right)$, akkor $J\left( q \right)\subseteq J\left( p \right)$, azaz ha $q$ egy többszöröse $p$-nek,
akkor $q$ minden többszöröse $p$-nek is többszöröse.
Ha $p,q$ polinomok,
amelyekre $p|q$ és $q|p$ akkor a két polinom csak konstans szorzóban különbözik egymástól.
Ha például a két polinom még normált is, akkor $p|q$ és $q|p$ csak $p=q$ esetben lehetséges.
A polinomgyűrű ideáljaira fokuszálva, azt gondoltuk éppen meg,
hogy \emph{$J\left( p \right)=J\left( q \right)$ normált $p,q$ polinomokra csak úgy teljesülhet, ha $p=q$},
azaz a polinomok gyűrűjében minden főideálnak csak egy generáló eleme van a normált polinomok körében.
A következő állítás szerint a polinomok közt is működik a maradékos osztás,
ahogyan azt az egész számok közt megszoktuk.
\begin{proposition}[maradékos osztás]
Legyenek $p,q\in\mathbb{F}\left[ t \right]$ polinomok, $q\neq 0$.
Ekkor létezik egyetlen $h,r\in\mathbb{F}\left[ t \right]$ polinom, amelyre
\[
p
=
hq+r;
\quad
\deg r < \deg q.\qedhere
\]
\end{proposition}
\begin{proof}
Először is azt vegyük észre, hogy $\deg p<\deg q$ esetben $r=p$,
$h=0$ szereposztással készen is vagyunk.
Tegyük fel tehát, hogy $n=\deg p\geq \deg q=m$, és lássuk be az állítást $n$ szerinti indukcióval.
Ha $n=0$, akkor $p\left( t \right)=\alpha_0$ és $q\left( t \right)=\beta_0\neq 0$.
Ekkor persze
\[
\alpha_0=\frac{\alpha_0}{\beta_0}\beta_0+0,
\]
ami azt jelenti, hogy $h\left( t \right)=\frac{\alpha_0}{\beta_0}$ és $r\left( t \right)=0$ szereposztás
megfelelő.
Most tegyük fel,
hogy igaz az állítás $n+1$-nél kisebb fokú $p$ polinomokra ($n\geq 0$),
és lássuk be egy pontosan $n+1$-ed fokú polinomra.
Legyen tehát
\[
p\left( t \right)=\alpha_{n+1}t^{n+1}+\ldots+\alpha_0
\quad\text{ és }\quad
q\left( t \right)=\beta_{m}t^m+\ldots+\beta_0,
\]
ahol $m\leq n+1$.
Tekintsük a következő polinomot:
\[
\frac{\alpha_{n+1}}{\beta_m}t^{n+1-m}q\left( t \right).
\]
Világos, hogy ennek főegyütthatója éppen $\alpha_{n+1}$ és foka éppen $n+1=\deg p$.
Így a
\[
p_1\left( t \right)
=
p\left( t \right)-
\frac{\alpha_{n+1}}{\beta_m}t^{n+1-m}q\left( t \right).
\]
polinomra $\deg p_1<\deg p$.
Na most, ha $\deg p_1<\deg q$, akkor a bizonyítás első mondatában említett helyzetben vagyunk,
tehát nyilvánvaló szereposztással az állítás igaz $p_1$-re és $q$-ra.
Ha viszont $\deg p_1\geq \deg q$ még mindig igaz, akkor az indukciós feltétel szerint található
$h,r\in\mathbb{F}\left[ t \right]$ polinom, amelyre igaz az állítás.
Mindkét esetben találtunk tehát $h,r$ polinomokat, amelyre
\[
p\left( t \right)-
\frac{\alpha_{n+1}}{\beta_m}t^{n+1-m}q\left( t \right)
=
p_1\left( t \right)
=
h\left( t \right)q\left( t \right)+r\left( t \right);
\quad
\deg r < \deg q
\]
teljesül.
Ekkor persze
\[
p\left( t \right)
=
\left( h\left( t \right)
+
\frac{\alpha_{n+1}}{\beta_m}t^{n+1-m}
\right)
q\left( t \right)
+
r\left( t \right);
\quad
\deg r < \deg q
\]
is fennáll. Ezt kellett belátni az állítás egzisztencia részéhez.
Az unicitás részhez tegyük fel, hogy valamely $h,h_1,r,r_1$ polinomokra
\[
h\left( t \right)q\left( t \right)+r\left( t \right)
=
p\left( t \right)
=
h_1\left( t \right)q\left( t \right)+r_1\left( t \right)
\]
teljesül, ahol $\deg r<\deg q$ és $\deg r_1<\deg q$.
Persze átrendezve ekkor
\[
\left( h\left( t \right)-h_1\left( t \right) \right)q\left( t \right)
=
r_1\left( t \right)-r\left( t \right)
\]
is fennáll.
Ekkor a fokszámokra figyelve
\[
\deg\left( h-h_1 \right)+\deg q
=
\deg\left( r_1-r \right)
\leq
\max\left\{ \deg r_1,\deg (-r) \right\}
<
\deg q.
\]
Ez csak akkor lehetséges, ha $\deg\left( h-h_1 \right)=-\infty$,
ami azt jelenti, hogy $h=h_1$,
amiből persze $r_1=r$ már látszik is.
\end{proof}
\begin{proposition}[a polinomgyűrű egy főideál-gyűrű]\label{pr:pgyurufoidealgyuru}
A polinomok $\mathbb{F}\left[ t \right]$ kommutatív, egységelemes, nullosztómentes gyűrűjében
minden a $\left\{ 0 \right\}$-tól különböző ideált generál az ideálban lévő egyetlen normált minimális fokszámú polinom.
Így $\mathbb{F}\left[ t \right]$ egy főideál-gyűrű.
\end{proposition}
\begin{proof}
Legyen a $J$ egy ideálja $\mathbb{F}\left[ t \right]$-nek,
amely nem csak a zérus elemből áll.
Vegyünk egy minimális fokszámú de nem zérus polinomot $J$-ben,
tehát olyat,
amely maga sem zérus és nála kisebb fokszámú polinom már nincs $J$-ben a $0$ elemen kívül.
Legyen ez $d$.
Most megmutatjuk, hogy minden $p\in J$-re $d|p$.
A maradékos osztás szerint
valamely $h,r$ polinomokra
\[
p\left( t \right)=
h\left( t \right)d\left( t \right)+r\left( t \right);
\text{ ahol }
\deg r<\deg d.
\]
Mivel $p,d\in J$, és $J$ egy ideál, ezért $r\in J$.
No de, $d$ konstrukciója szerint ilyen csak a zérus polinom van,
ezért valóban $d|p$.
Ez éppen azt jelenti, hogy
\(
J=\left\{ dh:h\in\mathbb{F}\left[ t \right] \right\}
\)
azaz $d$ generálja a $J$ ideált.
Azt viszont már korábban is meggondoltuk,
hogy egy főideált csak egyetlen normált polinom generál.
Megmutattuk tehát,
hogy egyetlen normált, minimális fokszámú polinom van $J$-ben,
és minden $J$-beli polinom ennek többszöröse.
\end{proof}
Érdemes eltenni magunknak, hogy az ideál generáló eleme, tehát az ideálbeli elemek közös osztója
éppen az ideál minimális fokszámú nem zérus polinomja.
Ilyenből a normált polinomok közül csak egy van.
\begin{definition}
Legyenek most $p_1,\ldots,p_k$ polinomok.
\begin{enumerate}
\item A $d$ polinom a \emph{legnagyobb közös osztója}\index{legnagyobb közös osztó} az adott polinomoknak,
ha
\begin{enumerate}
\item $d|p_j$ minden $j=1,\ldots,k$-ra,
\item ha $d_1|p_j$ minden $j=1,\ldots,k$ mellett akkor $d_1|d$ is fennáll,
\item $d$ normált.
\end{enumerate}
A $p_1,\ldots,p_k$ polinomokat \emph{relatív prímeknek}\index{relatív prím polinomok} nevezzük,
ha közös osztójuk csak a konstans polinomok,
azaz a $d\left( t \right)=1$ a legnagyobb közös osztó.
\item A $d$ polinom a \emph{legkisebb közös többszöröse}\index{legkisebb közös többszörös} az adott polinomoknak,
ha
\begin{enumerate}
\item $p_j|d$ minden $j=1,\ldots,k$-ra,
\item ha $p_j|d_1$ minden $j=1,\ldots,k$ mellett akkor $d|d_1$ is fennáll.
\item $d$ normált.\qedhere
\end{enumerate}
\end{enumerate}
\end{definition}
Persze az első kérdés, hogy van-e a polinomoknak legnagyobb közös osztója vagy legkisebb közös többszöröse, és hány ilyen van?
\begin{proposition}\label{pr:lkkt}
Bármely $p_1,\ldots,p_r\in\mathbb{F}\left[ t \right]$ nem zérus polinomoknak
létezik egyetlen legkisebb közös többszöröse.
Jelesül, a legkisebb közös többszörös, a
\(
\cap_{j=1}^rJ\left( p_j \right)
\) ideálnak, mint főideálnak az egyetlen normált generátora.
\end{proposition}
\begin{proof}
Világos, hogy ideálok metszete is ideál, emiatt
\(
\cap_{j=1}^rJ\left( p_j \right)
\)
is ideál $\mathbb{F}\left[ t \right]$ gyűrűben.
De itt minden ideál főideál, létezik tehát $d\in\mathbb{F}\left[ t \right]$ normált polinom, amelyre
\[