Article contents
Unification in Varieties of Groups:Nilpotent Varieties
Published online by Cambridge University Press: 20 November 2018
Abstract
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Canadian Mathematical Society 1994
References
- 7
- Cited by