From 1ce1e7c4b15c7f52dab5b7579b8b48a769a861e6 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Mon, 31 Jul 2017 18:31:09 +0200
Subject: [PATCH] Change doc of IsPGroup to *not* require finiteness

---
 lib/grp.gd | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/lib/grp.gd b/lib/grp.gd
index 89c36764e0..3eb9310dcf 100644
--- a/lib/grp.gd
+++ b/lib/grp.gd
@@ -415,11 +415,18 @@ DeclareOperation( "KnowsHowToDecompose", [ IsGroup, IsList ] );
 ##
 ##  <Description>
 ##  <Index Key="p-group"><M>p</M>-group</Index>
-##  A <E><M>p</M>-group</E> is a finite group whose order
-##  (see&nbsp;<Ref Func="Size"/>) is of the form <M>p^n</M> for a prime
-##  integer <M>p</M> and a nonnegative integer <M>n</M>.
+##  A <E><M>p</M>-group</E> is a group in which the order
+##  (see&nbsp;<Ref Func="Order"/>) of every element is of the form <M>p^n</M>
+##  for a prime integer <M>p</M> and a nonnegative integer <M>n</M>.
 ##  <Ref Prop="IsPGroup"/> returns <K>true</K> if <A>G</A> is a
 ##  <M>p</M>-group, and <K>false</K> otherwise.
+##  <P/>
+##  Finite <M>p</M>-groups are precisely those groups whose order
+##  (see&nbsp;<Ref Func="Size"/>) is a prime power, and are always
+##  nilpotent.
+##  <P/>
+##  Note that <M>p</M>-groups can also be infinite, and in that case,
+##  need not be nilpotent.
 ##  </Description>
 ##  </ManSection>
 ##  <#/GAPDoc>