The Library
Computing automatic coset systems and subgroup presentations
Tools
UNSPECIFIED (1999) Computing automatic coset systems and subgroup presentations. JOURNAL OF SYMBOLIC COMPUTATION, 27 (1). pp. 1-19. ISSN 0747-7171.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Abstract
The concept of an automatic group can be generalized to a group that is automatic with respect to a specified subgroup. This means that there is a finite state automaton that recognizes a unique word in each coset of the subgroup, and others that essentially recognize the permutation action on these cosets induced by multiplying by a group generator. These automata make it possible to enumerate coset representatives as words in the generators, and to solve the generalized word problem for the subgroup efficiently. Algorithms to construct these automata have been described previously by Redfern. Here we describe improved versions, together with implementation details and some examples of successful calculations. A related algorithm to compute a finite presentation of the subgroup is also described. (C) 1999 Academic Press.
Item Type: | Journal Article | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software Q Science > QA Mathematics |
||||
Journal or Publication Title: | JOURNAL OF SYMBOLIC COMPUTATION | ||||
Publisher: | ACADEMIC PRESS LTD | ||||
ISSN: | 0747-7171 | ||||
Official Date: | January 1999 | ||||
Dates: |
|
||||
Volume: | 27 | ||||
Number: | 1 | ||||
Number of Pages: | 19 | ||||
Page Range: | pp. 1-19 | ||||
Publication Status: | Published |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |