84:
74:
53:
22:
162:
Hi; I'm trying desperately to understand many of these advanced principals of mathematics, such as discrete groups, but no matter how many times I review the material, it doesn't sink in. Could someone please provide examples, problems to solve (with their solutions) and/or ways to visualize this?
253:
I think you have already answered this, but just in case: "Discrete" means every set is open and every set is closed. Since arbitrary unions of open sets are open, to be discrete means that singletons are open. Since topological groups are "the same everywhere", it is enough to require that the
265:. Many people require all topological groups to be Hausdorff, so you are very right to say every singleton is closed. A discrete group is special: every singleton is both open and closed.
140:
305:
Is the isomorphism to the category of discrete groups a functor and is it adjoint to the inverse isomorphism? Woud the inverse isomorphism be a forgetful functor?
374:
130:
106:
369:
306:
341:
Messy introduction, the rest is a rather unbalanced list. The article should have a clear goal, or be split/merged with others (such as
257:
On the other hand, "Every singleton is closed" is a more natural property enjoyed by many more topological spaces, for instance every
97:
58:
335:, these subpages are now deprecated. The comments may be irrelevant or outdated; if so, please feel free to remove this section.
301:"...underlying groups. Hence, there is an isomorphism between the category of groups and the category of discrete groups..."
33:
310:
170:
Would it be reasonable to say that a discrete group is one with a cardinality not greater than aleph-null?
284:
270:
243:
234:
175:
39:
83:
342:
21:
280:
239:
230:
164:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
89:
73:
52:
266:
262:
363:
332:
357:
Last edited at 22:26, 28 May 2007 (UTC). Substituted at 02:01, 5 May 2016 (UTC)
346:
102:
221:
79:
216:
196:
258:
201:
349:
314:
288:
274:
247:
178:
345:). Importance would depend on the ultimate aim and the content.
15:
327:
101:, a collaborative effort to improve the coverage of
215:"topological group is discrete if and only if the
195:"topological group is discrete if and only if the
331:, and are posted here for posterity. Following
174:No. A discrete group can have any cardinality.
325:The comment(s) below were originally left at
8:
254:singleton containing the identity is open.
47:
49:
19:
7:
95:This article is within the scope of
38:It is of interest to the following
375:High-priority mathematics articles
14:
333:several discussions in past years
115:Knowledge:WikiProject Mathematics
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
297:is this isomorphism a functor?
219:containing the identity is an
199:containing the identity is an
1:
179:07:57, 19 November 2005 (UTC)
109:and see a list of open tasks.
370:C-Class mathematics articles
328:Talk:Discrete group/Comments
315:10:13, 12 October 2013 (UTC)
237:) 16:18, 20 July 2008 (UTC)
391:
340:
289:19:30, 24 July 2008 (UTC)
275:02:21, 21 July 2008 (UTC)
248:16:34, 20 July 2008 (UTC)
134:
67:
46:
350:11:05, 26 May 2007 (UTC)
141:project's priority scale
98:WikiProject Mathematics
185:What is discrete group
28:This article is rated
343:transformation group
158:New To Advanced Math
121:mathematics articles
321:Assessment comment
90:Mathematics portal
34:content assessment
355:
354:
155:
154:
151:
150:
147:
146:
382:
338:
337:
330:
176:Charles Matthews
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
390:
389:
385:
384:
383:
381:
380:
379:
360:
359:
326:
323:
299:
263:Hausdorff space
187:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
388:
386:
378:
377:
372:
362:
361:
353:
352:
322:
319:
318:
317:
307:76.218.104.120
298:
295:
294:
293:
292:
291:
255:
186:
183:
182:
181:
159:
156:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
387:
376:
373:
371:
368:
367:
365:
358:
351:
348:
344:
339:
336:
334:
329:
320:
316:
312:
308:
304:
303:
302:
296:
290:
286:
282:
278:
277:
276:
272:
268:
264:
261:and so every
260:
256:
252:
251:
250:
249:
245:
241:
238:
236:
232:
227:
226:
224:
223:
218:
212:
211:
207:
206:
204:
203:
198:
192:
191:
184:
180:
177:
173:
172:
171:
168:
166:
157:
142:
138:
137:High-priority
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
62:High‑priority
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
356:
324:
300:
229:
228:
220:
214:
213:
209:
208:
200:
194:
193:
189:
188:
169:
167:26 Jan 2006
161:
136:
96:
40:WikiProjects
267:JackSchmidt
112:Mathematics
103:mathematics
59:Mathematics
364:Categories
222:closed set
217:singleton
210:Must be:
197:singleton
281:Maksim-e
279:Thanks!
259:T1 space
240:Maksim-e
231:Maksim-e
202:open set
190:Now is:
139:on the
30:C-class
347:Arcfrk
36:scale.
225:."
311:talk
285:talk
271:talk
244:talk
235:talk
165:beno
131:High
205:."
366::
313:)
287:)
273:)
246:)
309:(
283:(
269:(
242:(
233:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.