A note on the commutativity of groups

In this article, we show that a group is abelian if and only if every two elements of the same order commute.     

Valuation ideals of order one in 2-dimensional regular local rings

Let υ be a prime divisor of a 2-dimensional regular local ring (R m) with algebraically closed residue field k. Zariski showed that a prime divisor υ of R is uniquely associated to a simple m-primary integrally closed ideal I of R, there exist finitely many simple υ-ideals including I, and all the other υ-ideals can be uniquely factored into products of simple υ-ideals. It is known that such an m-primary ideal I of R can be minimally generated by o(I) + 1 elements.Given a simple integrally closed ideal I of order one with arbitrary rank and its associated prime divisor υ, we find minimal generating sets of all the simple υ-ideals and describe factorizations of all the composite υ-ideals in terms of power products of simple υideals as explicitly as possible.     

Near-Rings and Partitioned Groups

Over a commutative ring R with identity, free modules M with 2 distinguished submodules are studied. The category Rep₂R of such objects M have the obvious morphisms between them, which are homomorphisms between .R-modules preserving the distinguished submodules. The endo-morphisms for each M constitute a subalgebra End_RM of the algebra End_RM and the readability of λ-generated R-algebras A as End_RM is considered for cardinals λ. Despite the fact that 4 is the minimal number of distinguished submodules for realizing any algebra over a field il, we are able to prove a similar result in Rep₂R for many rings R including R = Z and algebras which are cotorsion-free. Several examples illustrate the boarder line of our main result. The main theorem is applied for constructing Butler groups in [11]     

Convex Geometries on Root Systems

This article investigates several convex closure operators on a finite root system. It is shown that a natural closure operator on the positive root system of a finite Weyl group satisfies the anti-exchange condition for all root systems except type F ₄.     

Complete precones on noncommutative integral domains

A subgroup H is called Q-supplemented in a finite group G, if there exists a subgroup K of G such that G = HK and H ∩ K is contained in H _QG , where H _QG is the maximal quasinormal subgroup of G contained in H. In this article, we investigate the influence of Q-supplementation of some primary subgroups in finite groups. Some recent results are generalized.     

Strict Dead-End Elements in Free Soluble Groups

Let G be a group generated by a finite set A. An element g ∈ G is a strict dead end of depth k (with respect to A) if |g|>|ga ₁|>|ga ₁ a ₂|>···>|ga ₁ a ₂… a _k | for any a ₁, a ₂,…, a _k  ∈ A ^±1 such that the word a ₁ a ₂… a _k is freely irreducible. (Here |g| is the distance from g to the identity in the Cayley graph of G.) We show that in finitely generated free soluble groups of degree d ≥ 2 there exist strict dead elements of depth k = k(d), which grows exponentially with respect to d.     

Towards the Eaton-Moretó conjecture on the minimal height of characters

Abstract

In this note we prove that the Eaton-Moretó conjecture holds for all blocks of finite general linear and unitary groups for all primes. Also, we show that no block of a finite quasi-simple group of classical Lie type provides a minimal counterexample to the conjecture, and so for ? > 5 no ?-block of any quasi-simple group can be a minimal counterexample.     

The Word Problem for Pride Groups

Pride groups are defined by means of finite (simplicial) graphs, and examples include Artin groups, Coxeter groups, and generalized tetrahedron groups. Under suitable conditions, we calculate an upper bound of the first order Dehn function for a finitely presented Pride group. We thus obtain sufficient conditions for when finitely presented Pride groups have solvable word problems. As a corollary to our main result, we show that the first order Dehn function of a generalized tetrahedron group, containing finite generalized triangle groups, is at most cubic.