01ALG

Z WikiSkripta FJFI ČVUT v Praze
Přejít na: navigace, hledání
PDF [ znovu generovat, výstup z překladu ] Kompletní WikiSkriptum včetně všech podkapitol.
ZIPKompletní zdrojový kód včetně obrázků.

Součásti dokumentu 01ALG

součástakcepopisposlední editacesoubor
Hlavní dokument editovatHlavní stránka dokumentu 01ALGKarel.brinda 24. 8. 201014:49
Řídící stránka editovatDefiniční stránka dokumentu a vložených obrázkůAdmin 7. 9. 201513:48
Header editovatHlavičkový souborKarel.brinda 24. 10. 201019:54 header.tex
Kapitola0 editovatÚvodní poznámkyKarel.brinda 26. 8. 201015:03 alg_note.tex
Kapitola1 editovatTeorie množínSnilard 6. 1. 201100:37 alg_set.tex
Kapitola2 editovatRelaceKarel.brinda 25. 1. 201122:52 alg_rel.tex
Kapitola3 editovatUspořádané množinySedlam18 24. 1. 201213:18 alg_set2.tex
Kapitola4 editovatAlgebraSnilard 6. 1. 201100:59 alg_alg.tex
Kapitola5 editovatTeorie grupPitrazby 17. 2. 201202:51 alg_group.tex
Kapitola6 editovatOkruhyPitrazby 17. 2. 201203:00 alg_ring.tex
Kapitola7 editovatModuly a lineární algebryKosarvac 11. 11. 201115:50 alg_module.tex
Kapitola8 editovatTeorie svazůPitrazby 17. 2. 201214:19 alg_lattice.tex
Kapitola9 editovatPolynomy nad komutativními tělesyPitrazby 17. 2. 201214:21 alg_polynoms.tex
Kapitola10 editovatKonečná tělesaPitrazby 17. 2. 201214:24 alg_finite.tex

Zdrojový kód

%\wikiskriptum{01ALG}
 
 
\def\TWOCOLUMN{
\documentclass[12pt, a4paper, landscape, twocolumn]{article}
%\input{u_text}
\addtolength{\columnsep}{.8in}
\addtolength{\oddsidemargin}{-.4in}
\addtolength{\textwidth}{.8in}
\addtolength{\headsep}{-1.5in}
\addtolength{\textheight}{2.5in}
\def\stdunitlength{0.5ex}
}
 
\def\ONECOLUMN{
\documentclass[12pt, a4paper]{article}
%\input{u_text}
\minimizeborders
\addtolength{\oddsidemargin}{.4in}
\def\stdunitlength{0.5ex}
}
 
\ONECOLUMN
 
\tracingmacros=0
\usepackage[IL2]{czech}
\usepackage[mathscr]{eucal}
\usepackage{amsfonts, amssymb, amsmath}
%\usepackage[T1]{fontenc}
\usepackage{makeidx}
%\usepackage{showidx}
\makeindex
%\parindent=0pt
\parskip=0ex
 
