See this document in CiteSeerX!

Computing in Solvable Matrix Groups (1992)  (Make Corrections)  (14 citations)
Eugene Luks
IEEE Symposium on Foundations of Computer Science



  Home/Search   Context   Related

 
View or download:
uoregon.edu/~luks/solmatgrp.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  uoregon.edu/~luks/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: We announce methods for efficient management of solvable matrix groups over finite fields. We show that solvability and nilpotencecan betestedin polynomial-time. Such efficiency seems unlikely for membership-testing, which subsumes the discrete-log problem. However, assuming that the primes in jGj (other than the field characteristic) arepolynomiallybounded, membership-testing and many other computational problems areinpolynomial time. These problems include finding stabilizers of vectors and... (Update)

Context of citations to this paper:   More

.... in polynomial time (Kantor and Luks, 1990) More generally, normalizers are computable in polynomial time even for solvable groups (Luks, 1992). With this background in mind, we describe a normalizer algorithm for nilpotent subgroups of Sn that has worst case timing of O(n 4...

...should mention that various other properties (whether G is nilpotent, solvable, etc. have been studied in various settings (see [BCPLS,CP1,CP2,L1]) Our randomized algorithm, when used a routine, easily improves complexity of some of these advanced algorithms. Before we nish,...

Cited by:   More
Computing with Matrix Groups - Kantor, Seress (2001)   (Correct)
A Note on tThe Subgroup Membership Problem for PSL(2,p) - Charles (2001)   (Correct)
Counting Complexity and Computational Group theory - Vinodchandran (1998)   (Correct)

Active bibliography (related documents):   More   All
0.9:   Reconstructing Simple Group Actions - Kantor, Penttila   (Correct)
0.8:   Computing in Quotient Groups - Kantor, Luks (1990)   (Correct)
0.6:   On the Complexity of Some Problems on Groups Input.. - Barrington, Kadau, ..   (Correct)

Similar documents based on text:   More   All
0.4:   Deterministic Algorithms for Management of Matrix Groups - Miyazaki   (Correct)
0.4:   Deterministic Algorithms For Management Of Matrix Groups - Miyazaki (2000)   (Correct)
0.3:   Some Algorithms for Nilpotent Permutation Groups - Luks, Rákóczi.. (1996)   (Correct)

Related documents from co-citation:   More   All
7:   Las Vegas Algorithms for Matrix Groups (context) - Babai, Beals
6:   Local Expansion of Vertex-Transitive Graphs and Random Generation in Finite Grou.. (context) - Babai - 1991
5:   Computation with Finitely Presented Groups (context) - Sims - 1994

BibTeX entry:   (Update)

E. M. Luks, "Computing in Solvable Matrix Groups", Proc. 33 rd IEEE FOCS (1992), pp. 111--120. http://citeseer.ist.psu.edu/luks92computing.html   More

@inproceedings{ luks92computing,
    author = "Eugene M. Luks",
    title = "Computing in Solvable Matrix Groups",
    booktitle = "{IEEE} Symposium on Foundations of Computer Science",
    pages = "111-120",
    year = "1992",
    url = "citeseer.ist.psu.edu/luks92computing.html" }
Citations (may not include all citations):
173   Trading group theory for randomness (context) - Babai - 1985
82   The Theory of Groups (context) - Hall - 1959
49   Isomorphism of graphs of bounded valence can betestedinpolyn.. (context) - Luks - 1982
39   Polynomial time algorithms for permutation groups (context) - Furst, Hopcroft et al. - 1980
24   Algorithms and Programming (context) - Schonert, Groups - 1992
23   the complexity of matrix group problems (context) - Babai, Szemer'edi - 1984
18   Permutation groups in NC (context) - Babai, Luks et al. - 1987
13   Computing in quotient groups - Kantor, Luks - 1990
13   Sylow's theorem in polynomial time (context) - Kantor - 1985
8   An introduction to the group theory language Cayley (context) - Cannon - 1984
6   Parallel algorithms for permutation groups and graph isomorp.. (context) - Luks - 1986
5   Number-theoretic algorithms (context) - Bach
5   Matrix Groups (context) - Suprunenko - 1976
4   Rockmore Deciding finiteness of matrix groups in determinist.. (context) - Babai, Beals - 1992
4   Some group-theoretic algorithms (context) - Sims - 1978
4   Isomorphism of graphs which arepairwise k-separable (context) - Miller - 1983
4   The occurrenceproblem for direct products of group (context) - Mihailova - 1966
3   Computational Problems in Abstract Algebra (context) - Leech - 1970
2   The Schreier algorithm for matrix groups (context) - Butler - 1976
2   Computing the structure of finite algebras (context) - R'onyai - 1990
2   Parallel algorithms for solvable permutation groups (context) - Luks, McKenzie - 1988
2   Sylow's theorem and parallel computation (context) - Mark - 1992
2   Computational Group Theory (context) - Atkinson - 1984
1   Apolynomial bound on the orders of primitive solvable groups (context) - P'alfy - 1982
1   Finding Sylow normalizers in polynomial time J (context) - Kantor - 1990
1   Seress Fast Monte Carlo algorithms for permutation groups (context) - Babai, Cooperman et al. - 1991



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://www.cs.uoregon.edu/~luks/):
Computing the Composition Factors of a Permutation Group in.. - Luks (1987)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC