Let GF( s ) be the finite field with s elements.(Thus, when s =3, the elements of GF( s ) are 0, 1 and 2.)Let A ( r × n ), of rank r , and c i ( i =1,…, f ), ( r ×1), be matrices over GF( s ). (Thus, for n =4, r =2, f =2, we could have A =[ 1110 0121 ], c 1 =[ 1 0 ], c 2 =[ 0 2 ].) Let T i ( i =1,…, f ) be the flat in EG( n , s ) consisting of the set of all the s n − r solutions of the equations At=c i , where t ′=( t 1 ,…, t n ) is a vector of variables.(Thus, EG(4, 3) consists of the 3 4 =81 points of the form ( t 1 , t 2 , t 3 , t 4 ), where t 's take the values 0,1,2 (in GF(3)). The number of solutions of the equations At = c i is s n−r , where r =Rank( A ), and the set of such solutions is said to form an ( n − r )-flat, i.e. a flat of ( n − r ) dimensions. In our example, both T 1 and T 2 are 2-flats consisting of 3 4−2 =9 points each. The flats T 1 , T 2 ,…, T f are said to be parallel since, clearly, no two of them can have a common point. In the example, the points of T 1 are (1000), (0011), (2022), (0102), (2110), (1121), (2201), (1212) and (0220). Also, T 2 consists of (0002), (2010), (1021), (2101), (1112), (0120), (1200), (0211) and (2222).) Let T be the fractional design for a s n symmetric factorial experiment obtained by taking T 1 , T 2 ,…, T f together. (Thus, in the example, 3 4 =81 treatments of the 3 4 factorial experiment correspond one-one with the points of EG(4,3), and T will be the design (i.e. a subset of the 81 treatments) consisting of the 18 points of T 1 and T 2 enumerated above.) In this paper, we lay the foundation of the general theory of such ‘parallel’ types of designs. We define certain functions of A called the alias component matrices, and use these to partition the coefficient matrix X ( n × v ), occuring in the corresponding linear model, into components X . j ( j =0,1,…, g ), such that the information matrix X is the direct sum of the X ′. j X . j . Here, v is the total number of parameters, which consist of (possibly μ), and a (general) set of (geometric) factorial effects (each carrying ( s −1) degrees of freedom as usual). For j ≠0, we show that the spectrum of X ′. j X . j does not change if we change (in a certain important way) the usual definition of the effects. Assuming that such change has been adopted, we consider the partition of the X . j into the X ij ( i =1,…, f ). Furthermore, the X ij are in turn partitioned into smaller matrices (which we shall here call the) X ijh . We show that each X ijh can be factored into a product of 3 matrices J , ζ (not depending on i,j , and h ) and Q(j,h,i) where both the Kronecker and ordinary product are used. We introduce a ring R using the additive groups of the rational field and GF( s ), and show that the Q(j,h,i) belong to a ring isomorphic to R . When s is a prime number, we show that R is the cyclotomic field. Finally, we show that the study of the X . j and X ′. j X . j can be done in a much simpler manner, in terms of certain relatively small sized matrices over R .
Read full abstract