An answer to Hirasaka and Muzychuk: Every p-Schur ring over Cp3 is Schurian

In Hirasaka and Muzychuk [An elementary abelian group of rank 4 is a CI-group, J. Combin. Theory Ser. A 94 (2) (2001) 339–362] the authors, in their analysis on Schur rings, pointed out that it is not known whether there exists a non-Schurian p-Schur ring over an elementary abelian p-group of rank 3. In this paper we prove that every p-Schur ring over an elementary abelian p-group of rank 3 is in fact Schurian.     

On Schurity of Finite Abelian Groups

A finite group G is called a Schur group, if any Schur ring over G is associated in a natural way with a subgroup of Sym(G) that contains all right translations. Recently, the authors have completely identified the cyclic Schur groups. In this article, it is shown that any abelian Schur group belongs to one of several explicitly given families only. In particular, any noncyclic abelian Schur group of odd order is isomorphic to ?₃ × ?_{3 ^k} or ?₃ × ?₃ × ? _p where k ≥ 1 and p is a prime. In addition, we prove that ?₂ × ?₂ × ? _p is a Schur group for every prime p.     

子群的核平凡或正规闭包极大的有限p群

称有限 p 群 G 为ACT 群,如果对每个交换子群H, 其正规核 H_G=1 或 H_G=H. 又称p 群 G是CC 群,如果对每个非正规交换子群H, 有 H_G=1 或 H^G 在G中的指数为 p. 本文分类了ACT 群和CC 群.     

Schur multipliers and the Lazard correspondence

Let G be a finite p-group of nilpotency class less than p?1, and let L be the Lie ring corresponding to G via the Lazard correspondence. We show that the Schur multipliers of G and L are isomorphic as abelian groups and that every Schur cover of G is in Lazard correspondence with a Schur cover of L. Further, we show that the epicenters of G and L are isomorphic as abelian groups. Thus the group G is capable if and only if the Lie ring L is capable.     

Minimal Number of Generators and Minimum Order of a Non-Abelian Group Whose Elements Commute with Their Endomorphic Images

A group in which every element commutes with its endomorphic images is called an “E-group″. If p is a prime number, a p-group G which is an E-group is called a “pE-group″. Every abelian group is obviously an E-group. We prove that every 2-generator E-group is abelian and that all 3-generator E-groups are nilpotent of class at most 2. It is also proved that every infinite 3-generator E-group is abelian. We conjecture that every finite 3-generator E-group should be abelian. Moreover, we show that the minimum order of a non-abelian pE-group is p ⁸ for any odd prime number p and this order is 2⁷ for p = 2. Some of these results are proved for a class wider than the class of E-groups.     

Trace forms of abelian extensions of number fields of type (1, 0)

This article is concerned with describing certain bilinear forms associated with finite abelian extensions N|K of an algebraic number field K. These abelian trace forms are described up to Witt equivalence, that is, they are described as elements in the Witt ring W(K). When the base field K has exactly one dyadic prime and no real embeddings, it is shown that the Witt class of every abelian trace form over K is a product of Witt classes of five specified types.     

Rings of invariants for modular representations of elementary abelian <Emphasis Type="Italic">p</Emphasis>-groups

We initiate a study of the rings of invariants of modular representations of elementary abelian p-groups. With a few notable exceptions, the modular representation theory of an elementary abelian p-group is wild. However, for a given dimension, it is possible to parameterise the representations. We describe parameterisations for modular representations of dimension two and of dimension three. We compute the ring of invariants for all two-dimensional representations; these rings are generated by two algebraically independent elements. We compute the ring of invariants of the symmetric square of a two-dimensional representation; these rings are hypersurfaces. We compute the ring of invariants for all three-dimensional representations of rank at most three; these rings are complete intersections with embedding dimension at most five. We conjecture that the ring of invariants for any three-dimensional representation of an elementary abelian p-group is a complete intersection.     

内交换p群的中心扩张(Ⅳ)

设N,H是任意的群.若存在群G,它具有正规子群≤Z(G),使得≌N且G/≌H,则称群G为N被H的中心扩张.本文完全分类了当N为p~3阶初等交换p群及H为内交换p群时,N被H的中心扩张得到的所有不同构的群.从而我们完全分类了初等交换p群被内交换p群的中心扩张得到的所有不同构的群.     

