Unique factorization domains
1020
Proving that $\mathbb{Z}[\sqrt{2}]$ is a Euclidean domain
156611
Hartshorne Problem 1.2.14 on Segre Embedding
113863
The non-existence of non-principal ultrafilters in ZF
27058
Construction of Ultrafilters
95692
Factoring polynomials of the form $1+x+\cdots +x^{p-1}$ in finite field
19453
Invariance of domain for manifold
71261
Factoring a hard polynomial
103654
A finite field extension that is not simple
71479
Is there some elementary proof of invariance of domain?
133711
Orthogonal basis for infinite-dimensional vector spaces
67490
Restricing domains for universal and existential quantifiers
46
Oracle: function based index selective uniqueness
141794
Invariant subspaces of specific dimension
50993
Faithful representations and character tables
74139
Subrings of integral domains have the same identity element.
63394
About integer factorization
76110
Proving that the zero vector is unique