Dear GAP forum,
I have a group, a quotient of a free group, and I want to check whether
or not it is infinite. I am almost certain that it is.What is the best way to do that? IsFinite() didn't seem like it was
going anywhere.
since in general it is undecidable, whether a group is finite or not, GAP
can only try to check. This can take a long time, even when it is finite
(even when it is trivial). If the group is infinite, GAP might not be able
to figure that out.
Regards,
Stephan Rosebrock
********************************************************************** * Dr. Stephan Rosebrock * * Fakultaet III (Mathematik / Informatik) Tel: 0(49)-721-925-4275 * * Paedagogische Hochschule Karlsruhe Fax: 0(49)-721-925-4249 * * Bismarckstr. 10 * * D-76133 Karlsruhe * * Deutschland / Germany home: 0(49)-7249-953651 * * * * e-mail: rosebrock@PH-karlsruhe.de * * home page: http://www.ph-karlsruhe.de/~rosebrock * **********************************************************************
Miles-Receive-Header: reply