Latin directed triple systems (Q658105): Difference between revisions
From MaRDI portal
Changed an Item |
Set OpenAlex properties. |
||
(3 intermediate revisions by 2 users not shown) | |||
Property / describes a project that uses | |||
Property / describes a project that uses: MiniSat / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: Prover9 / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.disc.2011.04.025 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2165110300 / rank | |||
Normal rank |
Revision as of 22:09, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Latin directed triple systems |
scientific article |
Statements
Latin directed triple systems (English)
0 references
11 January 2012
0 references
A Steiner triple system, a \(STS\), (a Mendelsohn triple system, a \(MTS\), a directed triple system, a \(DTS\)) is a pair \((V,\mathcal{B})\) where \(B\) is a set of points and \(\mathcal{B}\) is a collection of triples (cyclically oriented triples, transitively oriented triples) of distinct points from \(V\) so that each pair (ordered pair) of points from \(V\) occurs in exactly one triple in \(\mathcal{B}\). Define an operation \(\cdot \) on \(V\) by \(x\cdot x=x\) and \(x\cdot y=z\) if \(z\) is the third point in the triple in \( \mathcal{B}\) containing the pair \(\{x,y\}\) (ordered pair \((x,y)\)). It is well-known that \((V,\cdot )\) is a quasigroup if \((V,\mathcal{B})\) is a \(STS\) system or a \(MTS\), but this does not have to be true in general for a \( DTS\). The authors initiate the study of directed triple systems for which \( (V,\cdot )\) forms a quasigroup.
0 references
Steiner triple system
0 references
directed triple system
0 references
quasigroup
0 references
loop
0 references