29:
342:
allows one to express every object as a quotient of a direct sum of copies of the generator. Finding a cogenerator allows one to express every object as a subobject of a direct product of copies of the cogenerator. One is often interested in projective generators (even finitely generated projective
50:
120:
101:
73:
80:
54:
280:
For example, the integers are a generator of the category of abelian groups (since every abelian group is a quotient of a
17:
343:
generators, called progenerators) and minimal injective cogenerators. Both examples above have these extra properties.
87:
39:
69:
58:
43:
477:(also called algebraically compact). One can often consider a problem after applying the * to simplify matters.
540:
508:
512:
474:
355:
221:
94:
281:
142:
516:
520:
451:
367:
339:
307:
161:
134:
534:
217:
173:
145:. Generators are objects which cover other objects as an approximation, and (dually)
484:: one forms the topological character module of continuous group homomorphisms from
489:
165:
28:
247:
274:
455:
405:
is 0. Even more is true: the * operation takes a homomorphism
149:
are objects which envelope other objects as an approximation.
22:
330:- the true envelope is subject to a minimality condition.
172:
such that for every nonzero object H there exists a non
373:* consisting of all abelian group homomorphisms from
480:
All of this can also be done for continuous modules
326:. This approximation is close to what is called the
288:. The approximation here is normally described as
306:, the rationals modulo the integers, which is a
318:contained inside the product of |A| copies of
515:is an injective cogenerator in a category of
137:, a branch of mathematics, the concept of an
8:
16:For other things called "cogenerators", see
57:. Unsourced material may be challenged and
216:Assuming one has a category like that of
121:Learn how and when to remove this message
397:being a cogenerator says precisely that
310:abelian group. Given any abelian group
250:; and one can form direct products of
7:
55:adding citations to reliable sources
195:such that for every nonzero object
284:). This is the origin of the term
199:there exists a nonzero morphism f:
14:
314:, there is an isomorphic copy of
27:
362:is a left module over the ring
141:is drawn from examples such as
298:in the same category, we have
1:
511:can be used to show that an
389:* is then a right R-module.
366:, one forms the (algebraic)
207:. (Note the reversed order).
18:Cogenerator (disambiguation)
557:
354:is useful in the study of
338:Finding a generator of an
15:
290:generators and relations.
509:Tietze extension theorem
358:over general rings. If
220:, one can in fact form
70:"Injective cogenerator"
446:* is 0 if and only if
401:* is 0 if and only if
212:The abelian group case
139:injective cogenerator
51:improve this article
503:In general topology
450:is 0. It is thus a
294:As an example of a
254:until the morphism
228:until the morphism
517:topological spaces
462:-modules to right
423:to a homomorphism
328:divisible envelope
282:free abelian group
143:Pontryagin duality
521:separation axioms
131:
130:
123:
105:
548:
368:character module
346:The cogenerator
340:abelian category
152:More precisely:
126:
119:
115:
112:
106:
104:
63:
31:
23:
556:
555:
551:
550:
549:
547:
546:
545:
541:Category theory
531:
530:
529:
505:
336:
214:
135:category theory
127:
116:
110:
107:
64:
62:
48:
32:
21:
12:
11:
5:
554:
552:
544:
543:
533:
532:
528:
525:
504:
501:
475:pure-injective
454:contravariant
440:
439:
421:
420:
335:
334:General theory
332:
271:
270:
244:
243:
218:abelian groups
213:
210:
209:
208:
185:
129:
128:
35:
33:
26:
13:
10:
9:
6:
4:
3:
2:
553:
542:
539:
538:
536:
526:
524:
522:
518:
514:
510:
502:
500:
498:
494:
491:
487:
483:
478:
476:
472:
467:
465:
461:
457:
453:
449:
445:
437:
433:
429:
426:
425:
424:
419:
415:
411:
408:
407:
406:
404:
400:
396:
392:
388:
384:
380:
376:
372:
369:
365:
361:
357:
353:
349:
344:
341:
333:
331:
329:
325:
321:
317:
313:
309:
305:
301:
297:
292:
291:
287:
283:
278:
276:
268:
264:
260:
257:
256:
255:
253:
249:
242:
238:
234:
231:
230:
229:
227:
224:of copies of
223:
219:
211:
206:
202:
198:
194:
191:is an object
190:
186:
183:
179:
175:
174:zero morphism
171:
168:is an object
167:
163:
159:
155:
154:
153:
150:
148:
144:
140:
136:
125:
122:
114:
103:
100:
96:
93:
89:
86:
82:
79:
75:
72: โ
71:
67:
66:Find sources:
60:
56:
52:
46:
45:
41:
36:This article
34:
30:
25:
24:
19:
506:
496:
492:
490:circle group
485:
481:
479:
470:
468:
463:
459:
447:
443:
441:
435:
431:
427:
422:
417:
413:
409:
402:
398:
394:
390:
386:
382:
378:
374:
370:
363:
359:
351:
347:
345:
337:
327:
323:
319:
315:
311:
303:
299:
295:
293:
289:
285:
279:
272:
266:
262:
258:
251:
245:
240:
236:
232:
225:
215:
204:
200:
196:
192:
188:
181:
177:
169:
157:
151:
147:cogenerators
146:
138:
132:
117:
108:
98:
91:
84:
77:
65:
49:Please help
37:
519:subject to
296:cogenerator
222:direct sums
189:cogenerator
166:zero object
527:References
466:-modules.
458:from left
248:surjective
111:March 2016
81:newspapers
308:divisible
286:generator
275:injective
158:generator
38:does not
535:Category
513:interval
452:faithful
162:category
488:to the
456:functor
356:modules
265:โ Prod(
164:with a
95:scholar
59:removed
44:sources
473:* is
469:Every
235:: Sum(
97:
90:
83:
76:
68:
160:of a
102:JSTOR
88:books
507:The
442:and
434:* โ
74:news
42:any
40:cite
377:to
273:is
246:is
239:) โ
133:In
53:by
537::
523:.
499:.
438:*,
430:*:
416:โ
385:.
277:.
203:โ
187:A
180:โ
176:f:
156:A
497:Z
495:/
493:R
486:H
482:H
471:H
464:R
460:R
448:f
444:f
436:H
432:K
428:f
418:K
414:H
412::
410:f
403:H
399:H
395:Z
393:/
391:Q
387:H
383:Z
381:/
379:Q
375:H
371:H
364:R
360:H
352:Z
350:/
348:Q
324:Z
322:/
320:Q
316:A
312:A
304:Z
302:/
300:Q
269:)
267:C
263:H
261::
259:f
252:C
241:H
237:G
233:f
226:G
205:C
201:H
197:H
193:C
184:.
182:H
178:G
170:G
124:)
118:(
113:)
109:(
99:ยท
92:ยท
85:ยท
78:ยท
61:.
47:.
20:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.