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