English

Midconvex sets in Abelian groups

Group Theory 2023-05-23 v1

Abstract

A subset XX of an Abelian group GG is called midconvexmidconvex if for every x,yXx,y\in X the set x+y2={zG:2z=x+y}\frac{x+y}2=\{z\in G:2z=x+y\} is a subset of XX. We prove that a subset XX of an Abelian group GG is midconvex if and only if for every gGg\in G and xXx\in X, the set {nZ:x+ngX}\{n\in\mathbb Z:x+ng\in X\} is equal to CHC\cap H for some order-convex set CZC\subseteq \mathbb Z and some subgroup HZH\subseteq \mathbb Z such that the quotient group Z/H\mathbb Z/H has no elements of even order. This characterization implies that a subset XX of a periodic Abelian group GG is midconvex if and only if for every xXx\in X the set XxX-x is a subgroup of GG such that every element of the quotient group G/(Xx)G/(X-x) has odd order. Also we prove that a nonempty set XX in a subgroup GQG\subseteq\mathbb Q is midconvex if and only if X=C(H+x)X=C\cap(H+x) for some order-convex set CQC\subseteq\mathbb Q, some xXx\in X and some subgroup HH of GG such that the quotient group G/HG/H contains no elements of even order.

Keywords

Cite

@article{arxiv.2305.12128,
  title  = {Midconvex sets in Abelian groups},
  author = {Iryna Banakh and Taras Banakh and Maria Kolinko and Alex Ravsky},
  journal= {arXiv preprint arXiv:2305.12128},
  year   = {2023}
}

Comments

4 pages

R2 v1 2026-06-28T10:39:56.053Z