# Category:Theorems in algebra

Computing portal |

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 64 pages are in this category, out of 64 total.

### A

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

### B

- Bernstein–Kushnirenko theorem
*(computing)* - Binomial theorem
*(computing)* - Birkhoff's representation theorem
*(computing)* - Boolean prime ideal theorem
*(computing)*

### C

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

### D

- Descartes' rule of signs
*(computing)*

### F

- Factor theorem
*(computing)* - Frobenius determinant theorem
*(computing)* - Frobenius reciprocity theorem
*(computing)* - Fundamental lemma (Langlands program)
*(computing)* - Fundamental theorem of algebra
*(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's irreducibility theorem
*(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)* - Multinomial theorem
*(computing)*

### N

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

### P

- Polynomial remainder theorem
*(computing)* - Posner's theorem
*(computing)*

### R

- Rational root theorem
*(computing)*

### S

- Segal conjecture
*(computing)* - Segal's conjecture
*(computing)* - Sinkhorn's theorem
*(computing)* - Skolem–Noether theorem
*(computing)* - Specht's theorem
*(computing)* - Stone's representation theorem for Boolean algebras
*(computing)* - Strassmann's theorem
*(computing)* - Subgroups of cyclic groups
*(computing)* - Sylow theorems
*(computing)* - Sylvester's determinant identity
*(computing)* - Sylvester's law of inertia
*(computing)*

### T

- Theorem of transition
*(computing)*

### W

- Weil's conjecture on Tamagawa numbers
*(computing)* - Weinstein–Aronszajn identity
*(computing)* - Witt's theorem
*(computing)* - Woodbury matrix identity
*(computing)*