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 'inclusion mapping'
1. $h$-cobordism by bwebste
2. a characterization of the radical of an ideal by CWoo
3. abelian group is divisible if and only if it is an injective object by joking
4. abelian groups form an abelian category, proof that by mps
5. accumulation points and convergent subnets by azdbacks4234
6. adjunction space by antonio
7. affine geometry by CWoo
8. anti-cone by stevecheng
9. applications of Urysohn's Lemma to locally compact Hausdorff spaces by azdbacks4234
10. approximation theorem for an arbitrary space by bci1
11. ascending chain condition by antizeus
12. axiom of dependent choices by CWoo
13. barycentric subdivision by CWoo
14. Birkhoff prime ideal theorem by CWoo
15. boundary of an open set is nowhere dense by CWoo
16. Brauer's ovals theorem by Andrea Ambrosio
17. characterization of $T2$ spaces by matte
18. characterization of full families of groups by joking
19. characterization of maximal ideals of the algebra of continuous functions on a compact set by rspuzio
20. characterization of subspace topology by mps
21. Chomsky hierarchy by CWoo
22. classification of topological properties according to behaviour under mapping by rspuzio
23. coalgebra homomorphism by joking
24. coarser by rspuzio
25. cofibration by RevBobo
26. compact element by CWoo
27. compact quantum groupoids related to C*-algebras by bci1
28. compactification by Evandar
29. compactness and accumulation points of nets by azdbacks4234
30. compactness is preserved under a continuous map by yark
31. comparison between Lebesgue and Riemann Integration by Mathprof
32. complexification by mathcam
33. cone by antonio
34. connected graph by rspuzio
35. connectedness is preserved under a continuous map by drini
36. consequence operator by rspuzio
37. continuous epimorphism of compact groups preserves Haar measure by asteroid
38. continuous poset by CWoo
39. counterexamples for products and coproduct by Algeboy
40. criterion for a module to be noetherian by mps
41. criterion for cyclic rings to be principal ideal rings by Wkbj79
42. Dedekind cuts by rmilson
43. deformation retract is transitive by mps
44. derivation of properties of regular open set by CWoo
45. descending chain condition by antizeus
46. differentiable function by Koro
47. elementary embedding by CWoo
48. equivalence of Kuratowski's lemma and Zorn's lemma by CWoo
49. equivalence of Zorn's lemma and the axiom of choice by Henry
50. every Hilbert space has an orthonormal basis by asteroid
51. every prime ideal is radical by alozano
52. every vector space has a basis by GrafZahl
53. example of a space that is not semilocally simply connected by mathcam
54. example of an Artinian module which is not Noetherian by joking
55. example of cylindric algebra by CWoo
56. examples of digital roots in a few selected bases by PrimeFan
57. examples of radicals of ideals in commutative rings by joking
58. existence of maximal ideals by yark
59. extension of a poset by CWoo
60. field homomorphism by alozano
61. filtration by CWoo
62. free associative algebra by Algeboy
63. free Boolean algebra by CWoo
64. free product with amalgamated subgroup by mathcam
65. free semigroup by yark
66. free semigroup with involution by Mazzu
67. fundamental character of level $n$ for the inertia group at $p$ by alozano
68. Galois connection by CWoo
69. generalized Boolean algebra by CWoo
70. generalized Van Kampen theorems (HD-VKT), higher dimensional by bci1
71. generators of inverse ideal by pahio
72. Gram matrix by lalberti
73. group $C^*$-algebra by mhale
74. groupoid and group representations related to quantum symmetries by bci1
75. Hausdorff's maximum principle by CWoo
76. homomorphisms from fields are either injective or trivial by mathcam
77. homotopy category by bci1
78. homotopy extension property by RevBobo
79. ideal completion of a poset by CWoo
80. incidence geometry by CWoo
81. ind-variety by benjaminfjones
82. index of set theory by rspuzio
83. inertial degree by djao
84. infinite Galois theory by djao
85. injective $C^*$-algebra homomorphism is isometric by asteroid
86. intersection semilattice of a subspace arrangement by CWoo
87. invariant differential form by asteroid
88. inverse image of a morphism by CWoo
89. invertible ideal is finitely generated by pahio
90. irredundant by CWoo
91. Jacobson radical of a module category and its power by joking
92. Lasker-Noether theorem by CWoo
93. lattice of fields by CWoo
94. lattice of ideals by CWoo
95. lattice of projections by asteroid
96. lattice of topologies by CWoo
97. limit of sequence of sets by CWoo
98. limit superior by rmilson
99. linear space and near-linear space by kshum
100. Lipschitz inverse mapping theorem by Koro
101. LL(k) by CWoo
102. locally testable by CWoo
103. logicism by gribskoff
104. long exact sequence (locally trivial bundle) by bwebste
105. long exact sequence (of homology groups) by mathcam
106. Lusternik-Schnirelmann category by juanman
107. Martin's axiom and the continuum hypothesis by Henry
108. matrix inverse by akrowne
109. matroid by mps
110. Mayer-Vietoris sequence by bwebste
111. metalinear language by CWoo
112. modular law by yark
113. multinomial theorem (proof) by Koro
114. multiplicative sets in rings and prime ideals by joking
115. multiplicatively closed by CWoo
116. M\"obius inversion by mathcam
117. nerve by mhale
118. non-commutative dynamic modeling diagrams by bci1
119. normal category by CWoo
120. normal subgroup lattice is modular by CWoo
121. open and closed intervals have the same cardinality by mps
122. orbifold by guffin
123. ordered geometry by CWoo
124. orientation by PrimeFan
125. overdispersion by CWoo
126. pairwise comaximal ideals property by polarbear
127. Poincar\'e lemma by matte
128. point-free geometry by ggerla
129. polynomial functional calculus by asteroid
130. poset by mps
131. presheaf by nerdy2
132. prime ideal factorization is unique by gel
133. prime spectrum by CWoo
134. primitive element of biquadratic field by Wkbj79
135. proof of Banach-Tarski paradox by GrafZahl
136. proof of Brouwer fixed point theorem by bwebste
137. proof of Chinese remainder theorem by mclase
138. proof of every filter is contained in an ultrafilter (alternate proof) by brunoloff
139. proof of general Stokes theorem by paolini
140. proof of Poincar\'e lemma by pbruin
141. proof of properties of Hopfian and co-Hopfian groups by joking
142. proof of theorem about cyclic subspaces by FunctorSalad
143. proof of Tukey's lemma by Koro
144. proof of von Neumann double commutant theorem by asteroid
145. proof that a domain is Dedekind if its ideals are products of primes by gel
146. proof that a Euclidean domain is a PID by rm50
147. proof that the compositum of a Galois extension and another extension is Galois by rm50
148. properties of ordinals by CWoo
149. properties of well-ordered sets by GrafZahl
150. pullback by matte
151. pullback of a $k$-form by bwebste
152. quantale by CWoo
153. quantum groups by bci1
154. quasicyclic group by yark
155. reduced word by Mazzu
156. regular open algebra by CWoo
157. relation algebra by CWoo
158. relative homology groups by bwebste
159. rings whose every module is free by joking
160. section filter by CWoo
161. semidirect product of groups by djao
162. semilocally simply connected by djao
163. sheaf by djao
164. sheaf by archibal
165. simplicity of the alternating groups by rmilson
166. SL(n;R) is connected by Stephaninos
167. Smarandache n-structure by jonnathan
168. Sobolev inequality by paolini
169. spectral permanence theorem by asteroid
170. Sperner's theorem by bbukh
171. star-free by CWoo
172. structure sheaf by djao
173. submanifold by jirka
174. subobject classifier by CWoo
175. subsemiautomaton by CWoo
176. subspace of a subspace by matte
177. substructure by almann
178. t-cat by juanman
179. tensor product of subspaces of vector spaces by joking
180. topological embedding by kompik
181. topological sum by rspuzio
182. transversality by mathcam
183. Tukey's lemma by Koro
184. uniform continuity by CWoo
185. universal mapping property by MichaelMcCliment
186. unramified extensions and class number divisibility by alozano
187. upper set by CWoo
188. Van Kampen's theorem by RonaldBrown
189. weak Hopf algebra by bci1
190. weak Hopf C*-algebra by bci1