Knowledge

Cyclic module

Source 📝

495: 473: 436: 193:. In general, a module is simple if and only if it is nonzero and is generated by each of its nonzero elements. 420: 247: 367: 346: 289: 521: 465: 388: 457: 200:
is considered as a left module over itself, then its cyclic submodules are exactly its left
446: 33: 505: 8: 232: 228: 36:
that is generated by one element. The concept is a generalization of the notion of a
491: 469: 458: 432: 501: 424: 213: 442: 201: 428: 515: 453: 167: 41: 258: 250: 156: 37: 270: 21: 17: 423:, vol. 13 (2 ed.), New York: Springer-Verlag, pp. x+376, 483: 178: 490:(Third ed.), Reading, Mass.: Addison-Wesley, pp. 147–149, 288:; there may also be other cyclic submodules with different 452: 269:are cyclic submodules. (The Jordan blocks are all 513: 314:, there exists a canonical isomorphism between 414: 403: 415:Anderson, Frank W.; Fuller, Kent R. (1992), 48:-module) that is generated by one element. 72:can be generated by a single element i.e. 514: 482: 386: 13: 181:generated by any non-zero element 14: 533: 460:Rings, modules and linear algebra 189:is necessarily the whole module 417:Rings and categories of modules 397: 380: 204:as a ring. The same holds for 1: 464:. Chapman and Hall. pp.  421:Graduate Texts in Mathematics 406:, Just after Proposition 2.7. 373: 296: 177:is a cyclic module since the 51: 7: 361: 152:-module is a cyclic module. 138: 10: 538: 404:Anderson & Fuller 1992 429:10.1007/978-1-4612-4418-9 368:Finitely generated module 246:-module which is also a 390:Algebra I: Chapters 1–3 20:, more specifically in 456:; T.O. Hawkes (1970). 310:that is generated by 107:. Similarly, a right 229:ring of polynomials 248:finite-dimensional 34:module over a ring 497:978-0-201-55540-0 30:monogenous module 529: 508: 479: 463: 449: 407: 401: 395: 394: 384: 344: 332: 287: 214:mutatis mutandis 202:principal ideals 134: 124: 98: 537: 536: 532: 531: 530: 528: 527: 526: 512: 511: 498: 476: 439: 411: 410: 402: 398: 385: 381: 376: 364: 340: 334: 328: 319: 302:Given a cyclic 299: 274: 155:In fact, every 141: 126: 116: 73: 54: 12: 11: 5: 535: 525: 524: 510: 509: 496: 480: 474: 450: 437: 409: 408: 396: 378: 377: 375: 372: 371: 370: 363: 360: 359: 358: 336: 324: 298: 295: 294: 293: 217: 194: 164: 153: 140: 137: 53: 50: 40:, that is, an 9: 6: 4: 3: 2: 534: 523: 522:Module theory 520: 519: 517: 507: 503: 499: 493: 489: 485: 481: 477: 475:0-412-09810-5 471: 467: 462: 461: 455: 451: 448: 444: 440: 438:0-387-97845-3 434: 430: 426: 422: 418: 413: 412: 405: 400: 393:, p. 220 392: 391: 383: 379: 369: 366: 365: 356: 352: 348: 343: 339: 331: 327: 322: 317: 313: 309: 305: 301: 300: 292:; see below.) 291: 285: 281: 277: 272: 268: 264: 260: 259:Jordan blocks 256: 252: 249: 245: 241: 237: 234: 230: 226: 222: 218: 215: 211: 207: 203: 199: 195: 192: 188: 184: 180: 176: 172: 169: 165: 162: 158: 154: 151: 147: 143: 142: 136: 133: 129: 123: 119: 115:is cyclic if 114: 110: 106: 102: 96: 92: 88: 84: 80: 76: 71: 67: 63: 59: 49: 47: 43: 42:Abelian group 39: 35: 31: 27: 26:cyclic module 23: 19: 487: 459: 416: 399: 389: 382: 354: 350: 345:denotes the 341: 337: 329: 325: 320: 315: 311: 307: 303: 290:annihilators 283: 279: 275: 266: 262: 254: 251:vector space 243: 239: 235: 224: 220: 209: 205: 197: 196:If the ring 190: 186: 182: 174: 170: 160: 159:is a cyclic 157:cyclic group 149: 145: 131: 127: 121: 117: 112: 108: 104: 100: 94: 90: 86: 82: 78: 74: 69: 65: 61: 57: 55: 45: 38:cyclic group 29: 25: 15: 484:Lang, Serge 347:annihilator 257:, then the 208:as a right 22:ring theory 18:mathematics 506:0848.13001 454:B. Hartley 387:Bourbaki, 374:References 297:Properties 271:isomorphic 265:acting on 64:is called 52:Definition 212:-module, 179:submodule 125:for some 99:for some 516:Category 486:(1993), 362:See also 333:, where 306:-module 173:-module 163:-module. 139:Examples 111:-module 60:-module 488:Algebra 468:, 152. 447:1245487 231:over a 56:A left 504:  494:  472:  445:  435:  242:is an 238:, and 227:, the 168:simple 166:Every 66:cyclic 44:(i.e. 323:/ Ann 253:over 233:field 148:as a 32:is a 492:ISBN 470:ISBN 433:ISBN 318:and 81:) = 24:, a 502:Zbl 425:doi 353:in 349:of 335:Ann 278:/ ( 273:to 261:of 223:is 219:If 185:of 103:in 85:= { 77:= ( 68:if 28:or 16:In 518:: 500:, 466:77 443:MR 441:, 431:, 419:, 282:− 135:. 130:∈ 122:yR 120:= 93:∈ 89:| 87:rx 83:Rx 478:. 427:: 357:. 355:R 351:x 342:x 338:R 330:x 326:R 321:R 316:M 312:x 308:M 304:R 286:) 284:λ 280:x 276:F 267:V 263:x 255:F 244:R 240:V 236:F 225:F 221:R 216:. 210:R 206:R 198:R 191:M 187:M 183:x 175:M 171:R 161:Z 150:Z 146:Z 144:2 132:N 128:y 118:N 113:N 109:R 105:M 101:x 97:} 95:R 91:r 79:x 75:M 70:M 62:M 58:R 46:Z

Index

mathematics
ring theory
module over a ring
cyclic group
Abelian group
cyclic group
simple
submodule
principal ideals
mutatis mutandis
ring of polynomials
field
finite-dimensional
vector space
Jordan blocks
isomorphic
annihilators
annihilator
Finitely generated module
Algebra I: Chapters 1–3
Anderson & Fuller 1992
Graduate Texts in Mathematics
doi
10.1007/978-1-4612-4418-9
ISBN
0-387-97845-3
MR
1245487
B. Hartley
Rings, modules and linear algebra

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.