This is the first in a series of three papers in which we investigate a special class of designs that we designate as “Moore-Greig Designs”. The sobriquet is associated with the fact that ideas gleaned from two constructions, one due to E. H. Moore (1896) and the other due to M. Greig (2003), are combined to produce designs that have remarkable properties and features. A Moore-Greig Design is an RBIBD that contains, simultaneously, nested RBIBDs, nested GWhDs, many GWhDs, frames, nested frames, GWhFrames, nested GWhFrames, GWhaFrames, RRDFs, and nested RRDFs. All of these designs are Z-cyclic.
To be more precise, let
Other than a single published example, there is no literature pertaining to GWhDs. Therefore, the infinite classes of GWhDs constructed from the Moore-Greig Designs are the first general results related to this type of design. It is also believed that many of the other designs contained within the infinite classes of Moore-Greig designs are new.
In this paper, Part I, we provide detailed descriptions of both the Moore construction and the Greig construction. In the case of the Moore construction, we supply proofs since such proofs are lacking in Moore’s paper. Also included in this paper is a description of Moore-Greig Designs corresponding to
1970-2025 CP (Manitoba, Canada) unless otherwise stated.