The concept of dominion (in the sense of Isbell) is investigated in the context of categories of groups, and their basic properties are established. They are then studied in the variety of metabelian groups. It is shown that the dominion of a subgroup in the variety of metabelian groups may be strictly larger than the subgroup itself. Section

This paper proposes a design for a system to generate constraint solvers that are specialised for specific problem models. It describes the design in detail and gives preliminary experimental results showing the feasibility and effectiveness of the approach.

titlan in the Valley of Mexico, that Aztec city was the capital of a far-flung tributary empire. The emperor Motecuhzoma sat atop a complex social and political hierarchy, and the Aztec populace owed allegiance and tribute to nobles at several levels. Below the emperor were the kings of subject city-states. The Aztec dominion employed a policy of indirect rule, and imperial authorities supporte...

In the first part, we prove that the dominion (in the sense of Isbell) of a subgroup of a finitely generated nilpotent group is trivial in the category of all nilpotent groups. In the second part, we show that the dominion of a subgroup of a finitely generated nilpotent group of class two is trivial in the category of all metabelian nilpotent groups. Section