Tweets about algebra, number theory, and miscellaneous math by @JohnDCook.

For each prime p and positive integer n, there is a unique field of order p^n.
2
7
69
4,782
Every field is an integral domain. Every finite integral domain is a field.
2
5
77
5,608
A symmetric matrix is positive definite iff the determinant of every upper-left submatrix is positive.
1
28
6,028
If a finite group G has k elements and p^n is the highest power of a prime p dividing k, then G has a subgroup of order p^n. -- Sylow
8
51
6,197
The Fermat numbers F_0 thru F_4 are prime. Euler found that F_5 is composite.
1
1
27
6,196
Solving a chess puzzle with Claude and Z3/Python Place all the pieces—king, queen, two bishops, two knights, and two rooks—on a 6 × 5 chessboard, with the requirement that the two bishops be on opposite colored squares and no piece is attacking another. johndcook.com/blog/2026/06/2…
1
18
3,969
Fermat numbers have the form 2^{2^m} + 1.
3
31
6,048
New post: Nathaniel Bowditch johndcook.com/blog/2026/09/2…
1
7
3,906
A field is a ring in which non-zero elements form an abelian group under multiplication.
4
4
85
9,502
The sum of the reciprocals of the primes diverges.
17
9
170
14,902
A matrix A is skew-Hermitian if A^* = -A.
1
50
6,216
Enumerating trees and circles johndcook.com/blog/2026/08/0…
11
4,960
The sum of Hermitian matrices is Hermitian.
1
1
65
6,226
A matrix A is Hermitian if it is self-adjoint, i.e. A^* = A.
2
3
51
6,539