Geodesic
Unification in Varieties of Groups:Nilpotent Varieties
Canadian journal of mathematics, Tome 46 (1994) no. 6, pp. 1135-1149

Voir la notice de l'article provenant de la source Cambridge University Press

In this paper we show that any system of equations over a free nilpotent group of class c is either unitary or miliary. In fact, such a system either has a most general solution (akin to the most general solution of a system of linear dipohantine equations), or every solution has a proper generalization. In principle we provide an algorithm for determining whether or not a most general solution exists, and exhibiting it if it does.
DOI : 10.4153/CJM-1994-064-8
Mots-clés : 20F18, 20E10, 68Q40 
Albert, Michael H.; Lawrence, John. Unification in Varieties of Groups:Nilpotent Varieties. Canadian journal of mathematics, Tome 46 (1994) no. 6, pp. 1135-1149. doi: 10.4153/CJM-1994-064-8
@article{10_4153_CJM_1994_064_8,
     author = {Albert, Michael H. and Lawrence, John},
     title = {Unification in {Varieties} of {Groups:Nilpotent} {Varieties}},
     journal = {Canadian journal of mathematics},
     pages = {1135--1149},
     year = {1994},
     volume = {46},
     number = {6},
     doi = {10.4153/CJM-1994-064-8},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CJM-1994-064-8/}
}
TY  - JOUR
AU  - Albert, Michael H.
AU  - Lawrence, John
TI  - Unification in Varieties of Groups:Nilpotent Varieties
JO  - Canadian journal of mathematics
PY  - 1994
SP  - 1135
EP  - 1149
VL  - 46
IS  - 6
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CJM-1994-064-8/
DO  - 10.4153/CJM-1994-064-8
ID  - 10_4153_CJM_1994_064_8
ER  - 
%0 Journal Article
%A Albert, Michael H.
%A Lawrence, John
%T Unification in Varieties of Groups:Nilpotent Varieties
%J Canadian journal of mathematics
%D 1994
%P 1135-1149
%V 46
%N 6
%U http://geodesic.mathdoc.fr/articles/10.4153/CJM-1994-064-8/
%R 10.4153/CJM-1994-064-8
%F 10_4153_CJM_1994_064_8

[1] 1. Burke, E. K., The undecidability of the unification problem for nilpotent groups of class > 5, J. London Math. Soc, to appear. +5,+J.+London+Math.+Soc,+to+appear.>Google Scholar

[2] 2. Chou, T. J. and Collins, G. E., Algorithms for the solution of systems of linear diophantine equations, SIAM J. Comput. 11(1982), 687–708. Google Scholar

[3] 3. Iliopoulos, Costas S., Worst-case complexity bounds on algorithms for computing the canonical structure of infinite abelian groups and solving systems of linear diophantine equations, SIAM J. Comput. 18(1989), 658–669. Google Scholar

[4] 4. Lawrence, J., The definability of the commutator subgroup in a variety generated by a finite group, Canad. Math. Bull. 28(1985), 505–507. Google Scholar

[5] 5. Lyndon, Roger C. and Schupp, Paul E., Combinatorial Group Theory, Springer Verlag, Berlin, Heidelberg, New York, 1977. Google Scholar

[6] 6. Neumann, H., Varieties of groups, Springer Verlag, Berlin, Heidelberg, New York, 1967. Google Scholar

[7] 7. Repin, N. N., Some simply presented groups for which an algorithm recognizing solvability of equations is impossible (Russian), Voprosy Kibernet. (Moscow) 134(1988), 167–175. Google Scholar

[8] 8. Roman‚kov, V. A., Unsolv ability of the endomorphic reducibility problem in free nilpotent groups and in free rings, Algebra and Logic 16(1977), 310–320. Google Scholar

[9] 9. Truss, J. K., Equation solving in free nilpotent groups of class 2 and 3, University of Leeds preprint series 24,1992. Google Scholar

Cité par Sources :