\documentclass[12pt]{report}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{mathrsfs}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{hyperref}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage[french]{babel}
\usepackage[top=2cm, bottom=2cm, left=2cm, right=2cm]{geometry}
\usepackage{enumitem}
\usepackage{csquotes}
\usepackage[x11names]{xcolor}
\usepackage{framed, etoolbox}
\colorlet{framecolor}{VioletRed4}
\colorlet{shadecolor}{LavenderBlush2!60}
\usepackage{thmtools} %
\usepackage{sectsty}
\chapterfont{\color{Firebrick2}} % sets colour of chapters
\sectionfont{\color{Chartreuse4}}
\subsectionfont{\color{blue}}
%talwin majzo2at
%\usepackage{sectsty}%
%\chapterfont{\color{Firebrick2}}
%\usepackage{titlesec}%%%%%% <---------addendum
%\titleformat{\section}%%%%%% <---------addendum
%{\color{Chartreuse4}\normalfont\Large\bfseries}%%%%%% <---------addendum
%{\color{Chartreuse4}\thesection}{1.5em}{}%%%%%% <---------addendum
%\titleformat{\subsection}%%%%%% <---------addendum
%{\color{Firebrick3}\normalfont\Large\bfseries}%%%%%% <---------addendum
%{\color{Firebrick3}\thesection}{1.5em}{}%%%%%% <---------addendum
\makeatletter
\define@key{thmdef}{frame}[{}]{%
\thmt@trytwice{}{%
\RequirePackage{framed}%
\RequirePackage{thm-patch}%
\def\FrameCommand{\fcolorbox{framecolor}{shadecolor}}
\addtotheorempreheadhook[\thmt@envname]{%
\begin{framed}}%
\addtotheorempostfoothook[\thmt@envname]{\end{framed}}%
}%
}
\makeatother
\usepackage{thmtools}
\declaretheoremstyle[
spaceabove=-6pt,
spacebelow=6pt,
headfont=\normalfont\bfseries,
bodyfont = \normalfont,
postheadspace=1em,
qed=$\blacksquare$,
headpunct={:}]{myproofstyle} %<---- change this name
\declaretheorem[name={Proof}, style=myproofstyle, unnumbered]{Proof}
\declaretheoremstyle[
spaceabove=6pt,
spacebelow=6pt,
headfont=\bfseries,
notefont=\bfseries,
notebraces={(}{)},
bodyfont=\itshape,
postheadspace=1em,
headpunct={:}]{mystyle}
\declaretheoremstyle[
spaceabove=6pt,
spacebelow=6pt,
headfont=\normalfont\bfseries,
notefont=\mdseries\bfseries,
notebraces={({)}},
bodyfont=\normalfont,
postheadspace=1em,
postheadhook = {\hspace{0mm}\newline},%
headpunct={:},]{myst}
\declaretheorem[name={Théorème}, style=mystyle,numberwithin=section]{thm}
\declaretheorem[frame,name={Lemme}, style=mystyle,numberwithin=section]{lema}
\declaretheorem[frame,name={Définition}, style=mystyle,numberwithin=section]{defi}
\declaretheorem[frame,name={Corollaire}, style=mystyle,numberwithin=section]{coro}
\declaretheorem[frame,name={Proposition}, style=mystyle,numberwithin=section]{props}
\declaretheorem[frame,name={Vocabulaire}, style=mystyle,numberwithin=section]{voc}
\declaretheorem[name={Preuve}, style=myst,numbered=no]{preuve}
\declaretheorem[name={Remarque}, style=myst,numberwithin=section]{remark}
\declaretheorem[name={Remarques}, style=myst,numberwithin=section]{remarks}
\declaretheorem[name={Exemple}, style=myst,numberwithin=section]{exemple}
\declaretheorem[name={Exemples}, style=myst,numbered=no]{exemples}
\declaretheorem[name={Méthode}, style=mystyle,numberwithin=section]{methode}
\declaretheorem[name={Méthodes}, style=mystyle,numbered=no]{methodes}
\declaretheorem[name={Notation}, style=mystyle,numbered=no]{notation}
\AtBeginEnvironment{defi}{\colorlet{framecolor}{black}
\colorlet{shadecolor}{orange!15}}
\newcommand{\myarrow}[1][1cm]{\mathrel{%
\hbox{\rule[\dimexpr\fontdimen22\textfont2-.2pt\relax]{#1}{.4pt}}%
\mkern-4mu\hbox{\usefont{U}{lasy}{m}{n}\symbol{41}}}}
\AtBeginEnvironment{voc}{\colorlet{framecolor}{black}
\colorlet{shadecolor}{LightSkyBlue2!25}}
\AtBeginEnvironment{props}{\colorlet{framecolor}{black}
\colorlet{shadecolor}{Yellow1!15}}
\AtBeginEnvironment{coro}{\colorlet{framecolor}{black}
\colorlet{shadecolor}{Yellow1!15}}
\AtBeginEnvironment{lema}{\colorlet{framecolor}{black}
\colorlet{shadecolor}{Yellow1!15}}
\makeatletter
\setbox0\hbox{$\xdef\scriptratio{\strip@pt\dimexpr
\numexpr(\sf@size*65536)/\f@size sp}$}
\newcommand{\myscriptarrow}[1][1cm]{{%
\hbox{\rule[\scriptratio\dimexpr\fontdimen22\textfont2-.2pt\relax]
{\scriptratio\dimexpr#1\relax}{\scriptratio\dimexpr.4pt\relax}}%
\mkern-4mu\hbox{\let\f@size\sf@size\usefont{U}{lasy}{m}{n}\symbol{41}}}}
\makeatother
\newcommand*{\QED}{\hfill\ensuremath{\blacksquare}}%Heron
\usepackage{amsmath,amscd}
\usepackage{mathtools}
\usepackage{dsfont}
\usepackage{enumitem}
\usepackage{textcomp}
\usepackage{lmodern}
\usepackage{tikz, tikz-cd}
\usepackage{amssymb}
\begin{document}
\chapter{Notion d'extension de corps }
\section{Extension d'anneau}
\begin{defi}
Soit $A$ un anneau, on appel \textbf{\textcolor{blue}{extension}} de $A$ tout anneau $B$
tel que $A$ est une sous-anneau de $B$. Dans ce cas on note \textcolor{blue}{$B/A$} ou \textcolor{blue}{$B:A$} ou \textcolor{blue}{$A\myarrow B$}.
\end{defi}
\section{Extension de corps}
Maintenant on introduisant la notion d'extension de corps.
\begin{defi}
Étant donné un corps $K$, on appelle \textbf{\textcolor{blue}{extension}} de $K$ tout corps $L$ contenant $K$ et on note \textcolor{blue}{$L/K$} ou \textcolor{blue}{$L:K$} ou \textcolor{blue}{$K\myarrow L$}.
\end{defi}
\begin{exemples}
\newlist{coloritemize}{itemize}{1}
\setlist[coloritemize]{label=\textcolor{blue}{\textbullet}}
\begin{coloritemize}
\item Tout corps de caractéristique $0$ est une extension du corps $\mathds{Q}$.
En particulier, les inclusions $\mathds{Q} \subset \mathds{R}\subset \mathds{C}$ montrent que $\mathds{R}$ et $\mathds{C}$ sont extensions de $\mathds{Q}$ et que $\mathds{C}$ est extension de $\mathds{R}$.\\
Utilisons les notations donc on a : $\mathds{C}/\mathds{R}$, $\ \mathds{C}/\mathds{Q}$, $\ \mathds{R}/\mathds{Q}$.
\item Soit $L:=\{p+qi\ |\ (p,q)\in \mathds{Q}\times \mathds{Q}\ et\ i^2=-1 \}$.\\
On vérifie que $L$ est un sous-corps de $\mathds{C}$ contenant $\mathds{Q}$, donc L est une extension de $\mathds{Q}$, et, $\mathds{C}$ est une extension de $L$.
\end{coloritemize}
\end{exemples}
\begin{defi}
On dira qu'un corps $K'$ est un \textbf{\textcolor{blue}{corps intermédiaire}} pour une extension $L/K$, si
$K \subset K' \subset L$.
\end{defi}
\section{Degré d'une extension de corps}
\begin{defi}
Soit $L/K$ une extension, la dimension de l'espace vectoriel $L$
sur $K$ s'appel \textbf{\textcolor{blue}{degré}} de l'extension $L/K$. On le note \textbf{\textcolor{blue}{$[L:K]$}}.
\end{defi}
\begin{voc}
Si $L$ est de dimension fini sur $K$, on dit que $L$ est une extension de \textbf{\textcolor{blue}{degré fini}} sur $K$ et
$[L:K]=dim_KL$. Dans ce cas on note $[L:K]<\infty$. \\
Si $L$ est de dimension infinie sur $K$, on dit que $L$ est une extension de \textbf{\textcolor{blue}{degré infini}} sur $K$. Dans ce cas on note $[L:K]=\infty$.
\end{voc}
\begin{lema}\label{l1}
Soit $L/K$ une extension de degré $[L:K]=1$, $\{\alpha\}$ une base de $L/K$ alors: $$\exists k\in K\ /\ k\alpha=1.$$
\end{lema}
\begin{preuve}
K est un corps $\implies$ $K\neq\emptyset$ $\implies$ $\exists k_1\in K$ tel que $k_1 \neq 0$, or $\{\alpha\}$ une base de $L/K$ et $k_1 \in$ L \\$\implies$ $k_1=a\alpha$, avec $a\in K$, $k_1$ est inversible dans $K$ $\implies$
$1=k_1^{-1}a \alpha$, par suite il suffit de poser $k=k_1^{-1}a$.\QED
\end{preuve}
\begin{props}
Soit $L/K$ une extension, alors:
$$[L:K]=1 \iff L=K.$$
\end{props}
\begin{preuve}
$(\implies)$\\
Supposons que $[L:K]=1$, d'après le lemme $\ref{l1}$, $\exists k\in K\ /\ k\alpha=1$, donc $\alpha\in K$ (car $\alpha=k^{-1}\in K$).
Or on a: $\forall x\in L$, $x=k'\alpha$ avec $k'\in K$ $\implies$ $x\in K$ (car $K$ est un corps), ce qui donne $L\subset K$, et par définition $K\subset L$, d'où $L=K$.\\
($\Longleftarrow$)\\
Supposons que $L=K$, alors $\{1_L\}$ est une base de L dans K, par suite $[L:K]=1$.\QED
\end{preuve}
\begin{props}\label{p1}
Soient $M/K$ une extension, $L$ un corps intermédiaire de
$M/K$, $(x_i)_{i\in I}$ une base de $L/K$, $(y_j)_{j\in J}$ une base de $M/L$, alors $(x_i y_j)_{(i,j)\in I\times J}$ est une base de $M/K$.
\end{props}
\begin{preuve}
\textcolor{magenta}{Montrons que $(x_i y_j)_{(i,j)\in I\times J}$ est une famille génératrice de $M/K$}.\\\\
$(y_j)_{j\in J}$ une base de $M/L$ $\implies$ $\forall z\in M,\ z=\sum\limits_{j\in J} \alpha_j y_j$, où $(\alpha_j)_{j\in J}$ presque nuls dans L. D'une part $\forall j\in J,\ \alpha_j\in L$. D'autre part $(x_i)_{i\in I}$ base de $L/K$ $\implies$ $\alpha_j=\sum\limits_{i\in I} \beta_{ij} x_i$, où $(\beta_{ij})_{i\in I}$ presque nuls dans $K$. On remplace dans z, on trouve $z=\sum\limits_{j\in J} (\sum\limits_{i\in I} \beta_{ij} x_i) y_j =\sum\limits_{(i,j)\in I\times J} \beta_{ij} x_i y_j$, on a montré que:
$$\forall z\in M, \exists (\beta_{ij})_{i\in I}\subset K\ \ tel\ que\ \ z=\sum\limits_{(i,j)\in I\times J} \beta_{ij} x_i y_j.$$
\textcolor{magenta}{Montrons que $(x_i y_j)_{(i,j)\in I\times J}$ est une famille libre de $M/K$}.\\\\
Soit $(c_{ij})_{i\in I}\subset K$ tel que $\sum\limits_{(i,j)\in I\times J} c_{ij} x_i y_j=0$, où $(c_{ij})_{i\in I}$ presque nuls dans $K$, alors on a:
\begin{align*}
\sum\limits_{(i,j)\in I\times J} c_{ij} x_i y_j=\sum\limits_{j\in J} (\sum\limits_{i\in I} c_{ij} x_i) y_j=0 & \implies \sum\limits_{i\in I} c_{ij} x_i=0\ \ \big(car:\ (y_j)_{j\in J}\ une\ base\ de\ M/L \big) \\
& \implies c_{ij}=0,\ \forall (i,j)\in I\times J\ \big(car:\ (x_i)_{i\in I}\ une\ base\ de\ L/K\big).
\end{align*}\QED
\end{preuve}
\begin{coro}
Soient $M/K$ une extension, $L$ un corps intermédiaire de
$M/K$, alors:
$$ [M:K]=[M:L][L:K].$$
De plus: $$ [M:K]<\infty \iff [M:L]<\infty \ et\ [L:K]<\infty .$$
\end{coro}
\begin{preuve}
Soit $(x_i)_{i\in I}$ une base de $L/K$, $(y_j)_{j\in J}$ une base de $M/L$, alors d'après la proposition \ref{p1}, $(x_i y_j)_{(i,j)\in I\times J}$ est une base de $M/K$, et on a;
\begin{align*}
[M:K]&= Card\big( \big\{(x_i y_j)_{(i,j)\in I\times J} \big\}\big) \\
& = Card(I\times J) \\
& = Card(I)\times Card(J)\\
& = [M:L][L:K].
\end{align*}
L'egalité $ [M:K]=[M:L][L:K],$ justifiée l'équivalence\\
$$ [M:K]<\infty \iff [M:L]<\infty \ et\ [L:K]<\infty .$$
\QED
\end{preuve}
\section{Nombres algébriques - Nombres transcendants}
\begin{defi}
Soit $L/K$ une extension de corps, $\alpha \in L$, on dit que $\alpha$ est:\\
$\centerdot$ \textbf{\textcolor{blue}{Algébrique}} sur $K$ si: $\exists P\in K[X]-\{0\}$, tel que $P(\alpha)=0$.\\
$\centerdot$ \textbf{\textcolor{blue}{Transcendant}} sur $K$, dans le cas contraire, c'est à dire:
$\forall P\in K[X]-\{0\}$, on a $P(\alpha)\neq 0$.
\end{defi}
\begin{exemples}
\newlist{coloritemize}{itemize}{1}
\setlist[coloritemize]{label=\textcolor{blue}{\textbullet}}
\begin{coloritemize}
\item Tout élément de K est algébrique sur K.
\item Les nombres $i$, $\sqrt{2}$ sont algébriques sur $\mathds{Q}$. En effet: $i$ est racine de $X^2+1$, $\sqrt{2}$ est racine de $X^2-2$.
\item On montre que $\pi$ et $e$ sont transcendants sur $\mathds{Q}$.
\end{coloritemize}
\end{exemples}
\begin{props}
Soit $L/K$ une extension, $\alpha \in L$. Il est équivalent de dire:
\begin{enumerate}[label=\arabic*)]
\item $\alpha$ est algébrique sur K.
\item $[K[\alpha]:K]< \infty $.
\item $ K[\alpha]$ est un corps.
\item $ K[\alpha]$=$ K(\alpha)$.
\item $[K(\alpha):K]< \infty $.
\item $\exists M$ un corps intermédiaire de $L/K$ telles que $[M:K]<$ $\infty$ $\ $ et $\ $ $\alpha \in M$.
\end{enumerate}
\end{props}
\begin{props}
Soient $L/K$ une extension, $\alpha \in L$, $M$ un corps intermédiaire de $L/K$, on a :
$$\alpha\ est\ algébrique\ sur\ K \implies \alpha\ est\ algébrique\ sur\ M.$$
\end{props}
\begin{props}
Soit $L/K$ une extension, $\alpha \in L$ algébrique sur $K$, alors $\exists !Q\in K[X]$
irréductible et unitaire tel que :
$$\forall P\in K[X],\ \ \ \ \big(\ P(\alpha) = 0 \iff Q|P\ \big).$$
\end{props}
Gardons les hypothèses de cette proposition, on a:
\begin{defi}
Le polynôme $Q$ s'appel polynôme irréductible de l'élément algébrique $\alpha$.\\ On le note : \textcolor{blue}{$Irr(\alpha/K)$} ou \textcolor{blue}{$Irr(\alpha,K)$}.
\end{defi}
\begin{exemples}
\newlist{coloritemize}{itemize}{1}
\setlist[coloritemize]{label=\textcolor{blue}{\textbullet}}
\begin{coloritemize}
\item $\forall \alpha \in K$, on a $Irr(\alpha/K)=X-\alpha$.
\item $Irr(\sqrt{2}/\mathds{Q})=X^2-2$.
\item $Irr(\sqrt[3]{2}/\mathds{Q})=X^3-2$.
\item $Irr(i / \mathds{R})=X^2+1$.
\item $Irr(\sqrt{2}+\sqrt{3},\mathds{Q})=X^4-10X^2+1$.
\end{coloritemize}
\end{exemples}
\begin{props}
Soit $L/K$ une extension, $\alpha\in L$ algébrique sur $K$, $Q=Irr(\alpha/K)$, $P\in K[X]$, Il est
équivalent de dire:
\begin{enumerate}[label=\arabic*)]
\item $P$ est de degré le plus petit tel que $P(\alpha)=0$.
\item $P$ est irréductible et $P(\alpha)=0$.
\item $P\thicksim Q$.
\end{enumerate}
\end{props}
\begin{props}
Soit $L/K$ une extension, $\alpha\in L$ algébrique sur $K$, soit $M$ un corps intermédiaire de
$L/K$, on a :$$Irr(\alpha/M)\ |\ Irr(\alpha/K).$$
\end{props}
\begin{props}
Soit $L/K$ une extension, $\alpha\in L$ algébrique sur $K$, $Q=Irr(\alpha/K)$, et $n=d$\textdegree$(Q)$, alors:
$$\{1,\alpha,\alpha^2,...\ ,\alpha^{n-1}\}$$
est une \textcolor{blue}{base} de $K(\alpha)/K$.
\end{props}
\begin{defi}
Soit $L/K$ une extension, $\alpha\in L$ algébrique sur $K$, $Q=Irr(\alpha/K)$, le degré de $Q$
\center{s'appel \textcolor{blue}{degré} de l'élément algébrique $\alpha$ sur $K$. On le note \textcolor{blue}{$d$\textdegree$(\alpha/K)$}.}
\end{defi}
\begin{props}
Soit $L/K$ une extension, $(\alpha$,$\beta)$ $\in L^2$ algébriques sur $K$, alors :
$$ \alpha+\beta,\ \ \alpha - \beta,\ \ \alpha \beta,\ \ \frac{\alpha}{\beta}\ (si\ \beta\neq0)$$
sont \textcolor{blue}{algébriques} sur $K$.
\end{props}
\begin{coro}
Soit $L/K$ une extension, l'ensemble des éléments de $L$ algébrique sur $K$ est un
\center{ \textcolor{blue}{corps intermédiaire} de $L/K$.}
\end{coro}
\begin{defi}
Soit $L/K$ une extension, l'ensemble des éléments de $L$ algébrique sur $K$, s'appel
\center{\textcolor{blue}{clôture algébrique} de $K$ dans $L$ (ou de $L/K$).}
\end{defi}
Dans cette section on va définir la notion d'extension algébrique qui a une relation très important avec la clôture algébrique.
\section{Extensions algébriques - Extensions transcendantes}
\begin{defi}
Une extension $L/K$ est dite \textcolor{blue}{algébrique}, si:
\begin{align*}
\forall \alpha \in L,\ \alpha\ est\ algébrique\ sur\ K.
\end{align*}
Une extension non algébrique est dite extension \textcolor{blue}{transcendante}.
\end{defi}
\begin{remarks}
\textcolor{red}{1)}$\ $ Soit $L/K$ une extension, soit $M$ un corps intermédiaire de $L/K$, alors $M$ est
la clôture algébrique de $L/K$, si et seulement si :
\newlist{coloritemize}{itemize}{1}
\setlist[coloritemize]{label=\textcolor{blue}{\textbullet}}
\begin{coloritemize}
\item $M/K$ algébrique.
\item Pour tout corps intermédiaire $M'$ de $L/K$ on a:
\begin{align*}
M'/K\ algébrique \implies M'\subset M.
\end{align*}
\end{coloritemize}
\textcolor{red}{2)}$\ $On peut aussi définir l'extension algébrique à l'aide de la clôture algébrique, on a :$\ $ \center{$L/K$ algébrique $\iff$ La clôture algébrique de $K$ dans $L$, est $L$.}
\end{remarks}
\begin{props}
Toute extension finie est \textbf{\textcolor{blue}{algébrique}}.
\end{props}
\begin{props}
Soient $L/K$ extension, $M$ corps intermédiaire de $L/K$, alors:
$$ L/K\ est\ algébrique \iff L/M\ \ et\ \ M/K\ sont\ algébriques $$
\end{props}
\begin{lema}
Soient $L/K$ extension, $M$ corps intermédiaire de $L/K$, $\alpha\in L$, on a:
\begin{align*}
\big(\ \ (\alpha\ algébrique\ sur\ M)\ \ et\ \ (M/K\ algébrique)\ \ \big) \implies (\alpha\ algébrique\ sur\ K)
\end{align*}
\end{lema}
\begin{props}
Soit $M/M'$ une sous extension d'une extension $L/K$, on a :
$$L/K\ algébrique \implies M/M'\ algébrique. $$
\end{props}
\begin{props}
Soient $L/K$ une extension, $A\subset L$, alors:
$$\forall \alpha\in A,\ \alpha\ algébrique\ sur\ K \implies K(A)/K\ est\ algébrique. $$
\end{props}
\begin{props}
Soit $L/K$ une extension, $\Omega/L$ une extension, $S\subset\Omega$, on a :
$$L/K\ algébrique\implies L(S)/K(S)\ algébrique.$$
\end{props}
\begin{defi}
Soient $K_1$ et $K_2$ des sous-corps d'un corps $K$, on appel \textcolor{blue}{sous-corps produit} des sous-corps $K_1$ et $K_2$ le sous-corps de K engendré par $K_1\cup K_2$.
\center{On le note $\textcolor{blue}{K_1K_2}$.}
\end{defi}
\begin{remark}
Voici une autre écriture du sous-corps produit $K$.
$$ K_1 K_2 = K_1(K_2) = K_2(K_1) = P(K_1\cup K_2),$$
où $P$ est le sous-corps \textcolor{blue}{premier} de $K$.
\begin{props}
Soit $L/K$ une extension, $\Omega$ une extension de $L$, soit $M$ un sous-corps de $\Omega$, on a :
$$L/K\ algébrique \implies LM/KM\ algébrique.$$
\end{props}
\end{remark}
\end{document}
答案1
类选项10pt
或11pt
更改12pt
整个文档的字体大小。如果这不是您想要的,请修改您的问题。
例如,类(和类memoir
的超集)具有上述选项,而且还具有 9pt、14pt、17pt、20pt、25pt、30pt、36pt、48pt 和 60pt 文档字体大小。report
book