-
Notifications
You must be signed in to change notification settings - Fork 2
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add more missing stuff especially concerning theorems
- Loading branch information
1 parent
4bc7d7a
commit 7eab0da
Showing
10 changed files
with
43 additions
and
11 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
# What is a remainder class? | ||
A remainder class $\overline{a}$ is a set [[20240929155814]] of numbers, that produce the same remainder when divided by a number $m$. | ||
# What is a remainder system? | ||
A remainder system $\overline{a}$ is a set [[20240929155814]] of numbers, that produce the same remainder when divided by a number $m$. | ||
|
||
#math #adm #numbertheory |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,5 +1,5 @@ | ||
# What is the multiplicative inverse of a remainder class? | ||
The multiplicative inverse $\overline{b}$ of a remainder class [[20241016120254]] $\overline{a}$ is defined as the following: | ||
# What is the multiplicative inverse of a remainder system? | ||
The multiplicative inverse $\overline{b}$ of a remainder system [[20241016120254]] $\overline{a}$ is defined as the following: | ||
$\overline{a}*\overline{b}=\overline{1}$ | ||
|
||
#math #adm #numbertheory |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
# When does a remainder class have a multiplicative inverse ? | ||
A remainder class [[20241016120254]] $\overline{a}$ has a multiplicative inverse[[20241016120945]], if $ggT(a,m)=1$ (m is the module). | ||
# When does a remainder system have a multiplicative inverse ? | ||
A remainder system [[20241016120254]] $\overline{a}$ has a multiplicative inverse[[20241016120945]], if $ggT(a,m)=1$ (m is the module). | ||
|
||
#math #adm #numbertheory1 | ||
#math #adm #numbertheory |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,5 @@ | ||
# What theorems are there for decimal expansions? | ||
|
||
- The decimal expansion [[20241002204312]] for a rational number [[20240910110436]] is either finite or periodic. | ||
|
||
#math #adm |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,5 @@ | ||
# What theorems are there for the ggT? | ||
- If you run the euclidean algorithm [[20241010161911]] it has to stop at some point because $b>r_0>r_1>r_2>...>=0$. The last remainder is called the greatest common denominator | ||
- If d is the greatest common denominator of the non-zero numbers a and b, there are numbers e and f, so that $ea + fb = d$. These can easily be calculated using the euclidean algorithm [[20241010161911]] | ||
|
||
#math #adm #numbertheory |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,6 @@ | ||
# What theorems are there for congruencies/remainder systems? | ||
|
||
- For every positive natural number [[20240910105916]] m there are exactly m remainder systems [[20241016120254]]. | ||
- A remainder system has a multiplicative inverse [[20241016120945]] if and only if ggT(a,m) is 1 | ||
- Let $m=p_1^{e_1}...p_r^{e_r}$ be the prime factorization of m, then $\varphi(m)=m(1-\frac{1}{p_1})...(1-\frac{1}{p_r})$ ($\varphi(m)$ is eulers function [[20241109145707]]) | ||
- For two coprime [[20241010161419]] numbers a,m $a^{\varphi(m)}\equiv 1 \mod m$ is true |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,5 @@ | ||
# What is eulers function? | ||
Eulers function $\varphi(m)$ returns the number of invertable remainder systems [[20241016120945]] modulo m | ||
$\varphi(m)=|\{a\in \mathbb{Z} | 1 ≤ a ≤ m, ggT(a,m)=1\}|$. | ||
|
||
#math #adm #numbertheory |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,11 @@ | ||
# What is the inclusion-exclusion-principle? | ||
The inclusion exclusion principle is concerned with calculating the cardinality of the union of sets with shared elements. | ||
|
||
In general the formula is as follows: | ||
$|\bigcup_{i=1}^n A_i|=\sum_{\emptyset\not=I\subset{1,2,...,n}}^{n} (-1)^{|I|-1} |\bigcap_{i\in I} A_i|$ | ||
|
||
and | ||
|
||
$|\bigcap_{i=1}^n A'_i|=|(\bigcup_{i=1}^n A_i)'|=\sum_{I\subset \{1,2,...,n\}} (-1)^{|I|} |\bigcap_{i\in I} A_i|$ | ||
|
||
#math #combinatorics #adm |