相关论文: On the normal complement problem for finite group …

This paper provides a bridge between two active areas of research, the spectrum (set of element orders) and the power graph of a finite group. The order sequence of a finite group $G$ is the list of orders of elements of the group, arranged…

Let $FG$ be the group algebra of a finite $2$-group $G$ over a finite field $F$ of characteristic two and $\circledast$ an involution which arises from $G$. The $\circledast$-unitary subgroup of $FG$, denoted by $V_{\circledast}(FG)$, is…

A finite group $G$ is called uniformly semi-rational if there exists an integer $r$ such that the generators of every cyclic sugroup $\langle x \rangle$ of $G$ lie in at most two conjugacy classes, namely $x^G$ or $(x^r)^G$. In this paper,…

Let $F$ be a Henselian field of $q$-cohomological dimension $3$, where $q$ is a prime. Let $\Gamma_F$ be the totally ordered abelian value group of $F$ and let $D$ be a central division algebra over $F$ of index a power of $q$ such that the…

Let $p$ be a prime number. A longstanding conjecture asserts that every finite non-abelian $p$-group has a non-inner automorphism of order $p$. In this paper, we prove that if $G$ is an odd order finite non-abelian monolithic $p$-group such…

We establish a link between abelian regular subgroup of the affine group, and commutative, associative algebra structures on the underlying vector space that are (Jacobson) radical rings. As an application, we show that if the underlying…

This is the third and final installment of an exposition of an ACL2 formalization of finite group theory. Part I covers groups and subgroups, cosets, normal subgroups, and quotient groups. Part II extends the theory in the developmnent of…

We show that a large multiplicative subgroup of a finite field $\mathbb{F}_q$ cannot be decomposed into $A+A$ or $A+B+C$ nontrivially. We also find new families of multiplicative subgroups that cannot be decomposed as the sum of two sets…

Suppose that a Lie algebra $L$ admits a finite Frobenius group of automorphisms $FH$ with cyclic kernel $F$ and complement $H$ such that the characteristic of the ground field does not divide $|H|$. It is proved that if the subalgebra…

We develop a mechanism for classication of isomorphism types of non-trivial semisimple Hopf algebras whose group of grouplikes $G(H)$ is abelian of prime index $p$ which is the smallest prime divisor of $|G(H)|$. We describe structure of…

We determine and explicitly parametrize the isomorphism classes of nonassociative quaternion algebras over a field of characteristic different from two, as well as the isomorphism classes of nonassociative cyclic algebras of odd prime…

Let $p$ be a prime integer and $\mathbb{Z}_p$ be the ring of $p$-adic integers. By a purely computational approach we prove that each nonzero normal element of a completed group algebra over the special linear group ${\rm…

We introduce a notion of compatible quasi-ordered groups which unifies valued and ordered abelian groups. It was proved in a paper by Fakhruddin that a compatible quasi-order on a field is always either an order or a valuation. We show here…

Let $G$ be a semiabelian variety defined over an algebraically closed field $K$, endowed with a rational self-map $\Phi$. Let $\alpha\in G(K)$ and let $\Gamma\subseteq G(K)$ be a finitely generated subgroup. We show that the set…

An element $\alpha \in \mathbb{F}_{q^n}$ is normal over $\mathbb{F}_q$ if $\mathcal{B}=\{\alpha, \alpha^q, \alpha^{q^2}, \cdots, \alpha^{q^{n-1}}\}$ forms a basis of $\mathbb{F}_{q^n}$ as a vector space over $\mathbb{F}_q$. It is well known…

We show that a virtually RFRS group $G$ of type $\mathrm{FP}_n(\mathbb{Q})$ virtually algebraically fibres with kernel of type $\mathrm{FP}_n(\mathbb{Q})$ if and only if the first $n$ $\ell^2$-Betti numbers of $G$ vanish, that is,…

In this paper, we characterize finite group $G$ with unique proper non-abelian element centralizer. This improves \cite[Theorem 1.1]{nab}. Among other results, we have proved that if $C(a)$ is the proper non-abelian element centralizer of…

We prove that the subgroup graph of a finite group $G$ is regular if and only if $G$ is cyclic with square-free order.

Let $G\subset x{\mathbb F}_q[\![x]\!]$ ($q$ is a power of the prime $p$) be a subset of formal power series over a finite field such that it forms a compact abelian $p$-adic Lie group of dimension $d\ge 1$. We establish a necessary and…

The algebraic extension $\boldsymbol{B}_{\mathbb{Z}}^{\mathscr{F}}$ of the extended bicyclic semigroup for an arbitrary $\omega$-closed family $\mathscr{F}$ subsets of $\omega$ is introduced. It is proven that…