PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (236)
Orphanage
Unclass'd (1)
Unproven (540)
Corrections (49)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
References to 'superset'
1. $m$-system by CWoo
2. $\clubsuit$ by Henry
3. $\mathit{SL}(2,\mathbb{F}_p)$ has no $1$ dimensional irreducible representations over $\mathbb{F}_p$ by alozano
4. ${k}$-connected graph by marijke
5. a space $\mathnormal{X}$ is Hausdorff if and only if $\Delta(X)$ is closed by mathcam
6. a space is T1 if and only if every singleton is closed by waj
7. a space is T1 if and only if every subset A is the intersection of all open sets containing A by waj
8. abstract family of languages by CWoo
9. acyclic graph by Logan
10. adherent point by mathcam
11. adjacency matrix by CWoo
12. adjoining an identity to a semigroup by mclase
13. Ahmes' bird-feeding rate method by milogardner
14. algebraic closure of a finite field by Algeboy
15. algebraic integer by KimJ
16. all bases for a vector space have the same cardinality by CWoo
17. all solution of the Lorenz equation enter an ellipsoid by Daume
18. alternate statement of Bolzano-Weierstrass theorem by mathcam
19. ambiguous grammar by CWoo
20. an outline of Hilbert's programme by gribskoff
21. An over view of Ahmes Papyrus by milogardner
22. analytic continuation by rspuzio
23. analytic continuation by power series by rspuzio
24. analytic polyhedron by jirka
25. analytics and formal logics in meta-mathematics by bci1
26. angle between line and plane by pahio
27. applications of Urysohn's Lemma to locally compact Hausdorff spaces by azdbacks4234
28. area by Wkbj79
29. area bounded by arc and two lines by pahio
30. arithmetical hierarchy is a proper hierarchy by Henry
31. associated prime by rspuzio
32. asymptotic basis by bbukh
33. atom (measure theory) by asteroid
34. B-spline by CWoo
35. Behrend's construction by bbukh
36. Benjamin Franklin by PrimeFan
37. beyond formalism: G\"{o}del's incompleteness by gribskoff
38. biangle by Wkbj79
39. blackboard bold by PrimeFan
40. Bloch's theorem by Koro
41. Book of Numbers by PrimeFan
42. Boolean prime ideal theorem by CWoo
43. Borel subgroup by CWoo
44. Burali-Forti paradox by Henry
45. calculating the splitting of primes by mathcam
46. canonical localizing system by bci1
47. Cantor set by yark
48. Carath\'eodory's theorem by bbukh
49. Carnot circles by vmoraru
50. Cartan's umbrella by jirka
51. category of paths on a graph by rspuzio
52. central binomial coefficient by rspuzio
53. centralizer by yark
54. characterization of abelian extensions of exponent n by rm50
55. characterization of almost convex functions by rspuzio
56. characterization of finite nilpotent groups by yark
57. characterization of maximal ideals of the algebra of continuous functions on a compact set by rspuzio
58. characterization of ordered groups of rank one by rspuzio
59. characterization of prime ideals by GrafZahl
60. chi-squared statistic by CWoo
61. Chomsky hierarchy by CWoo
62. circle has one center by Wkbj79
63. circumferential angle is half the corresponding central angle by rm50
64. class equation by yark
65. class number formula by alozano
66. closed complex plane by pahio
67. closed sublattice by porton
68. closed subsets of a compact set are compact by Wkbj79
69. closure and interior of Cantor set by rspuzio
70. closure of a vector subspace is a vector subspace by loner
71. club filter by Henry
72. colorings of plane graphs by marijke
73. combining URMs by CWoo
74. commutant is a weak operator closed subalgebra by asteroid
75. commutativity theorems on rings by CWoo
76. compact quantum groupoids related to C*-algebras by bci1
77. compactly supported continuous functions are dense in $L^p$ by asteroid
78. comparison between Lebesgue and Riemann Integration by Mathprof
79. completely simple semigroup by mathcam
80. completion of a measure space by Koro
81. complex multiplication by alozano
82. composite field by djao
83. composition of forcing notions by Henry
84. concepts in set theory by matte
85. condensation point by sauravbhaumik
86. conditions for a collection of subsets to be a basis for some topology by waj
87. cone in $\mathbb{R}^3$ by pahio
88. conjugacy classes in the symmetric group $S_n$ by rm50
89. conjugacy in $A_n$ by rm50
90. conjugate fields by pahio
91. connected im kleinen by Mathprof
92. connection by rspuzio
93. consequence operator by rspuzio
94. consequence operator determined by a class of subsets by rspuzio
95. construction of Riemann surface using paths by rspuzio
96. context-sensitive language by CWoo
97. continuation of exponent by pahio
98. continuous by djao
99. continuous functional calculus by asteroid
100. convex subgroup by CWoo
101. core of a subgroup by yark
102. corollaries of basic theorem on ordered groups by rspuzio
103. corollary of Cauchy integral theorem by pahio
104. creating an infinite model by CWoo
105. criterion for cyclic rings to be principal ideal rings by Wkbj79
106. CW complex by antonio
107. cyclic code by GrafZahl
108. cyclic subspace by CWoo
109. D'Angelo finite type by jirka
110. De Bruijn--Erd\H{o}s theorem by marijke
111. decomposition of orthogonal operators as rotations and reflections by stevecheng
112. Dedekind-Hasse valuation by Henry
113. defect theorem by Ziosilvio
114. derivation of Euler-Lagrange differential equation (advanced) by rspuzio
115. derivation of properties on interior operation by CWoo
116. derivation of the generating series for the Stirling numbers of the second kind by cgibbard
117. derivative of Riemann integral by PrimeFan
118. determinant condition for a sequence of vectors by GeraW
119. deterministic pushdown automaton by CWoo
120. Diederich-Fornaess theorem by jirka
121. differentiation under the integral sign by stevecheng
122. digitaddition generator by PrimeFan
123. dihedral group properties by Algeboy
124. dimension by bbukh
125. direct integral of Hilbert spaces by rspuzio
126. division by zero by Algeboy
127. DNA inequality by PrimeFan
128. Donaldson Freedman exotic R4 by whm22
129. door space by CWoo
130. Dulac's criteria by Daume
131. Dynkin diagram by bwebste
132. Dynkin system by mathwizard
133. Dynkin's lemma by gel
134. economic context of Egyptian fractions by milogardner
135. Egyptian fraction by milogardner
136. Egyptian multiplication and division by milogardner
137. Egyptian weights and measures, hekat divisions by milogardner
138. eigenvalues of stochastic matrix by Andrea Ambrosio
139. empty set by djao
140. Engel's theorem by rmilson
141. equality by pahio
142. equivalence between the minor and topological minor of $K_5$ or $K_{3,3}$ by jwaixs
143. equivalence between the minor and topological minor of $K_5$ or $K_{3,3}$ by jwaixs
144. equivalence of Hausdorff's maximum principle, Zorn's lemma and the well-ordering theorem by mathcam
145. equivalent condition for being a fundamental system of entourages by mps
146. equivalent defining conditions on a Noetherian ring by CWoo
147. equivalent regular expressions by CWoo
148. essential singularity by pbruin
149. ETAS interpretation by bci1
150. Euclid's algorithm by rmilson
151. Euler product formula by pahio
152. Euler's polyhedron theorem, proof of by mps
153. every normed space with Schauder basis is separable by asteroid
154. example of a non-fully invariant subgroup by Algeboy
155. example of a space that is not semilocally simply connected by mathcam
156. example of computing limits using Taylor expansion by stevecheng
157. example of Dirac sequence by Johan
158. example of functor of points of a scheme by archibal
159. example of injective module by Glotzfrosch
160. example of non-complete lattice homomorphism by Algeboy
161. examples of groups by AxelBoldt
162. existence of maximal semilattice decomposition by mclase
163. existence of power series by rmilson
164. extensions without unramified subextensions and class number divisibility by alozano
165. exterior algebra by rmilson
166. face of a convex set by CWoo
167. face of a convex set, alternative definition of by mps
168. factorial base by CompositeFan
169. FC-group by yark
170. fence by CWoo
171. fibre map by whm22
172. filter basis by rspuzio
173. filtered probability space by gel
174. finite field by yark
175. finite fields of sets by rspuzio
176. finite nilpotent groups by Algeboy
177. finite projective planes have $q^2+q+1$ points and $q^2+q+1$ lines by marijke
178. first order language by CWoo
179. forcing by ratboy
180. forty-two by CompositeFan
181. fractional ideal of commutative ring by pahio
182. free associative algebra by Algeboy
183. free hull by Ziosilvio
184. Freiman's theorem by bbukh
185. Frobenius morphism by alozano
186. from Hilbert's tenth problem to G\"{o}del's trichotomy by gribskoff
187. Fr\'echet space by rmilson
188. FS iterated forcing preserves chain condition by Henry
189. full reptend prime by PrimeFan
190. fully indecomposable matrix by Mathprof
191. function of not bounded variation by pahio
192. functional calculus for Hermitian matrices by mathcam
193. functional completeness by CWoo
194. fundamental character of level $n$ for the inertia group at $p$ by alozano
195. fundamental homomorphism theorem by yark
196. fundamental system of entourages by mps
197. fundamental theorem of calculus for Riemann integration by asteroid
198. fundamental theorem of Galois theory by yark
199. Galois group of a biquadratic extension by rm50
200. Galois group of a quartic polynomial by rm50
201. Galois representation by alozano
202. Galois subfields of real radical extensions are at most quadratic by rm50
203. Galois-theoretic derivation of the cubic formula by djao
204. Gauss' mean value theorem for harmonic functions by PrimeFan
205. Gauss--Lucas theorem by pahio
206. Gelfand transform by asteroid
207. generalized intermediate value theorem by azdbacks4234
208. generalized quaternion group by Algeboy
209. generatrices of hyperbolic paraboloid by pahio
210. germ of smooth functions by rspuzio
211. Gershgorin's circle theorem result by saki
212. global dimension of a subring by joking
213. Greibach normal form by CWoo
214. group socle by Algeboy
215. groups in field by pahio
216. G\"odel's incompleteness theorems by mathcam
217. handshake lemma by Ziosilvio
218. Hartogs functions by jirka
219. Hartogs triangle by jirka
220. hashing by akrowne
221. heap removal algorithm by mps
222. Hesse configuration by debosberg
223. Hilbert Theorem 90 by djao
224. Hogatt's theorem by mathcam
225. hollow matrix rings by Algeboy
226. homomorphism between algebraic systems by CWoo
227. homotopy with a contractible domain by joking
228. Hultsch-Bruins method by milogardner
229. hypergraph by CWoo
230. hyperk\"ahler manifold by tiphareth
231. I-semigroup by Mazzu
232. ideal generated by a subset of a ring by mathcam
233. ideal inverting in Pr\"ufer ring by pahio
234. ideals contained in a union of radical ideals by joking
235. ideals in matrix algebras by mathcam
236. incidence structure by CWoo
237. induced partial order on an Alexandroff space by joking
238. infinite Galois theory by djao
239. inhabited set by mathwizard
240. injective map between real numbers is a homeomorphism by joking
241. integral by djao
242. integral manifold by jirka
243. integral over plane region by pahio
244. integrity characterized by places by pahio
245. interior by yark
246. internal point by jirka
247. intersection by CWoo
248. intervals are connected by joking
249. invertible ideal is finitely generated by pahio
250. irreducible by mathcam
251. isomorphism-closed subcategory by kompik
252. isotope of a groupoid by CWoo
253. jet bundle by rspuzio
254. Keith number by PrimeFan
255. Kleene star by CWoo
256. Klein 4-group by Algeboy
257. Krein-Milman theorem by jirka
258. Kronecker-Weber theorem by alozano
259. Kuratowski's lemma by Koro
260. K\"onig's lemma by mps
261. lattice filter by CWoo
262. lattice ideal by CWoo
263. lattice interval by CWoo
264. lattice of ideals by CWoo
265. Lebesgue number lemma by djao
266. lemma on projection of countable sets by rspuzio
267. Levi pseudoconvex by jirka
268. limiting triangle by Wkbj79
269. linear space and near-linear space by kshum
270. LL(k) by CWoo
271. local base by yark
272. local dimension of a locally Euclidean space by joking
273. local finiteness is closed under extension, proof that by yark
274. locally compact by djao
275. locally simply connected by Dr_Absentius
276. loop by drini
277. Lyapunov function by CWoo
278. LYM inequality by bbukh
279. Mantel's theorem by digitalis
280. Maschke's theorem by bwebste
281. MatheRealism by WM
282. Mathieu groups by monster
283. matrix monotone by mathcam
284. matroid by mps
285. maximal ideal is prime (general case) by mclase
286. maximality principle by akrowne
287. metric spaces are Hausdorff by waj
288. minimal condition by mclase
289. minimal prime ideal by antizeus
290. minimax inequality by bchui
291. Minkowski space by cvalente
292. mixed group by CWoo
293. mode by CWoo
294. modular group by rm50
295. monotonicity of the sequence $(1 + x/n)^n$ by rspuzio
296. motivation for Euclidean domains by Wkbj79
297. multiplicative encoding by PrimeFan
298. multiplicatively closed by CWoo
299. Nakayama's lemma by n3o
300. neutral geometry by CWoo
301. neutrosophic probability by para0doxa
302. Nevanlinna theory by Simone
303. nil is a radical property by mclase
304. nilpotency is not a radical property by mclase
305. non-isomorphic groups of given order by pahio
306. non-Newtonian calculus by smithpith
307. non-standard analysis by PrimeFan
308. nonempty perfect subset of $\mathbb{R}$ that contains no rational number, a by Gorkem
309. nonmodular sublattice by ixionid
310. normal bundle by bwebste
311. normal closure by yark
312. normal family by jirka
313. normal form game by Henry
314. normality of subgroups of prime index by azdbacks4234
315. normalizer condition by yark
316. normed algebra by CWoo
317. number by pahio
318. ODE types solvable by two quadratures by pahio
319. On-Line Encyclopedia of Integer Sequences by CompositeFan
320. open and closed intervals have the same cardinality by mps
321. open question by rspuzio
322. open set in $\mathbb{R}^n$ contains an open rectangle by matte
323. order of an elliptic function by rspuzio
324. orders in a number field by pahio
325. ordinal space by CWoo
326. organismic supercategories and super-complex systems biodynamics by bci1
327. origins of Wedderburn's theorem by Algeboy
328. orthogonal Latin squares by CWoo
329. orthogonality of Chebyshev polynomials by pahio
330. orthogonality relations by mhale
331. outer multiplication by rmilson
332. parabolic subgroup by bwebste
333. parallelism of line and plane by pahio
334. partially ordered category by CWoo
335. partition lattice by mps
336. partition of unity by mhale
337. Peirce decomposition by mclase
338. periodic functions by pahio
339. Picard's theorem by Koro
340. pivoting by akrowne
341. Plancherel's theorem by stevecheng
342. Poincar\'e-Birkhoff-Witt theorem by CWoo
343. point countable base by mathcam
344. polygon by Wkbj79
345. polygon by Mathprof
346. polyhedron by Mathprof
347. poset by mps
348. positive cone by CWoo
349. positivity in ordered ring by pahio
350. Post system by CWoo
351. preadditive category by CWoo
352. predicativism by gribskoff
353. predictable stopping time by gel
354. Prime Pages by PrimeFan
355. prime spectrum by CWoo
356. primefree sequence by CompositeFan
357. primitive element theorem by alozano
358. principle of inclusion-exclusion by Mathprof
359. product of ideals by mathcam
360. projections as noncommutative characteristic functions by asteroid
361. projective dimension by CWoo
362. projective geometry by Algeboy
363. projective line configurations by rspuzio
364. projective plane by yark
365. proof of $\Diamond$ is equivalent to $\clubsuit$ and continuum hypothesis by Henry
366. proof of AAA (hyperbolic) by Wkbj79
367. proof of Artin-Rees theorem by mat_cross
368. proof of Birkhoff-von Neumann theorem by Andrea Ambrosio
369. proof of Brouwer fixed point theorem by uriw
370. proof of Cauchy integral formula by rmilson
371. proof of Cauchy residue theorem by paolini
372. proof of characterizations of the Jacobson radical by rspuzio
373. proof of Chinese remainder theorem by mclase
374. proof of complete partial orders do not add small subsets by Henry
375. proof of composition limit law for uniform convergence by stevecheng
376. proof of Dehn's theorem by paolini
377. proof of every filter is contained in an ultrafilter (alternate proof) by brunoloff
378. proof of finite extensions of Dedekind domains are Dedekind by gel
379. proof of fourth isomorphism theorem by aoh45
380. proof of functional monotone class theorem by gel
381. proof of fundamental theorem of finitely generated abelian groups by puuhikki
382. proof of fundamental theorem of Galois theory by pbruin
383. proof of general Stokes theorem by paolini
384. proof of Hahn-Banach theorem by paolini
385. proof of ham sandwich theorem by Statusx
386. proof of Hartman-Grobman theorem by Koro
387. proof of Heine-Borel theorem by stevecheng
388. proof of identity theorem of holomorphic functions by rspuzio
389. proof of Lebesgue number lemma by scanez
390. proof of Morera's theorem by Ziosilvio
391. proof of open mapping theorem by Statusx
392. proof of partial order with chain condition does not collapse cardinals by Henry
393. proof of Polish spaces up to Borel isomorphism by gel
394. proof of primitive element theorem by alozano
395. proof of Ramsey's theorem by mathcam
396. proof of Rouch\'e's theorem by rspuzio
397. proof of Scott-Wiegold conjecture by whm22
398. proof of simplicity of Mathieu groups by monster
399. proof of spaces homeomorphic to Baire space by gel
400. proof of the weak Nullstellensatz by pbruin
401. proof of theorem about cyclic subspaces by FunctorSalad
402. proof of Urysohn's lemma by scanez
403. proof of Veblen's theorem by mathcam
404. proof of von Neumann double commutant theorem by asteroid
405. proof of when is a point inside a triangle by joen235
406. proof of Zermelo's well-ordering theorem by Henry
407. proof that a compact set in a Hausdorff space is closed by yark
408. proof that a domain is Dedekind if its ideals are invertible by gel
409. proof that a domain is Dedekind if its ideals are products of maximals by gel
410. proof that a domain is Dedekind if its ideals are products of primes by gel
411. proof that a finite collection of sets will not suffice by rspuzio
412. proof that a metric space is compact if and only if it is complete and totally bounded by rm50
413. proof that a Noetherian domain is Dedekind if it is locally a PID by gel
414. proof that components of open sets in a locally connected space are open by Mathprof
415. proof that every filter is contained in an ultrafilter by rspuzio
416. proof that forcing notions are equivalent to their composition by Henry
417. proof that the outer (Lebesgue) measure of an interval is its length by Simone
418. proper subspaces of a topological vector space have empty interior by asteroid
419. properties of bases by CWoo
420. properties of functions by yark
421. properties of group commutators and commutator subgroups by GrafZahl
422. properties of linear independence by CWoo
423. properties of nil and nilpotent ideals by mclase
424. properties of non-archimedean valuations by rm50
425. properties of spanning sets by CWoo
426. proximity space by CWoo
427. Pythagorean field by CWoo
428. quantum groups by bci1
429. quartic polynomial with Galois group $D_8$ by rm50
430. quaternion group by mathcam
431. quotient category by CWoo
432. quotient group by azdbacks4234
433. quotient group of a topological group by its identity component is totally disconnected by joking
434. rational numbers are real numbers by matte
435. red-black tree by PrimeFan
436. reduced ring by CWoo
437. regression model by CWoo
438. regular covering by Dr_Absentius
439. regular element of a Lie algebra by benjaminfjones
440. regular expression by CWoo
441. regular language by mps
442. regular space by drini
443. removable singularity by rmilson
444. residual by mps
445. resolvent function is analytic by asteroid
446. Rhind Mathematical Papyrus by milogardner
447. ring hierarchy by Algeboy
448. ring of $S$-integers by alozano
449. rings of rational numbers by pahio
450. rings whose every module is free by joking
451. RMP 35 to 38 plus RMP 66 by milogardner
452. Russell's paradox by CWoo
453. Russell's theory of types by Aatu
454. Sard's theorem by mathcam
455. saturated (set) by drini
456. scattered space by CWoo
457. Schreier's lemma by Algeboy
458. Seifert fiber space by juanman
459. separable closure by djao
460. separation axioms by Koro
461. sequentially continous implies continuous in a first-countable space by ehremo
462. set by Mathprof
463. sets that do not have an infimum by sleske
464. Shannon's entropy by kshum
465. sheaf of meromorphic functions by archibal
466. Sidon set by bbukh
467. Sierpinski space by CWoo
468. Sikorski's extension theorem by CWoo
469. simple module by bwebste
470. simplicial complex by djao
471. simplicity of the alternating groups by rmilson
472. simplified automaton by CWoo
473. simultaneous block-diagonalization of upper triangular commuting matrices by lars_h
474. singular set by mathcam
475. smooth functions with compact support by matte
476. solid angle by pahio
477. some theorems on the axioms of order by Mathprof
478. spanning tree by mathcam
479. spectrum is a non-empty compact set by asteroid
480. spinor by PrimeFan
481. star-shaped region by matte
482. Steiner system by mathcam
483. structure by CWoo
484. subanalytic set by jirka
485. subformula by CWoo
486. subgroup of topological group is either clopen or has empty interior by asteroid
487. subgroups with coprime orders by pahio
488. subnormal series by mclase
489. subset construction by CWoo
490. sum of ideals by pahio
491. supercategory by bci1
492. Sylow theorems by yark
493. Sylvester's theorem by bbukh
494. symmetric difference on a finite number of sets by CWoo
495. Szemer\'edi's theorem by bbukh
496. T1 space by drini
497. table of division up to 12 by PrimeFan
498. table of multiplication up to 12 by PrimeFan
499. table of primes in arithmetic progressions per Dirichlet's theorem by PrimeFan
500. table of subtraction up to 12 by PrimeFan
501. tangent plane (elementary) by rspuzio
502. tangle by apollonius
503. Teichm\"uller character by alozano
504. tensor transformations by rmilson
505. terms from foreign languages used in mathematics (page images version) by Wkbj79
506. Textbook projects on PlanetMath by PrimeFan
507. the arithmetic of elliptic curves by alozano
508. the topologist's sine curve has the fixed point property by Mathprof
509. theorems of Euclid by rspuzio
510. theory for separation of variables by pahio
511. theory from orders of classical groups by Algeboy
512. theory of algebraic and transcendental numbers by alozano
513. Thomassen's theorem on $3$-connected graphs by Mathprof
514. Thurston's geometrization conjecture by PrimeFan
515. topological conjugation by Koro
516. topology of the complex plane by matte
517. totally bounded by Mathprof
518. totally real and imaginary fields by alozano
519. tournament by yark
520. traditional names for roles in cryptography by lieven
521. triangle by Wkbj79
522. truncated cone by pahio
523. tube lemma by asteroid
524. types of limit points by mathcam
525. uniform dimension by mclase
526. uniform neighborhood by CWoo
527. uniform space by mps
528. uniform structure of a metric space by n3o
529. uniform structure of a topological group by mps
530. uniqueness of measures extended from a $\pi$-system by gel
531. units of quadratic fields by pahio
532. universal mapping property by MichaelMcCliment
533. Urysohn extension theorem by CWoo
534. vacuous by matte
535. valuation domain is local by pahio
536. value of the Riemann zeta function at $s=0$ by Wkbj79
537. variable topology by bci1
538. variant of Cauchy integral formula by pahio
539. vector identities by mark_t314159
540. vector space over an infinite field is not a finite union of proper subspaces by loner
541. Viswanath's constant by PrimeFan
542. volume by Wkbj79
543. volume of solid of revolution by pahio
544. volume of the $n$-sphere by CWoo
545. von Neumann double commutant theorem by asteroid
546. weakest extension of a partial ordering by jocaps
547. weakly holomorphic by jirka
548. well ordered set by drini
549. well-founded relation by ratboy
550. wheel graph by vampyr
551. Why Study Egyptian Fraction Mathematics by milogardner
552. winding number by CWoo
553. word by juanman
554. zero module by antizeus
555. zero ring by Wkbj79
556. zero vector space by drini
557. Zorn's lemma and bases for vector spaces by CWoo
558. \v{C}unihin's theorem by mathcam