Let $R$ be a 2-torsion free prime ring and let $\sigma ,\tau$ be automorphisms of $R$. For any $x,y\in R$, set ${[x,y]}_{\sigma ,\tau }=x\sigma \left(y\right)-\tau \left(y\right)x$. Suppose that $d$ is a $(\sigma ,\tau )$-derivation defined on $R$. In the present paper it is shown that $\left(i\right)$ if $R$ satisfies ${[d\left(x\right),x]}_{\sigma ,\tau }=0$, then either $d=0$ or $R$ is commutative $\left(ii\right)$ if $I$ is a nonzero ideal of $R$ such that $\left[d\right(x),d(y\left)\right]=0$, for all $x,y\in I$, and $d$ commutes with both $\sigma$ and $\tau$, then either $d=0$ or $R$ is commutative. $\left(iii\right)$ if $I$ is a nonzero ideal of $R$ such that $d\left(xy\right)=d\left(yx\right)$, for all $x,y\in I$, and $d$ commutes with $\tau$, then $R$ is commutative. Finally a related result has been obtain...

Let ℓ be a rational prime, K be a number field that contains a primitive ℓth root of unity, L an abelian extension of K whose degree over K, [L:K], is divisible by ℓ, a prime ideal of K whose ideal class has order ℓ in the ideal class group of K, and $a_{}$ any generator of the principal ideal ${}^{\ell }$. We will call a prime ideal of K ’reciprocal to ’ if its Frobenius element generates $Gal(K\left(\sqrt[\ell ]{a_{}}\right)/K)$ for every choice of $a_{}$. We then show that becomes principal in L if and only if every reciprocal prime is not...

For a finite abelian group G and a splitting field K of G, let (G,K) denote the largest integer l ∈ ℕ for which there is a sequence $S=g₁·...·g_l$ over G such that $(X^{g₁}-a₁)·...·(X^{g_l}-a_l)\ne 0\in K\left[G\right]$ for all $a₁,...,a_l\in K^{\times }$. If (G) denotes the Davenport constant of G, then there is the straightforward inequality (G) - 1 ≤ (G,K). Equality holds for a variety of groups, and a conjecture of W. Gao et al. states that equality holds for all groups. We offer further groups for which equality holds, but we also give the first examples of groups G for...

We characterize the unit group of semisimple group algebras ${𝔽}_{q}G$ of some non-metabelian groups, where $F_q$ is a field with $q=p^k$ elements for $p$ prime and a positive integer $k$. In particular, we consider all 6 non-metabelian groups of order 48, the only non-metabelian group $((C_3\times C_3)⋊C_3)⋊C_2$ of order 54, and 7 non-metabelian groups of order 72. This completes the study of unit groups of semisimple group algebras for groups upto order 72.

Let $G$ be a finite group and ${\pi }_e\left(G\right)$ be the set of element orders of $G$. Let $k\in {\pi }_e\left(G\right)$ and $m_k$ be the number of elements of order $k$ in $G$. Set $\mathrm{nse}\left(G\right):=\{m_k:k\in {\pi }_e\left(G\right)\}$. In fact $\mathrm{nse}\left(G\right)$ is the set of sizes of elements with the same order in $G$. In this paper, by $\mathrm{nse}\left(G\right)$ and order, we give a new characterization of finite projective special linear groups $L_2\left(p\right)$ over a field with $p$ elements, where $p$ is prime. We prove the following theorem: If $G$ is a group such that $\left|G\right|=|L_2\left(p\right)|$ and $\mathrm{nse}\left(G\right)$ consists of $1$, $p^2-1$, $p(p+ϵ)/2$ and some numbers divisible by $2p$, where $p$ is a prime...

Let G be an additive finite abelian group. For every positive integer ℓ, let $dis{c}_{\ell }\left(G\right)$ be the smallest positive integer t such that each sequence S over G of length |S| ≥ t has a nonempty zero-sum subsequence of length not equal to ℓ. In this paper, we determine $dis{c}_{\ell }\left(G\right)$ for certain finite groups, including cyclic groups, the groups $G=C₂\oplus C_{2m}$ and elementary abelian 2-groups. Following Girard, we define disc(G) as the smallest positive integer t such that every sequence S over G with |S| ≥ t has nonempty zero-sum...