549:
720:
688:
458:
421:
350:
313:
260:
219:
645:
82:
619:
592:
498:
556:
364:
112:
168:
In particular, a group is virtually trivial if and only if it is finite. Two groups are virtually equal if and only if they are
514:
169:
693:
661:
648:
376:
230:
116:
734:
367:
says that a finitely generated group is virtually nilpotent if and only if it has polynomial growth.
437:
400:
329:
292:
239:
198:
652:
772:
624:
61:
597:
570:
755:
8:
477:
47:
193:
751:
743:
108:
31:
96:
107:. For example, virtually solvable groups are one of the two alternatives in the
100:
35:
732:
Schneebeli, Hans Rudolf (1978). "On virtual properties and group extensions".
20:
766:
509:
92:
472:
158:
122:
This terminology is also used when P is just another group. That is, if
27:
747:
388:
104:
43:
19:
For a definition of the term "virtually", see the
Wiktionary entry
119:
are precisely the finitely generated virtually nilpotent groups.
42:
is used to modify a property so that it need only hold for a
273:
Any finite group (since the trivial subgroup is abelian).
696:
664:
627:
600:
573:
517:
480:
440:
403:
332:
295:
242:
201:
64:
559:
that any torsion-free virtually free group is free.
544:{\displaystyle \operatorname {PSL} (2,\mathbb {Z} )}
714:
682:
639:
613:
586:
543:
492:
452:
415:
344:
307:
254:
213:
76:
764:
115:states that the finitely generated groups with
185:The following groups are virtually abelian.
731:
534:
91:Common uses for this would be when P is
370:
765:
715:{\displaystyle \operatorname {SO} (n)}
277:
683:{\displaystyle \operatorname {O} (n)}
283:Any group that is virtually abelian.
180:
58:if there is a finite index subgroup
508:are both finite. (For example, the
13:
665:
14:
784:
381:
50:. Given a property P, the group
709:
703:
677:
671:
538:
524:
1:
725:
594:on 2 generators is virtually
229:is finite. (For example, any
30:, especially in the area of
7:
394:Any virtually cyclic group.
175:
10:
789:
690:is virtually connected as
453:{\displaystyle N\rtimes H}
416:{\displaystyle N\rtimes H}
377:virtually polycyclic group
374:
345:{\displaystyle N\rtimes H}
308:{\displaystyle N\rtimes H}
255:{\displaystyle N\rtimes H}
231:generalized dihedral group
214:{\displaystyle N\rtimes H}
18:
735:Mathematische Zeitschrift
562:
649:Nielsen–Schreier theorem
647:as a consequence of the
640:{\displaystyle n\geq 2}
434:Any semidirect product
397:Any semidirect product
326:Any semidirect product
289:Any semidirect product
236:Any semidirect product
77:{\displaystyle H\leq G}
716:
684:
653:Schreier index formula
641:
615:
588:
545:
494:
454:
417:
346:
309:
256:
215:
78:
717:
685:
642:
616:
614:{\displaystyle F_{n}}
589:
587:{\displaystyle F_{2}}
546:
495:
455:
418:
347:
310:
257:
216:
79:
694:
662:
625:
598:
571:
515:
478:
438:
401:
371:Virtually polycyclic
330:
293:
286:Any nilpotent group.
240:
199:
62:
16:Mathematical concept
722:has index 2 in it.
493:{\displaystyle H*K}
278:Virtually nilpotent
149:of finite index in
748:10.1007/bf01214488
712:
680:
637:
611:
584:
557:Stalling's theorem
541:
490:
450:
413:
342:
305:
252:
211:
194:semidirect product
189:Any abelian group.
74:
319:is nilpotent and
181:Virtually abelian
117:polynomial growth
780:
759:
721:
719:
718:
713:
689:
687:
686:
681:
646:
644:
643:
638:
620:
618:
617:
612:
610:
609:
593:
591:
590:
585:
583:
582:
555:It follows from
550:
548:
547:
542:
537:
499:
497:
496:
491:
459:
457:
456:
451:
422:
420:
419:
414:
365:Gromov's theorem
351:
349:
348:
343:
314:
312:
311:
306:
261:
259:
258:
253:
220:
218:
217:
212:
130:are groups then
113:Gromov's theorem
109:Tits alternative
88:has property P.
83:
81:
80:
75:
32:abstract algebra
788:
787:
783:
782:
781:
779:
778:
777:
763:
762:
728:
695:
692:
691:
663:
660:
659:
626:
623:
622:
605:
601:
599:
596:
595:
578:
574:
572:
569:
568:
567:The free group
565:
533:
516:
513:
512:
479:
476:
475:
439:
436:
435:
402:
399:
398:
384:
379:
373:
331:
328:
327:
294:
291:
290:
280:
241:
238:
237:
225:is abelian and
200:
197:
196:
183:
178:
145:has a subgroup
63:
60:
59:
36:infinite groups
24:
17:
12:
11:
5:
786:
776:
775:
761:
760:
727:
724:
711:
708:
705:
702:
699:
679:
676:
673:
670:
667:
636:
633:
630:
608:
604:
581:
577:
564:
561:
553:
552:
540:
536:
532:
529:
526:
523:
520:
489:
486:
483:
469:
464:is finite and
449:
446:
443:
432:
412:
409:
406:
395:
392:
383:
382:Virtually free
380:
375:Main article:
372:
369:
362:
361:
356:is finite and
341:
338:
335:
324:
304:
301:
298:
287:
284:
279:
276:
275:
274:
271:
266:is finite and
251:
248:
245:
234:
210:
207:
204:
190:
182:
179:
177:
174:
73:
70:
67:
54:is said to be
15:
9:
6:
4:
3:
2:
785:
774:
771:
770:
768:
757:
753:
749:
745:
741:
737:
736:
730:
729:
723:
706:
700:
697:
674:
668:
656:
654:
650:
634:
631:
628:
606:
602:
579:
575:
560:
558:
530:
527:
521:
518:
511:
510:modular group
507:
503:
487:
484:
481:
474:
470:
467:
463:
447:
444:
441:
433:
430:
426:
410:
407:
404:
396:
393:
390:
386:
385:
378:
368:
366:
360:is nilpotent.
359:
355:
339:
336:
333:
325:
322:
318:
302:
299:
296:
288:
285:
282:
281:
272:
269:
265:
249:
246:
243:
235:
232:
228:
224:
208:
205:
202:
195:
191:
188:
187:
186:
173:
171:
170:commensurable
166:
164:
160:
156:
152:
148:
144:
140:
137:
133:
129:
125:
120:
118:
114:
110:
106:
102:
98:
94:
89:
87:
71:
68:
65:
57:
53:
49:
45:
41:
38:, the adverb
37:
34:that studies
33:
29:
22:
773:Group theory
739:
733:
657:
566:
554:
505:
501:
473:free product
465:
461:
428:
427:is free and
424:
363:
357:
353:
320:
316:
267:
263:
226:
222:
184:
167:
162:
154:
150:
146:
142:
138:
135:
131:
127:
123:
121:
90:
85:
55:
51:
39:
25:
742:: 159–167.
270:is abelian.
56:virtually P
28:mathematics
756:0358.20048
726:References
658:The group
431:is finite.
389:free group
323:is finite.
159:isomorphic
153:such that
84:such that
46:of finite
701:
669:
632:≥
522:
485:∗
445:⋊
408:⋊
337:⋊
300:⋊
247:⋊
206:⋊
136:virtually
97:nilpotent
69:≤
40:virtually
21:virtually
767:Category
651:and the
621:for any
500:, where
468:is free.
176:Examples
111:, while
101:solvable
44:subgroup
93:abelian
754:
563:Others
460:where
423:where
352:where
315:where
262:where
221:where
48:index
504:and
471:Any
387:Any
192:Any
126:and
105:free
752:Zbl
744:doi
740:159
519:PSL
161:to
157:is
141:if
134:is
103:or
26:In
769::
750:.
738:.
698:SO
655:.
551:.)
233:.)
172:.
165:.
99:,
95:,
758:.
746::
710:)
707:n
704:(
678:)
675:n
672:(
666:O
635:2
629:n
607:n
603:F
580:2
576:F
539:)
535:Z
531:,
528:2
525:(
506:K
502:H
488:K
482:H
466:H
462:N
448:H
442:N
429:H
425:N
411:H
405:N
391:.
358:H
354:N
340:H
334:N
321:H
317:N
303:H
297:N
268:H
264:N
250:H
244:N
227:H
223:N
209:H
203:N
163:H
155:K
151:G
147:K
143:G
139:H
132:G
128:H
124:G
86:H
72:G
66:H
52:G
23:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.