A group with deep pockets for all finite generating sets

We show that the discrete Heisenberg group has unbounded dead-end depth with respect to every finite generating set. We also show that, in contrast, it has bounded retreat depth.     

Representation of zero-sum invariants by sets of zero-sum sequences over a finite abelian group

Periodica Mathematica Hungarica - Let G be an additive finite abelian group. For a sequence T over G and $$gin G$$ , let $$mathrm {v}_{g}(T)$$ denote the multiplicity of g in T. Let $$mathcal...     

On existence of finite universal Korovkin sets in the centre of group algebras

In this paper, we characterize compact groupsG as well as connected central topological groupsG for which the centreZ(L ¹(G)) admits a finite universal Korovkin set. Also we prove that ifG is a non-connected central topological group which has a compact open normal subgroupK such thatG=KZ, thenZ(L ¹(G)) admits a finite universal Korovkin set if is a finite-dimensional separable metric space or equivalentlyG is separable metrizable andG/K has finite torsion-free rank.     

Minimal sets in finite rings

We describe how to calculate the (, )-minimal sets in any finite ring.     

Homogeneity in finite ordered sets

A tower in an ordered set (X, ) is defined to be a subsetS ofX which has the property that for everysS there is a maximal chainC in {xX|xs} which is wholly contained inS. An ordered set (X, ) is called tower-homogeneous if every order isomorphism between towers in (X, ) can be extended to an automorphism of (X, ). It is shown that a finite ordered set is tower-homogeneous if and only if it can be built up from singletons stepwise by constructions of three different types.     

On a convex operator for finite sets

Let S be a finite set with m elements in a real linear space and let J_S be a set of m intervals in R. We introduce a convex operator co(S,J_S) which generalizes the familiar concepts of the convex hull, , and the affine hull, , of S. We prove that each homothet of that is contained in can be obtained using this operator. A variety of convex subsets of with interesting combinatorial properties can also be obtained. For example, this operator can assign a regular dodecagon to the 4-element set consisting of the vertices and the orthocenter of an equilateral triangle. For two types of families J_S we give two different upper bounds for the number of vertices of the polytopes produced as co(S,J_S). Our motivation comes from a recent improvement of the well-known Gauss-Lucas theorem. It turns out that a particular convex set co(S,J_S) plays a central role in this improvement.     

Characterization of seminuclear sets in a finite projective plane

LetC be a set ofq + a points in the desarguesian projective plane of orderq, such that each point ofC is on exactly 1 tangent, and onea+ 1-secant (a>1). Then eitherq=a + 2 andC consists of the symmetric difference of two lines, with one further point removed from each line, orq=2a + 3 andC is projectively equivalent to the set of points {(0,1,s),(s, 0, 1),(1,s, 0): -s is not a square inGF(q)}.     

The permutation class group of a finite group

Analogously to the projective class group, the permutation class group of a finite group π can be defined as the group of equivalence classes of direct summands of integral permutation modules modulo permutation modules. It is shown that this group behaves nicely with respect to localization and completion, which then is used to prove that contrary to the projective class group - it is not always a torsion group. More precisely, the rank of the permutation class of group is computed.     

Progression-free sets in finite abelian groups

Let G be a finite abelian group. Write and denote by rk(2G) the rank of the group 2G.Extending a result of Meshulam, we prove the following. Suppose that A⊆G is free of “true” arithmetic progressions; that is, a₁+a₃=2a₂ with a₁,a₂,a₃∈A implies that a₁=a₃. Then |A|<2|G|/rk(2G). When G is of odd order this reduces to the original result of Meshulam.As a corollary, we generalize a result of Alon and show that if an integer k?2 and a real ε>0 are fixed, |2G| is large enough, and a subset A⊆G satisfies |A|?(1/k+ε)|G|, then there exists A₀⊆A such that 1?|A₀|?k and the elements of A₀ add up to zero. When G is of odd order or cyclic this reduces to the original result of Alon.     

Kakeya sets in finite affine spaces

We construct Kakeya sets in AG(n,q), where q is even and n?2, whose points are zeros of a polynomial of degree q.     

Kakeya-type sets in finite vector spaces

For a finite vector space V and a nonnegative integer r≤dim V, we estimate the smallest possible size of a subset of V, containing a translate of every r-dimensional subspace. In particular, we show that if K⊆V is the smallest subset with this property, n denotes the dimension of V, and q is the size of the underlying field, then for r bounded and r<n≤rq ^r−1, we have |V∖K|=Θ(nq ^n−r+1); this improves the previously known bounds |V∖K|=Ω(q ^n−r+1) and |V∖K|=O(n ² q ^n−r+1).     

Linear sets in finite projective spaces

In this paper linear sets of finite projective spaces are studied and the “dual” of a linear set is introduced. Also, some applications of the theory of linear sets are investigated: blocking sets in Desarguesian planes, maximum scattered linear sets, translation ovoids of the Cayley Hexagon, translation ovoids of orthogonal polar spaces and finite semifields. Besides “old” results, new ones are proven and some open questions are discussed.     

On critical sets of a finite Moore family

Cluster collections obtained within the framework of most cluster structures studied in data analysis and classification are essentially Moore families. In this paper, we propose a simple intuitive necessary and sufficient condition for some subset of objects to be a critical set of a finite Moore family. This condition is based on a new characterization of quasi-closed sets. Moreover, we provide a necessary condition for a subset containing more than k objects (k ≥ 2) to be a critical set of a k-weakly hierarchical Moore family. Finally, as a consequence of this result, we identify critical sets of some k-weakly hierarchical Moore families and thereby generalize a result earlier obtained by Domenach and Leclerc in the particular case of weak hierarchies.