Greg Bulter
Abstract
This particular study investigates the application of Prolog and the associated technology of deductive databases to the realm of modern algebra. A relatively small, yet diverse, collection of information was chosen for the feasibility study. The 56 non-abelian simple groups of order less than one million have been studied in depth. In print are several tables of information such as minimal generating pairs, presentations, character tables, and maximal subgroups. The information is very heterogeneous in nature, involving formulae, tables, lists, arbitrary precision integers, character strings, irrational numbers, and rules for deducing information from the given facts.While very much a feasibility study, the work to date demonstrates that the Prolog deductive database technology is appropriate. More primitive data types, such as irrational numbers, infinite precision numbers, and tables would improve the efficiency of Prolog in this domain. More work categorizing user queries and incorporating the necessary facts and rules to answer them is required.
- G. Butler and J. J. Cannon, Cayley, version 4: the user language, Symbolic and Algebraic Computation, (Proceedings of 1988 International Symposium on Symbolic and Algebraic Computation, Rome, July 4-8), P. Gianni (ed.), Lecture Notes in Computer Science 358, Springer-Verlag, Berlin, 1989, pp.456--466. Google Scholar
Digital Library
- C. M. Campbell and E. F. Robertson, Presentations for the simple groups G, 10<sup>5</sup>&lt; | G | &lt;10<sup>6</sup>, Communications in Algebra 12, 21 (1984) 2643--2663.Google Scholar
- John J. Cannon, An introduction to the group theory language, Cayley, Computational Group Theory (Proceedings of the London Mathematical Society Symposium on Computational Group Theory, Durham, England, July 30 - August 9, 1982), M. D. Atkinson, editor, Academic Press, London, 1984, 145--183.Google Scholar
- J. J. Cannon, J. McKay, and K. Young, The non-abelian simple groups G, | G | &lt;10<sup>5</sup> - presentations, Communications in Algebra 7, 13 (1979) 1397--1406.Google Scholar
- W. F. Clocksin and C. S. Mellish, Programming in Prolog, Springer-Verlag, Berlin, 1981. Google ScholarDigital Library
- J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker, R. A. Wilson, Atlas of Finite Groups, Clarendon Press, Oxford, 1985.Google Scholar
- J. Fischer and J. McKay, The non-abelian simple groups G, | G | &lt;10<sup>6</sup> - maximal subgroups, Mathematics of Computation 32, 144 (1978) 1293--1302.Google Scholar
- M. Hall, Jr and J. K. Senior, The Groups of Order 2<sup>n</sup>, (no&le;6), Macmillan, New York, 1964.Google Scholar
- B. Huppert, Endliche Gruppen I, Springer-Verlag, Berlin, 1967.Google Scholar
- J. W. Lloyd, An introduction to deductive database systems, Australian Computer Journal 15, 2 (1983) 52--57.Google Scholar
- J. W. Lloyd and R. W. Topor, A basis for deductive database systems, Journal of Logic Programming 2 (1985) 93--109.Google ScholarCross Ref
- J. W. Lloyd and R. W. Topor, A basis for deductive database systems II, Journal of Logic Programming 3 (1986) 55--67. Google ScholarDigital Library
- J. McKay, The non-abelian simple groups G, | G | &lt;10<sup>6</sup> - character tables, Communications in Algebra 7, 13 (1979) 1407--1445.Google ScholarCross Ref
- J. McKay, and K. Young, The non-abelian simple groups G, | G | &lt;10<sup>6</sup> - minimal generating pairs, Mathematics of Computation 33 (1979) 812--814.Google Scholar
- M. F. Newman and E. A. O'Brien, A Cayley library for the groups of order dividing 128, Group Theory (Singapore, 1989), (Proceedings of the Singapore Group Theory Conference, June 1987), Walter de Gruyter, Berlin, New York, 1989, pp. 337--342.Google ScholarCross Ref
- C. C. Sims, Computational methods in the study of permutation groups, Computational Problems in Abstract Algebra, (Proceedings of a conference, Oxford, 1967), John Leech (editor), Pergamon, Oxford, 1970, 169--183. (and unpublished manuscript)Google Scholar
- J. G. Sunday, Presentations of the groups SL(2,m) and PSL(2,m), Canadian Journal of Mathematics 24 (1972) 1129--1131.Google ScholarCross Ref
Index Terms
- Towards a deductive database for small simple groups
Recommendations
Deductive database
Encyclopedia of Computer ScienceDeductive Databases formalize and extend relational databases. A deductive database (DDB) consists of a set of facts, a set of rules, and a set of integrity constraints. From the set of rules and the facts it is possible to derive new facts not ...
On locally primitive Cayley graphs of finite simple groups
In this paper we investigate locally primitive Cayley graphs of finite nonabelian simple groups. First, we prove that, for any valency d for which the Weiss conjecture holds (for example, d=<20 or d is a prime number by Conder, Li and Praeger (2000) [1])...
Almost simple groups with socle Ree(q) acting on finite linear spaces
This article is part of a project set up to classify groups and linear spaces where the group acts transitively on the lines of the space. Let G be an automorphism group of a linear space. We know that the study of line-transitive finite linear spaces ...
Comments