Clean elements in abelian rings

Let R be a ring with identity. An element in R is said to be clean if it is the sum of a unit and an idempotent. R is said to be clean if all of its elements are clean. If every idempotent in R is central, then R is said to be abelian. In this paper we obtain some conditions equivalent to being clean in an abelian ring.     

On the order of the unitary subgroup of a modular group algebra

Let KG be a group algebra of a finite p-group G over a finite field Kof characteristic p. We compute the order of the unitary subgroup of the group of units when G is either an extraspecial 2-group or the central product of such a group with a cyclic group of order 4 or G has an abelian subgroup A of index 2 and an element b such that b inverts each element of A.     

Primitive Idempotents of Schur Rings

In this paper, we explore the nature of central idempotents of Schur rings over finite groups. We introduce the concept of a lattice Schur ring and explore properties of these kinds of Schur rings. In particular, the primitive, central idempotents of lattice Schur rings are completely determined. For a general Schur ring S, S contains a maximal lattice Schur ring, whose central, primitive idempotents form a system of pairwise orthogonal, central idempotents in S. We show that if S is a Schur ring with rational coefficients over a cyclic group, then these idempotents are always primitive and are spanned by the normal subgroups contained in S. Furthermore, a Wedderburn decomposition of Schur rings over cyclic groups is given. Some examples of Schur rings over non-cyclic groups will also be explored.     

Perfectness of Conelike *–Semigroups in ℚk

Let S be an abelian *–semigroup in ℚ^k. We give a sufficient condition for every positive definite function on S to have a unique representing measure on the dual semigroup of S (i.e. S is perfect). To characterize perfectness for any abelian *–semigroupis a challenging, but not yet generally solved problem. In this paper, we characterize the structure of involutions on an abelian *–semigroup which is a subset of ℚ^k, and show that any conelike *–semigroups in ℚ^k are perfect.     

The group PSL(2,q) is not the multiplication group of a loop

ABSTRACT

We introduce the notion of weak transitivity for torsion-free abelian groups. A torsion-free abelian group G is called weakly transitive if for any pair of elements x, y ∈ G and endomorphisms ?, ψ ∈ End(G) such that x? = y, yψ = x, there exists an automorphism of G mapping x onto y. It is shown that every suitable ring can be realized as the endomorphism ring of a weakly transitive torsion-free abelian group, and we characterize up to a number-theoretical property the separable weakly transitive torsion-free abelian groups.     

Automorphism Groups of Schur Rings

In 1993, Muzychuk [23 Muzychuk , Mikhail E. ( 1993 ). The structure of rational Schur rings over cyclic groups . European Journal of Combinatorics 14 : 479 – 490 .[Crossref], [Web of Science ®] , [Google Scholar]] showed that the rational Schur rings over a cyclic group Z _n are in one-to-one correspondence with sublattices of the divisor lattice of n, or equivalently, with sublattices of the lattice of subgroups of Z _n . This can easily be extended to show that for any finite group G, sublattices of the lattice of characteristic subgroups of G give rise to rational Schur rings over G in a natural way. Our main result is that any finite group may be represented as the (algebraic) automorphism group of such a rational Schur ring over an abelian p-group, for any odd prime p. In contrast, over a cyclic group the automorphism group of any Schur ring is abelian. We also prove a converse to the well-known result of Muzychuk [24 Muzychuk , Mikhail E. ( 1994 ). On the structure of basic sets of Schur rings over cyclic groups . Journal of Algebra 169 : 655 – 678 .[Crossref], [Web of Science ®] , [Google Scholar]] that two Schur rings over a cyclic group are isomorphic if and only if they coincide; namely, we show that over a group which is not cyclic, there always exist distinct isomorphic Schur rings.     

Hopf Algebras on Schurian Quivers

Let H be a Hopf algebra with a finite-dimensional, nontrivial space of skew primitive elements, over an algebraically closed field of characteristic zero. We prove that H contains either the polynomial algebra as a Hopf subalgebra, or a certain Schurian simple-pointed Hopf subalgebra. As a consequence, a complete list of the locally finite, simple-pointed Hopf algebras is obtained. Also, the graded automorphism group of a Hopf algebra on a Schurian Hopf quiver is determined, and the relation between this group and the automorphism groups of the corresponding Hopf quiver, is clarified.     

