scholarly journals Atomic Latin Squares based on Cyclotomic Orthomorphisms

10.37236/1919 ◽  
2005 ◽  
Vol 12 (1) ◽  
Author(s):  
Ian M. Wanless
Keyword(s):  
Finite Fields ◽  
Complete Graph ◽  
Prime Order ◽  
Automorphism Groups ◽  
Latin Square ◽  
Latin Squares ◽  
Established Method ◽  
Cyclic Groups ◽  
Complete Bipartite Graphs ◽  
First Time

Atomic latin squares have indivisible structure which mimics that of the cyclic groups of prime order. They are related to perfect $1$-factorisations of complete bipartite graphs. Only one example of an atomic latin square of a composite order (namely 27) was previously known. We show that this one example can be generated by an established method of constructing latin squares using cyclotomic orthomorphisms in finite fields. The same method is used in this paper to construct atomic latin squares of composite orders 25, 49, 121, 125, 289, 361, 625, 841, 1369, 1849, 2809, 4489, 24649 and 39601. It is also used to construct many new atomic latin squares of prime order and perfect $1$-factorisations of the complete graph $K_{q+1}$ for many prime powers $q$. As a result, existence of such a factorisation is shown for the first time for $q$ in $\big\{$529, 2809, 4489, 6889, 11449, 11881, 15625, 22201, 24389, 24649, 26569, 29929, 32041, 38809, 44521, 50653, 51529, 52441, 63001, 72361, 76729, 78125, 79507, 103823, 148877, 161051, 205379, 226981, 300763, 357911, 371293, 493039, 571787$\big\}$. We show that latin squares built by the 'orthomorphism method' have large automorphism groups and we discuss conditions under which different orthomorphisms produce isomorphic latin squares. We also introduce an invariant called the train of a latin square, which proves to be useful for distinguishing non-isomorphic examples.

scholarly journals Latin squares with highly transitive automorphism groups

1982 ◽  
Vol 33 (1) ◽  
pp. 18-22 ◽  
Author(s):  
R. A. Bailey
Keyword(s):  
Automorphism Group ◽  
Automorphism Groups ◽  
Latin Square ◽  
Latin Squares ◽  
Transitive Automorphism ◽  
Block System ◽  
Composition Table

AbstractA Latin square is considered to be a set of n2 cells with three block systems. An automorphisni is a permutation of the cells which preserves each block system. The automorphism group of a Latin Square necessarily has at least 4 orbits on unordered pairs of cells if n < 2. It is shown that there are exactly 4 orbits if and only if the square is the composition table of an elementary abelian 2-group or the cclic group of order 3.

scholarly journals Diagonal groups and arcs over groups

2021 ◽  
Author(s):  
R. A. Bailey ◽  
Peter J. Cameron ◽  
Michael Kinyon ◽  
Cheryl E. Praeger
Keyword(s):  
Fixed Point ◽  
Prime Order ◽  
Abelian Groups ◽  
Latin Square ◽  
Latin Squares ◽  
Minimal Elements ◽  
Mutually Orthogonal Latin Squares ◽  
Dimensional Projective Space ◽  
Cayley Tables ◽  
Base Group

AbstractIn an earlier paper by three of the present authors and Csaba Schneider, it was shown that, for $$m\ge 2$$ m ≥ 2 , a set of $$m+1$$ m + 1 partitions of a set $$\Omega $$ Ω , any m of which are the minimal non-trivial elements of a Cartesian lattice, either form a Latin square (if $$m=2$$ m = 2 ), or generate a join-semilattice of dimension m associated with a diagonal group over a base group G. In this paper we investigate what happens if we have $$m+r$$ m + r partitions with $$r\ge 2$$ r ≥ 2 , any m of which are minimal elements of a Cartesian lattice. If $$m=2$$ m = 2 , this is just a set of mutually orthogonal Latin squares. We consider the case where all these squares are isotopic to Cayley tables of groups, and give an example to show the groups need not be all isomorphic. For $$m>2$$ m > 2 , things are more restricted. Any $$m+1$$ m + 1 of the partitions generate a join-semilattice admitting a diagonal group over a group G. It may be that the groups are all isomorphic, though we cannot prove this. Under an extra hypothesis, we show that G must be abelian and must have three fixed-point-free automorphisms whose product is the identity. (We describe explicitly all abelian groups having such automorphisms.) Under this hypothesis, the structure gives an orthogonal array, and conversely in some cases. If the group is cyclic of prime order p, then the structure corresponds exactly to an arc of cardinality $$m+r$$ m + r in the $$(m-1)$$ ( m - 1 ) -dimensional projective space over the field with p elements, so all known results about arcs are applicable. More generally, arcs over a finite field of order q give examples where G is the elementary abelian group of order q. These examples can be lifted to non-elementary abelian groups using p-adic techniques.

