相关论文: Rewriting the check of 8-rewritability for $A_5$

A 2-covering for a finite group $G$ is a set of proper subgroups of $G$ such that every pair of elements of $G$ is contained in at least one subgroup in the set. The minimal number of subgroups needed to 2-cover a group $G$ is called the…

With every nontrivial connected algebraic group $G$ we associate a positive integer ${\rm gtd}(G)$ called the generic transitivity degree of $G$ and equal to the maximal $n$ such that there is a nontrivial action of $G$ on an irreducible…

Let $n\ge 5$ be an odd integer. It is shown that $\{1^{\sigma(1)},\ldots,n^{\sigma(n)}\}$ is a complete residue system modulo $n$ for some permutation $\sigma$ of $\{1,\ldots,n\}$ if and only if $\frac{1}{2}(n-1)$ is a Sophie Germain prime.…

Let $H$ be a subgroup of $\text{Sym}_n$, the symmetric group of degree $n$. For a fixed integer $l \geq 2$, the group $G$ presented with generators $x_1, x_2, \ldots ,x_n$ and with relations $x_{i_1}x_{i_2}\cdots x_{i_l} =x_{\sigma (i_1)}…

Given a finite group $G$, we denote by $\nu(G)$ the probability that two randomly chosen elements of $G$ generate a nilpotent subgroup. We prove that if $\nu(G)>1/12,$ then $G$ is solvable.

Two $G$-sets ($G$ a finite group) are called linearly equivalent over a commutative ring $k$ if the permutation representations $k[X]$ and $k[Y]$ are isomorphic as modules over the group algebra $kG$. Pairs of linearly equivalent…

Let $A$ be a rational function of degree $n\geq 2$. Let us denote by $ G(A)$ the group of M\"obius transformations $\sigma$ such that $ A\circ \sigma=\nu_{\sigma} \circ A$ for some M\"obius transformations $\nu_{\sigma}$, and by $\Sigma(A)$…

An involution of a real commutative algebra $A$ is a real-linear homomorphism $f : A \rightarrow A$ such that $f^2 = \mathrm{Id}$. We show that there are six involutions of the algebra of bicomplex numbers, contrary to the actual number of…

A set of permutations is called sign-balanced if the set contains the same number of even permutations as odd permutations. Let $S_n(\sigma_1, \sigma_2, \ldots, \sigma_r)$ be the set of permutations in the symmetric group $S_n$ which avoids…

Gronwall's function $G$ is defined for $n>1$ by $G(n)=\frac{\sigma(n)}{n \log\log n}$ where $\sigma(n)$ is the sum of the divisors of $n$. We call an integer $N>1$ a \emph{GA1 number} if $N$ is composite and $G(N) \ge G(N/p)$ for all prime…

A topological space is reversible if each continuous bijection of it onto itself is open. We introduce an analogue of this notion in the category of topological groups: A topological group G is g-reversible if every continuous automorphism…

Let G be a finite group. Denote by \psi(G) the sum \psi(G)=\sum_{x\in G}|x| where |x| denotes the order of the element x, and by o(G) the quotient o(G)=\frac{\psi(G)}{|G|}. Confirming a conjecture posed by E.I. Khukhro, A. Moreto and M.…

Let $o(G)$ be the average order of a finite group $G$. M. Herzog, P. Longobardi and M. Maj \cite{7} showed that if $G$ is non-solvable and $o(G)=o(A_5)$, then $G\cong A_5$. In this note, we prove that the equality $o(G)=o(A_5)$ does not…

The circular peak set of a permutation $\sigma$ is the set $\{\sigma(i)\mid \sigma(i-1)<\sigma(i)>\sigma(i+1)\}$. In this paper, we focus on the enumeration problems for permutations by circular peak sets. Let $cp_n(S)$ denote the number of…

A group $G$ is invariably generated if there exists a subset $S \subseteq G$ such that, for every choice $g_s \in G$ for $s \in S$, the group $G$ is generated by $\{ s^{g_s} \mid s \in S \}$. In [GGJ16] Gelander, Golan and Juschenko showed…

Any pentagonal quasigroup is proved to have the product xy = R(x)+y-R(y) where (Q,+) is an Abelian group, R is its regular automorphism satisfying R^4-R^3+R^2-R+1 = 0 and 1 is the identity mapping. All abelian groups of order n<100 inducing…

For n>1, let G(n)=\sigma(n)/(n log log n), where \sigma(n) is the sum of the divisors of n. We prove that the Riemann Hypothesis is true if and only if 4 is the only composite number N satisfying G(N) \ge \max(G(N/p),G(aN)), for all prime…

For any field K and any transitive subgroup G of S_8, let G acts naturally on K(x_1, . . ., x_8) by permutations of the variables, we prove that under some minor conditions K(x_1, . . ., x_8)^G is always K-rational except G is A_8 or G is…

In this manuscript, a solution to Problem 18.91(b) in the Kourovka Notebook is given by proving the following theorem. Let $P$ be a Sylow $p$-subgroup of a group $G$ with $|P| = p^n$. Suppose that there is an integer $k$ such that $1 < k <…

The sequence reconstruction problem asks for the recovery of a sequence from multiple noisy copies, where each copy may contain up to $r$ errors. In the case of permutations on \(n\) letters under the Hamming metric, this problem is closely…