Verify that the following three steps construct a Steiner...

Verify that the following three steps construct a Steiner triple system of index 1 with 13 varieties (we begin with $Z_{13}$ ). (1) Each of the integers $1,3,4,9,10,12$ occurs exactly once as a difference of two integers in $B_{1}=\{0,1,4\}$. (2) Each of the integers $2,5,6,7,8,11$ occurs exactly once as a difference of two integers in $B_{2}=\{0,2,7\}$. (3) The 12 blocks developed from $B_{1}$ together with the 12 blocks developed from $B_{2}$ are the blocks of a Steiner triple system of index 1 with 13 varieties.

Verify that the following three steps construct a Steiner triple system of index 1 with 13 varieties (we begin with $Z_{13}$ ).
(1) Each of the integers $1,3,4,9,10,12$ occurs exactly once as a difference of two integers in $B_{1}=\{0,1,4\}$.
(2) Each of the integers $2,5,6,7,8,11$ occurs exactly once as a difference of two integers in $B_{2}=\{0,2,7\}$.
(3) The 12 blocks developed from $B_{1}$ together with the 12 blocks developed from $B_{2}$ are the blocks of a Steiner triple system of index 1 with 13 varieties.

Key Concepts

Steiner Triple System

A Steiner triple system is a type of combinatorial design where a set of elements is arranged into subsets (called blocks) of size three such that every pair of distinct elements appears in exactly one block. This condition, known as index 1, ensures a uniform and balanced coverage of all pairwise interactions within the system.

Cyclic Group and Modular Arithmetic

Cyclic groups, especially groups of integers modulo n (denoted as Z?), form the foundation for many combinatorial constructions. In these groups, the structure is simple and symmetric because every element can be generated by repeatedly adding a fixed element. Modular arithmetic ensures that the group properties hold under addition modulo n, which is useful for constructing and analyzing designs with a cyclic structure.

Difference Method in Design Construction

The difference method is a technique used in constructing combinatorial designs, particularly Steiner triple systems, by choosing a base block and considering the set of differences between its elements. When these differences cover all required residues in the group, it guarantees that, by translating the block across the group (via modular addition), every pair of elements in the overall set appears in exactly one block.

Development of Blocks

Block development is the process of generating an entire set of blocks in a design by taking a base block and applying the group operation (such as addition modulo n) to each element of the block. This method leverages the symmetry of the group, ensuring that the design is both uniform and complete. It is crucial for extending a local configuration (the base block) to the global structure of the design.

Transcript

00:01 In this problem, we are given three equations and given two separate order triples and asked to plug those order triples into the equations to see if those order triples are solutions for the system of equations.

00:16 Now, if the order triple generates consistent solutions for all three equations, meaning that the left side matches the right side, then the order triple is a solution.

00:27 However, if it doesn't generate a consistent solution for even one of the equations, it is not a solution.

00:33 Now we can think of this problem as having a part a with one order triple and having a part b with the second order triple.

00:42 And so the way we're going to we are going to go about solving it is by plugging the x, y, and z values in the order triple into the x and y and z's in all of the equations to see if the left side matches the right side.

00:57 And so for the first one we plug in zero for x to get zero plus y.

01:01 So we get plus 3 minus 2 times the 2 value for z and seeing what that equals.

01:13 Now 3 minus 2 times 2, which is 4, so that's 3 minus 4.

01:22 Now that is equal to negative 1.

01:27 And as we can see above right here, the right side of the equation also equals negative 1, which means that the less side matches the right side, and so so that equation is all set.

01:42 And so now we're going to move on to the second equation.

01:47 We get 4 times the x value of 0, which is just 0, minus y, which is 3, plus 3 for z, times the z value, which in this case, is 2.

02:03 And so we're going to get negative 3 plus 3 times 2, which is 6.

02:10 And so we're going to get negative 3 plus 6, and that equals 3.

02:14 As we can see above, right here, the right side also equals 3, so that one's all set.

02:21 And now we're going to plug them into the third equation.

02:25 The x value again is 0, so 3 times 0 is just 0.

02:29 And then we're going to get 2 times the y value of 3, and then minus the z value of 2...