Newer
Older
<meta charset="utf-8" />
<meta name="viewport" content="width=device-width, initial-scale=1" />
<title>TATA54 Talteori</title>
<meta name="author" content="Jan Snellman Jan Snellman" />
<meta name="generator" content="Org Mode" />
<link rel="stylesheet" type="text/css" href="src/liumai_theme/css/htmlize.css"/>
<link rel="stylesheet" type="text/css" href="src/liumai_theme/css/liumai.css"/>
<script type="text/javascript" src="src/lib/js/jquery.min.js"></script>
<script type="text/javascript" src="src/lib/js/bootstrap.min.js"></script>
<script type="text/javascript" src="src/lib/js/jquery.stickytableheaders.min.js"></script>
<script type="text/javascript" src="src/liumai_theme/js/liumai.js"></script>
<link rel="icon" type="image/x-icon" href="/favicon.ico"/>
<script>
window.MathJax = {
tex: {
ams: {
multlineWidth: '85%'
},
tags: 'ams',
tagSide: 'right',
tagIndent: '.8em'
},
chtml: {
scale: 1.0,
displayAlign: 'center',
displayIndent: '0em'
},
svg: {
scale: 1.0,
displayAlign: 'center',
displayIndent: '0em'
},
output: {
font: 'mathjax-modern',
displayOverflow: 'overflow'
}
};
</script>
<script
id="MathJax-script"
async
src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js">
</script>
</head>
<body>
<header id="top" class="status">
<div id="navbar" style ="text-align: center;">
<a href='https://liu.se'>LiU</a> -
<a href='https://liu.se/organisation/liu/mai'>MAI</a> -
<a href='https://liu.se/organisation/liu/mai'>Grundutbildning</a> -
<a href='https://courses.mai.liu.se/Lists/html/'>Kurser</a> -
<a href='index.html'>TATA54</a></div>
</header>
<main id="content" class="content">
<header>
<h1 class="title">TATA54 Talteori</h1>
</header><nav id="table-of-contents" role="doc-toc">
<h2>Innehåll</h2>
<div id="text-table-of-contents" role="doc-toc">
<ul>
<li><a href="#org8cf611f">Kurshemsida för TATA54, Talteori </a>
<li><a href="#orgd386ff5">Ämnesområde</a></li>
<li><a href="#org5fa7c84">Poäng</a></li>
<li><a href="#org1941399">Examinator</a></li>
<li><a href="#orgd6f97a6">Schema</a></li>
<li><a href="#orgcbec67a">Examination</a></li>
<li><a href="#orgda7b5cb">Allra senaste nytt VT2024 </a>
<li><a href="#org3caa1c9">2024-08-22</a></li>
<li><a href="#org5787ffb">2024-06-05</a></li>
<li><a href="#org820103f">2024-06-01</a></li>
<li><a href="#orgb795cef">2024-05-18</a></li>
<li><a href="#orgef16020">2024-05-16</a></li>
<li><a href="#orgd3edf39">2024-05-13</a></li>
<li><a href="#orgbb2c19c">2024-05-06</a></li>
<li><a href="#org6916c72">2024-04-29</a></li>
<li><a href="#org2fc933f">2024-04-23</a></li>
<li><a href="#org0e96bfa">2024-04-22</a></li>
<li><a href="#org796ce06">2024-04-14</a>
<li><a href="#org1198084">Uppgifter att räkna till nästa gång</a></li>
<li><a href="#org87e8642">Datorlaboration</a></li>
<li><a href="#org10c6215">Uppgifter att räkna till nästa gång</a></li>
<li><a href="#orgcb6d72a">Beviset för kvadratisk reciprocitet</a></li>
<li><a href="#org84ac4df">2024-04-02</a></li>
<li><a href="#orgecb5391">2024-03-11</a></li>
<li><a href="#orged53d50">2024-03-06</a></li>
<li><a href="#org69c699e">2024-03-05</a></li>
<li><a href="#org8b45b59">2024-02-29</a></li>
<li><a href="#org6ee578d">2024-02-20</a></li>
<li><a href="#org15914f2">2024-02-12</a></li>
<li><a href="#org445fa32">2024-02-07</a></li>
<li><a href="#org887cf9c">2024-01-30</a>
<li><a href="#orge760dad">Tvillingfria primtal</a></li>
<li><a href="#org488e68b">2024-01-23</a></li>
<li><a href="#org96d1546">2024-01-16</a></li>
</ul>
</li>
<ul>
<li><a href="#org1046eac">Kursbok</a></li>
<li><a href="#orgb1f71c0">Bredvidläsning</a>
<li><a href="#org1304ec9">Fritt tillgängligt material</a></li>
<li><a href="#org156f528">Andra lämpliga böcker</a></li>
<li><a href="#org8bd2546">Avsnitt av kursboken</a>
<li><a href="#org5c92b21">Rekommenderade uppgifter </a></li>
<li><a href="#orgf97dd5f">Kort beskrivning av kursinnehållet</a></li>
<li><a href="#orgb1afa66">Föreläsningar </a></li>
<li><a href="#orgd9a1a3d">Tentor </a></li>
<li><a href="#orgaa8bfe8">Datorlaborationer </a>
<li><a href="#org0e9470f">SageMath</a></li>
<li><a href="#org4e01f4d">Kod från vissa föreläsningar</a></li>
<li><a href="#org771ae33">Laborationer</a>
<li><a href="#orge16b88e">Hensellyft, Primitiva rötter, Kinesiska restsatsen</a></li>
<li><a href="#org254ad94">Kedjebråk</a></li>
<li><a href="#org5db15ec">TATA54 Anteckningar från tidigare år</a>
<li><a href="#org2e74361">2023</a></li>
<li><a href="#org39f254e">2021</a></li>
<li><a href="#orgab915cd">2020</a></li>
<li><a href="#org51934a3">2019</a></li>
<li><a href="#org51909e4">2018</a></li>
<li><a href="#org50057cb">2017</a></li>
<section id="outline-container-org8cf611f" class="outline-2">
<h2 id="org8cf611f">Kurshemsida för TATA54, Talteori <a id="org744b74f"></a></h2>
<div class="outline-text-2" id="text-org8cf611f">
<div id="outline-container-orgd386ff5" class="outline-3">
<h3 id="orgd386ff5">Ämnesområde</h3>
<div class="outline-text-3" id="text-orgd386ff5">
<p>
Matematik
</p>
</div>
</div>
<div id="outline-container-org5fa7c84" class="outline-3">
<h3 id="org5fa7c84">Poäng</h3>
<div class="outline-text-3" id="text-org5fa7c84">
<div id="outline-container-org1941399" class="outline-3">
<h3 id="org1941399">Examinator</h3>
<div class="outline-text-3" id="text-org1941399">
<p>
<a href="https://liu.se/medarbetare/jansn19">Jan Snellman</a> (se även min
<a href="https://jansn19.gitlab-pages.liu.se/jan-snellman-hemsida/">hemsida</a>)
</p>
</div>
</div>
<div id="outline-container-orgd6f97a6" class="outline-3">
<h3 id="orgd6f97a6">Schema</h3>
<div class="outline-text-3" id="text-orgd6f97a6">
Se <a href="https://cloud.timeedit.net/liu/web/schema/ri167XQQ538Z50Qm07065gZ6y2Y7306Q6Y43Y1.html">TimeEdit</a>
<div id="outline-container-orgcbec67a" class="outline-3">
<h3 id="orgcbec67a">Examination</h3>
<div class="outline-text-3" id="text-orgcbec67a">
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
<table>
<colgroup>
<col class="org-left">
<col class="org-left">
<col class="org-right">
<col class="org-right">
<col class="org-left">
<col class="org-left">
</colgroup>
<tbody>
<tr>
<td class="org-left">Utb. kod</td>
<td class="org-left">Kursnamn</td>
<td class="org-right">Datum</td>
<td class="org-right">Tid</td>
<td class="org-left">Ort</td>
<td class="org-left">Anmälningsperiod</td>
</tr>
<tr>
<td class="org-left">TATA54/TEN1</td>
<td class="org-left">Talteori</td>
<td class="org-right">2024-08-22</td>
<td class="org-right">14-18</td>
<td class="org-left">2024-07-23 - 2024-08-12</td>
</tr>
<tr>
<td class="org-left">TATA54/TEN1</td>
<td class="org-left">Talteori</td>
<td class="org-right">2025-01-01</td>
<td class="org-right">8-12</td>
<td class="org-left">2024-12-09 - 2024-12-29</td>
<section id="outline-container-orgda7b5cb" class="outline-2">
<h2 id="orgda7b5cb">Allra senaste nytt VT2024 <a id="org53d52c1"></a></h2>
<div class="outline-text-2" id="text-orgda7b5cb">
<div id="outline-container-org3caa1c9" class="outline-3">
<h3 id="org3caa1c9">2024-08-22</h3>
<div class="outline-text-3" id="text-org3caa1c9">
<p>
<a href="exams/2024/tenta-TATA54-20240822-losning.pdf">Lösningar</a> till <a href="exams/2024/tenta-TATA54-20240822.pdf">dagens tenta</a> finns nu att beskåda.
</p>
</div>
</div>
<div id="outline-container-org5787ffb" class="outline-3">
<h3 id="org5787ffb">2024-06-05</h3>
<div class="outline-text-3" id="text-org5787ffb">
<p>
Jag har rättat era tentor; bra resultat, de flesta klarade sig! Resultaten kommer
sannolikt att registreras idag, och tentorna kan hämtas p MAIs expedition f.o.m.
nästa vecka.
</p>
</div>
</div>
<div id="outline-container-org820103f" class="outline-3">
<h3 id="org820103f">2024-06-01</h3>
<div class="outline-text-3" id="text-org820103f">
<p>
<a href="exams/2024/tenta-TATA54-20240601-losning.pdf">Lösningar</a> till <a href="exams/2024/tenta-TATA54-20240601.pdf">dagens tenta</a> finns nu att beskåda. Jag hoppas kunna rätta tentorna till på fredag nästa vecka.
</p>
</div>
</div>
<div id="outline-container-orgb795cef" class="outline-3">
<h3 id="orgb795cef">2024-05-18</h3>
<div class="outline-text-3" id="text-orgb795cef">
<p>
Återstående lektion är inställd. Läs kursboken om Gaussiska heltal
och summor av två kvadrater, titta på föreläsningsanteckningarna om <a href="lectures/swelecture11.pdf">Gaussiska heltal</a>
Som ett komplement kan ni också läsa
<a href="https://kconrad.math.uconn.edu/blurbs/ugradnumthy/Zinotes.pdf">The Gaussian integers</a> av <a href="https://kconrad.math.uconn.edu/blurbs/">Keith Conrad</a>. Det innehåller dock lite saker som inte
ingår i kursen, som kongruenser modulo Gaussiska heltal.
</p>
<p>
Jag påminner om att kursens innehåll är specificerad som en lista av kapitel i
Rosen, finns <a href="#orgd3a32bb">längre ned på denna sida</a>.
<div id="outline-container-orgef16020" class="outline-3">
<h3 id="orgef16020">2024-05-16</h3>
<div class="outline-text-3" id="text-orgef16020">
<p>
Jag är inlagd på sjukhus… Det är väl osäkert om det går att hitta vikarier
till lektionerna i morgon och på måndag. Fråga någon av studierektorerna, eller proprefekt Jesper Thoren.
</p>
<p>
Tentamen skall kunna bli av utan problem!
</p>
</div>
</div>
<div id="outline-container-orgd3edf39" class="outline-3">
<h3 id="orgd3edf39">2024-05-13</h3>
<div class="outline-text-3" id="text-orgd3edf39">
Till på fredag så tittar vi på 13.4.3abc, 13.4.5, 13.4.11.
Till sista lektionen (måndag 20 maj) så tittar vi på 14.1.17ab, 14.1.23.
</p>
</div>
</div>
<div id="outline-container-orgbb2c19c" class="outline-3">
<h3 id="orgbb2c19c">2024-05-06</h3>
<div class="outline-text-3" id="text-orgbb2c19c">
Till nästa gång så tittar vi på 13.1.15, 13.3.1.b, 13.3.2g, 13.3.6, 13.3.8.
</p>
</div>
</div>
<div id="outline-container-org6916c72" class="outline-3">
<h3 id="org6916c72">2024-04-29</h3>
<div class="outline-text-3" id="text-org6916c72">
<p>
Till nästa gång så tittar vi på 12.4.3b, 12.4.8, 13.1.2, 13.1.3.
</p>
</div>
</div>
<div id="outline-container-org2fc933f" class="outline-3">
<h3 id="org2fc933f">2024-04-23</h3>
<div class="outline-text-3" id="text-org2fc933f">
<p>
Jag pratade om ”Eulers regel” som uttrycker kedjebråkskonvergenterna
q<sub>n</sub>/p<sub>n</sub> till [x<sub>0</sub>;x<sub>1,x</sub><sub>2,…</sub>] som rationella funktioner i
x<sub>0,x</sub><sub>1</sub>,… Det står inget om det i kursboken, men wikipediasidan om
<a href="https://en.wikipedia.org/wiki/Continuant_(mathematics)">continuant</a> beskriver satsen, och informationen där är tillräcklig för
att få till ett bevis. ”Kontinuander” definieras med samma rekursion som den som
gäller för p<sub>n</sub> och q<sub>n</sub>, och sammanfaller med de första
täljarna och nämnarna, så måste vara samma. Den kombinatoriska
beskrivningen kan visas med induktion.
</p>
</div>
</div>
<div id="outline-container-org0e96bfa" class="outline-3">
<h3 id="org0e96bfa">2024-04-22</h3>
<div class="outline-text-3" id="text-org0e96bfa">
<p>
Vi har två föreläsningar den kommande veckan, torsdag 24 april samt fredag 25 april.
Till på torsdag tittar ni på 12.3.1c, 12.2.2a (nedskalad till första 4), 12.3.4 (nedskalat till första 5, approximationsfel < 1/100).
Till på fredag 12.4.5b, 12.4.6b
</p>
</div>
</div>
<div id="outline-container-org796ce06" class="outline-3">
<h3 id="org796ce06">2024-04-14</h3>
<div class="outline-text-3" id="text-org796ce06">
<div id="outline-container-org1198084" class="outline-4">
<h4 id="org1198084">Uppgifter att räkna till nästa gång</h4>
<div class="outline-text-4" id="text-org1198084">
12.2.1bf, 12.2.2cd, 12.2.3c, 12.2.11
</p>
</div>
</div>
<div id="outline-container-org87e8642" class="outline-4">
<h4 id="org87e8642">Datorlaboration</h4>
<div class="outline-text-4" id="text-org87e8642">
<p>
Titta på <a href="labs/kedjebraklabweb.html">kedjebråkslabben</a> och använd den för att göra 12.2.3df.
Hitta en formel för a(k,m) = [k;k,…,k] (längd m). Vad är
gränsvärdet av a(k,m) då m går mot oändligheten?
</p>
</div>
</div>
</div>
<div id="outline-container-orgff00c35" class="outline-3">
<h3 id="orgff00c35">2024-04-07</h3>
<div class="outline-text-3" id="text-orgff00c35">
<div id="outline-container-org10c6215" class="outline-4">
<h4 id="org10c6215">Uppgifter att räkna till nästa gång</h4>
<div class="outline-text-4" id="text-org10c6215">
11.1.1d, 11.1.4, 11.1.25ab, 11.2.1cd, 11.2.2, 11.2.3,11.2.4
</p>
</div>
</div>
<div id="outline-container-orgcb6d72a" class="outline-4">
<h4 id="orgcb6d72a">Beviset för kvadratisk reciprocitet</h4>
<div class="outline-text-4" id="text-orgcb6d72a">
<p>
Jag stakade mig lite vid bevist för kvadratisk reciprocitet. Speciellt så oroade jag mig över
om det kunde finnas gitterpunkter (x,y) med x=(p-1)/2, (q-1)/2 < y <= (q/p)x.
Men det är enkelt att visa att (p-1)/2*q < (q-1)2 +1, så det går inte. Beviset håller!
</p>
</div>
</div>
<div id="outline-container-org84ac4df" class="outline-3">
<h3 id="org84ac4df">2024-04-02</h3>
<div class="outline-text-3" id="text-org84ac4df">
<p>
På fredag så räknar vi de uppgifter om diskreta logaritmer vi inte hann med förra gången.
</p>
</div>
</div>
<div id="outline-container-orgecb5391" class="outline-3">
<h3 id="orgecb5391">2024-03-11</h3>
<div class="outline-text-3" id="text-orgecb5391">
<p>
Jag har nu bokat om föreläsningarna till Fredagar kl 13-15 (fortfarande i kompakta rummet)
samt måndag 25 mars kl 13-15,
samt 25/4 13-15 och 20/5 13-15.
Det blir 10 tillfällen totalt, vilket bör räcka.
</p>
</div>
</div>
<div id="outline-container-orged53d50" class="outline-3">
<h3 id="orged53d50">2024-03-06</h3>
<div class="outline-text-3" id="text-orged53d50">
<p>
Det verkar som fredagar kl 13-15 inte kolliderar med andra kurser, så jag planerar att flytta lektioner till den tiden.
Det är 8 sådana fredagar under perioden, så helst skall jag schemalägga tre tillfällen till.
Möjliga tider är måndag 25 mars kl 13-15, torsdag 25 april kl 13-15, måndag 20 maj kl 10-12 eller kl 13-15,
27-29 maj 10-12 eller 13-15.
</p>
</div>
</div>
<div id="outline-container-org69c699e" class="outline-3">
<h3 id="org69c699e">2024-03-05</h3>
<div class="outline-text-3" id="text-org69c699e">
<p>
Det har framförts önskemål om att byta tid för lektionerna i period 4 för att undvika
kollision med kursen i optimeringslära.
</p>
<p>
För närvarande så är tiderna huvudsakligen onsdagar kl 10-12 samt torsdagar kl 13-15.
Mejla mig med önskemål på vilka av dessa tider som bör flyttas, och hur.
</p>
<p>
Jag har, vad jag kan se, ingen undervisning måndagar kl 10-12 eller fredagar kl 10-12, 13-15,
så dessa tider skulle fungera för mig.
</p>
<p>
Det rör sig om 11 tillfällen totalt.
</p>
</div>
</div>
<div id="outline-container-org8b45b59" class="outline-3">
<h3 id="org8b45b59">2024-02-29</h3>
<div class="outline-text-3" id="text-org8b45b59">
<p>
Till nästa lektion så tittar ni på uppgifterna
9.1.1d, 9.1.2d, 9.1.5b, 9.1.6d, 9.1.10, 9.1.20.
</p>
<p>
Till lektionen efter det (27 mars) så räknar ni
9.2.1d, 9.2.3e, 9.2.6, 9.3.3c, 9.3.8, 9.4.1, 9.4.2b, 9.4.3a, 9.4.9, 9.4.10.
(Vi kanske inte diskuterar ALLA dessa, men räkna så många ni kan/hinner).
</p>
<div id="outline-container-org6ee578d" class="outline-3">
<h3 id="org6ee578d">2024-02-20</h3>
<div class="outline-text-3" id="text-org6ee578d">
<p>
Till nästa lektion (27 feb) så tittar ni på uppgifterna
4.2.15, 4.2.16, 4.2.18, 4.4.2ab. Använd Hensels lemma vid behov.
Ni kan också använda
<a href="labs/HenselLyftLabHT2023web.html">Hensel-laborationen</a>.
För att förstå uppgift 4.2.18, titta på \(x^2-1\) modulo 2, lyft till
<pre class="src src-sage" id="org2172c13">def H_L_tree(f, p: int, r: int):
vert = [(0,0)]
for j in range(1,r+1):
fj = f.change_ring(Integers(p^j))
fzj = fj.roots(multiplicities=False)
vert += [(z,j) for z in fzj]
return DiGraph([vert,
lambda u,v: (u[1] == 1 and v[1] == 0)
or
( (u[1] == v[1]+1) and ((u[0] - v[0]) % p^v[1] ==0) )
])
</pre>
<div class="org-src-container">
<pre class="src src-sage"><<H_L_tree>>
p=2
r=6
R.<x> = ZZ[]
f = R(x^2 -1)
H_L_tree(f,p,r).plot(layout='tree')
</pre>
<img src="img/Henseluppgift.png" alt="Henseluppgift.png">
</figure>
<div id="outline-container-org15914f2" class="outline-3">
<h3 id="org15914f2">2024-02-12</h3>
<div class="outline-text-3" id="text-org15914f2">
<p>
Till nästa lektion (20 feb) så tittar ni på uppgifterna
7.1.5, 7.2.1d, 7.2.8, 7.2.35, 7.4.23, 7.4.24
</p>
</div>
</div>
<div id="outline-container-org445fa32" class="outline-3">
<h3 id="org445fa32">2024-02-07</h3>
<div class="outline-text-3" id="text-org445fa32">
<p>
Till nästa lektion (12 feb) så tittar ni på uppgifterna
4.1.5, 4.1.9b, 4.2.8c,4.3.3.
<b>Observera</b> att den lektionen hålls i P36, samtliga senare kommer
att vara i Kompakta rummet.
</p>
</div>
</div>
<div id="outline-container-org887cf9c" class="outline-3">
<h3 id="org887cf9c">2024-01-30</h3>
<div class="outline-text-3" id="text-org887cf9c">
<ul class="org-ul">
<li>Till nästa gång så tittar ni på uppgifterna 3.3.10, 3.4.1c,3.4.20, 3.5.32,3.7.1c</li>
<li>Dessutom: visa att om \(m,n\) relativt prima, \(m|a\), \(n|a\), så \(mn|a\).</li>
<li>Det gick att flytta lektionerna till
<a href="https://use.mazemap.com/#v=1&config=liu&center=15.577474,58.399570&zoom=18&sharepoitype=poi&sharepoi=1000928167&zlevel=2&campusid=742">Kompakta rummet</a></li>
</ul>
</div>
<div id="outline-container-orge760dad" class="outline-4">
<h4 id="orge760dad">Tvillingfria primtal</h4>
<div class="outline-text-4" id="text-orge760dad">
<p>
Jag använde följande sagemath-kod för att hitta \((k,n)\) med
sgd(k,n)=1, sgd(k-2,n) > 1, sgd(k+2,n) >1, så att Dirichlets sats
<pre class="src src-sage" id="org173cf70">def repr(n):
return [k for k in range(n) if gcd(k,n)==1]
def isolated(n):
rlist = repr(n)
return [k for k in rlist if gcd(k-2,n)>1 and gcd(k+2,n)>1]
def find_isolated(N):
for n in range(3,N):
if len(isolated(n)) > 0:
print(n, isolated(n))
</pre>
</div>
<p>
Körning visar att n=15, k=7 är minsta exemplet.
</p>
<pre class="example">
15 [7, 8]
21 [5, 16]
30 [7, 23]
33 [13, 20]
35 [12, 23]
39 [11, 28]
</pre>
</div>
</div>
</div>
<div id="outline-container-org488e68b" class="outline-3">
<h3 id="org488e68b">2024-01-23</h3>
<div class="outline-text-3" id="text-org488e68b">
<p>
Till nästa gång så tittar ni på uppgifterna 1.5.18, 1.5.36, 3.1.6, 3.2.10.
</p>
</div>
</div>
<div id="outline-container-org96d1546" class="outline-3">
<h3 id="org96d1546">2024-01-16</h3>
<div class="outline-text-3" id="text-org96d1546">
<ul class="org-ul">
<li>Första föreläsningen, information om kursupplägget, kurslitteratur, tentamen.</li>
<li>Pratade om <a href="lectures/swelecture0.pdf">talteori som matematisk disciplin</a>, mycket översiktligt.</li>
<li>Började diskutera <a href="lectures/swelecture1.pdf">delbarhet och sgd</a>.</li>
<li>Önskemål om information om vilka/vilket kapitel i kursboken en given
föreläsning är kopplad till, skall ordna.</li>
<li>Vi kommer att gå igenom uppgifter
(hämtade från listan med <a href="#org9bd3039">rekommenderade uppgifter</a>)
på vissa av lektionstillfällena, kanske första 45 minuterna. Annonseras här.</li>
<li>Jag glömde att framföra följande förmaning: även om kursen examineras med en enda skriftlig
tentamen i juni så är det viktigt att studera kontinuerligt, och räkna uppgifter.
Försök att hinna med att skumma (läsa översiktligt, skippa detaljer)
igenom det avsnitt som skall gås igenom på föreläsningen
<i>innan</i> densamma. Sedan, någon gång efter föreläsningen, bör ni läsa samma avsnitt en gång
till, nu med fokus på att förstå bevisen.</li>
<li>Det går an att mejla mig med frågor om uppgifter eller kursen i stort.</li>
</ul>
</div>
</div>
</section>
<section id="outline-container-org7fb0ecc" class="outline-2">
<h2 id="org7fb0ecc">Kurslitteratur <a id="org43c1e74"></a></h2>
<div class="outline-text-2" id="text-org7fb0ecc">
<div id="outline-container-org1046eac" class="outline-3">
<h3 id="org1046eac">Kursbok</h3>
<div class="outline-text-3" id="text-org1046eac">
<p>
Kursbok är <a href="https://www.prisjakt.nu/produkt.php?p=8083662">Elementary Number Theory</a> av Kenneth Rosen.
</p>
<img src="img/Rosen6ed.png" alt="Rosen6ed.png" width="40%">
<figcaption><span class="figure-number">Illustration 1 </span>Elementary Number Theory, Kenneth Rosen</figcaption>
</figure>
<p>
Den sjätte upplagan är den senaste, men det finns flera olika tryckningar,
vilket inte påverkar innehållet.
</p>
</div>
</div>
<div id="outline-container-orgb1f71c0" class="outline-3">
<h3 id="orgb1f71c0">Bredvidläsning</h3>
<div class="outline-text-3" id="text-orgb1f71c0">
<div id="outline-container-org1304ec9" class="outline-4">
<h4 id="org1304ec9">Fritt tillgängligt material</h4>
<div class="outline-text-4" id="text-org1304ec9">
<p>
Följande böcker är fritt tillgängliga på nätet. Kursboken är väldigt grundlig
och täcker kursinnehållet, men det kan ändå vara bra att se olika
framställningar.
</p>
<ul class="org-ul">
<li><a href="https://wstein.org/ent/">Elementary Number Theory</a> av William Stein.</li>
<li><a href="https://hackmat.se/kurser/TATM54/booktot.pdf">Elementary Number Theory</a> av Peter Hackman.</li>
<li><a href="https://math.libretexts.org/Bookshelves/Combinatorics_and_Discrete_Mathematics/Elementary_Number_Theory_(Raji)">An introduction in elementary number theory</a> av Wissam Raji</li>
<li><a href="https://kconrad.math.uconn.edu/blurbs/ugradnumthy/Zinotes.pdf">The Gaussian integers</a> av <a href="https://kconrad.math.uconn.edu/blurbs/">Keith Conrad</a> behandlar just Gaussiska heltal, på ett
föredömligt sätt.</li>
<li>Jag hänvisar till <a href="https://arxiv.org/abs/0809.2139">Constructing the Primitive Roots of Prime Powers</a> av Nathan
Jolly för en metod att hitta primitiva rötter.</li>
<li>Kompendium om <a href="literature/Fibonacci_Exposition.pdf">fibonaccitalen</a>.</li>
<div id="outline-container-org156f528" class="outline-4">
<h4 id="org156f528">Andra lämpliga böcker</h4>
<div class="outline-text-4" id="text-org156f528">
<ul class="org-ul">
<li>BAKER. A concise introduction to the theory of numbers.</li>
<li>DAVENPORT. The higher arithmetic.</li>
<li>DICKSON Introduction to the theory of numbers.</li>
<li>HARDY and WRIGHT. Introduction to the theory of numbers. En riktig klassiker,
som även behandlar analytisk talteori. Valda avsnitt är elementära.</li>
<li>IRELAND and ROSEN. A classical introduction to number theory. En lämplig
fortbildning efter denna kurs.</li>
<li>LEVEQUE. Topics in number theory.</li>
<li>SIERPINSKY. Elementary theory of numbers.</li>
<li>SILVERMAN. A friendly introduction to number theory.</li>
</ul>
</div>
</div>
</div>
</section>
<section id="outline-container-org777e787" class="outline-2">
<h2 id="org777e787">Kursinnehåll <a id="orgd3a32bb"></a></h2>
<div class="outline-text-2" id="text-org777e787">
<div id="outline-container-org8bd2546" class="outline-3">
<h3 id="org8bd2546">Avsnitt av kursboken</h3>
<div class="outline-text-3" id="text-org8bd2546">
<p>
Kursen omfattar följande delar/kapitel av kursboken: 1.5, 2.1, 3, 4.1-4.4, 5.1,
6, 7.1-7.4, 9, 11.1-11.4, 12, 13.1-13.4,14. Jag kommer inte att föreläsa om
precis alla moment ovan, och jag kan komma att berätta om ämnen som inte
behandlas i dessa delar av kursboken. Tentamen kommer dock att testa kunskaper
från just dessa avsnitt.
</p>
</div>
<div id="outline-container-org5c92b21" class="outline-4">
<h4 id="org5c92b21">Rekommenderade uppgifter <a id="org9bd3039"></a></h4>
<div class="outline-text-4" id="text-org5c92b21">
<li><a id="org7ad84d9"></a>1.5<br>
<div class="outline-text-6" id="text-org7ad84d9">
<p>
8a,9b,18,36,37
</p>
</div>
</li>
</ul>
</li>
<li><a id="org8d58eb7"></a>3.1<br>
<div class="outline-text-6" id="text-org8d58eb7">
<p>
1ab, 2f,6.
</p>
</div>
</li>
<li><a id="org7773607"></a>3.2<br>
<div class="outline-text-6" id="text-org7773607">
<ol class="org-ol">
<li></li>
</ol>
</div>
</li>
<li><a id="orgd200f28"></a>3.3<br>
<div class="outline-text-6" id="text-orgd200f28">
<p>
1df,2ef,10,24,30,31
</p>
</div>
</li>
<li><a id="org5f021b7"></a>3.4<br>
<div class="outline-text-6" id="text-org5f021b7">
<p>
1bc, 19*, 20*.
</p>
</div>
</li>
<li><a id="org54380bd"></a>3.5<br>
<div class="outline-text-6" id="text-org54380bd">
<p>
1il, 2, 4c, 29cd,
32*, 34, 58ac.
</p>
</div>
</li>
<li><a id="orge8d3c38"></a>3.7<br>
<div class="outline-text-6" id="text-orge8d3c38">
<p>
1cd
</p>
</div>
</li>
</ul>
</li>
<li><a id="org60d0871"></a>4.1<br>
<div class="outline-text-6" id="text-org60d0871">
<p>
4,5,7ab,9bc.
</p>
</div>
</li>
<li><a id="org6ccedb0"></a>4.2<br>
<div class="outline-text-6" id="text-org6ccedb0">
<p>
1df, 8c, 9d.
</p>
</div>
</li>
<li><a id="org89b0458"></a>4.3<br>
<div class="outline-text-6" id="text-org89b0458">
<li><a id="orgce85497"></a>4.4<br>
<div class="outline-text-6" id="text-orgce85497">
<p>
2ab.
</p>
</div>
</li>
</ul>
</li>
<li><a id="org290a8f0"></a>5.1<br>
<div class="outline-text-6" id="text-org290a8f0">
<p>
4ab.
</p>
</div>
</li>
</ul>
</li>
<li><a id="org87f09e3"></a>6.1<br>
<div class="outline-text-6" id="text-org87f09e3">
<p>
4,5,6,9,10,14,18,19,22,24,24,28,36,38*,41,48*,52.
</p>
</div>
</li>
<li><a id="orgbc16a8c"></a>6.2<br>
<div class="outline-text-6" id="text-orgbc16a8c">
<p>
2,8,12,16ab.
</p>
</div>
</li>
<li><a id="orgffebf1d"></a>6.3<br>
<div class="outline-text-6" id="text-orgffebf1d">
<p>
1d,6,7,22*
</p>
</div>
</li>
</ul>
</li>
<li><a id="org614132a"></a>7.1<br>
<div class="outline-text-6" id="text-org614132a">
<li><a id="org871658a"></a>7.2<br>
<div class="outline-text-6" id="text-org871658a">
<p>
1bd,2cd,8,34*,35,38*.
</p>
</div>
</li>
<li><a id="org122f2e6"></a>7.3<br>
<div class="outline-text-6" id="text-org122f2e6">
<p>
3b,4,7,8,10,18,22**,28*,29cd.
</p>
</div>
</li>
<li><a id="org9ba696a"></a>7.4<br>
<div class="outline-text-6" id="text-org9ba696a">
<p>
1bd,2be,14,22,23,24,30,31.
</p>
</div>
</li>
</ul>
</li>
<li><a id="org477479c"></a>9.1<br>
<div class="outline-text-6" id="text-org477479c">
<p>
1ad, 2cd, 5b, 6df, 8, 10, 20*,
22*.
</p>
</div>
</li>
<li><a id="orga68111e"></a>9.2<br>
<div class="outline-text-6" id="text-orga68111e">
<p>
1d, 2d, 3e, 6.
</p>
</div>
</li>
<li><a id="orgf6dd661"></a>9.3<br>
<div class="outline-text-6" id="text-orgf6dd661">
<p>
2,3c, 5c,6c, 8b, 10.
</p>
</div>
</li>
<li><a id="org37dfb2a"></a>9.4<br>
<div class="outline-text-6" id="text-org37dfb2a">
<p>
1, 2b, 3a,
4, 9, 10, 19, 20*.
</p>
</div>
</li>
<li><a id="org29656a1"></a>9.5<br>
<div class="outline-text-6" id="text-org29656a1">
<li><a id="orgf9dc898"></a>9.6<br>
<div class="outline-text-6" id="text-orgf9dc898">
<p>
1bcg, 4def, 13*, 14*.
</p>
</div>
</li>
</ul>
</li>
<li><a id="org762f628"></a>11.1<br>
<div class="outline-text-6" id="text-org762f628">
<p>
1d, 4, 25.
</p>
</div>
</li>
<li><a id="orgd2d41f5"></a>11.2<br>
<div class="outline-text-6" id="text-orgd2d41f5">
<p>
1cd, 2, 4, 5.
</p>
</div>
</li>
<li><a id="orgc0bf6e6"></a>11.3<br>
<div class="outline-text-6" id="text-orgc0bf6e6">
<p>
1ef, 5, 6.
</p>
</div>
</li>
<li><a id="org53fd7ee"></a>11.4<br>
<div class="outline-text-6" id="text-org53fd7ee">
<p>
1, 2, 5, 6.
</p>
</div>
</li>
</ul>
</li>
<li><a id="org7b01410"></a>12.2<br>
<div class="outline-text-6" id="text-org7b01410">
<p>
1bf, 2cd, 3c, 4c.
</p>
</div>
</li>
<li><a id="org1aa1c33"></a>12.3<br>
<div class="outline-text-6" id="text-org1aa1c33">
<p>
1c, 2a, 6*, 7.
</p>
</div>
</li>
<li><a id="orgccd3c06"></a>12.4<br>
<div class="outline-text-6" id="text-orgccd3c06">
<p>
1c, 2c, 3b, 4a,
5b, 6b, 7b, 8, 10, 17.
</p>