Related papers: A Study of Groups through Transversals

For a group $G$ and a subgroup $H$ of $G$ this article discusses the normalizer of $H$ in the units of a group ring $RG$. We prove that $H$ is only normalized by the `obvious' units, namely products of elements of $G$ normalizing $H$ and…

Symmetries of the finite Heisenberg group represent an important tool for the study of deeper structure of finite-dimensional quantum mechanics. As is well known, these symmetries are properly expressed in terms of certain normalizer. This…

On the transversals of a subgroup of a group, using the binary operation of the group, structural mappings are defined. Based on these mappings, the notion of the hypergroup over the group is introduced, which generalizes the notion of the…

Given a finite group scheme $G$ over a field and a $G$-variety $X$, we obtain a criterion for $X$ to be $G$-normal in the sense of \cite{Br24}. When $G$ is diagonalizable, we describe the local structure of $G$-normal varieties 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…

In this paper the notion of nilpotent right transversal and solvable right transversal has been defined. Further, it is proved that if a core-free subgroup has a generating solvable transversal or a generating nilpotent transversal, then…

It is proved that all finitely generated subgroups of generalized free product of two groups are finitely separable provided that free factors have this property and amalgamated subgroups are normal in corresponding factors and satisfy the…

In the present paper, the structure of a finite group $G$ having a nonnormal T.I. subgroup $H$ which is also a Hall $\pi$-subgroup is studied. As a generalization of a result due to Gow, we prove that $H$ is a Frobenius complement whenever…

In the first part of this note, we introduce Tietze transformations for $L$-presentations. These transformations enable us to generalize Tietze's theorem for finitely presented groups to invariantly finitely $L$-presented groups. Moreover,…

Finite groups with given systems of permuteral and strongly permuteral subgroups are studied. New characterizations of w-supersoluble and supersoluble groups are received.

Let $G$ be a group. The holomorph $\mathrm{Hol}(G)$ may be defined as the normalizer of the subgroup of either left or right translations in the group of all permutations of $G$. The multiple holomorph $\mathrm{NHol}(G)$ is in turn defined…

We give an efficient algorithm that, given a graph $G$ and a partition $V_1,\ldots,V_m$ of its vertex set, finds either an independent transversal (an independent set $\{v_1,\ldots,v_m\}$ in $G$ such that $v_i\in V_i$ for each $i$), or a…

We present the ideas behind an algorithm to compute normalizers of primitive groups with non-regular socle in polynomial time. We highlight a concept we developed called permutation morphisms and present timings for a partial implementation…

Let $G$ be a Polish group and let $H \leq G$ be a compact subgroup. We prove that there exists a Borel set $T \subset G$ which is simultaneously a complete set of coset representatives of left and right cosets, provided that a certain index…

Given a collection of graphs $\mathbf{G}=(G_1, \ldots, G_m)$ with the same vertex set, an $m$-edge graph $H\subset \cup_{i\in [m]}G_i$ is a transversal if there is a bijection $\phi:E(H)\to [m]$ such that $e\in E(G_{\phi(e)})$ for each…

We introduce the normalising graph of a group and study the connectivity of the normalising and permuting graphs of a group when the group is finite and soluble. In particular, we classify finite soluble groups with disconnected normalising…

A projectability result is proved for surfaces of prescribed mean curvature (shortly called $H$-surfaces) spanned in a partially free boundary configuration. Hereby, the $H$-surface is allowed to meet the support surface along its free…

A finite group $G$ is called an F-group if for every $x, y \in G \setminus Z(G)$, $C(x) \leq C(y)$ implies that $C(x) = C(y)$. On the otherhand, two elements of a group are said to be $z$-equivalent or in the same $z$-class if their…

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

We obtain some general restrictions on the continuous endomorphisms of a profinite group G under the assumption that G has only finitely many open subgroups of each index (an assumption which automatically holds, for instance, if G is…