\catcode`\@=11
 
\newtheorem{parnum}{\unaccessible}[subsection]
%\@newctr{parnum}[subsection]
 
%\newcounter{parnum}
\def\NUMBEREDPAR{\refstepcounter{parnum}\paragraph{\mdseries\scshape\raise .2ex \hbox to 0pt{\kern-3ex $\blacktriangleright$}\theparnum. \PARNAME.}\IFLABEL}
\def\NUMBEREDPARBRACKET(#1){\refstepcounter{parnum}\paragraph{\mdseries\scshape\raise .2ex \hbox to 0pt{\kern-3ex $\blacktriangleright$}\theparnum. \PARNAME{} (#1).}\IFLABEL}
\def\numberedpar#1{\edef\PARNAME{{#1}}\@ifnextchar(\NUMBEREDPARBRACKET\NUMBEREDPAR}
\def\PARLABEL[#1]{\@bsphack\protected@write\@auxout{}{\string\newlabel{#1}{{\theparnum}{\thepage}}}\@esphack }
\def\IFLABEL{\@ifnextchar[\PARLABEL\relax}
 
\def\axiom(#1)#2.#3\par{\paragraph{Axiom #1. #2.}#3\par}
\def\axiom(#1)#2.{\numberedpar{Axiom}(#1. #2)}
%\def\example#1\par{\paragraph{\newparnum{} Příklad.}#1\par}
\def\define{\numberedpar{Definice}}
\def\example{\numberedpar{Příklad}}
\def\theorem{\numberedpar{Věta}}
\def\observation{\numberedpar{Pozorování}}
\def\lemma{\numberedpar{Lemma}}
\def\remark{\numberedpar{Poznámka}}
\def\consequence{\numberedpar{Důsledek}}
\def\proof{\paragraph{\raise .2ex \hbox to 0pt{\kern-3ex $\circ$}\it Důkaz.}}
 
\def\removepar#1\par{\relax}
 
\def\DEFINEDINDEX[#1]#2{\underline{\smash{#2}}\index{#1}}
\def\DEFINED#1{\underline{\smash{#1}}}
\def\defined{\@ifnextchar[\DEFINEDINDEX\DEFINED}
 
\long\def\nothing#1{\relax}
 
\def\xy#1#2{\relax}
 
\def\xxy#1#2{
\refstepcounter{subsection}
\refstepcounter{section}
\addcontentsline{toc}{section}{\numberline{\thesection.} #2}
\subsection*{
\hglue -1ex
\hbox to 0pt{\rule[3ex]{\textwidth}{1pt}}
\hfil
{{\rm\large\bfseries\thesection.} {\rm\large\scshape #1}}
\hfil}
}
 
\def\xxxy#1#2{
\refstepcounter{subsection}
\addcontentsline{toc}{subsection}{\numberline{\thesubsection.} #2}
\subsubsection*{
\hglue -1ex
\hbox to 0pt{\kern-3.7ex$\bullet$}
\hfil
{{\rm\normalsize\bfseries\thesubsection.} {\rm\normalsize\scshape #1}}
\hfil}
}
 
\def\pp#1{\paragraph{#1.}}
 
\def\xx#1{\xy{#1}{#1}}
\def\xxx#1{\xxy{#1}{#1}}
\def\xxxx#1{\xxxy{#1}{#1}}
 
\def\QED{~\\\rightline{$\Box$}}
\newlength{\PARSKIP}
\def\QED{\setlength{\PARSKIP}{\parskip}\setlength{\parskip}{-2ex}
\hbox{}\allowbreak\hfill
%\hbox{}\allowbreak\hfill
{$\Box$}\par
 \setlength{\parskip}{\PARSKIP}}
\def\cldc{,\ldots,} %comma \ldots coma
\def\PP#1{\mathfunction{\mathscr P}\left({#1}\right)} %potence set
\def\UU{{\mathcal{U}}} %universum
\let\AA=\forall %forall
\let\EE=\exists %exists
\def\abs#1{\left|{#1}\right|} %absolute value
\def\Limpl{\Rightarrow} % short implication
\def\Lequiv{\Leftrightarrow} % short logical equivalence
\def\equivs{\;\;\Longleftrightarrow\;\;} % short logical equivalence
\def\Land{\wedge} % logical and
\def\Lor{\vee} % logical or
\def\TEXTREL#1{\mathrel{\text{#1}}}
\def\Tor{\TEXTREL{vel}}
\def\Tand{\TEXTREL{et}}
\def\Tnot{\TEXTREL{non}}
\def\SET#1#2{\left\{{#1}\divides{#2}\right\}}
\def\set#1#2{\left\{#1\left.\vphantom{#2}\vphantom{#1}\right|#2\right\}}
\def\anglevector#1{\left\langle{#1}\right\rangle}
\def\anglecouple#1#2{\anglevector{#1,#2}}
\def\map#1#2#3{#1:#2\rightarrow#3}
\def\maptype#1#2#3#4{#1:#2\stackrel{\text{#3.}}{\longrightarrow}#4}
\def\matrixtwo#1#2#3#4{\left({#1\atop#3}{#2\atop#4}\right)}
\def\1{{-1}}
\let\sse=\subseteq
\let\ssn=\varsubsetneq
\def\C{\mathbb{C}}
\def\N{\mathbb{N}}
\def\Q{\mathbb{Q}}
\def\R{\mathbb{R}}
\def\Z{\mathbb{Z}}
\def\bbA{\mathbb{A}}
\def\Nz{\mathbb{N}_0}
\def\bbP{\mathbb{P}}
\def\calU{\mathcal{U}}
\def\calR{\mathcal{R}}
\def\calF{\mathscr{F}}
\def\calS{\mathcal{S}}
\def\calB{\mathcal{B}}
\def\calA{\mathcal{A}}
\def\divides{\mathop{\mid}}
\def\pS#1{\mathscr{S}_{#1}} % permutation group
\def\pA#1{\mathscr{A}_{#1}} % even permutation group
\def\pp#1#2{\mathscr{#1}_{#2}}
\def\ord{\mathfunction{ord}}
\def\mathdef{\mathfunction{def}}
\let\sm=\smallsetminus % set minus
\let\pce=\preccurlyeq % subvalention
\let\pna=\precnapprox % sharp subvalention
\let\nsg=\vartriangleleft % normal sup-group
\let\sg=\Subset % normal sup-group
\def\supdot{^\bullet}
%\def\sublin{_{\mathrm{lin}}}
\def\sublin{_\lambda}
\def\subnat{_{\text{nat}}}
\def\hatn#1{\widehat{#1}}
\def\factorset#1{\mathop{/}{#1}}
\def\intpart#1{\left\lfloor#1\right\rfloor}
\def\sgn{\mathfunction{sgn}}
\def\ditem#1{\item[{\small\bfseries(#1)}]}
\def\ch{\mathfunction{ch}}
\def\ker{\mathfunction{ker}}
\let\rarr=\rightarrow
\def\AM#1{\mathscr{A}_{#1}}
\def\LM#1{\mathscr{L}_{#1}}
\def\KM#1{\mathscr{K}_{#1}}
\def\IM#1{\mathcal{I}_{#1}}
\def\UM#1{\mathcal{U}_{#1}}
\def\EM#1{\mathcal{E}_{#1}}
\def\FM#1{\mathscr{F}_{#1}}
\def\NM#1{\mathscr{N}_{#1}}
\def\MM#1{\mathscr{M}_{#1}}
\def\Nf{{\NM5}}
\def\Mf{{\MM5}}
\def\AL#1{\alpha_{#1}}
\def\EK{{\EH H}}
\def\id{\mathfunction{id}}
\def\lcm{\mathop{\nu}}
\def\gcd{\mathop{\delta}}
\def\HE#1{\mathrel{_{#1}\mathord\equiv}}
\def\EH#1{\mathrel{\mathord\equiv_{#1}}}
\def\subplus{_+}
\def\subdot{_\bullet}
\def\subast{_*}
\def\Pzero{{\rm\theta}}
\let\Pz=\Pzero
\let\SV=\lor
\let\SA=\land
\let\CO=\complement
\def\st{\mathfunction{st}}
\let\ol=\overline
\def\RE{\mathfunction{Re}}
\def\GF{\mathfunction{\mathrm{GF}}}
%\long\def\proof#1\QED{\relax}
 
\def\labelenumi{{\small \bfseries{(\theenumi)}}}
 
\title{Zápisky z~Algebry}
\author{Tomáš Hejda}
 
\begin{document}
 
\pagenumbering{roman}
\par
 
\vglue1.0in
 
\noindent
\newlength{\XXR}
\kern2cm
\setlength{\XXR}{4ex}\rule[-0.6\XXR]{\XXR}{\XXR}\rule[0.4\XXR]{\XXR}{\XXR}
{\huge\sc\kern1em{\bf Z}ápisky z {\bf A}lgebry}
\hfill\par\hfill
{\large\sc{\bf T}omáš {\bf H}ejda\kern1em}
\setlength{\XXR}{3ex}\rule[-0.6\XXR]{\XXR}{\XXR}\rule[0.4\XXR]{\XXR}{\XXR}
\kern2cm
 
\vskip1.2in
 
\tableofcontents
 
\input{alg_note}
 
\newpage
\pagenumbering{arabic}
 
\input{alg_set}\input{alg_group}
%\addtocounter{section}{5}
 
\input{alg_ring}\input{alg_module}\input{alg_lattice}
%\addtocounter{section}{3}
 
\input{alg_polynoms}
%\addtocounter{section}{1}
\input{alg_finite}
 
\newpage
\pagenumbering{roman}
\addtocontents{toc}{\protect\contentsline{section}{Rejstřík}{\relax}}
\printindex
 
\end{document}