Some remarks on the construction of cyclic Steiner quadruple systems (Q1080852): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q3897062 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5181698 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some Recent Results on Cyclic Steiner Quadruple Systems - A Survey / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Quadruple Systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Zyklische Quadrupelsysteme / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3712344 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Steiner quadruple systems - a survey / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Infinite Classes of Cyclic Steiner Quadruple Systems / rank | |||
Normal rank |
Latest revision as of 15:03, 17 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Some remarks on the construction of cyclic Steiner quadruple systems |
scientific article |
Statements
Some remarks on the construction of cyclic Steiner quadruple systems (English)
0 references
1987
0 references
Steiner Quadruple Systems SQS(v) with parameter v are considered where the automorphism group contains a cyclic subgroup \(C_ v\) of order v so that the orbits of \(C_ v\) are of equal length v (strictly cyclic SQS(v)'s). In a natural way we can define a graph GS(v) the vertices of which being certain difference triples and two difference triples form an edge if they are contained in a certain difference quadruple. If this graph has a 1-factor then a strictly cyclic SQS(v) exists. Now GS(v) splits essentially up into two components \(GS_ 1(v)\), \(GS_ 2(v)\). We show that \(GS_ 1(v)\) has always as 1-factor. In order to determine a 1- factor of \(GS_ 2(v)\) we make a detailed analysis of how the unit group \(E(2p^{\alpha}) mod 2p^{\alpha},\) p prime number \(\equiv 1\) or 5 (12), operates as an automorphism group on the graph \(GS_ 2(2p^{\alpha})\) and consider an embedding process to generate an ascending series of subgraphs of \(GS_ 2(2p^{\alpha})\) which reaches \(GS_ 2(2p^{\alpha})\). By means of this devise we obtain a Lemma on the number of length of the orbits of a certain subgroup of \(E(2p^{\alpha})\). This allows us to determine a 1-factor of a certain subgraph ḠS\({}_ 2(2\cdot 5^{\alpha})\) which occurs in the decomposition of \(GS_ 2(2\cdot 5^{\alpha})\). Then we use induction to establish that \(GS_ 2(2\cdot 5^{\alpha})\) has a 1-factor, so constructing an infinite series of strictly \(SQS(2\cdot 5^{\alpha})\). Further SQS(v) are explicitly listed.
0 references
graph
0 references
Steiner quadruple systems
0 references
SQS
0 references
automorphism group
0 references
difference triples
0 references
difference quadruple
0 references
1-factor
0 references
cyclic SQS
0 references