Walter Becker
Presentations for the holomorphs of abelian groups of the form $C_{p^n} \times 1^{m}$ for $p$=2 or an odd prime are given. These presentations extend the results given in Burnside's well-known text on finite groups on the holomorphs for the cyclic groups of orders $p^n$ for $p$ being an odd or even prime.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
W.H.~Mills has determined, for a finitely generated abelian group $G$, the regular subgroups $N \cong G$ of $S(G)$, the group of permutations on the set $G$, which have the same holomorph of $G$, that is, such that $N_{S(G)}(N) = N_{S(G)}(ρ(G))$, where $ρ$ is the (right) regular representation. We give an alternative approach to Mills' result, which relies on a characterization of the regular subgroups of $N_{S(G)}(ρ(G))$ in terms of commutative ring structures on $G$. We are led to solve, for the case of a finitely generated abelian group $G$, the following problem: given an abelian group $(G…
An answer regarding automorphisms of finite abelian groups
本文否定了一个关于有限阿贝尔群自同构群大小与群大小比值的猜想，证明该比值为有理数时分母必须平方自由，并且奇素数不能作为此类比值。
$\DeclareMathOperator{\Hol}{Hol}$$\DeclareMathOperator{\Aut}{Aut}$$\newcommand{\Gp}[0]{\mathcal{G}(p)}$$\newcommand{\Size}[1]{\left\lvert #1 \right\rvert}$Let $G$ be a group, and $S(G)$ be the group of permutations on the set $G$. The (abstract) holomorph of $G$ is the natural semidirect product $\Aut(G) G$. We will write $\Hol(G)$ for the normalizer of the image in $S(G)$ of the right regular representation of $G$, \begin{equation*} \Hol(G) = N_{S (G)}(ρ(G)) = \Aut(G) ρ(G) \cong \Aut(G) G, \end{equation*} and also refer to it as the holomorph of $G$. More generally, if $N$ is any regular subg…
Let $G$ be a group and write $\mbox{Perm}(G)$ for its symmetric group. Define $\mbox{Hol}(G)$ to be the holomorph of $G$, regarded as a subgroup of $\mbox{Perm}(G)$, and let $\mbox{NHol}(G)$ denote its normalizer. The quotient $T(G) = \mbox{NHol}(G)/\mbox{Hol}(G)$ has been computed for various families of groups $G$, and in most of the known cases, it turns out to be elementary $2$-abelian, except for two groups of order $16$ and some groups of odd prime power order and nilpotency class two. In this paper, we shall show that $T(G)$ is elementary $2$-abelian for all finite groups $G$ of squaref…
A loop $(Q,\cdot,\backslash,/)$ is called a middle Bol loop if it obeys the identity $x(yz\backslash x)=(x/z)(y\backslash x)$. To every right (left) Bol loop corresponds a middle Bol loop via an isostrophism. In this paper, the structure of the holomorph of a middle Bol loop is explored. For some special types of automorphisms, the holomorph of a commutative loop is shown to be a commutative middle Bol loop if and only if the loop is a middle Bol loop and its automorphism group is abelian and a subgroup of both the group of middle regular mappings and the right multiplication group. It was fou…
We study groups having the property that every non-abelian subgroup contains its centralizer. We describe various classes of infinite groups in this class, and address a problem of Berkovich regarding the classification of finite $p$-groups with the above property.
Let $G$ be a group of collineations of a finite thick generalised quadrangle $Γ$. Suppose that $G$ acts primitively on the point set $\mathcal{P}$ of $Γ$, and transitively on the lines of $Γ$. We show that the primitive action of $G$ on $\mathcal{P}$ cannot be of holomorph simple or holomorph compound type. In joint work with Glasby, we have previously classified the examples $Γ$ for which the action of $G$ on $\mathcal{P}$ is of affine type. The problem of classifying generalised quadrangles with a point-primitive, line-transitive collineation group is therefore reduced to the case where ther…
Finite almost simple groups whose holomorph contains a solvable regular subgroup
本文分类了全形包含可解正则子群的有限几乎单群，推广了先前对非交换单群的结果，并刻画了可解扩张上的Hopf-Galois结构类型。
In this article we discuss the question of presence of Hamiltonian cycle in the un-directed power graph of a group. In the process we develop weighted Hamiltonian cycle concept and prove a few general results regarding the Hamiltonian question.
We shortly present two small results regarding the study formal duality in finite abelian groups as introduced by Cohn, Kumar, Reiher and Schürmann. In particular, we give a new example of a formally self dual set in $\mathbb{Z}_2^2\times\mathbb{Z}_4^2$ and computed nonexistence of primitive formally dual sets of size $8$ in $\mathbb{Z}_8^2$.
Let $G$ be a $σ$-finite abelian group, i.e. $G=\bigcup_{n\geq 1} G_n$ where $(G_n)_{n\geq 1}$ is a non decreasing sequence of finite subgroups. For any $A\subset G$, let $\underline{\mathrm{d}}(A):=\liminf_{n\to\infty}\frac{|A\cap G_n|}{|G_n|}$ be its lower asymptotic density. We show that for any subsets $A$ and $B$ of $G$, whenever $\underline{\mathrm{d}}(A+B)<\underline{\mathrm{d}}(A)+\underline{\mathrm{d}}(B)$, the sumset $A+B$ must be periodic, that is, a union of translates of a subgroup $H\leq G$ of finite index. This is exactly analogous to Kneser's theorem regarding the density of inf…
Here we present a working framework to establish finite abelian groups in python. The primary aim is to allow new A-level students to work with examples of finite abelian groups using open source software. We include the code used in the implementation of the framework. We also prove some useful results regarding finite abelian groups which are used to establish the functions and help show how number theoretic results can blend with computational power when studying algebra. The groups established are based modular multiplication and addition. We include direct products of cyclic groups meanin…
Let $L/K$ be a Galois extension of fields with Galois group $G$, an elementary abelian $p$-group of rank $n$ for $p$ an odd prime. It is known that nilpotent $\mathbb{F}_p$-algebra structures $A$ on $G$ yield regular subgroups of the holomorph of $G$, hence Hopf Galois structures on $L/K$. In this paper we illustrate the richness of Hopf Galois structures on $L/K$ by examining the case where $A$ is abelian of dimension $n$ where the dimension of $A^2 = 1$. We determine the number of Hopf Galois structures that arise in these cases, describe those structures explicitly, and estimate the extent …
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。