|
|
|
|
1.
$(a,b)=(c,d)$ if and only if $a=c$ and $b=d$
by Wkbj79
2.
$0\ne 1$ as real numbers
by mps
3.
$AB$ and $BA$ are almost isospectral
by asteroid
4.
$C^*$-algebra homomorphisms are continuous
by asteroid
5.
$C^*$-algebra homomorphisms have closed images
by asteroid
6.
$C^*$-algebra homomorphisms preserve continuous functional calculus
by asteroid
7.
$C^\infty_0(U)$ is not empty
by matte
8.
$e^r$ is irrational for $r\in\mathbb{Q}\setminus\{0\}$
by Cosmin
9.
$GL_2(\mathbb{Z})$
by rm50
10.
$L^2$-spaces are Hilbert spaces
by asteroid
11.
$n$-section of line segment with compass and straightedge
by pahio
12.
$x^4-y^4=z^2$ has no solutions in positive integers
by rm50
13.
$Y$ is compact if and only if every open cover of $Y$ has a finite subcover
by mathcam
14.
$\epsilon$-transition
by CWoo
15.
$\lim_{p \to \infty} \lVert x \rVert_p = \lVert x \rVert_{\infty}$
by Koro
16.
$\mathbb{R}^2 \setminus C$ is path connected if $C$ is countable
by silverfish
17.
$\mathbb{R}^n$ is not a countable union of proper vector subspaces
by rspuzio
18.
$\mathcal{NJ}p$
by Henry
19.
$\mathcal{NK}p$
by Henry
20.
$\pi$ and $\pi^2$ are irrational
by mathcam
21.
$\sqrt[n]{2}$ is irrational for $n\ge 3$ (proof using Fermat's last theorem)
by matte
22.
$\varepsilon$-net
by Koro
23.
${n\choose r}$ is an integer
by matte
24.
a characterization of the radical of an ideal
by CWoo
25.
a closed subset of a complete metric space is complete
by ehremo
26.
a compact metric space is second countable
by azdbacks4234
27.
a compact set in a Hausdorff space is closed
by mathcam
28.
a complete subspace of a metric space is closed
by ehremo
29.
a condition of algebraic extension
by pahio
30.
a connected and locally path connected space is path connected
by Mathprof
31.
a connected normal space with more than one point is uncountable
by azdbacks4234
32.
a finite integral domain is a field
by yark
33.
a line segment has at most one midpoint
by Mathprof
34.
a polynomial of degree $n$ over a field has at most $n$ roots
by alozano
35.
a prime occurs in the Euclid-Mullin sequence no more than once
by PrimeFan
36.
a ring modulo its Jacobson radical is semiprimitive
by yark
37.
a shorter proof: Martin's axiom and the continuum hypothesis
by x_bas
38.
a space is compact iff any family of closed sets having fip has non-empty intersection
by CWoo
39.
a sufficient condition for convergence of integral
by pahio
40.
A. Cohn's irreducibility criterion
by Mathprof
41.
AB is conjugate to BA
by Algeboy
42.
ABC conjecture
by yark
43.
Abel summability
by rmilson
44.
Abel's lemma
by mathcam
45.
Abel's multiplication rule for series
by pahio
46.
abelian groups form an abelian category, proof that
by mps
47.
absolute convergence of infinite product and series
by pahio
48.
absolute convergence of integral and boundedness of derivative
by pahio
49.
absolutely continuous function
by matte
50.
absolutely convergent infinite product converges
by pahio
51.
ad hoc
by mathcam
52.
adding and removing parentheses in series
by pahio
53.
additive category
by CWoo
54.
additive function
by Wkbj79
55.
affine combination
by CWoo
56.
Ahmes' bird-feeding rate method
by milogardner
57.
Alexander Grothendieck
by PrimeFan
58.
Alexander Grothendieck's biography and his major mathematical contributions
by bci1
59.
algebraic definition of a lattice
by CWoo
60.
algebraic geometry
by archibal
61.
algebraic numbers are countable
by pahio
62.
algebraic sines and cosines
by pahio
63.
algebraic sum and product
by pahio
64.
all bases for a vector space have the same cardinality
by CWoo
65.
all orthonormal bases have the same cardinality
by asteroid
66.
all positive integers are polite numbers except powers of two
by PrimeFan
67.
All unnatural square roots are irrational
by ubershmekel
68.
alternate proof of parallelogram law
by drini
69.
alternating group has index 2 in the symmetric group, the
by yesitis
70.
alternative algebra
by CWoo
71.
alternative characterization of multiply transitive permutation groups
by rm50
72.
alternative characterizations of Noetherian topological spaces, proof of
by yark
73.
alternative definition of group
by pahio
74.
alternative definition of the natural logarithm
by CWoo
75.
alternative definition of valuation
by rspuzio
76.
alternative definitions of countable
by CWoo
77.
alternative proof of Euclid's lemma
by alozano
78.
alternative proof of necessity direction of equivalent conditions for triangles (hyperbolic and spherical)
by Wkbj79
79.
alternative proof of the fundamental theorem of calculus
by ruffa
80.
alternative proof that $\sqrt{2}$ is irrational
by Wkbj79
81.
an associative quasigroup is a group
by CWoo
82.
an example for Schur decomposition
by georgiosl
83.
an example of mathematical induction
by CWoo
84.
an outline of Hilbert's programme
by gribskoff
85.
analytic number theory
by Wkbj79
86.
analytics and formal logics in meta-mathematics
by bci1
87.
Andrew Wiles
by PrimeFan
88.
annihilator is an ideal
by yark
89.
another proof of Dini's theorem
by gumau
90.
another proof of rank-nullity theorem
by CWoo
91.
another proof of the non-existence of a continuous function that switches the rational and the irrational numbers
by neapol1s
92.
another proof that a number is polite iff it is positive and not a positive power of $2$
by CWoo
93.
antiderivative
by asteroid
94.
antipodal isothermic points
by pahio
95.
antisymmetric
by rmilson
96.
any divisor is gcd of two principal divisors
by pahio
97.
any nonzero integer is quadratic residue
by pahio
98.
any topological space with the fixed point property is connected
by yark
99.
applications of Urysohn's Lemma to locally compact Hausdorff spaces
by azdbacks4234
100.
Ap\'ery's constant
by bbukh
101.
arbitrary join
by CWoo
102.
Archimedes' calculus
by milogardner
103.
area bounded by arc and two lines
by pahio
104.
area of a polygonal region
by Mathprof
105.
area of a spherical triangle
by Mathprof
106.
area of regular polygon
by Wkbj79
107.
area under Gaussian curve
by pahio
108.
Aristotelian logic
by Daume
109.
arithmetic functions form a ring
by rm50
110.
arithmetical hierarchy is a proper hierarchy
by Henry
111.
associated bundle construction
by rspuzio
112.
asymptotes of graph of rational function
by eshyvari
113.
atomic formula
by CWoo
114.
axiom
by rmilson
115.
axiom of dependent choices
by CWoo
116.
axiomatic definition of the real numbers
by matte
117.
axiomatic geometry
by CWoo
118.
Babylonian method of computing square roots
by rspuzio
119.
Baire category theorem
by Koro
120.
Bam\`on's theorem
by Daume
121.
Banach space valued analytic functions
by asteroid
122.
Banach spaces of infinite dimension do not have a countable Hamel basis
by yark
123.
Banach-Tarski paradox
by paolini
124.
basis (topology)
by rspuzio
125.
Bautin's theorem
by Daume
126.
behavior exists uniquely (finite case)
by Wkbj79
127.
behavior exists uniquely (infinite case)
by Wkbj79
128.
Bernoulli polynomials and numbers
by pahio
129.
Bertrand's conjecture, proof of
by CWoo
130.
best approximation in inner product spaces
by asteroid
131.
beyond formalism: G\"{o}del's incompleteness
by gribskoff
132.
biconditional
by Mathprof
133.
binomial formula for negative integer powers
by rspuzio
134.
Birkhoff prime ideal theorem
by CWoo
135.
Blaise Pascal
by PrimeFan
136.
Bohr's theorem
by pahio
137.
Bolyai-Gerwien theorem
by CWoo
138.
Boole inequality, proof of
by Bunder
139.
boundary of an open set is nowhere dense
by CWoo
140.
bounded inverse theorem
by asteroid
141.
bounded maximization
by CWoo
142.
bounded minimization
by CWoo
143.
bounded operator
by bwebste
144.
boundedness of terms of power series
by pahio
145.
boundedness theorem
by classicleft
146.
bounds on $\pi(n)$
by rm50
147.
Brandt groupoid
by CWoo
148.
Brauer's ovals theorem
by Andrea Ambrosio
149.
Brianchon theorem
by vmoraru
150.
Brouwer fixed point in one dimension
by mathcam
151.
Brouwerian lattice
by CWoo
152.
Burnside's Theorem
by rm50
153.
calculus of subgroup orders
by Algeboy
154.
Cantor's diagonal argument
by rmilson
155.
Cantor-Zassenhaus split
by mathwizard
156.
cardinality of monomials
by rspuzio
157.
Catalan's conjecture
by pahio
158.
category of paths on a graph
by rspuzio
159.
category of small categories
by CWoo
160.
category theory
by archibal
161.
Cauchy criterion for the existence of a limit of a function
by perucho
162.
Cauchy integral formula
by djao
163.
Cauchy integral theorem
by rmilson
164.
Cayley's parameterization of orthogonal matrices
by rspuzio
165.
center normal and center normal plane as loci
by pahio
166.
center of a Hausdorff topological group is closed
by asteroid
167.
central binomial coefficient
by rspuzio
168.
centralizer
by drini
169.
chain rule
by matte
170.
change of variable in definite integral
by pahio
171.
change of variables in integral on $\mathbb{R}^n$
by stevecheng
172.
characetrization of primary ideals
by joking
173.
characteristic subgroup
by yark
174.
characterization of Alexandroff groups
by joking
175.
characterization of almost convex functions
by rspuzio
176.
characterization of finite nilpotent groups
by yark
177.
characterization of full families of groups
by joking
178.
characterization of ordered groups of rank one
by rspuzio
179.
characterization of subspace topology
by mps
180.
characterizations of integral
by pahio
181.
characterizing CM-fields using Dirichlet's unit theorem
by rm50
182.
Chebyshev functions
by Mathprof
183.
Chen's theorem
by PrimeFan
184.
Chinese remainder theorem in terms of divisor theory
by pahio
185.
Chow's theorem
by jirka
186.
Christoffel symbols
by juanman
187.
chromatic number and girth
by mathcam
188.
circle has one center
by Wkbj79
189.
circular reasoning
by Wkbj79
190.
circumferential angle is half the corresponding central angle
by rm50
191.
class number divisibility in extensions
by alozano
192.
classical Stokes' theorem
by stevecheng
193.
classification of covering spaces
by Dr_Absentius
194.
classification of Hilbert spaces
by asteroid
195.
closed differential forms on a simply connected domain
by paolini
196.
closed ideals in $C^*$-algebras are self-adjoint
by asteroid
197.
closed set in a compact space is compact
by mathcam
198.
closed subsets of a compact set are compact
by Wkbj79
199.
closure of a vector subspace in a normed space is a vector subspace
by gumau
200.
closure of sets closed under a finitary operation
by yark
201.
coefficients of Bernoulli polynomials
by rm50
202.
cohomology of compact connected Lie groups
by asteroid
203.
colorings of plane graphs
by marijke
204.
combinations with repeated elements
by kfgauss70
205.
commensurable numbers
by pahio
206.
common point of triangle medians
by pahio
207.
commutator bracket
by rmilson
208.
compact groups are unimodular
by asteroid
209.
compactness is preserved under a continuous map
by yark
210.
compactness of closed unit ball in normed spaces
by asteroid
211.
comparison between Lebesgue and Riemann Integration
by Mathprof
212.
complete Boolean algebra
by CWoo
213.
complete group
by CWoo
214.
complete semilattice
by CWoo
215.
complete ultrametric field
by pahio
216.
complex multiplication
by alozano
217.
component of identity of a topological group is a closed normal subgroup
by asteroid
218.
composition algebras over $\mathbb{Q}$
by Algeboy
219.
composition algebras over $\mathbb{R}$
by Algeboy
220.
computation of the order of $\operatorname{GL}(n, \mathbb{F}_q)$
by yark
221.
condition for power basis
by pahio
222.
condition for uniform convergence of sequence of functions
by fernsanz
223.
condition on a near ring to be a ring
by CWoo
224.
conditionally convergent real series
by pahio
225.
congruence
by rspuzio
226.
congruence in algebraic number field
by pahio
227.
congruence lattice
by CWoo
228.
congruence of arbitrary degree
by pahio
229.
conjugacy classes in the symmetric group $S_n$
by rm50
230.
conjugate stabilizer subgroups
by Thomas Heye
231.
connected locally compact topological groups are $\sigma$-compact
by asteroid
232.
connected topological group is generated by any neighborhood of identity
by asteroid
233.
connectedness is preserved under a continuous map
by drini
234.
consistent
by Henry
235.
construct the center of a given circle
by rm50
236.
constructible angles with integer values in degrees
by PrimeFan
237.
construction of a Brandt groupoid
by CWoo
238.
construction of Banach limit using limit along an ultrafilter
by kompik
239.
construction of central proportional
by pahio
240.
construction of Riemann surface using paths
by rspuzio
241.
continuation of exponent
by pahio
242.
continuity of natural power
by pahio
243.
continuity of sine and cosine
by pahio
244.
continuous derivative implies bounded variation
by pahio
245.
continuous nowhere monotonic function
by asteroid
246.
contractive maps are uniformly continuous
by mathcam
247.
contradiction
by Wkbj79
248.
contraharmonic means and Pythagorean hypotenuses
by pahio
249.
convergence in probability is preserved under continuous transformations
by stevecheng
250.
convergence of arithmetic-geometric mean
by rspuzio
251.
convergence of complex term series
by pahio
252.
convergence of Riemann zeta series
by pahio
253.
convergence of the sequence (1+1/n)^n
by kfgauss70
254.
convergent series where not only$~a_n$ but also $na_n$ tends to 0
by pahio
255.
convergents to a continued fraction
by rm50
256.
converse of Euler's homogeneous function theorem
by pahio
257.
converting a repeating decimal to a fraction
by Wkbj79
258.
corollaries of basic theorem on ordered groups
by rspuzio
259.
corollary of B\'ezout's lemma
by pahio
260.
corollary of Cauchy integral theorem
by pahio
261.
corollary of Schur decomposition
by Daume
262.
correspondence of normal subgroups and group congruences
by Dr_Absentius
263.
countable algebraic sets
by rspuzio
264.
counting compositions of an integer
by rm50
265.
criterion for a Banach *-algebra representation to be irreducible
by asteroid
266.
criterion of surjectivity
by pahio
267.
critical strip
by Wkbj79
268.
cryptography and number theory
by archibal
269.
curvature determines the curve
by pahio
270.
cyclic rings of behavior one
by Wkbj79
271.
cyclotomic field
by Wkbj79
272.
De Bruijn--Erd\H{o}s theorem
by marijke
273.
decomposition of orthogonal operators as rotations and reflections
by stevecheng
274.
decomposition of self-adjoint elements in positive and negative parts
by asteroid
275.
Dedekind-Hasse valuation
by Henry
276.
deductions are $\Delta_1$
by mathcam
277.
definable
by CWoo
278.
definition
by PrimeFan
279.
definition of prime ideal by Artin
by pahio
280.
delay theorem
by pahio
281.
delta distribution
by matte
282.
dense ring of linear transformations
by CWoo
283.
derivation of cohomology group theorem for connected CW-complexes
by bci1
284.
derivation of Euler phi-function
by jwaixs
285.
derivation of integral representations of Jacobi $\vartheta$ functions
by rspuzio
286.
derivation of quadratic formula
by mathcam
287.
derivation of Sylvester's matrix for the resultant
by rspuzio
288.
derivations on a ring of continous functions
by joking
289.
derivative of $x^n$
by Algeboy
290.
derivatives by pure algebra
by Algeboy
291.
derived Boolean operations
by CWoo
292.
derived functor
by mathcam
293.
determinant inequalities
by Andrea Ambrosio
294.
diamond lemma
by CWoo
295.
Dilworth's theorem
by CWoo
296.
dimension formulae for vector spaces
by yark
297.
Diophantine equation
by rspuzio
298.
Dirichlet kernel
by mathwizard
299.
Dirichlet series
by bbukh
300.
Dirichlet's approximation theorem
by Koro
301.
Dirichlet's convergence test
by lieven
302.
discrete time Fourier transform in relation with continuous time Fourier transform
by fernsanz
303.
discriminant of algebraic number
by pahio
304.
disjunction property of Wallman
by porton
305.
distance from point to a line
by acastaldo
306.
distribution
by matte
307.
distributivity in po-groups
by CWoo
308.
divisibility by prime number
by pahio
309.
divisibility by product
by pahio
310.
divisibility of nine-numbers
by pahio
311.
divisibility of prime-power binomial coefficients
by rm50
312.
division algebra
by Algeboy
313.
division in group
by pahio
314.
divisor as factor of principal divisor
by pahio
315.
divisor function is multiplicative, the
by yark
316.
divisor theory
by pahio
317.
divisor theory and exponent valuations
by pahio
318.
DNA inequality
by PrimeFan
319.
double series
by PrimeFan
320.
dual of a coalgebra is an algebra, the
by mps
321.
duality with respect to a non-degenerate bilinear form
by alozano
322.
Dulac's theorem
by Daume
323.
Dyck language
by CWoo
324.
e is not a quadratic irrational
by mathcam
325.
e is transcendental
by pahio
326.
Egyptian fraction
by milogardner
327.
Egyptian geometry areas calculated in, cubits, khets and setats
by milogardner
328.
Egyptian multiplication and division
by milogardner
329.
Egyptian weights and measures, hekat divisions
by milogardner
330.
eigenvalues of an involution
by Koro
331.
Eisenstein criterion in terms of divisor theory
by pahio
332.
elementary proof of orders
by Algeboy
333.
elementary symmetric polynomial in terms of power sums
by rspuzio
334.
elliptic curve cryptography
by PrimeFan
335.
empirical proof that solving opposing faces of a Rubik's cube does not necessarily solve the middle layer
by PrimeFan
336.
enumerating groups
by Algeboy
337.
enumerative combinatorics
by mps
338.
equivalence between the minor and topological minor of $K_5$ or $K_{3,3}$
by jwaixs
339.
equivalence class of equinumerous sets is not a set
by CWoo
340.
equivalence of Kuratowski's lemma and Zorn's lemma
by CWoo
341.
equivalent condition for being a fundamental system of entourages
by mps
342.
equivalent definitions for UFD
by joking
343.
equivalent statements to statement that sphere is not contractible
by joking
344.
Erd\H{o}s-Bacon number
by PrimeFan
345.
Erd\H{o}s-Heilbronn conjecture
by bbukh
346.
estimation of index of intersection subgroup
by pahio
347.
Euclid's coefficients
by pahio
348.
Euclid's lemma proof
by akrowne
349.
Euclid's proof of the infinitude of primes
by mathwizard
350.
Euclid-Mullin sequence
by PrimeFan
351.
Euler phi at a product
by pahio
352.
Euler product
by bbukh
353.
Euler product formula
by pahio
354.
Euler reflection formula
by rm50
355.
Euler's polyhedron theorem, proof of
by mps
356.
Euler, Leonhard
by mathwizard
357.
Eulerian poset
by mps
358.
evaluating the gamma function at 1/2
by CWoo
359.
even and odd functions
by yark
360.
every $\epsilon$-automaton is equivalent to an automaton
by CWoo
361.
every even integer greater than 46 is the sum of two abundant numbers
by PrimeFan
362.
every even integer greater than 70 is the sum of two abundant numbers in more than one way
by PrimeFan
363.
every finite dimensional normed vector space is a Banach space
by matte
364.
every finite dimensional subspace of a normed space is closed
by Mathprof
365.
every Hilbert space has an orthonormal basis
by asteroid
366.
every net has a universal subnet
by asteroid
367.
every normed space with Schauder basis is separable
by asteroid
368.
every ordered field with the least upper bound property is isomorphic to $\mathbb{R}$, proof that
by mps
369.
every orthonormal set is linearly independent
by mathcam
370.
every permutation has a cycle decomposition
by rspuzio
371.
every PID is a UFD
by rm50
372.
every PID is a UFD - alternative proof
by joking
373.
every positive integer greater than 30 has at least one composite totative
by mps
374.
every prime has a primitive root
by alozano
375.
every subspace of a normed space of finite dimension is closed
by Mathprof
376.
exact sequence
by djao
377.
exact sequence theorem in $C_3$--category
by bci1
378.
exact sequences for modules with finite projective dimension
by joking
379.
example of a probabilistic proof
by bbukh
380.
example of a proof using nets
by yark
381.
example of a strictly increasing quasisymmetric singular function
by jirka
382.
example of a universal structure
by uzeromay
383.
example of an Artinian module which is not Noetherian
by joking
384.
example of Banach algebra which is not a $C^*$-algebra for any involution
by asteroid
385.
example of cylindric algebra
by CWoo
386.
example of false implies true
by Algeboy
387.
example of infinite hyperreal number
by asteroid
388.
example of infinitesimal hyperreal number
by asteroid
389.
example of Lipschitz condition
by me_and
390.
example of monadic algebra
by CWoo
391.
example of polyadic algebra
by CWoo
392.
example of quantifier
by hkkass
393.
example of summation by parts
by pahio
394.
example of transfinite induction
by CWoo
395.
example of vector potential
by pahio
396.
example of well-founded induction
by CWoo
397.
examples of cyclotomic polynomials
by alozano
398.
examples of finite simple groups
by mathcam
399.
examples of groups
by AxelBoldt
400.
examples of perfect totient numbers
by PrimeFan
401.
examples of pullbacks
by CWoo
402.
examples of radicals of ideals in commutative rings
by joking
403.
existence and uniqueness of decimal expansion
by stevecheng
404.
existence and uniqueness of solution to Cauchy problem
by ehremo
405.
existence of adjoints of bounded operators
by asteroid
406.
existence of maximal ideals
by yark
407.
existence of power series
by rmilson
408.
existential theorem
by Wkbj79
409.
exponent valuation
by pahio
410.
extension of Krull valuation
by pahio
411.
extensions without unramified subextensions and class number divisibility
by alozano
412.
extracting every $n^\mathrm{th}$ term of a series
by rm50
413.
extreme value theorem
by classicleft
414.
factors of $n$ and $x^n-1$
by pahio
415.
failure of Hartogs' theorem in one dimension
by jirka
416.
false counterexamples to Fermat's last theorem
by PrimeFan
417.
Farkas lemma, proof of
by CWoo
418.
Feit-Thompson conjecture
by PrimeFan
419.
Feit-Thompson theorem
by mathcam
420.
Fejer kernel
by mathwizard
421.
Fermat numbers
by drini
422.
Fermat numbers are coprime
by yark
423.
Fermat's last theorem
by akrowne
424.
Fermat's last theorem (analytic form of)
by whm22
425.
field adjunction
by pahio
426.
field homomorphisms fix prime subfields
by Wkbj79
427.
field is discrete and cocompact in its ad\`{e}les
by rm50
428.
filter
by Koro
429.
finite and countable discrete spaces
by matte
430.
finite changes in convergent series
by pahio
431.
finite dimensional proper subspaces of a normed space are nowhere dense
by asteroid
432.
finite field
by yark
433.
finite field cannot be algebraically closed
by rspuzio
434.
finite intersection property
by azdbacks4234
435.
finite limit implying uniform continuity
by pahio
436.
finite nilpotent groups
by Algeboy
437.
finite projective planes have $q^2+q+1$ points and $q^2+q+1$ lines
by marijke
438.
finite subgroup
by pahio
439.
finitely generated modules over a principal ideal domain
by yark
440.
first fundamental form
by stevecheng
441.
first-order theory
by CWoo
442.
fix
by Wkbj79
443.
fixed point property
by yark
444.
Florentin Smarandache
by Torquemada
445.
formulae for zeta in the critical strip
by mathcam
446.
Frattini subgroup of a finite group is nilpotent, the
by yark
447.
Frattini subset
by Algeboy
448.
free commutative algebra
by Algeboy
449.
free objects in concrete categories
by joking
450.
free product with amalgamated subgroup
by mathcam
451.
free products and group actions
by rm50
452.
free vector space over a set
by mathcam
453.
freshman's dream
by Algeboy
454.
Fresnel formulas
by pahio
455.
Friedrichs' theorem
by Algeboy
456.
Frobenius' theorem
by jirka
457.
from Hilbert's tenth problem to G\"{o}del's trichotomy
by gribskoff
458.
Fr\'echet derivative is unique
by Mathprof
459.
Fr\'echet space
by rmilson
460.
full families of Hopfian (co-Hopfian) groups
by joking
461.
functional equation for the theta function
by rspuzio
462.
functor category
by CWoo
463.
fundamental groupoid
by CWoo
464.
fundamental groupoid functors
by bci1
465.
fundamental lemma of calculus of variations
by matte
466.
fundamental theorem of algebra result
by rspuzio
467.
fundamental theorem of arithmetic
by CWoo
468.
fundamental theorem of arithmetic, proof of the
by mps
469.
fundamental theorem of coalgebras
by joking
470.
fundamental theorem of demography, proof of
by aplant
471.
fundamental theorem of integral calculus
by pahio
472.
fundamental theorem of transcendence
by KimJ
473.
fundamental theorems in complex analysis
by rspuzio
474.
fuzzy logic
by ggerla
475.
F\"urstenberg's proof of the infinitude of primes
by mathcam
476.
Galois group of a biquadratic extension
by rm50
477.
Galois group of a cubic polynomial
by rm50
478.
Galois subfields of real radical extensions are at most quadratic
by rm50
479.
Galois-theoretic derivation of the cubic formula
by djao
480.
game theory
by Henry
481.
Garfield's proof of Pythagorean theorem
by rm50
482.
Gauss' lemma
by drini
483.
Gauss's lemma I
by bshanks
484.
Gauss's lemma II
by bshanks
485.
Gauss, Carl Friedrich
by mathwizard
486.
Gauss--Lucas theorem
by pahio
487.
Gelfand-Mazur theorem
by asteroid
488.
Gelfand-Naimark-Segal construction
by asteroid
489.
general commutativity
by pahio
490.
generalized Pythagorean theorem
by yogis
491.
generators of inverse ideal
by pahio
492.
geometric constructions by Euclid
by pahio
493.
geometric lattice
by CWoo
494.
Gershgorin's circle theorem
by lieven
495.
global dimension of a subring
by joking
496.
gluing together continuous functions
by yark
497.
Graham's number
by PrimeFan
498.
Gram determinant
by CWoo
499.
graph minor theorem
by AxelBoldt
500.
graph theory
by karteef
501.
Grete Hermann
by Mravinci
502.
group of units
by pahio
503.
group theoretic proof of Wilson's theorem
by ottocolori
504.
groupoid (category theoretic)
by CWoo
505.
growth of exponential function
by pahio
506.
G\"odel's incompleteness theorems
by mathcam
507.
G\"{o}del's beta function
by gribskoff
508.
Haar integral
by rspuzio
509.
hairy ball theorem
by rspuzio
510.
Hall's marriage theorem, proof of
by mps
511.
happy ending problem
by PrimeFan
512.
harmonic mean in trapezoid
by pahio
513.
Hartogs number
by CWoo
514.
Hausdorff metric inherits completeness
by mps
515.
Hausdorff paradox
by GrafZahl
516.
Hausdorff space not completely Hausdorff
by drini
517.
Hausdorff's maximum principle
by CWoo
518.
Helly's theorem
by bbukh
519.
Henri Poincar\'e
by Daume
520.
Heron's principle
by pahio
521.
Heronian mean is between geometric and arithmetic mean
by pahio
522.
Hessian and inflexion points
by rspuzio
523.
high school mathematics
by matte
524.
Hilbert's problems
by Daume
525.
Hilbert's sixteenth problem
by Daume
526.
Hilbert-Weyl theorem
by mathcam
527.
homeomorphisms preserve connected components
by joking
528.
homology of the sphere
by mathcam
529.
homomorphic image of group
by pahio
530.
homotopy with a contractible domain
by joking
531.
horseshoe lemma
by mps
532.
Hypatia
by Mravinci
533.
hypothesis
by PrimeFan
534.
I-AB is invertible if and only if I-BA is invertible
by asteroid
535.
ideal class group is finite
by rm50
536.
ideal completion of a poset
by CWoo
537.
ideal included in union of prime ideals
by polarbear
538.
ideal of elements with finite order
by pahio
539.
ideals contained in a union of ideals
by joking
540.
ideals of a discrete valuation ring are powers of its maximal ideal
by rm50
541.
ideals with maximal radicals are primary
by joking
542.
idempotency of infinite cardinals
by CWoo
543.
identity element is unique
by pahio
544.
If $A \in M_n(R)$ and $A$ is supertriangular then $A^n=0$
by Daume
545.
If $A$ and $B$ commute so do $A$ and $B^{-1}$
by mathcam
546.
if $A$ is infinite and $B$ is a finite subset of $A\,\!,$ then $A\setminus B$ is infinite
by mathcam
547.
If $f\colon X\to Y$ is continuous then $f\colon X\to f(X)$ is continuous
by matte
548.
if the algebra of functions on a manifold is a Poisson ring then the manifold is symplectic
by rspuzio
549.
IF-logic
by mathcam
550.
image ideal of divisor
by pahio
551.
implications of having divisor theory
by pahio
552.
importance of primitive recursion
by CWoo
553.
in a vector space, $\lambda v = 0$ if and only if $\lambda =0$ or $v$ is the zero vector
by aoh45
554.
incircle radius determined by Pythagorean triple
by pahio
555.
independence of $p$-adic valuations
by alozano
556.
index of set theory
by rspuzio
557.
index of the group of cyclotomic units in the full unit group
by alozano
558.
indirect proof of identity theorem of power series
by pahio
559.
induced Alexandroff topology on a poset
by joking
560.
induced partial order on an Alexandroff space
by joking
561.
induction
by Daume
562.
inequality of logarithmic and asymptotic density
by kompik
563.
infimum and supremum for real numbers
by matte
564.
infinite product of differences $1\!-\!a_i$
by pahio
565.
infinite product of sums $1\!+\!a_i$
by pahio
566.
inflection points and canonical forms of non-singular cubic curves
by rspuzio
567.
injective $C^*$-algebra homomorphism is isometric
by asteroid
568.
insertion operation on languages
by CWoo
569.
integer contraharmonic means
by pahio
570.
integral binary quadratic forms
by rm50
571.
integral closures in separable extensions are finitely generated
by rm50
572.
integral of limit function
by pahio
573.
integral over a period interval
by pahio
574.
integrality is transitive
by rm50
575.
integrals of even and odd functions
by pahio
576.
integration by parts
by mathwizard
577.
integration of Laplace transform with respect to parameter
by pahio
578.
integration of rational function of sine and cosine
by pahio
579.
intercept theorem
by pahio
580.
intermediate value theorem
by yark
581.
interpretation of intuitionistic logic by means of functionals
by gribskoff
582.
intersection of sphere and plane
by pahio
583.
intersection structure
by CWoo
584.
intervals are connected
by joking
585.
intuitionistic logic
by gribskoff
586.
invariant forms on representations of compact groups
by bwebste
587.
inverse of a product
by pahio
588.
inverse of composition of functions
by Wkbj79
589.
invertibility of regularly generated ideal
by pahio
590.
invertible elements in a Banach algebra form an open set
by asteroid
591.
invertible ideal is finitely generated
by pahio
592.
irreducible ideal
by CWoo
593.
irreducible of a UFD is prime
by pahio
594.
irreducible representations of the special linear group over $\mathbb{F}_p$
by alozano
595.
Jacobi's theorem
by Koro
596.
Jacobian and chain rule
by pahio
597.
Jordan curve theorem
by rmilson
598.
Jordan triple product
by Algeboy
599.
Kempe chain
by marijke
600.
Kleene star of an automaton
by CWoo
601.
Kleene's theorem
by CWoo
602.
Kronecker's lemma
by gel
603.
Krull valuation domain
by pahio
604.
Krull-Schmidt theorem
by smw
605.
Kummer's lemma
by alozano
606.
Kummer's theorem
by Thomas Heye
607.
Kuratowski's embedding theorem
by puuhikki
608.
Kurt Heegner
by Mravinci
609.
K\"onig's theorem
by yark
610.
labeled graph
by CWoo
611.
Lagrange multipliers on manifolds
by stevecheng
612.
Landsberg-Schaar relation
by mathcam
613.
Laplace transform of convolution
by pahio
614.
Laplace transform of derivative
by pahio
615.
Laplace transform of logarithm
by pahio
616.
Lasker-Noether theorem
by CWoo
617.
lattice ideal
by CWoo
618.
lattice of ideals
by CWoo
619.
lattice of subgroups
by CWoo
620.
lattice of topologies
by CWoo
621.
law of rare events
by CWoo
622.
least and greatest zero
by pahio
623.
lecture notes on determinants
by rmilson
624.
lecture notes on the Cayley-Hamilton theorem
by rmilson
625.
Leibniz' estimate for alternating series
by pahio
626.
lemma on projection of countable sets
by rspuzio
627.
lengths of angle bisectors
by pahio
628.
Levi-Civita permutation symbol
by matte
629.
Levy-Desplanques theorem
by Andrea Ambrosio
630.
Lie algebra cohomology
by rmilson
631.
Lie group
by rmilson
632.
limit for exp(z)
by mathcam
633.
limit laws for uniform convergence
by stevecheng
634.
limit of nondecreasing sequence
by pahio
635.
limit of nth root of n
by pahio
636.
limit of sequence as sum of series
by pahio
637.
limit of sequence of sets
by CWoo
638.
limits of natural logarithm
by pahio
639.
Lindenbaum-Tarski algebra
by CWoo
640.
linear continuum
by azdbacks4234
641.
link between infinite products and sums
by paolini
642.
Liouville's theorem
by djao
643.
Lipschitz condition and differentiability
by Mathprof
644.
list of all imaginary quadratic extensions whose ring of integers is a PID
by rm50
645.
list of fictional mathematicians
by PrimeFan
646.
local dimension of a locally Euclidean space
by joking
647.
local finiteness is closed under extension, proof that
by yark
648.
locale
by CWoo
649.
localization for distributions
by drini
650.
locally testable
by CWoo
651.
logarithmic proof of product rule
by Wkbj79
652.
logarithmic proof of quotient rule
by Wkbj79
653.
logical axiom
by CWoo
654.
logical graph : formal development
by Jon Awbrey
655.
logical graph : introduction
by Jon Awbrey
656.
logicism
by gribskoff
657.
long exact sequence in cohomology
by rm50
658.
loop theorem
by juanman
659.
lower bound for sorting
by stevecheng
660.
L\"ob's theorem
by dankomed
661.
M. H. Stone's representation theorem
by rspuzio
662.
Mangoldt summatory function
by mathcam
663.
Mangoldt summatory function is $O(x)$
by rm50
664.
manipulating convergent series
by pahio
665.
mapping of period $n$ is a bijection
by Koro
666.
Marianna Cs\"ornyei
by Mravinci
667.
Martin's axiom is consistent
by mathcam
668.
mathematical platonism
by gribskoff
669.
matroid
by mps
670.
maximal ideal is prime
by pahio
671.
maximal ideal is prime (general case)
by mclase
672.
maximum flow/minimum cut theorem
by bbukh
673.
Mazur-Ulam theorem
by yark
674.
median of trapezoid
by pahio
675.
meet continuous
by CWoo
676.
meromorphic function on projective space must be rational
by jirka
677.
Mersenne numbers, two small results on
by Cosmin
678.
metalanguage
by yesitis
679.
miracle octad generator
by monster
680.
models constructed from constants
by ratboy
681.
modular function
by asteroid
682.
modular group
by rm50
683.
module-finite extensions are integral
by rm50
684.
modules over decomposable rings
by joking
685.
Moore graphs of $d=2$ are $v$-valent and order is $v^2+1$
by marijke
686.
Mordell-Weil theorem
by alozano
687.
more on division in groups
by CWoo
688.
Morera's theorem
by matte
689.
Moritz Stern
by PrimeFan
690.
motivic cohomology
by PrimeFan
691.
multi-index derivative of a power
by matte
692.
Multidimensional Chebyshev's inequality
by daniWk
693.
multidimensional Gaussian integral
by Mathprof
694.
multinomial distribution
by CWoo
695.
multinomial theorem (proof)
by Koro
696.
multiples of an algebraic number
by pahio
697.
multiplication of series
by pahio
698.
multiplication rule gives inverse ideal
by pahio
699.
multiplicative function
by Wkbj79
700.
multiplicative sets in rings and prime ideals
by joking
701.
Myhill-Nerode theorem for semigroups
by Ziosilvio
702.
M\"obius inversion
by mathcam
703.
Napoleon's theorem
by drini
704.
Nash isometric embedding theorem
by Simone
705.
natural deduction
by Henry
706.
natural equivalence of $C_G$ and $C_M$ categories
by bci1
707.
natural numbers are well-ordered
by pahio
708.
near operators
by mathcam
709.
needle-in-the-haystack
by Algeboy
710.
neighborhood system on a set
by CWoo
711.
Nerode equivalence
by Ziosilvio
712.
nested interval theorem
by pahio
713.
Nevanlinna theory
by Simone
714.
Newton's method works for convex real functions
by stevecheng
715.
Niels Henrik Abel
by pahio
716.
nil is a radical property
by mclase
717.
nilpotency is not a radical property
by mclase
718.
no continuous function switches the rational and the irrational numbers
by yark
719.
no countable dense subset of a complete metric space is a $G_\delta$
by gumau
720.
non-commuting graph
by GrafZahl
721.
non-constant element of rational function field
by pahio
722.
non-existence of universal series convergence criterion
by pahio
723.
non-isomorphic completions of $\mathbb{Q}$
by pahio
724.
non-Newtonian calculus
by smithpith
725.
nonprincipal real characters $\mod p$ are unique
by rm50
726.
norm-Euclidean number field
by pahio
727.
normal of plane
by pahio
728.
normal subgroup lattice is modular
by CWoo
729.
number field that is not norm-Euclidean
by pahio
730.
number of ultrafilters
by yark
731.
number of unrooted labeled trees
by rm50
732.
number theory
by olivierfouquetx
733.
obvious
by rspuzio
734.
one-sided continuity by series
by pahio
735.
open and closed intervals have the same cardinality
by mps
736.
open set in $\mathbb{R}^n$ contains an open rectangle
by matte
737.
operator norm
by asteroid
738.
orbit-stabilizer theorem
by yark
739.
order n constant coefficient differential equations and matrix exponential
by gaillard
740.
order of elements in finite groups
by rm50
741.
order of products
by pahio
742.
order of six means
by pahio
743.
ordered vector space
by CWoo
744.
ordering of self-adjoints
by asteroid
745.
orders and structure of classical groups
by Algeboy
746.
orders of elements in integral domain
by pahio
747.
origins of Wedderburn's theorem
by Algeboy
748.
orthogonal decomposition theorem
by asteroid
749.
P-space
by CWoo
750.
parallel and perpendicular planes
by pahio
751.
parallelism of line and plane
by pahio
752.
partial fraction series for digamma function
by rm50
753.
partial fractions for polynomials
by stevecheng
754.
partial ordering in a topological space
by CWoo
755.
partition is equivalent to an equivalence relation
by CWoo
756.
partitions form a lattice
by CWoo
757.
Pascal's rule (bit string proof)
by vampyr
758.
Pascal's triangle
by Koro
759.
path integral
by slider142
760.
Peetre's inequality
by Koro
761.
Peirce's law
by Jon Awbrey
762.
pencil of lines
by pahio
763.
pentagonal number theorem
by bbukh
764.
periodic continued fractions represent quadratic irrationals
by rm50
765.
periodic functions
by pahio
766.
periodicity of exponential function
by pahio
767.
permutation model
by ratboy
768.
Pierre de Fermat
by PrimeFan
769.
ping-pong lemma
by uriw
770.
place of field
by pahio
771.
places of holomorphic function
by pahio
772.
PlanetMath font sandbox
by PrimeFan
773.
Poincar\'e conjecture
by yark
774.
Poincar\'e-Birkhoff-Witt theorem
by CWoo
775.
point and a compact set in a Hausdorff space have disjoint open neighborhoods.
by drini
776.
point preventing uniform convergence
by pahio
777.
pointwise limit of bounded operators is bounded
by asteroid
778.
polar decomposition in von Neumann algebras
by asteroid
779.
polygonal number
by mathcam
780.
polynomial equation of odd degree
by pahio
781.
polynomial function
by pahio
782.
polynomial function is a proper map
by joking
783.
polynomial hierarchy is a hierarchy
by uzeromay
784.
polynomial ring over a field
by pahio
785.
polynomial ring over integral domain
by pahio
786.
polynomial ring which is PID
by pahio
787.
poset
by mps
788.
positive multiple of a semiperfect number is also semiperfect
by PrimeFan
789.
positive multiple of an abundant number is abundant
by Mathprof
790.
positivity in ordered ring
by pahio
791.
power of point
by PrimeFan
792.
power tower sequence
by pahio
793.
praeclarum theorema
by Jon Awbrey
794.
prime harmonic series
by Cosmin
795.
prime harmonic series diverges - Chebyshev's proof
by rm50
796.
prime ideals by Artin are prime ideals
by pahio
797.
prime number theorem
by bbukh
798.
prime theorem of a convergent sequence, a
by georgiosl
799.
primitive element theorem
by alozano
800.
primorial
by PrimeFan
801.
principle of finite induction
by smw
802.
principle of finite induction proven from the well-ordering principle for natural numbers
by smw
803.
principle of inclusion-exclusion, proof of
by mps
804.
prismatoid
by Mathprof
805.
probabilistic method
by bbukh
806.
probabilistic proof
by Algeboy
807.
product of countable sets
by CWoo
808.
product of divisors function
by pahio
809.
product of finitely generated ideals
by pahio
810.
product of injective modules is injective
by joking
811.
product of posets
by CWoo
812.
product topology preserves the Hausdorff property
by archibal
813.
projection
by rmilson
814.
proof of Banach-Alaoglu theorem
by Mathprof
815.
proof of PTAH inequality
by Mathprof
816.
proof of $d\alpha (X,Y) = X(\alpha(Y))$ $-$ $Y(\alpha(X))$ $ -$ $\alpha([X,Y])$ (global coordinate-free)
by rspuzio
817.
proof of $\Diamond$ is equivalent to $\clubsuit$ and continuum hypothesis
by Henry
818.
proof of $\frac{f(t)-f(s)}{t-s}\leq\frac{f(u)-f(s)}{u-s}\leq\frac{f(u)-f(t)}{u-t}$ for convex $f$
by yesitis
819.
proof of 5-lemma
by bwebste
820.
proof of 9-lemma
by rm50
821.
proof of AAA (hyperbolic)
by Wkbj79
822.
proof of Abel lemma (by expansion)
by perucho
823.
proof of Abel's convergence theorem
by rmilson
824.
proof of Abel's lemma (by induction)
by mathcam
825.
proof of algebraic independence of elementary symmetric polynomials
by lalberti
826.
proof of all positive integers are polite numbers except powers of two
by n847530
827.
proof of alternative characterization of ultrafilter
by rspuzio
828.
proof of arithmetic-geometric means inequality
by mathcam
829.
proof of arithmetic-geometric means inequality using Lagrange multipliers
by stevecheng
830.
proof of arithmetic-geometric-harmonic means inequality
by mathcam
831.
proof of arithmetic-geometric-harmonic means inequality
by drini
832.
proof of Banach-Tarski paradox
by GrafZahl
833.
proof of basis of ideal in algebraic number field
by lalberti
834.
proof of Bayes' Theorem
by ariels
835.
proof of Bennett inequality
by Andrea Ambrosio
836.
proof of Bernoulli's inequality
by danielm
837.
proof of Bernoulli's inequality employing the mean value theorem
by rspuzio
838.
proof of Bernstein inequalities
by Andrea Ambrosio
839.
proof of Birkhoff-von Neumann theorem
by Andrea Ambrosio
840.
proof of Bolzano-Weierstrass Theorem
by akrowne
841.
proof of Borel functional calculus
by asteroid
842.
proof of Borsuk-Ulam theorem
by bwebste
843.
proof of Brouwer fixed point theorem
by bwebste
844.
proof of Cantor's theorem
by Wkbj79
845.
proof of Carath\'eodory's extension theorem
by gel
846.
proof of casus irreducibilis for real fields
by rm50
847.
proof of Catalan's Identity
by PrimeFan
848.
proof of Cauchy integral formula
by rmilson
849.
proof of Cauchy-Davenport theorem
by Wolfgang
850.
proof of Cauchy-Schwarz inequality for real numbers
by stitch
851.
proof of Cayley-Hamilton theorem by formal substitutions
by asteroid
852.
proof of Ceva's theorem
by yark
853.
proof of characterization of perfect fields
by mclase
854.
proof of Chinese remainder theorem
by mclase
855.
proof of chromatic number and girth
by kshum
856.
proof of class equation theorem
by gumau
857.
proof of cofactor expansion
by Thomas Heye
858.
proof of compactness theorem for first order logic
by CWoo
859.
proof of complete partial orders do not add small subsets
by Henry
860.
proof of complex mean-value theorem
by Wolfgang
861.
proof of convergence theorem
by matte
862.
proof of cyclic vector theorem
by CWoo
863.
proof of determinant lower bound of a strict diagonally dominant matrix
by Andrea Ambrosio
864.
proof of division algorithm for integers
by drini
865.
proof of downward Lowenheim-Skolem theorem
by GodelsTheorem
866.
proof of Egorov's theorem
by Koro
867.
proof of embedding theorem for ordered abelian groups of rank one
by rspuzio
868.
proof of equivalence of definitions of valuation
by rspuzio
869.
proof of equivalence of formulas for exp
by stevecheng
870.
proof of Euler's criterion
by Koro
871.
proof of existence and uniqueness of best approximations
by asteroid
872.
proof of existence and uniqueness of singular value decomposition
by fernsanz
873.
proof of extended Liouville's theorem
by rm50
874.
proof of factor theorem due to Fermat
by pahio
875.
proof of Fermat's Theorem (stationary points)
by paolini
876.
proof of finite extensions of Dedekind domains are Dedekind
by gel
877.
proof of finite inseparable extensions of Dedekind domains are Dedekind
by gel
878.
proof of first isomorphism theorem
by uriw
879.
proof of Fubini's theorem for the Lebesgue integral
by azdbacks4234
880.
proof of fundamental theorem of algebra
by scanez
881.
proof of fundamental theorem of algebra (argument principle)
by rspuzio
882.
proof of fundamental theorem of algebra (due to D'Alembert)
by rspuzio
883.
proof of fundamental theorem of algebra (Rouch\'e's theorem)
by Wkbj79
884.
proof of fundamental theorem of finitely generated abelian groups
by puuhikki
885.
proof of Gauss' digamma theorem
by rm50
886.
proof of Gaussian maximizes entropy for given covariance
by Mathprof
887.
proof of Gelfand spectral radius theorem
by Andrea Ambrosio
888.
proof of Gelfand-Naimark representation theorem
by asteroid
889.
proof of general Stokes theorem
by paolini
890.
proof of growth of exponential function
by rspuzio
891.
proof of Hahn-Banach theorem
by paolini
892.
proof of ham sandwich theorem
by Statusx
893.
proof of Hartman-Grobman theorem
by Koro
894.
proof of Hausdorff paradox
by GrafZahl
895.
proof of Heine-Borel theorem
by stevecheng
896.
proof of Heine-Cantor theorem
by drini
897.
proof of Hensel's lemma
by rm50
898.
proof of H\"{o}lder inequality
by paolini
899.
proof of inequalities for difference of powers
by Mathprof
900.
proof of infinite product of sums $1\!+\!a_i$ result without exponentials
by rspuzio
901.
proof of infinitude of primes
by rspuzio
902.
proof of Ingham Inequality
by ncrom
903.
proof of invariance of dimension
by Algeboy
904.
proof of Krein-Milman theorem
by georgiosl
905.
proof of l'H\^opital's rule for $\infty/\infty$ form
by stevecheng
906.
proof of Lagrange's four-square theorem
by CWoo
907.
proof of Lagrange's theorem
by akrowne
908.
proof of Leibniz's theorem (using Dirichlet's convergence test)
by mathcam
909.
proof of limit of nth root of n
by rspuzio
910.
proof of limit rule of product
by pahio
911.
proof of Lindemann-Weierstrass theorem and that e and $\pi$ are transcendental
by rm50
912.
proof of Minkowski inequality
by Andrea Ambrosio
913.
proof of Minkowski's bound
by gel
914.
proof of Minkowski's theorem
by rm50
915.
proof of Morley's theorem
by mathcam
916.
proof of Nakayama's lemma
by nerdy2
917.
proof of necessary and sufficient conditions for a normed vector space to be a Banach space
by willny
918.
proof of Newton-Girard formula for symmetric polynomials
by kshum
919.
proof of Nielsen-Schreier theorem and Schreier index formula
by mathcam
920.
proof of norm and trace of algebraic number
by Wkbj79
921.
proof of Ostrowski's valuation theorem
by rm50
922.
proof of Pappus's theorem
by mathcam
923.
proof of parallelogram law
by Wkbj79
924.
proof of parallelogram law
by Mathprof
925.
proof of Pascal's mystic hexagram
by mathcam
926.
proof of Pascal's rule
by drini
927.
proof of Pick's theorem
by giri
928.
proof of prime ideal decomposition in quadratic extensions of $\mathbb{Q}$
by Wkbj79
929.
proof of product of left and right ideal
by rm50
930.
proof of Prohorov inequality
by Andrea Ambrosio
931.
proof of properties of derivatives by pure algebra
by Algeboy
932.
proof of properties of primitive roots
by rm50
933.
proof of properties of the exponential
by rspuzio
934.
proof of properties of trace of a matrix
by Daume
935.
proof of pseudoparadox in measure theory
by rspuzio
936.
proof of Pythagorean theorem
by drini
937.
proof of Pythagorean theorem
by drini
938.
proof of quadratic reciprocity rule
by mathcam
939.
proof of quotient rule
by drini
940.
proof of quotients in $C^*$-algebras
by asteroid
941.
proof of recurrences for derangement numbers
by rm50
942.
proof of Riemann mapping theorem
by rspuzio
943.
proof of Rodrigues' rotation formula
by stevecheng
944.
proof of Ruffa's formula for continuous functions
by rspuzio
945.
proof of Schauder fixed point theorem
by asteroid
946.
proof of Schroeder-Bernstein theorem using Tarski-Knaster theorem
by kompik
947.
proof of second isomorphism theorem for rings
by smw
948.
proof of simplicity of Mathieu groups
by monster
949.
proof of Simultaneous converging or diverging of product and sum theorem
by Johan
950.
proof of snake lemma using spectral sequences
by rm50
951.
proof of Sobolev inequality for $\Omega=\mathbf{R}^n$
by vanschaf
952.
proof of Stone-Weierstrass theorem
by rspuzio
953.
proof of the converse of Lagrange's theorem for finite cyclic groups
by Wkbj79
954.
proof of the correspondence between even 2-superperfect numbers and Mersenne primes
by PrimeFan
955.
proof of the existence of transcendental numbers
by kidburla2003
956.
proof of the power rule
by mathcam
957.
proof of the ring of integers of a number field is finitely generated over $\mathbb{Z}$
by rm50
958.
proof of the uniformization theorem
by Simone
959.
proof of the well-founded induction principle
by jihemme
960.
proof of theorem about cyclic subspaces
by FunctorSalad
961.
proof of third isomorphism theorem
by Thomas Heye
962.
proof of Thue's Lemma
by mathcam
963.
proof of topologically irreducible representations are algebraically irreducible for $C^*$-algebras
by karstenb
964.
proof of Tychonoff's theorem
by asteroid
965.
proof of Tychonoff's theorem in finite case
by stevecheng
966.
proof of uniqueness of center of a circle
by CWoo
967.
proof of upper and lower bounds to binomial coefficient
by rspuzio
968.
proof of Urysohn's lemma
by scanez
969.
proof of values of the Riemann zeta function in terms of Bernoulli numbers
by rm50
970.
proof of Van Aubel's theorem
by mathcam
971.
proof of Veblen's theorem
by mathcam
972.
proof of Vieta's formula
by neapol1s
973.
proof of Vizing's theorem (for graphs)
by marijke
974.
proof of Waring's formula
by kshum
975.
proof of Wilson's theorem using the Wilson quotient
by PrimeFan
976.
proof of Yoneda lemma
by GodelsTheorem
977.
proof of Zermelo's postulate
by Wkbj79
978.
proof that $\eta (1) =\ln 2$
by rm50
979.
proof that $4^x$ exceeds the product of the primes up to $x$
by PrimeFan
980.
proof that $C_\cup$ and $C_\cap$ are consequence operators
by rspuzio
981.
proof that $G$ is cyclic if and only if $\lvert G \rvert=\exp(G)$
by rm50
982.
proof that $n^2-n+41$ is prime for $0\leq n\leq 40$
by rm50
983.
proof that $\operatorname{exp}~G$ divides $| G |$
by Wkbj79
984.
proof that $\operatorname{Spec}(R)$ is quasi-compact
by Wkbj79
985.
proof that $\tau(n)$ is the number of positive divisors of $n$
by Wkbj79
986.
proof that $|g|$ divides $\operatorname{exp}~G$
by Wkbj79
987.
proof that a finite abelian group has element with $\lvert g\rvert=\exp(G)$
by rm50
988.
proof that a gcd domain is integrally closed
by CWoo
989.
proof that a metric space is compact if and only if it is complete and totally bounded
by rm50
990.
proof that a path connected space is connected
by n3o
991.
proof that a Zeckendorf representation represents a unique positive integer
by PrimeFan
992.
proof that all powers of 3 are perfect totient numbers
by PrimeFan
993.
proof that all subgroups of a cyclic group are cyclic
by Wkbj79
994.
proof that commuting matrices are simultaneously triangularizable
by georgiosl
995.
proof that dimension of complex irreducible representation divides order of group
by whm22
996.
proof that e is not a natural number
by CWoo
997.
proof that Euler's constant exists
by rm50
998.
proof that every filter is contained in an ultrafilter
by rspuzio
999.
proof that forcing notions are equivalent to their composition
by Henry
1000.
proof that group homomorphisms preserve inverse
by odenskrigare
1001.
proof that there are infinitely many primes using the Mersenne primes
by PrimeFan
1002.
Proof: The orbit of any element of a group is a subgroup
by drini
1003.
proper subspaces of a topological vector space have empty interior
by asteroid
1004.
properties for measure
by matte
1005.
properties of a comma category
by CWoo
1006.
properties of a gcd domain
by CWoo
1007.
properties of certain monotone functions
by CWoo
1008.
properties of diagonally dominant matrix
by Andrea Ambrosio
1009.
properties of direct product
by CWoo
1010.
properties of group commutators and commutator subgroups
by GrafZahl
1011.
properties of injective functions
by rspuzio
1012.
properties of non-archimedean valuations
by rm50
1013.
properties of ordinal arithmetic
by CWoo
1014.
properties of ordinals
by CWoo
1015.
properties of orthogonality on morphisms
by CWoo
1016.
properties of pullback
by CWoo
1017.
properties of ranks of sets
by CWoo
1018.
properties of set difference
by CWoo
1019.
properties of symmetric difference
by CWoo
1020.
properties of the Jacobson radical
by yark
1021.
property of uniformly convex Banach Space
by georgiosl
1022.
proposed elementary proof of Fermat's last theorem
by Mathprof
1023.
proximal neighborhood
by CWoo
1024.
Pr\"ufer ring
by pahio
1025.
pseudometric topology
by matte
1026.
Ptolemy's theorem
by drini
1027.
Pythagorean theorem in inner product spaces
by asteroid
1028.
Q is the prime subfield of any field of characteristic 0, proof that
by CWoo
1029.
QED
by mathwizard
1030.
quadratic congruence
by pahio
1031.
quadratic equation in $\mathbb{C}$
by pahio
1032.
quadratic imaginary norm-Euclidean number fields
by pahio
1033.
quadratic space
by CWoo
1034.
quantale
by CWoo
1035.
quasiperiod and half quasiperiod relations for Jacobi $\vartheta$ functions
by rspuzio
1036.
quaternion algebra
by djao
1037.
queue
by Mravinci
1038.
quotient group
by azdbacks4234
1039.
quotient group of a topological group by its identity component is totally disconnected
by joking
1040.
quotient ring modulo prime ideal
by pahio
1041.
quotients of Banach algebras
by asteroid
1042.
quotients of Banach spaces by closed subspaces are Banach spaces under the quotient norm
by asteroid
1043.
Ramanujan prime
by PrimeFan
1044.
Ramsey numbers
by wdsmith
1045.
Ramsey's theorem
by bbukh
1046.
random graph (infinite)
by bbukh
1047.
rank of an elliptic curve
by alozano
1048.
rational and irrational
by pahio
1049.
rational Briggsian logarithms of integers
by pahio
1050.
rational sine and cosine
by pahio
1051.
Rayleigh-Ritz theorem
by gufotta
1052.
real part series and imaginary part series
by pahio
1053.
recursive function is URM-computable
by CWoo
1054.
Red Auxiliary numbers, the first LCM method
by milogardner
1055.
reductio ad absurdum
by gribskoff
1056.
regarding the sets $A_n$ from the traveling hump sequence
by Wkbj79
1057.
regular covering
by Dr_Absentius
1058.
regular decagon inscribed in circle
by pahio
1059.
regular elements of finite ring
by pahio
1060.
regular ideal
by pahio
1061.
regular open algebra
by CWoo
1062.
regular polygon
by Wkbj79
1063.
regular polygon and circles
by pahio
1064.
regular prime
by djao
1065.
regularity theorem for the Laplace equation
by rspuzio
1066.
relation on objects
by CWoo
1067.
relation reduction
by Jon Awbrey
1068.
relationship among different kinds of compactness
by rm50
1069.
removable singularity
by rmilson
1070.
representants of quadratic residues
by pahio
1071.
representations of compact groups are equivalent to unitary representations
by asteroid
1072.
representing primes as $x^2+ny^2$
by rm50
1073.
resolvent function is analytic
by asteroid
1074.
restriction of a continuous mapping is continuous
by matte
1075.
result on quadratic residues
by gilbert_51126
1076.
resultant (alternative treatment)
by Mathprof
1077.
reverse Markov inequality
by kshum
1078.
Rhind Mathematical Papyrus
by milogardner
1079.
Richard Stanley
by PrimeFan
1080.
Riemann $\theta$-function
by PrimeFan
1081.
Riemann $\varpi$ function
by rspuzio
1082.
Riemann surface
by PrimeFan
1083.
Riemann zeta function
by alozano
1084.
Riemann zeta function has no zeros on $\Re s=0,1$
by rm50
1085.
Riemann's theorem on rearrangements
by Gorkem
1086.
Riemann-Lebesgue lemma
by rmilson
1087.
Riesz representation theorem (of linear functionals on function spaces)
by asteroid
1088.
ring of endomorphisms
by mclase
1089.
ring-finite integral extensions are module-finite
by rm50
1090.
rings whose every module is free
by joking
1091.
RMP 35 to 38 plus RMP 66
by milogardner
1092.
RMP 36 and the 2/n table
by milogardner
1093.
rotational invariance of cross product
by matte
1094.
Schanuel's conjecture
by mathcam
1095.
Schooten theorem
by mathcam
1096.
Schreier domain
by CWoo
1097.
Schr\"{o}eder Bernstein Theorem: Proof
by sauravbhaumik
1098.
Schur's Test
by karstenb
1099.
Schwarz (1975) theorem
by mathcam
1100.
Schwarz-Christoffel transformation (circular version)
by stevecheng
1101.
Scott continuous
by CWoo
1102.
Scott-Wiegold conjecture
by whm22
1103.
second derivative as simple limit
by pahio
1104.
second integral mean-value theorem
by pahio
1105.
second proof of Wedderburn's theorem
by Mathprof
1106.
semi-direct factor and quotient group
by yark
1107.
seminorm
by rmilson
1108.
sequent
by Henry
1109.
sequentially continous implies continuous in a first-countable space
by ehremo
1110.
sets that do not have an infimum
by sleske
1111.
Shafarevich's theorem
by alozano
1112.
shuffle of languages
by CWoo
1113.
signature of a permutation
by rspuzio
1114.
Sikorski's extension theorem
by CWoo
1115.
simplicial complex
by djao
1116.
simplicity of the alternating groups
by rmilson
1117.
simplified automaton
by CWoo
1118.
simultaneous block-diagonalization of upper triangular commuting matrices
by lars_h
1119.
simultaneous triangularisation of commuting matrices over any field
by lars_h
1120.
simultaneous upper triangular block-diagonalization of commuting matrices
by lars_h
1121.
sinc is $L^2$
by cvalente
1122.
sinc is not $L^1$
by cvalente
1123.
sines law proof
by drini
1124.
six exponentials theorem
by Kevin OBryant
1125.
skew-Hermitian matrix
by matte
1126.
Skewes' number
by PrimeFan
1127.
SL(n;R) is connected
by Stephaninos
1128.
slower convergent series
by pahio
1129.
slower divergent series
by pahio
1130.
small integers that are or might be the largest of their kind
by Mravinci
1131.
smooth functions with compact support
by matte
1132.
snake lemma, proof of
by mps
1133.
solid set
by CWoo
1134.
sound,, complete
by Henry
1135.
special reducible polynomials over a field with positive characteristic
by joking
1136.
spectral invariance theorem (for $C^*$-algebras)
by asteroid
1137.
spectral mapping theorem
by asteroid
1138.
spectral theorem
by asteroid
1139.
spectrum is a non-empty compact set
by asteroid
1140.
Sperner's lemma
by mathcam
1141.
spheres that are Lie groups
by asteroid
1142.
splitting field of a finite set of polynomials
by polarbear
1143.
squeeze rule
by Daume
1144.
state space is non-empty
by asteroid
1145.
Stirling numbers of the second kind
by rmilson
1146.
stochastic integration by parts
by gel
1147.
Stone space
by CWoo
1148.
Stone-Weierstrass theorem (complex version)
by asteroid
1149.
strong monomorphism
by CWoo
1150.
structure of $(\mathbb{Z}/n\mathbb{Z})^{\times}$ as an abelian group
by rm50
1151.
Sturm's theorem
by rspuzio
1152.
subfield criterion
by pahio
1153.
subgroup
by Daume
1154.
subgroup of topological group is either clopen or has empty interior
by asteroid
1155.
subgroups of finite cyclic group
by pahio
1156.
subgroups with coprime orders
by pahio
1157.
subsemigroup of a cyclic semigroup
by CWoo
1158.
subset construction
by CWoo
1159.
subsets of countable sets are countable
by beke
1160.
subspace topology in a metric space
by matte
1161.
substitution for integration
by pahio
1162.
sufficient condition of identical congruence
by pahio
1163.
sum of $r$th powers of the first $n$ positive integers
by mathcam
1164.
sum of $\frac{\mu(n)}{n}$
by mathcam
1165.
sum of powers of binomial coefficients
by Andrea Ambrosio
1166.
sum-product theorem
by Algeboy
1167.
summation by parts
by rm50
1168.
summed numerator and summed denominator
by pahio
1169.
sums of two squares
by pahio
1170.
supremum over closure
by Wkbj79
1171.
Suranyi's theorem
by mathcam
1172.
surface integration with respect to area
by rspuzio
1173.
surjection and axiom of choice
by CWoo
1174.
Sylow theorems, proof of
by Henry
1175.
Sylvester's sequence
by PrimeFan
1176.
symmetric difference on a finite number of sets
by CWoo
1177.
symmetrizer
by Mathprof
1178.
Szemer\'edi-Trotter theorem
by bbukh
1179.
Tait coloring
by marijke
1180.
Taniyama-Shimura theorem
by djao
1181.
Tarski's result on the undefinability of truth
by mathcam
1182.
Tarski-Knaster theorem
by kompik
1183.
Taylor formula remainder: various expressions
by gufotta
1184.
techniques in mathematical proofs
by CWoo
1185.
temporary index 3 of number theory topics
by PrimeFan
1186.
tensor product of dual spaces is a dual space of tensor product
by joking
1187.
tensor product of subspaces of vector spaces
by joking
1188.
terms from foreign languages used in mathematics (html version)
by Wkbj79
1189.
terms from foreign languages used in mathematics (page images version)
by Wkbj79
1190.
the arithmetic of elliptic curves
by alozano
1191.
The Best Score in the Worst Case of a Memory Game is 2N - 1
by ubershmekel
1192.
the Cartesian product of a finite number of countable sets is countable
by BenB
1193.
the category of T0 Alexandroff spaces is equivalent to the category of posets
by joking
1194.
the characteristic embedding of the Burnside ring
by joking
1195.
the derived subgroup is normal
by juanman
1196.
the difference of two odd squares is always a multiple of 8
by PrimeFan
1197.
the inclusion of classical into intuitionistic logic
by gribskoff
1198.
the inverse image commutes with set operations
by matte
1199.
the limit of a uniformly convergent sequence of continuous functions is continuous
by neapol1s
1200.
the only compact metric spaces that admit a positively expansive homeomorphism are discrete spaces
by Koro
1201.
the set of all real transcendental numbers is uncountable
by gilbert_51126
1202.
the sum of the values of a character of a finite group is $0$
by alozano
1203.
the top 10 most beautiful theorems
by PrimeFan
1204.
the topologist's sine curve has the fixed point property
by Mathprof
1205.
theorem for normal triangular matrices
by Mathprof
1206.
theorem for the direct sum of finite dimensional vector spaces
by matte
1207.
theorem on Collatz sequences starting with Mersenne numbers
by PrimeFan
1208.
theorem on multiples of abundant numbers
by CompositeFan
1209.
theorems on continuation
by pahio
1210.
theory
by CWoo
1211.
theory from orders of classical groups
by Algeboy
1212.
theory of algebraic and transcendental numbers
by alozano
1213.
there are an infinite number of primes $\equiv 1\mod m$
by rm50
1214.
there are an infinite number of primes $\equiv \pm 1\pmod 4$
by rm50
1215.
there is a unique reduced form of discriminant $-4n$ only for $n=1,2,3,4,7$
by rm50
1216.
Thom isomorphism theorem
by antonio
1217.
three theorems on parabolas
by CWoo
1218.
Thurston's geometrization conjecture
by PrimeFan
1219.
top ten coolest numbers
by rspuzio
1220.
topic entry on algebra
by rspuzio
1221.
topic entry on foundations of mathematics
by CWoo
1222.
topic entry on miscellaneous mathematics
by rm50
1223.
topic on the algebraic foundations of quantum algebraic topology
by bci1
1224.
topological group
by yark
1225.
topological vector lattice
by CWoo
1226.
topology induced by uniform structure
by Mathprof
1227.
toy theorem
by matte
1228.
trace forms on algebras
by Algeboy
1229.
traveling hump sequence
by Wkbj79
1230.
triangle inequality of complex numbers
by pahio
1231.
triangle mid-segment theorem
by pahio
1232.
tube lemma
by asteroid
1233.
two-generator property
by pahio
1234.
Tychonoff's theorem
by matte
1235.
Tychonoff's theorem implies AC
by CWoo
1236.
types of morphisms
by kompik
1237.
UFD's are integrally closed
by rm50
1238.
ultrametric triangle inequality
by pahio
1239.
unambiguity of factorial base representation
by rspuzio
1240.
uncertainty theorem
by dh2718
1241.
uncountable
by yark
1242.
uniform convergence on union interval
by pahio
1243.
uniform expansivity
by Koro
1244.
uniform neighborhood
by CWoo
1245.
uniformly continuous on $\mathbb{R}$ is roughly linear
by Mathprof
1246.
union of countable sets
by CWoo
1247.
unique factorization and ideals in ring of integers
by pahio
1248.
unique readability of parenthesized formulas
by CWoo
1249.
unique readability of well-formed formulas
by CWoo
1250.
uniqueness conjecture for Markov numbers
by PrimeFan
1251.
uniqueness of digital representation
by pahio
1252.
uniqueness of division algorithm in Euclidean domain
by pahio
1253.
uniqueness of inverse (for groups)
by waj
1254.
uniqueness of limit of sequence
by pahio
1255.
uniqueness of Moebius function
by mathcam
1256.
United States of America Mathematical Olympiad
by PrimeFan
1257.
unity
by pahio
1258.
unity of subring
by pahio
1259.
unity plus nilpotent is unit
by Wkbj79
1260.
universal assumption
by Wkbj79
1261.
universal mapping property
by MichaelMcCliment
1262.
universal nets in compact spaces are convergent
by asteroid
1263.
valuation determined by valuation domain
by pahio
1264.
valuation domain is local
by pahio
1265.
value group of completion
by pahio
1266.
values of the Legendre symbol
by alozano
1267.
Vandermonde identity
by mps
1268.
Vandiver's conjecture
by mathcam
1269.
variable
by stevecheng
1270.
variant of Cauchy integral formula
by pahio
1271.
vector identities
by mark_t314159
1272.
virtually abelian subgroup theorem
by juanman
1273.
Vizing's theorem
by marijke
1274.
volume of spherical cap and spherical sector
by pahio
1275.
von Neumann algebras contain the range projections of its elements
by asteroid
1276.
Wall-Sun-Sun prime
by PrimeFan
1277.
way below
by CWoo
1278.
weak approximation theorem
by rm50
1279.
Weierstrass double series theorem
by pahio
1280.
Weierstrass M-test for continuous functions
by CWoo
1281.
Weierstrass product inequality
by Daume
1282.
Weizenbock's inequality
by mathcam
1283.
well-founded induction
by ratboy
1284.
well-founded recursion
by CWoo
1285.
well-founded relation
by ratboy
1286.
Weyl's criterion
by bbukh
1287.
when all singularities are poles
by pahio
1288.
Why Study Egyptian Fraction Mathematics
by milogardner
1289.
Wieferich prime
by mathcam
1290.
Wiener algebra
by asteroid
1291.
Wikipedia
by PrimeFan
1292.
William Timothy Gowers
by PrimeFan
1293.
Wilson's primeth recurrence
by PrimeFan
1294.
Wilson's theorem for prime powers
by Thomas Heye
1295.
WLOG
by akrowne
1296.
world records in mathematics
by PrimeFan
1297.
Young's theorem
by Ziosilvio
1298.
zero times an element is zero in a ring
by alozano
1299.
zero vector in a vector space is unique
by matte
1300.
Zeta function of a group
by avf
1301.
Zolotarev's lemma
by mathcam
1302.
Zorn's lemma and bases for vector spaces
by CWoo
1303.
\'Emile Lemoine
by PrimeFan
|
|
|
|
