Related papers: Midconvex sets in Abelian groups

A subset A of a semigroup S is called a medial subset of S if xaby is in A if and only if xbay is in A for every elements x, y, a, b of S. In the paper we show how we can construct the commutative monoid congruences of a semigroup S by the…

A non-trivial element of a group is a generalized torsion element if some products of its conjugates is the identity. The minimum number of such conjugates is called a generalized torsion order. We provide several restrictions for…

A lattice-ordered group (an $\ell$-group) $G(\oplus, \vee, \wedge)$ can be naturally viewed as a semiring $G(\vee,\oplus)$. We give a full classification of (abelian) $\ell$-groups which are finitely generated as semirings, by first showing…

For a group $G$, N-series $\cal G$ of $G$ and commutative ring $R$ let $I^n_{R,\cal G}(G)$, $n\ge 0$, denote the filtration of the group algebra $R(G)$ induced by $\cal G$, and $I_R(G)$ its augmentation ideal. For subgroups $H$ of $G$, left…

In a recent paper of the first author and I. M. Isaacs it was shown that if m = m(G) is the maximal order of an abelian subgroup of the finite group G, then |G| divides m! ([AI18, Thm. 5.2]). The purpose of this brief note is to improve on…

A group element is called generalized torsion if a finite product of its conjugates is equal to the identity. We show that in a finitely generated abelian-by-finite group, an element is generalized torsion if and only if its image in the…

Let $G$ be a finite group and $f:G \to {\mathbb C}$ be a function. For a non-empty finite subset $Y\subset G$, let $I_Y(f)$ denote the average of $f$ over $Y$. Then, $I_G(f)$ is the average of $f$ over $G$. Using the decomposition of $f$…

A finite group $G$ is called a Schur group if any Schur ring over $G$ is associated in a natural way with a subgroup of $Sym(G)$ that contains all right translations. It is proved that the group $C_3\times C_3\times C_p$ is Schur for any…

A subgroup H of G=(Z/dZ)^* is called balanced if every coset of H is evenly distributed between the lower and upper halves of G, i.e., has equal numbers of elements with representatives in (0,d/2) and (d/2,d). This notion has applications…

Let G be an arbitrary finite group and let S and T be two subsets such that |S|>1, |T|>1, and |TS|< |T|+|S|< |G|-1. We show that if |S|< |G|-4|G|^{1/2}+1 then either S is a geometric progression or there exists a non-trivial subgroup H such…

In the study of the local dynamics of a germ of diffeomorphism fixing the origin in C, an important problem is to determine the centralizer of the germ in the group Diff(C,0) of germs of diffeomorphisms fixing the origin. When the germ is…

Let A, B and S be three subsets of a finite Abelian group G. The restricted sumset of A and B with respect to S is defined as A\wedge^{S} B= {a+b: a in A, b in B and a-b not in S}. Let L_S=max_{z in G}| {(x,y): x,y in G, x+y=z and x-y in…

Following Isaacs (see [Isa08, p. 94]), we call a normal subgroup N of a finite group G large, if $C_G(N) \leq N$, so that N has bounded index in G. Our principal aim here is to establish some general results for systematically producing…

A topological group $(G,\mu)$ from a class $\mathcal G$ of MAP topological abelian groups will be called a {\it Mackey group} in $\mathcal G$ if it has the following property: if $\nu$ is a group topology in $G$ such that $(G,\nu)\in…

In this paper, we characterize finite group $G$ with unique proper non-abelian element centralizer. This improves \cite[Theorem 1.1]{nab}. Among other results, we have proved that if $C(a)$ is the proper non-abelian element centralizer of…

Let $ A$ be a subset of group $G_0$ with $|{A^{-1}A}|\le 2|A|-2.$ We show that there are an element $a\in A$ and a non-null proper subgroup $H$ of $G$ such that one of the following holds: \begin{itemize} \item $x^{-1}Hy \subset A^{-1}A,$…

Let $X$ be a finite set such that $|X|=n$ and let $i\leq j \leq n$. A group $G\leq \sym$ is said to be $(i,j)$-homogeneous if for every $I,J\subseteq X$, such that $|I|=i$ and $|J|=j$, there exists $g\in G$ such that $Ig\subseteq J$.…

Let $G$ be a finite, non-trivial abelian group of exponent $m$, and suppose that $B_1, ..., B_k$ are generating subsets of $G$. We prove that if $k>2m \ln \log_2 |G|$, then the multiset union $B_1\cup...\cup B_k$ forms an additive basis of…

A group $G$ is said to have restricted centralizers if for every $x\in G$ the centralizer $C_G(x)$ either is finite or has finite index in $G$. Shalev showed that a profinite group with restricted centralizers is virtually abelian. Here we…

A finite group $G$ is called a Schur group, if any Schur ring over $G$ is the transitivity module of a point stabilizer in a subgroup of $\sym(G)$ that contains all right translations. We complete a classification of abelian $2$-groups by…