On Purity and Quasiequality of Abelian Groups

We study the Cohn purity in an abelian group regarded as a left module over its endomorphism ring. We prove that if a finite rank torsion-free abelian group G is quasiequal to a direct sum in which all summands are purely simple modules over their endomorphism rings then the module _E(G) G is purely semisimple. This theorem makes it possible to construct abelian groups of any finite rank which are purely semisimple over their endomorphism rings and it reduces the problem of endopure semisimplicity of abelian groups to the same problem in the class of strongly indecomposable abelian groups.     

Finitely presented and coherent ordered modules and rings

We extend the usual definition of coherence, for modules over rings, to partially ordered right modules over a large class of partially ordered rings, called po-rings. In this situation, coherence is equivalent to saying that solution sets of finite systems of inequalities are finitely generated semimodules. Coherence for ordered rings and modules, which we call po-coherence, has the following features:.

(i) Every subring of Q, and every totally ordered division ring, is po-coherent.

(ii) For a partially ordered right module Aover a po-coherent poring R Ais po-coherent if and only if Ais a finitely presented .R-module and A ⁺is a finitely generated R ⁺-semimodule.

(iii) Every finitely po-presented partially ordered right module over a right po-coherent po-ring is po-coherent.

(iv) Every finitely po-presented abelian lattice-ordered group is po-coherent.     

Two questions on semi-clean group rings

It was proved in [4] that every group ring of a torsion abelian group over a commutative local ring is a semi-clean ring. It was asked in [4] whether every group ring of a torsion abelian group over a commutative clean ring is a semi-clean ring and whether every group ring of a torsion abelian group over a commutative semi-clean ring is a semi-clean ring. In this paper, we give a positive answer to question 1 and a negative answer to question 2.     

ESSENTIALLY FINITELY INDECOMPOSABLE ABELIAN p-GROUPS

Abstract

An abelian p-group C is said to be essentially finitely indecomposable (efi) if given any decomposition of G as the direct sum of a family of subgroups, there exists a positive integer n such that all but at moat a finite number of subgroups of this family are bounded by n. We look at examples and related questions. We prove that a reduced abelian p-group G is efi if and only if G modulo its elements of infinite height is efi. In the proof of this we obtain the following result which is of independent interest: Let A be a reduced p-group with a summand K such that K is a direct sum of cyclic groups. Let B be a basic subgroup of A. Then B contains a subgroup C such that C is a summand of A and the final rank of C is equal to the final rank of K.     

Classes of Almost Clean Rings

A ring is clean (almost clean) if each of its elements is the sum of a unit (regular element) and an idempotent. A module is clean (almost clean) if its endomorphism ring is clean (almost clean). We show that every quasi-continuous and nonsingular module is almost clean and that every right CS (i.e. right extending) and right nonsingular ring is almost clean. As a corollary, all right strongly semihereditary rings, including finite AW ^*-algebras and noetherian Leavitt path algebras in particular, are almost clean. We say that a ring R is special clean (special almost clean) if each element a can be decomposed as the sum of a unit (regular element) u and an idempotent e with aR?∩?eR?=?0. The Camillo-Khurana Theorem characterizes unit-regular rings as special clean rings. We prove an analogous theorem for abelian Rickart rings: an abelian ring is Rickart if and only if it is special almost clean. As a corollary, we show that a right quasi-continuous and right nonsingular ring is left and right Rickart. If a special (almost) clean decomposition is unique, we say that the ring is uniquely special (almost) clean. We show that (1) an abelian ring is unit-regular (equiv. special clean) if and only if it is uniquely special clean, and that (2) an abelian and right quasi-continuous ring is Rickart (equiv. special almost clean) if and only if it is uniquely special almost clean. Finally, we adapt some of our results to rings with involution: a *-ring is *-clean (almost *-clean) if each of its elements is the sum of a unit (regular element) and a projection (self-adjoint idempotent). A special (almost) *-clean ring is similarly defined by replacing “idempotent” with “projection” in the appropriate definition. We show that an abelian *-ring is a Rickart *-ring if and only if it is special almost *-clean, and that an abelian *-ring is *-regular if and only if it is special *-clean.