486:
132:
100:
69:
527:
520:
551:
513:
436:
424:
335:
of prime ideals. In particular, the complement of a prime ideal is both saturated and multiplicatively closed.
546:
452:
185:
285:
501:
221:
351:
166:
105:
356:
143:
76:
48:
460:
8:
493:
332:
228:
162:
258:
36:
485:
444:
17:
456:
419:
497:
431:
540:
147:
338:
The intersection of a family of multiplicative sets is a multiplicative set.
415:
265:
225:
466:
289:
151:
155:
29:
327:
is both saturated and multiplicatively closed if and only if
341:
The intersection of a family of saturated sets is saturated.
437:
Commutative algebra with a view toward algebraic geometry
108:
79:
51:
126:
94:
63:
538:
161:Multiplicative sets are important especially in
521:
42:such that the following two conditions hold:
146:under taking finite products, including the
150:1. Equivalently, a multiplicative set is a
528:
514:
443:
216:Examples of multiplicative sets include:
310:is prime if and only if its complement
539:
402:Kaplansky, p. 2, Theorem 2.
480:
288:, the multiplicative closure of the
425:Introduction to commutative algebra
396:
13:
14:
563:
375:Atiyah and Macdonald, p. 36.
484:
165:, where they are used to build
387:
378:
369:
1:
409:
296:
184:if it is closed under taking
500:. You can help Knowledge by
7:
453:University of Chicago Press
345:
320:is multiplicatively closed.
211:
188:: i.e., whenever a product
22:multiplicatively closed set
10:
568:
479:
552:Commutative algebra stubs
473:3rd ed., Springer, 2002.
362:
254:is an element of a ring;
222:set-theoretic complement
127:{\displaystyle x,y\in S}
428:, Addison-Wesley, 1969.
331:is the complement of a
95:{\displaystyle xy\in S}
496:-related article is a
352:Localization of a ring
306:of a commutative ring
231:in a commutative ring;
169:of commutative rings.
154:of the multiplicative
128:
96:
65:
64:{\displaystyle 1\in S}
393:Eisenbud, p. 59.
357:Right denominator set
129:
97:
66:
451:(Revised ed.),
286:Jordan–Pólya numbers
277: for an ideal
106:
77:
49:
547:Commutative algebra
494:commutative algebra
163:commutative algebra
384:Lang, p. 107.
124:
92:
61:
26:multiplicative set
509:
508:
449:Commutative rings
445:Kaplansky, Irving
440:, Springer, 1995.
266:non-zero-divisors
559:
530:
523:
516:
488:
481:
463:
403:
400:
394:
391:
385:
382:
376:
373:
319:
276:
249:
138:In other words,
133:
131:
130:
125:
101:
99:
98:
93:
70:
68:
67:
62:
18:abstract algebra
567:
566:
562:
561:
560:
558:
557:
556:
537:
536:
535:
534:
477:
420:I. G. Macdonald
412:
407:
406:
401:
397:
392:
388:
383:
379:
374:
370:
365:
348:
311:
299:
271:
235:
214:
196:, the elements
107:
104:
103:
78:
75:
74:
50:
47:
46:
12:
11:
5:
565:
555:
554:
549:
533:
532:
525:
518:
510:
507:
506:
489:
475:
474:
464:
441:
432:David Eisenbud
429:
411:
408:
405:
404:
395:
386:
377:
367:
366:
364:
361:
360:
359:
354:
347:
344:
343:
342:
339:
336:
321:
298:
295:
294:
293:
282:
269:
262:
255:
232:
213:
210:
136:
135:
123:
120:
117:
114:
111:
91:
88:
85:
82:
72:
60:
57:
54:
9:
6:
4:
3:
2:
564:
553:
550:
548:
545:
544:
542:
531:
526:
524:
519:
517:
512:
511:
505:
503:
499:
495:
490:
487:
483:
482:
478:
472:
468:
465:
462:
458:
454:
450:
446:
442:
439:
438:
433:
430:
427:
426:
421:
417:
414:
413:
399:
390:
381:
372:
368:
358:
355:
353:
350:
349:
340:
337:
334:
330:
326:
322:
318:
314:
309:
305:
301:
300:
291:
287:
283:
280:
275:
270:
267:
263:
260:
256:
253:
247:
243:
239:
233:
230:
227:
223:
219:
218:
217:
209:
207:
203:
199:
195:
191:
187:
183:
179:
175:
170:
168:
167:localizations
164:
159:
157:
153:
149:
148:empty product
145:
141:
121:
118:
115:
112:
109:
89:
86:
83:
80:
73:
58:
55:
52:
45:
44:
43:
41:
38:
34:
31:
27:
23:
19:
502:expanding it
491:
476:
470:
448:
435:
423:
416:M. F. Atiyah
398:
389:
380:
371:
328:
324:
316:
312:
307:
303:
278:
273:
251:
245:
241:
237:
215:
205:
201:
197:
193:
189:
181:
177:
173:
171:
160:
139:
137:
39:
32:
25:
21:
15:
264:the set of
257:the set of
158:of a ring.
541:Categories
467:Serge Lang
410:References
297:Properties
290:factorials
268:in a ring;
261:of a ring;
180:is called
176:of a ring
323:A subset
302:An ideal
182:saturated
172:A subset
152:submonoid
119:∈
87:∈
56:∈
447:(1974),
346:See also
250:, where
234:the set
212:Examples
186:divisors
102:for all
471:Algebra
461:0345945
204:are in
28:) is a
459:
248:, ...}
192:is in
156:monoid
144:closed
30:subset
492:This
363:Notes
333:union
259:units
229:ideal
226:prime
224:of a
208:too.
35:of a
498:stub
418:and
284:the
272:1 +
236:{1,
220:the
200:and
37:ring
24:(or
20:, a
142:is
16:In
543::
469:,
457:MR
455:,
434:,
422:,
315:\
244:,
240:,
190:xy
529:e
522:t
515:v
504:.
329:S
325:S
317:P
313:R
308:R
304:P
292:.
281:;
279:I
274:I
252:x
246:x
242:x
238:x
206:S
202:y
198:x
194:S
178:R
174:S
140:S
134:.
122:S
116:y
113:,
110:x
90:S
84:y
81:x
71:,
59:S
53:1
40:R
33:S
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.