aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAdrian Kummerlaender2017-07-08 21:48:37 +0200
committerAdrian Kummerlaender2017-07-08 21:48:37 +0200
commit929ae5cf0a6a68bf3e06255a9dca615dbbb13ce8 (patch)
treecb50b3fa77ff6ef30119f884911feae0b7333cee
parentfb29605ef0864f531c5cc16f1a1678f447f5fa95 (diff)
downloadmath_reference_sheets-929ae5cf0a6a68bf3e06255a9dca615dbbb13ce8.tar
math_reference_sheets-929ae5cf0a6a68bf3e06255a9dca615dbbb13ce8.tar.gz
math_reference_sheets-929ae5cf0a6a68bf3e06255a9dca615dbbb13ce8.tar.bz2
math_reference_sheets-929ae5cf0a6a68bf3e06255a9dca615dbbb13ce8.tar.lz
math_reference_sheets-929ae5cf0a6a68bf3e06255a9dca615dbbb13ce8.tar.xz
math_reference_sheets-929ae5cf0a6a68bf3e06255a9dca615dbbb13ce8.tar.zst
math_reference_sheets-929ae5cf0a6a68bf3e06255a9dca615dbbb13ce8.zip
Add section on Chinese remainder theorem to EAZ digest
-rw-r--r--content/eaz.tex11
1 files changed, 11 insertions, 0 deletions
diff --git a/content/eaz.tex b/content/eaz.tex
index 052db0f..74793c4 100644
--- a/content/eaz.tex
+++ b/content/eaz.tex
@@ -354,3 +354,14 @@ Kerne von Ringhomomorphismen sind ideal und Ideale sind Kerne von Ringhomomorphi
Ring $R$ heißt Körper, wenn $R$ kommutativ ist und $0 \neq 1$ sowie $R^\times = R \setminus \{0\}$ gelten. Ein Körper ist insb. ein Integritätsbereich.
\subsection*{Chinesischer Restsatz}
+
+Seien $M, N \in \N$ teilerfremd, dann gibt es einen Isomorphismus von Ringen:
+
+$\Z/(MN\Z) \to \Z/M\Z \times \Z/N\Z$
+
+\subsubsection*{Algebraischer Chinesischer Restsatz}
+
+Seien $R$ kommutativer Ring, $I, J$ Ideale in $R$ s.d. $I + J = R$. Dann existiert ein Isomorphismus:
+
+$\Phi : R/(I \cap J) \to R/I \times R/J$
+