# Category:Theorems in algebra

From HandWiki

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

## Subcategories

This category has the following 2 subcategories, out of 2 total.

## Pages in category "Theorems in algebra"

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

### A

- Abel's binomial theorem
*(computing)* - Addition theorem
*(computing)* - Amitsur–Levitzki theorem
*(computing)* - Ax–Grothendieck theorem
*(computing)*

### B

- Bernstein–Kushnirenko theorem
*(computing)* - Bertrand's postulate
*(computing)* - Birkhoff's representation theorem
*(computing)*

### C

- Cartan–Brauer–Hua theorem
*(computing)* - Chevalley–Warning theorem
*(computing)* - Classification of finite simple groups
*(computing)* - Cohn's irreducibility criterion
*(computing)* - Crystallographic restriction theorem
*(computing)*

### D

- Descartes' rule of signs
*(computing)*

### F

- Factor theorem
*(computing)* - Frobenius determinant theorem
*(computing)* - Frobenius reciprocity theorem
*(computing)* - Fundamental theorem of finitely generated abelian groups
*(computing)* - Fundamental theorem of Galois theory
*(computing)*

### G

- Gershgorin circle theorem
*(computing)*

### H

- Haran's diamond theorem
*(computing)* - Harish-Chandra isomorphism
*(computing)* - Haynsworth inertia additivity formula
*(computing)* - Hilbert–Burch theorem
*(computing)* - Hochster–Roberts theorem
*(computing)* - Hua's identity
*(computing)* - Hudde's rules
*(computing)*

### J

- Jacobson–Bourbaki theorem
*(computing)*

### K

- Koecher–Vinberg theorem
*(computing)* - Krull–Akizuki theorem
*(computing)*

### L

- Liouville's theorem (differential algebra)
*(computing)*

### M

- Mason–Stothers theorem
*(computing)* - Matlis duality
*(computing)* - Mitchell's embedding theorem
*(computing)*

### N

- Nagata's conjecture
*(computing)* - Nielsen–Schreier theorem
*(computing)* - Niven's theorem
*(computing)* - Norm residue isomorphism theorem
*(computing)*

### P

- Perron's irreducibility criterion
*(computing)* - Polynomial remainder theorem
*(computing)* - Posner's theorem
*(computing)*

### S

- Segal conjecture
*(computing)* - Skolem–Noether theorem
*(computing)* - Strassmann's theorem
*(computing)*

### T

- Theorem of transition
*(computing)*