# Category:Theorems in algebraic number theory

Computing portal |

Here is a list of articles in the category **Theorems in algebraic number theory** of the Computing portal that unifies foundations of mathematics and computations using computers.

## Pages in category "Theorems in algebraic number theory"

The following 39 pages are in this category, out of 39 total.

### A

- Albert–Brauer–Hasse–Noether theorem
*(computing)* - Ankeny–Artin–Chowla congruence
*(computing)*

### B

- Bauerian extension
*(computing)* - Brauer–Siegel theorem
*(computing)*

### C

- Chebotarev theorem on roots of unity
*(computing)* - Chebotarev's density theorem
*(computing)*

### D

- Dirichlet's unit theorem
*(computing)*

### F

- Ferrero–Washington theorem
*(computing)*

### G

- Gras conjecture
*(computing)* - Gross–Koblitz formula
*(computing)* - Grunwald–Wang theorem
*(computing)*

### H

- Hasse norm theorem
*(computing)* - Hasse's theorem on elliptic curves
*(computing)* - Hasse–Arf theorem
*(computing)* - Herbrand–Ribet theorem
*(computing)* - Hermite–Minkowski theorem
*(computing)* - Hilbert's Theorem 90
*(computing)* - Hilbert–Speiser theorem
*(computing)*

### K

- Kronecker–Weber theorem
*(computing)*

### L

- Lafforgue's theorem
*(computing)* - Landau prime ideal theorem
*(computing)* - Local Tate duality
*(computing)*

### M

- Main conjecture of Iwasawa theory
*(computing)* - Mazur's control theorem
*(computing)* - Minkowski's bound
*(computing)* - Mordell–Weil theorem
*(computing)*

### N

- Neukirch–Uchida theorem
*(computing)*

### O

- Octic reciprocity
*(computing)* - Ostrowski's theorem
*(computing)*

### P

- Principal ideal theorem
*(computing)*

### R

- Reflection theorem
*(computing)*

### S

- Scholz's reciprocity law
*(computing)* - Shafarevich–Weil theorem
*(computing)* - Shintani's unit theorem
*(computing)* - Stark–Heegner theorem
*(computing)* - Stickelberger's theorem
*(computing)*

### T

- Takagi existence theorem
*(computing)* - Thaine's theorem
*(computing)*

### Y

- Yamamoto's reciprocity law
*(computing)*