Related papers: Some necessary conditions for compatibility of gro…

If $G$ be a finite $p$-group and $\chi$ is a non-linear irreducible character of $G$, then $\chi(1)\leq |G/Z(G)|^{\frac{1}{2}}$. In \cite{fernandez2001groups}, Fern\'{a}ndez-Alcober and Moret\'{o} obtained the relation between the character…

Let $A$ and $G$ be finite groups such that $A$ acts coprimely on $G$ by automorphisms. We provide a complete classification of a finite group $G$ in which every maximal $A$-invariant subgroup containing the normalizer of some $A$-invariant…

We prove that if two finite metacyclic groups have isomorphic rational group algebras, then they are isomorphic. This contributes to understand where is the line separating positive and negative solutions to the Isomorphism Problem for…

We establish necessary and sufficient conditions for existence of isometric immersions of a simply connected Riemannian manifold into a two-step nilpotent Lie group. This comprises the case of immersions into $H$-type groups.

In this paper, we study the structures of finite groups using some arithmetic conditions on the sizes of real conjugacy classes. We prove that a finite group is solvable if the prime graph on the real class sizes of the group is…

Commensurable groups are bi-interpretable, under suitable definability conditions.

Rosenmann and Ventura asked "What is the right definition of dependence of subgroups for general groups?". Here we aim to answer this question. We consider a definition of subgroup independence which is a special case of a…

Let $\lambda(G)$ be the maximum number of subgroups in an irredundant covering of a finite group $G$. We prove that the finite groups with $\lambda(G)=|G|-t$, where $t\leq 5$, are solvable, and classify such groups.

In 1968, John Thompson proved that a finite group $G$ is solvable if and only if every $2$-generator subgroup of $G$ is solvable. In this paper, we prove that solvability of a finite group $G$ is guaranteed by a seemingly weaker condition:…

Let $N$ be the Heisenberg group. We consider left-invariant multiplicity free subspaces of $L^2(N)$. We prove a necessary and sufficient density condition in order that such subspaces possess the interpolation property with respect to a…

A subgroup $H$ of a group $G$ is said to be an $IC\Phi$-subgroup of $G$ if $H \cap [H,G] \le \Phi(H)$. We analyze the structure of a finite group $G$ under the assumption that some given subgroups of $G$ are $IC\Phi$-subgroups of $G$. A new…

The subgroup commutativity degree of a group G has been defined in [6] as the probability that two subgroups of G commute, or equivalently that the product of two subgroups is again a subgroup. Problem 4.3 of [6] asks whether there exist…

Necessary and sufficient conditions for finite commutative semihypergroups to be built from abelian groups of the same order are established.

We study conjugacy limits of certain of subgroups inside $\SL(2,\R)\ltimes\R^2$. These subgroups have a common feature that any two in the same category are conjugates of each other.

Let $G$ be a $5$-group of maximal class and $\gamma_2(G) = [G, G]$ its derived group. Assume that the abelianization $G/\gamma_2(G)$ is of type $(5, 5)$ and the transfers $V_{H_1\to \gamma_2(G)}$ and $V_{H_2\to \gamma_2(G)}$ are trivial,…

The normal covering number $\gamma(G)$ of a finite, non-cyclic group $G$ is the minimum number of proper subgroups such that each element of $G$ lies in some conjugate of one of these subgroups. We find lower bounds linear in $n$ for…

Let $G$ be a simple, simply-connected algebraic group defined over $\mathbb{F}_p$. Given a power $q = p^r$ of $p$, let $G(\mathbb{F}_q) \subset G$ be the subgroup of $\mathbb{F}_q$-rational points. Let $L(\lambda)$ be the simple rational…

A semigroup amalgam (S; T1, T2) is known to be non-embeddable if T1 and T2 are both groups (completely regular semigroups, Clifford semigroups) but S is not such. We prove some non-embeddability conditions for semigroup amalgams (S; T1, T2)…

We prove that if $G$ and $H$ are finite metacyclic groups with isomorphic rational group algebras and one of them is nilpotent then $G$ and $H$ are isomorphic.

We consider a set of necessary conditions which are efficient heuristics for deciding when a set of Wang tiles cannot tile a group. Piantadosi gave a necessary and sufficient condition for the existence of a valid tiling of any free group.…