scholarly journals On Extensions of the Alon-Tarsi Latin Square Conjecture

10.37236/2269 ◽  
2012 ◽  
Vol 19 (4) ◽  
Author(s):  
Daniel Kotlar
Keyword(s):  
Prime Order ◽  
Latin Square ◽  
Latin Squares ◽  
Alternative Proof ◽  
Odd Dimensions

Expressions involving the product of the permanent with the $(n-1)^{st}$ power of the determinant of a matrix of indeterminates, and of (0,1)-matrices, are shown to be related to an extension to odd dimensions of the Alon-Tarsi Latin Square Conjecture, first stated by Zappa. These yield an alternative proof of a theorem of Drisko, stating that the extended conjecture holds for Latin squares of odd prime order. An identity involving an alternating sum of permanents of (0,1)-matrices is obtained.

scholarly journals The Spectrum of Group-Based Complete Latin Squares

10.37236/8542 ◽  
2019 ◽  
Vol 26 (3) ◽  
Author(s):  
M. A. Ollis ◽  
Christopher R. Tripp
Keyword(s):  
Abelian Group ◽  
Direct Product ◽  
Cyclic Group ◽  
Prime Order ◽  
Latin Square ◽  
Latin Squares ◽  
Spectrum Of Group ◽  
Odd Order

We construct sequencings for many groups that are a semi-direct product of an odd-order abelian group and a cyclic group of odd prime order.  It follows from these constructions that there is a group-based complete Latin square of order $n$ if and only if $n \in \{ 1,2,4\}$ or there is a non-abelian group of order $n$.

scholarly journals A Discussion of a Cryptographical Scheme Based in F-Critical Sets of a Latin Square

Mathematics ◽  
2021 ◽  
Vol 9 (3) ◽  
pp. 285
Author(s):  
Laura M. Johnson ◽  
Stephanie Perkins
Keyword(s):  
Necessary Conditions ◽  
Latin Square ◽  
Latin Squares ◽  
Critical Sets ◽  
Long Cycles ◽  
The Given

This communication provides a discussion of a scheme originally proposed by Falcón in a paper entitled “Latin squares associated to principal autotopisms of long cycles. Applications in cryptography”. Falcón outlines the protocol for a cryptographical scheme that uses the F-critical sets associated with a particular Latin square to generate access levels for participants of the scheme. Accompanying the scheme is an example, which applies the protocol to a particular Latin square of order six. Exploration of the example itself, revealed some interesting observations about both the structure of the Latin square itself and the autotopisms associated with the Latin square. These observations give rise to necessary conditions for the generation of the F-critical sets associated with certain autotopisms of the given Latin square. The communication culminates with a table which outlines the various access levels for the given Latin square in accordance with the scheme detailed by Falcón.

scholarly journals Serre’s Property (FA) for automorphism groups of free products

2020 ◽  
Vol 0 (0) ◽  
Author(s):  
Naomi Andrew
Keyword(s):  
Automorphism Group ◽  
Free Product ◽  
Finite Groups ◽  
Automorphism Groups ◽  
Sufficient Conditions ◽  
Free Products ◽  
Cyclic Groups ◽  
Link Type ◽  
Open Case

