English
Related papers

Related papers: Terraces for Small Groups

200 papers

A Latin square of order $n$ is an $n$ by $n$ grid filled using $n$ symbols so that each symbol appears exactly once in each row and column. A transversal in a Latin square is a collection of cells which share no symbol, row or column. The…

Combinatorics · Mathematics 2023-10-31 Richard Montgomery

Erd\"os conjectured the existence of an infinite Sidon sequence of positive integers which is also an asymptotic basis of order 3. We make progress towards this conjecture in several directions. First we prove the conjecture for all cyclic…

Number Theory · Mathematics 2013-04-25 Javier Cilleruelo

We study certain lattices constructed from finite abelian groups. We show that such a lattice is eutactic, thereby confirming a conjecture by B\"ottcher, Eisenbarth, Fukshansky, Garcia, Maharaj. Our methods also yield simpler proofs of two…

Number Theory · Mathematics 2023-05-04 Frieder Ladisch

We prove that, for all even $n\geq10$, there exists a latin square of order $n$ with at least one transversal, yet all transversals coincide on $ \big\lfloor n/6 \big\rfloor$ entries. These latin squares have at least $ 19 n^2/36 + O(n)$…

Combinatorics · Mathematics 2024-12-18 Afsane Ghafari , Ian M. Wanless

Ordering theorems, characterizing when partial orders of a group extend to total orders, are used to generate hypersequent calculi for varieties of lattice-ordered groups (l-groups). These calculi are then used to provide new proofs of…

Logic · Mathematics 2017-08-03 Almudena Colacito , George Metcalfe

In this article, we investigate the possible torsion subgroups of twists of abelian varieties with good reduction. As an application, we prove a theorem concerning ramified primes over any quadratic extension where odd-order torsion growth…

Number Theory · Mathematics 2023-11-09 Mentzelos Melistas

By a result known as Rieger's theorem (1956), there is a one-to-one correspondence, assigning to each cyclically ordered group $H$ a pair $(G,z)$ where $G$ is a totally ordered group and $z$ is an element in the center of $G$, generating a…

Logic · Mathematics 2013-11-05 Michèle Giraudet , Gérard Leloup , Francois Lucas

We construct infinitely many abelian surfaces A defined over the rational numbers such that, for a prime ell <= 7, the ell-torsion subgroup of A is not isomorphic as a Galois module to the ell-torsion subgroup of its dual. We do this by…

Number Theory · Mathematics 2025-09-18 Sarah Frei , Katrina Honigs , John Voight

Let G be an additive abelian group whose finite subgroups are all cyclic. Let A_1,...,A_n (n>1) be finite subsets of G with cardinality k>0, and let b_1,...,b_n be pairwise distinct elements of G with odd order. We show that for every…

Combinatorics · Mathematics 2016-09-07 Zhi-Wei Sun

We prove that twisted $\ell^2$-Betti numbers of locally indicable groups are equal to the usual $\ell^2$-Betti numbers rescaled by the dimension of the twisting representation; this answers a question of L\"uck for this class of groups. It…

Geometric Topology · Mathematics 2021-12-30 Dawid Kielak , Bin Sun

Our aim is to prove that if T is a complete first order theory, which is not superstable (no knowledge on this notion is required), included in a theory T_1 then for any lambda > |T_1| there are 2^lambda models of T_1 such that for any two…

Logic · Mathematics 2026-05-07 Saharon Shelah

For $d \geq 2$ and $G$ a finite abelian group, define $T_d(G)$ to be the minimum number of vertices $n$ so that there exists a simplicial complex $X$ on $n$ vertices which has the torsion part of $H_{d - 1}(X)$ isomorphic to $G$. Here we…

Algebraic Topology · Mathematics 2018-02-27 Andrew Newman

This paper shows that groups of order $64$ are uniquely determined up to isomorphism by their Tables of Marks. This then resolves a previously posed question about whether all groups of order less than $96$ are determined by their Tables of…

Group Theory · Mathematics 2018-10-12 Peter Bonart

Assuming the existence of $\mathfrak c$ incomparable selective ultrafilters, we classify the non-torsion Abelian groups of cardinality $\mathfrak c$ that admit a countably compact group topology. We show that for each $\kappa \in [\mathfrak…

General Topology · Mathematics 2021-04-26 M. K. Bellini , A. C. Boero , V. O. Rodrigues , A. H. Tomita

Regarding neighbor balance, we consider natural generalizations of $D$-complete Latin squares and Vatican squares from the finite to the infinite. We show that if $G$ is an infinite abelian group with $|G|$-many square elements, then it is…

Combinatorics · Mathematics 2018-07-24 Anthony B. Evans , Gage N. Martin , Kaethe Minden , M. A. Ollis

We report the results of a computer investigation of sets of mutually orthogonal latin squares (MOLS) of small order. For $n\le9$ we 1. Determine the number of orthogonal mates for each species of latin square of order $n$. 2. Calculate the…

Combinatorics · Mathematics 2015-12-23 Judith Egan , Ian M. Wanless

We prove the Alperin-McKay Conjecture for all $p$-blocks of finite groups with metacyclic, minimal non-abelian defect groups. These are precisely the metacyclic groups whose derived subgroup have order $p$. In the special case $p=3$, we…

Representation Theory · Mathematics 2014-03-21 Benjamin Sambale

We study numerical invariants of 2-blocks with minimal nonabelian defect groups. These groups were classified by R\'edei. If the defect group is also metacyclic, then the block invariants are known. In the remaining cases there are only two…

Representation Theory · Mathematics 2010-12-09 Benjamin Sambale

We prove that for all n>1 every latin n-dimensional cube of order 5 has transversals. We find all 123 paratopy classes of layer-latin cubes of order 5 with no transversals. For each $n\geq 3$ and $q\geq 3$ we construct a (2q-2)-layer latin…

Combinatorics · Mathematics 2025-12-01 A. L. Perezhogin , V. N. Potapov , S. Yu. Vladimirov

The Serre conjecture II predicts that every torsor under a semisimple, simply connected, algebraic group over a field of cohomological dimension at most 2 and of degree of imperfection at most 1 has a rational point. We generalize this…

Number Theory · Mathematics 2026-03-10 Mac Nam Trung Nguyen