Knowledge

Polycyclic group

Source 📝

33: 382:. Although polycyclic-by-finite groups need not be solvable, they still have many of the finiteness properties of polycyclic groups; for example, they satisfy the maximal condition, and they are finitely presented and 413:, which by Hirsch's theorem can also be expressed as a group which has a finite length subnormal series with each factor a finite group or an infinite 97: 553: 396: 69: 76: 315:(1967) and Swan proved the converse, that any polycyclic group is up to isomorphism a group of integer matrices. The 116: 50: 83: 54: 623: 603: 65: 17: 598: 593: 485:. This is independent of choice of subgroup, as all such subgroups will have the same Hirsch length. 628: 153: 149: 383: 316: 43: 580: 90: 299:
Examples of polycyclic groups include finitely generated abelian groups, finitely generated
533: 367: 308: 8: 499: 545: 420:
These groups are particularly interesting because they are the only known examples of
549: 521: 478: 280: 169: 354:
is infinite. Any subgroup of a strongly polycyclic group is strongly polycyclic.
529: 463: 421: 406: 312: 304: 300: 288: 378:
polycyclic subgroup of finite index, and therefore such groups are also called
141: 617: 525: 494: 414: 410: 264: 133: 424: 371: 32: 156:, which makes them interesting from a computational point of view. 145: 172:
with cyclic factors, that is a finite set of subgroups, let's say
319:
of a polycyclic group is also such a group of integer matrices.
458:
is a polycyclic-by-finite group, then the Hirsch length of
451:
is the number of infinite factors in its subnormal series.
512:
Ivanov, S. V. (1989), "Group rings of Noetherian groups",
366:
is a group that has a polycyclic subgroup of finite
57:. Unsourced material may be challenged and removed. 431:), or group rings of finite injective dimension. 615: 575:Dmitriĭ Alekseevich Suprunenko, K. A. Hirsch, 357: 307:proved that solvable subgroups of the integer 322: 514:Akademiya Nauk SSSR. Matematicheskie Zametki 405:refers to what is now called a polycyclic- 395:harv error: no target: CITEREFScott1964 ( 374:property. Such a group necessarily has a 168:is polycyclic if and only if it admits a 117:Learn how and when to remove this message 144:that satisfies the maximal condition on 14: 616: 511: 428: 539: 462:is the Hirsch length of a polycyclic 390: 291:of a cyclic group by a cyclic group. 129:Type of solvable group in mathematics 303:groups, and finite solvable groups. 55:adding citations to reliable sources 26: 24: 25: 640: 434: 31: 42:needs additional citations for 586: 569: 159: 13: 1: 505: 148:(that is, every subgroup is 7: 599:Encyclopedia of Mathematics 488: 380:polycyclic-by-finite groups 358:Polycyclic-by-finite groups 294: 283:is a polycyclic group with 10: 645: 364:virtually polycyclic group 323:Strongly polycyclic groups 311:are polycyclic; and later 287:≤ 2, or in other words an 152:). Polycyclic groups are 562: 223:is a normal subgroup of 244:and the quotient group 212:is the trivial subgroup 447:of a polycyclic group 164:Equivalently, a group 624:Properties of groups 540:Scott, W.R. (1987), 401:and some papers, an 309:general linear group 51:improve this article 579:(1976), pp. 174–5; 500:Supersolvable group 333:strongly polycyclic 327:A polycyclic group 594:"Polycyclic group" 548:, pp. 45–46, 546:Dover Publications 370:, an example of a 154:finitely presented 150:finitely generated 66:"Polycyclic group" 555:978-0-486-65377-8 389:In the textbook ( 384:residually finite 335:if each quotient 127: 126: 119: 101: 16:(Redirected from 636: 608: 607: 590: 584: 573: 558: 536: 400: 281:metacyclic group 170:subnormal series 138:polycyclic group 122: 115: 111: 108: 102: 100: 59: 35: 27: 21: 644: 643: 639: 638: 637: 635: 634: 633: 629:Solvable groups 614: 613: 612: 611: 592: 591: 587: 574: 570: 565: 556: 508: 491: 464:normal subgroup 437: 394: 360: 353: 344: 325: 313:Louis Auslander 305:Anatoly Maltsev 297: 262: 253: 232: 222: 211: 200:coincides with 199: 187: 178: 162: 130: 123: 112: 106: 103: 60: 58: 48: 36: 23: 22: 15: 12: 11: 5: 642: 632: 631: 626: 610: 609: 585: 567: 566: 564: 561: 560: 559: 554: 537: 507: 504: 503: 502: 497: 490: 487: 436: 433: 359: 356: 349: 339: 331:is said to be 324: 321: 296: 293: 277: 276: 271:between 0 and 258: 248: 242: 237:between 0 and 227: 218: 213: 209: 204: 195: 183: 176: 161: 158: 142:solvable group 128: 125: 124: 39: 37: 30: 9: 6: 4: 3: 2: 641: 630: 627: 625: 622: 621: 619: 605: 601: 600: 595: 589: 582: 578: 577:Matrix groups 572: 568: 557: 551: 547: 543: 538: 535: 531: 527: 523: 519: 515: 510: 509: 501: 498: 496: 493: 492: 486: 484: 480: 476: 472: 468: 465: 461: 457: 452: 450: 446: 445:Hirsch number 442: 441:Hirsch length 435:Hirsch length 432: 430: 426: 423: 418: 416: 412: 408: 404: 398: 392: 387: 385: 381: 377: 373: 369: 365: 355: 352: 348: 342: 338: 334: 330: 320: 318: 314: 310: 306: 302: 292: 290: 286: 282: 274: 270: 266: 261: 257: 251: 247: 243: 240: 236: 230: 226: 221: 217: 214: 208: 205: 203: 198: 194: 191: 190: 189: 186: 182: 175: 171: 167: 157: 155: 151: 147: 143: 139: 135: 121: 118: 110: 99: 96: 92: 89: 85: 82: 78: 75: 71: 68: –  67: 63: 62:Find sources: 56: 52: 46: 45: 40:This article 38: 34: 29: 28: 19: 18:Hirsch length 597: 588: 581:Google Books 576: 571: 544:, New York: 542:Group Theory 541: 520:(6): 61–66, 517: 513: 495:Group theory 482: 474: 470: 466: 459: 455: 453: 448: 444: 440: 438: 419: 415:cyclic group 411:finite group 402: 388: 379: 375: 363: 361: 350: 346: 340: 336: 332: 328: 326: 298: 284: 278: 272: 268: 265:cyclic group 259: 255: 249: 245: 238: 234: 228: 224: 219: 215: 206: 201: 196: 192: 184: 180: 173: 165: 163: 137: 131: 113: 104: 94: 87: 80: 73: 61: 49:Please help 44:verification 41: 477:has finite 429:Ivanov 1989 425:group rings 267:(for every 233:(for every 160:Terminology 134:mathematics 618:Categories 506:References 422:Noetherian 391:Scott 1964 188:such that 77:newspapers 604:EMS Press 526:0025-567X 393:, Ch 7.1) 317:holomorph 301:nilpotent 289:extension 146:subgroups 107:June 2008 489:See also 473:, where 295:Examples 606:, 2001 534:1051052 403:M-group 372:virtual 179:, ..., 91:scholar 552:  532:  524:  376:normal 93:  86:  79:  72:  64:  563:Notes 479:index 368:index 263:is a 140:is a 98:JSTOR 84:books 550:ISBN 522:ISSN 439:The 397:help 275:- 1) 241:- 1) 136:, a 70:news 481:in 469:of 454:If 443:or 132:In 53:by 620:: 602:, 596:, 530:MR 528:, 518:46 516:, 417:. 407:by 386:. 362:A 345:/ 343:+1 279:A 254:/ 252:+1 231:+1 583:. 483:G 475:H 471:G 467:H 460:G 456:G 449:G 427:( 409:- 399:) 351:i 347:G 341:i 337:G 329:G 285:n 273:n 269:i 260:i 256:G 250:i 246:G 239:n 235:i 229:i 225:G 220:i 216:G 210:0 207:G 202:G 197:n 193:G 185:n 181:G 177:0 174:G 166:G 120:) 114:( 109:) 105:( 95:· 88:· 81:· 74:· 47:. 20:)

Index

Hirsch length

verification
improve this article
adding citations to reliable sources
"Polycyclic group"
news
newspapers
books
scholar
JSTOR
Learn how and when to remove this message
mathematics
solvable group
subgroups
finitely generated
finitely presented
subnormal series
cyclic group
metacyclic group
extension
nilpotent
Anatoly Maltsev
general linear group
Louis Auslander
holomorph
index
virtual
residually finite
Scott 1964

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