Related papers: A note on abelian subgroups of maximal order

Let m be a positive integer and A an elementary abelian group of order q^r with r greater than or equal to 2 acting on a finite q'-group G. We show that if for some integer d such that 2^{d} is less than or equal to (r-1) the dth derived…

In this communication, the co-maximal subgroup graph $\Gamma(G)$ of a finite group $G$ is examined when $G$ is a finite nilpotent group, finite abelian group, dihedral group $D_n$, dicyclic group $Q_{2^n}$, and $p$-group. We derive the…

We know that any finite abelian group $G$ appears as a subgroup of infinitely many multiplicative groups $\mathbb{Z}_n^\times$ (the abelian groups of size $\phi(n)$ that are the multiplicative groups of units in the rings…

Let A be a complex abelian variety and G its Mumford--Tate group. Supposing that the simple abelian subvarieties of A are pairwise non-isogenous, we find a lower bound for the rank of G, which is a little less than log_2 dim A. If we…

In this article, we prove that every finite abelian group $G$ of odd order occurs as a subgroup of the class group of infinitely many real cyclotomic fields.

We show that a non-empty subset of an abelian group with a small edge boundary must be large; in particular, if $A$ and $S$ are finite, non-empty subsets of an abelian group such that $S$ is independent, and the edge boundary of $A$ with…

For an abelian group $G$, $\vec{g}=(g_1,\ldots,g_d)\in G^d$ and $\epsilon=(\epsilon(1),\ldots,\epsilon(d))\in \{0,1\}^d$, let $\vec{g}\cdot \epsilon=\prod_{i=1}^{d}g_i^{\epsilon(i)}$. In this paper, it is shown that for a minimal system…

Let $n>0$ be an integer and $\mathcal{X}$ be a class of groups. We say that a group $G$ satisfies the condition $(\mathcal{X},n)$ whenever in every subset with $n+1$ elements of $G$ there exist distinct elements $x,y$ such that $<x,y>$ is…

Let $G$ be a finite group and $\sigma_1(G)=\frac{1}{|G|}\sum_{H\leq G}\,|H|$. In this paper, we prove that if $\sigma_1(G)<2+\frac{11}{|G|}$\,, then $G$ is supersolvable. In particular, some new characterizations of the well-known groups…

We study metabelian groups $G$ given by full rank finite presentations $\langle A \mid R \rangle_{\mathcal{M}}$ in the variety $\mathcal{M}$ of metabelian groups. We prove that $G$ is a product of a free metabelian subgroup of rank…

This is a translation. I have added translations for (possibly) outdated definitions in an appendix at the end. In this paper, we define distributive groups and show some properties of them. We then concern ourselves with the homogeinity of…

A group is called square-like if it is universally equivalent to its direct square. It is known that the class of all square-like groups admits an explicit first order axiomatization but its theory is undecidable. We prove that the theory…

In this note we provide some counterexamples for the conjecture of Moret\'{o} on finite simple groups, which says that any finite simple group $G$ can determined in terms of its order $|G|$ and the number of elements of order $p$, where $p$…

A finite group G is called Schur, if every Schur ring over G is associated in a natural way with a regular subgroup of Sym(G) that is isomorphic to G. We prove that any nonabelian Schur group G is metabelian and the number of distinct prime…

Let N be a square-free positive integer and let f be a newform of weight 2 on \Gamma_0(N). Let A denote the abelian subvariety of J_0(N) associated to f and let m be a maximal ideal of the Hecke algebra T that contains Ann_T(f) and has…

Let $G$ be a finite group and $\sigma_1(G)=\frac{1}{|G|}\sum_{H\leq G}\,|H|$. Under some restrictions on the number of conjugacy classes of (non-normal) maximal subgroups of $G$, we prove that if $\sigma_1(G)<\frac{117}{20}\,$, then $G$ is…

Denoting by Sigma(S) the set of subset sums of a subset S of a finite abelian group G, we prove that |Sigma(S)| >= |S|(|S|+2)/4-1 whenever S is symmetric, |G| is odd and Sigma(S) is aperiodic. Up to an additive constant of 2 this result is…

Every infinite group $G$ of regular cardinality can be partitioned $G=A_1\cup A_2$ so that $G\neq FA_1$, $G\neq FA_2$ for every subset $F\subset G$ of cardinality $|F|<|G|$. The first author asked whether the same is true for each group $G$…

Let G be an abelian group acting on a set X, and suppose that no element of G has any finite orbit of size greater than one. We show that every partial order on X invariant under $G$ extends to a linear order on X also invariant under G. We…

We show that any finite group $G$ there exists a bijction $f$ from $G$ onto $C_{n}$ such that $o(x)$ divides $o(f(x))$ for all $x\in G$. This confirm Problem 18.1 in [7].