AbstractWe provide some necessary and some sufficient conditions for the automorphism group of a free product of (freely indecomposable, not infinite cyclic) groups to have Property (FA). The additional sufficient conditions are all met by finite groups, and so this case is fully characterised. Therefore, this paper generalises the work of N. Leder [Serre’s Property FA for automorphism groups of free products, preprint (2018), https://arxiv.org/abs/1810.06287v1]. for finite cyclic groups, as well as resolving the open case of that paper.

scholarly journals Construction of elliptic curves with cyclic groups over prime fields

2006 ◽  
Vol 73 (2) ◽  
pp. 245-254 ◽  
Author(s):  
Naoya Nakazawa
Keyword(s):  
Elliptic Curves ◽  
Finite Fields ◽  
Function Field ◽  
Modular Group ◽  
Modular Function ◽  
Invariant Function ◽  
Rational Points ◽  
Modular Invariant ◽  
Cyclic Groups ◽  
Prime Fields

The purpose of this article is to construct families of elliptic curves E over finite fields F so that the groups of F-rational points of E are cyclic, by using a representation of the modular invariant function by a generator of a modular function field associated with the modular group Γ0(N), where N = 5, 7 or 13.

Pairs of Latin Squares to Counterbalance Sequential Effects and Pairing of Conditions and Stimuli

1989 ◽  
Vol 33 (18) ◽  
pp. 1223-1227 ◽  
Author(s):  
James R. Lewis
Keyword(s):  
Human Factors ◽  
Repeated Measures ◽  
Random Sequence ◽  
Latin Square ◽  
Latin Squares ◽  
Sequential Effects ◽  
Long Run ◽  
Within Subjects ◽  
Human Factors Research

This paper discusses methods with which one can simultaneously counterbalance immediate sequential effects and pairing of conditions and stimuli in a within-subjects design using pairs of Latin squares. Within-subjects (repeated measures) experiments are common in human factors research. The designer of such an experiment must develop a scheme to ensure that the conditions and stimuli are not confounded, or randomly order stimuli and conditions. While randomization ensures balance in the long run, it is possible that a specific random sequence may not be acceptable. An alternative to randomization is to use Latin squares. The usual Latin square design ensures that each condition appears an equal number of times in each column of the square. Latin squares have been described which have the effect of counterbalancing immediate sequential effects. The objective of this work was to extend these earlier efforts by developing procedures for designing pairs of Latin squares which ensure complete counterbalancing of immediate sequential effects for both conditions and stimuli, and also ensure that conditions and stimuli are paired in the squares an equal number of times.

Complete Diagonals of Latin Squares

1979 ◽  
Vol 22 (4) ◽  
pp. 477-481 ◽  
Author(s):  
Gerard J. Chang
Keyword(s):  
Latin Square ◽  
Latin Squares ◽  
Special Case

AbstractJ. Marica and J. Schönhein [4], using a theorem of M. Hall, Jr. [3], see below, proved that if any n − 1 arbitrarily chosen elements of the diagonal of an n × n array are prescribed, it is possible to complete the array to form an n × n latin square. This result answers affirmatively a special case of a conjecture of T. Evans [2], to the effect that an n × n incomplete latin square with at most n − 1 places occupied can be completed to an n × n latin square. When the complete diagonal is prescribed, it is easy to see that a counterexample is provided by the case that one letter appears n − 1 times on the diagonal and a second letter appears once. In the present paper, we prove that except in this case the completion to a full latin square is always possible. Completion to a symmetric latin square is also discussed.

A Partial Generalization of Mann's Theorem Concerning Orthogonal Latin Squares

1988 ◽  
Vol 31 (4) ◽  
pp. 409-413 ◽  
Author(s):  
E. T. Parker ◽  
Lawrence Somer
Keyword(s):  
Latin Square ◽  
Latin Squares ◽  
Necessary Condition ◽  
Orthogonal Latin Squares ◽  
Mutually Orthogonal Latin Squares ◽  
Complete Set

AbstractLetn = 4t+- 2, where the integert ≧ 2. A necessary condition is given for a particular Latin squareLof ordernto have a complete set ofn — 2mutually orthogonal Latin squares, each orthogonal toL.This condition extends constraints due to Mann concerning the existence of a Latin square orthogonal to a given Latin square.

Sign in / Sign up

Export Citation Format

Share Document