Related papers: On balanced subgroups of the multiplicative group

A connected graph $\G$ is called {\em nicely distance--balanced}, whenever there exists a positive integer $\gamma=\gamma(\G)$, such that for any two adjacent vertices $u,v$ of $\G$ there are exactly $\gamma$ vertices of $\G$ which are…

The balanced superelliptic handlebody group is the normalizer of the transformation group of the balanced superelliptic covering space in the handlebody group of the total space. We prove that the balanced superelliptic mapping class group…

Given a graph $G$, a 2-coloring of the edges of $K_n$ is said to contain a balanced copy of $G$ if we can find a copy of $G$ such that half of its edges is in each color class. If there exists an integer $k$ such that, for $n$ sufficiently…

A finite $p$-group $G$ is said to be $d$-maximal if $d(H)<d(G)$ for every subgroup $H<G$, where $d(G)$ denotes the minimal number of generators of $G$. A similar definition can be formulated when $G$ is acted on by some group $A$. We…

Let $p\equiv 1 \pmod{4}$ be a prime. Write $t = \prod_{x=1}^{(p-1)/2}x$. Since $t ^2\equiv -1 \pmod{p}$ , we can divide $\{1,2,\ldots,(p-1)/2\}$ into $(p-1)/4$ ordered pairs so that each pair, say $<a,\tilde{a}>$ , satisfies that $t a…

We give sharp bounds in Breuillard, Green and Tao's finitary version of Gromov's theorem on groups with polynomial growth. Precisely, we show that for every non-negative integer d there exists $c=c(d)>0$ such that if $G$ is a group with…

The property of balance (in the sense of Feder and Mihail) is investigated in the context of paving matroids. The following examples are exhibited: (a) a class of ``sparse'' paving matroids that are balanced, but at the same time rich…

This summarizes our latest understanding and results about the algorithms for enumerating Tanner Graphs that have a regular structure called Balanced Tanner Graphs. Enumeration algorithms for Balanced Tanner Graphs based upon Cyclic…

Let p be an odd prime. The lattice of all normal subgroups and the terms of the lower and upper central series are determined for all metabelian p-groups with generator rank d=2 having abelianization of type (p,p) and minimal defect of…

Let $T(X)$ be the full transformation semigroup on a set $X$, and let $L(V)$ be the semigroup under composition of all linear transformations on a vector space $V$ over a field. For a subset $Y$ of $X$ and a subspace $W$ of $V$, consider…

For a finite set of points $V=\{v_1, \dots, v_m\}$ in Euclidean space $\mathbb{R}^d$ and a point $r \in \mathbb{R}^d$, a subset $S \subset V$ is called $r$-balanced if $\mathrm{relint}(\mathrm{conv}(S)) \cap r \neq \emptyset$. In the case…

A weighted digraph is balanced if the sums of the weights of the incoming and of the outgoing edges are equal at each vertex. We show that if these sums are integers, then the edge weights can be integers as well.

We study the balance of $G$-gain graphs, where $G$ is an arbitrary group, by investigating their adjacency matrices and their spectra. As a first step, we characterize switching equivalence and balance of gain graphs in terms of their…

A balanced colouring of a graph is one in which every colour appears the same number of times. Given a fixed graph $H$ on $r$ vertices and a balanced $k$-colouring of the complete graph $K_{nrk}$, Hollom (2025) asked the following question:…

Every semigroup containing an ideal subgroup is called a homogroup, and it is a grouplike if and only if it has only one central idempotent. On the other hand, a class of algebraic structures covering group-$e$-semigroups…

A finite group $G$ is called *uniformly generated*, if whenever there is a (strictly ascending) chain of subgroups $1<\langle x_1\rangle<\langle x_1,x_2\rangle <\cdots<\langle x_1,x_2,\dots,x_d\rangle=G$, then $d$ is the minimal number of…

Given a prime power $p^d$ with $p$ a prime and $d$ a positive integer, we classify the finite groups $G$ with $p^{2d}$ dividing $|G|$ in which all subgroups of order $p^d$ are complemented and the finite groups $G$ having a normal…

A balanced pattern of order $2d$ is an element $P \in \{+,-\}^{2d}$, where both signs appear $d$ times. Two sets $A,B \subset [n]$ form $P$-pattern, which we denote by $\operatorname{pat}(A,B) = P$, if $A\triangle B = \{j_1,\ldots…

Let X be an irreducible smooth projective curve defined over complex numbers, S= {p_1, p_2,...,p_n} \subset X$ a finite set of closed points and N > 1 a fixed integer. For any pair (r,d) in Z X Z/N, there exists a parabolic vector bundle…

If $G$ is a nilpotent group with a balanced presentation and $G\not\cong\mathbb{Z}^3$ then $\beta_1(G;\mathbb{Q})\leq2$ \cite{Hi22}. We show that if such a group $G$ has an abelian normal subgroup $A$ such that $G/A\cong\mathbb{Z}^2$ then…