On the Comparison of Rees's Valuations Over a Quasi-Unmixed Local Ring

In this paper, we will show that if (R, 𝔪) is a quasi-unmixed local ring, I an 𝔪-primary ideal of R and ?𝒱(I) is the set of Rees valuations of I, then the number of minimal prime ideals in the 𝔪-adic completion of R equals exactly the number of equivalence classes on the set ?𝒱(I) under the equivalence relation ～defined by: ν₁ ～ ν₂ if there exist a constant c ≥ 1 such that for all x ∈ R, ν₁(x) ≤ cν₂(x) and ν₂(x) ≤ cν₁(x).     

The Zeros and the Final Value of a Polynomial Form

ABSTRACT

A polynomial form f, is a not necessarily linear map, from an infinite module over a ring 𝔷 to a finite abelian group of exponent n satisfying some additional conditions. Denote the zeros of f by Ω_f. We show it satisfies a weak closure condition. Among all 𝔷-submodules of finite index, there is a submodule B such that |f (B)| (the order of the subset f (B)) is as small as possible. f (B) is called the final value of f and D. S. Passman asks if f (B) is necessarily a subgroup of S. This paper shows that if the degree of f ≤ 2 then the final value is a subgroup and if the form f has arbitrary degree from an finitely generated infinite abelian group, then the final value is 0.     

The Mal'cev Rank for Modules over Pseudo-Valuation Domains

Let R be a commutative ring and A be an R-module. The Mal'cev rank μ(A) of A is the sup of genN, where N ranges over the finitely generated submodules of A, and genN is the minimum number of generators of N. We prove that μ is both sub-additive and pre-additive as an invariant of Mod(R). Our main goal is to investigate μ for modules over pseudo-valuation domains. Specifically, we establish which pseudo-valuation domains R satisfy the property that an R-module of finite Mal'cev rank must be finitely generated. We split the class 𝒞 of pseudo-valuation domains as a union 𝒞 = 𝒞₁ ∪ 𝒞₂ ∪ 𝒞₃ ∪ 𝒞₄ of suitably defined subclasses, and prove that the property holds if and only if R ∈ 𝒞₃ ∪ 𝒞₄. In that case we can describe the R-modules A where μ(A) < ∞. We also show that, for R ∈ 𝒞₄, there exist indecomposable R-modules of arbitrarily large finite Mal'cev rank.     

Goldie Extending Modules

In this article, we define a module M to be 𝒢-extending if and only if for each X ≤ M there exists a direct summand D of M such that X ∩ D is essential in both X and D. We consider the decomposition theory for 𝒢-extending modules and give a characterization of the Abelian groups which are 𝒢-extending. In contrast to the charac-terization of extending Abelian groups, we obtain that all finitely generated Abelian groups are 𝒢-extending. We prove that a minimal cogenerator for 𝒢od-R is 𝒢-extending, but not, in general, extending. It is also shown that if M is (𝒢-) extending, then so is its rational hull. Examples are provided to illustrate and delimit the theory.     

Nonfinitely Based Varieties of Right Alternative Metabelian Algebras

Since 1976, it is known from the paper by V. P. Belkin that the variety RA₂ of right alternative metabelian (solvable of index 2) algebras over an arbitrary field is not Spechtian (contains nonfinitely based subvarieties). In 2005, S. V. Pchelintsev proved that the variety generated by the Grassmann RA₂-algebra of finite rank r over a field ?, for char(?) ≠ 2, is Spechtian iff r = 1. We construct a nonfinitely based variety 𝔐 generated by the Grassmann 𝒱-algebra of rank 2 of certain finitely based subvariety 𝒱 ? RA₂ over a field ?, for char(?) ≠ 2, 3, such that 𝔐 can also be generated by the Grassmann envelope of a five-dimensional superalgebra with one-dimensional even part.     

Module valuations and representation theory of orders I: Algebraic aspects

ABSTRACT

In this article, we study finitely generated reflexive modules over coherent GCD-domains and finitely generated projective modules over polynomial rings. In particular, we give a sufficient condition for a finitely generated reflexive module over a coherent GCD-domain to be a free module. By use of this result, we prove that every finitely generated projective R + [X]-module can be extended from R if R is a commutative ring with gl.dim(R) ≤ 2.     

Zero divisors and units with small supports in group algebras of torsion-free groups

Kaplansky’s zero divisor conjecture (unit conjecture, respectively) states that for a torsion-free group G and a field 𝔽, the group ring 𝔽[G] has no zero divisors (has no units with supports of size greater than 1). In this paper, we study possible zero divisors and units in 𝔽[G] whose supports have size 3. For any field 𝔽 and all torsion-free groups G, we prove that if αβ = 0 for some non-zero α,β∈𝔽[G] such that |supp(α)| = 3, then |supp(β)|≥10. If 𝔽 = 𝔽₂ is the field with 2 elements, the latter result can be improved so that |supp(β)|≥20. This improves a result in Schweitzer [J. Group Theory, 16 (2013), no. 5, 667–693]. Concerning the unit conjecture, we prove that if αβ = 1 for some α,β∈𝔽[G] such that |supp(α)| = 3, then |supp(β)|≥9. The latter improves a part of a result in Dykema et al. [Exp. Math., 24 (2015), 326–338] to arbitrary fields.     

TORSION THEORIES FOR FINITE VON NEUMANN ALGEBRAS

ABSTRACT

The study of modules over a finite von Neumann algebra 𝒜 can be advanced by the use of torsion theories. In this work, some torsion theories for 𝒜 are presented, compared, and studied. In particular, we prove that the torsion theory (T, P) (in which a module is torsion if it is zero-dimensional) is equal to both Lambek and Goldie torsion theories for 𝒜.

Using torsion theories, we describe the injective envelope of a finitely generated projective 𝒜-module and the inverse of the isomorphism K ₀(𝒜) → K ₀ (𝒰), where 𝒰 is the algebra of affiliated operators of 𝒜. Then the formula for computing the capacity of a finitely generated module is obtained. Lastly, we study the behavior of the torsion and torsion-free classes when passing from a subalgebra ? of a finite von Neumann algebra 𝒜 to 𝒜. With these results, we prove that the capacity is invariant under the induction of a ?-module.     

When Essential Extensions of Finitely Generated Modules are Finitely Generated

For certain classes 𝒞 of R-modules, including singular modules or modules with locally Krull dimensions, it is investigated when every module in 𝒞 with a finitely generated essential submodule is finitely generated. In case 𝒞 = Mod-R, this means E(M)/M is Noetherian for any finitely generated module M_R. Rings R with latter property are studied and shown that they form a class 𝒬 properly between the class of pure semisimple rings and the class of certain max rings. Duo rings in 𝒬 are precisely Artinian rings. If R is a quasi continuous ring in 𝒬 then R ? A ⊕ T where A is a semisimple Artinian ring and T ∈ 𝒬 with Z(T_T) ≤_ess T_T.     

Finiteness and Skolem Closure of Ideals for Non-Unibranched Domains

A one-dimensional, Noetherian, local domain D with maximal ideal 𝔪 and finite residue field was known to be an almost strong Skolem ring if analytically irreducible. It was unknown whether this condition is necessary. We show that it is at least necessary for D to be unibranched. After introducing a general notion of equalizing ideal, we show that, for k large enough, the ideals of the form 𝔐 _{k, a}  = {f ∈ Int(D) | f(a) ∈ 𝔪 ^k }, for a ∈ D, are distinct. This allows to show that the maximal ideals 𝔐 _a  = {f ∈ Int(D) | f(a) ∈ 𝔪}, although not necessarily distinct, are never finitely generated.     

Non-abelian Tensor Product of Leibniz Algebras and an Exact Sequence in Leibniz Homology

Abstract

Let 𝔪 and 𝔫 be two-sided ideals of a Leibniz algebra 𝔤 such that 𝔤 = 𝔪 + 𝔫. The goal of the paper is to achieve the exact sequence Ker(𝔪  𝔫 + 𝔫  𝔪 → 𝔤) → HL ₂(𝔤) → HL ₂(𝔤/𝔪) ⊕ HL ₂(𝔤/𝔫) → 𝔪 ∩ 𝔫/ [𝔪,𝔫] → HL ₁(𝔤) → HL ₁(𝔤/𝔪) ⊕ HL ₁(𝔤/𝔫) → 0, where HL denotes the Leibniz homology with trivial coefficients of a Leibniz algebra and denotes a non-abelian tensor product of Leibniz algebras.     

Central Automorphisms and Inner Automorphisms in Finitely Generated Groups

Let G be a group and Aut_c(G) be the group of all central automorphisms of G. We know that in a finite p-group G, Aut_c(G) = Inn(G) if and only if Z(G) = G′ and Z(G) is cyclic. But we shown that we cannot extend this result for infinite groups. In fact, there exist finitely generated nilpotent groups of class 2 in which G′ =Z(G) is infinite cyclic and Inn(G) < C* = Aut_c(G). In this article, we characterize all finitely generated groups G for which the equality Aut_c(G) = Inn(G) holds.     

Isomorphism and elementary equivalence of multilinear maps

In [14], we proved that two finitely generated finite-by-nilpotent groups G,H are elementarily equivalent if and only if Z×G and Z×H are isomorphic. In the present paper, we obtain similar characterizations of elementary equivalence for the following classes of structures:

1. the (n+2)-tuples (A ₁…,A _n+1,f),where n≥2 is an integerA ₁…,A _n+1 are disjoint finitely generated abelian groups and f A ₁×…×A _n →A _n+1: is a n-linear map;

2. the triples (A,B f), where n≥2 is an integerA,B are disjoint finitely generated abelian groups and f : A ⁿ →B is a n-linear map;

3. the couples (A,f), where n≥2 is an integerA is a finitely generated abelian group and f:A ⁿ →A is a n-linear map.

For each class, we show that elementary equivalence does not imply isomorphism. In particular, we give an example of two nonisomorphic finitely generated torsion-free Lie rings which are elementarily equivalent.     

The Semilattice of Annihilator Classes in a Reduced Commutative Ring

Let R be a reduced commutative ring with 1 ≠ 0. Let R _E be the set of equivalence classes for the equivalence relation on R given by x ～ y if and only if ann _R (x) = ann _R (y). Then R _E is a (meet) semilattice with respect to the order [x] ≤ [y] if and only if ann _R (y) ? ann _R (x). In this paper, we investigate when R _E is a lattice and relate this to when R is weakly complemented or satisfies the annihilator condition. We also consider when R is a (meet) semilattice with respect to the Abian order defined by x ≤ y if and only if xy = x ².     

The Lower Socle and Finite Rank Elementary Operators

Abstract

We define the lower socle of a semiprime algebra 𝒜 as the sum of all minimal left ideals 𝒜e where e is a minimal idempotent such that the division algebra e𝒜e is finite dimensional. We study the connection between the condition that the elements a _k , b _k , 1 ≤ k ≤ n, lie in the lower socle of 𝒜 and the condition that the elementary operator x ? a ₁ xb ₁ + ? + a _n xb _n has finite rank. As an application we obtain some results on derivations certain of whose powers have finite rank.     

The Division Relation: Congruence Conditions and Axiomatisability

We examine a universal algebraic abstraction of the semigroup theoretic concept of “divides:” a divides b in an algebra A if for some n ∈ ω, there is a term t(x, y ₁,…, y _n ) involving all of the listed variables, and elements c ₁,…, c _n such that t ^A (a, c ₁,…, c _n ) = b. The first order definability of this relation is shown to be a very broad generalisation of some familiar congruence properties, such as definability of principal congruences. The algorithmic problem of deciding when a finitely generated variety has this relation definable is shown to be equivalent to an open problem concerning flat algebras. We also use the relation as a framework for establishing some results concerning the finite axiomatisability of finitely generated varieties.     

On Factorizations of Baer-Local Formations

Abstract

It is proved that if the product ? of formations 𝔐 and ? ≠ ? is either a Baer-local formation or an ω-local formation and if ? ? 𝔉 for some one-generated ω-local formation 𝔉, then 𝔐 is also an ω-local formation.     

On Solvable R* Groups of Finite Rank

Abstract

For an element a of a group G,let S(a) denote the semigroup generated by all conjugates of a in G. We prove that if G is solvable of finite rank and 1 ? S(a) for all 1 ≠ a ∈ G,then ?a ^G ?/?b ^G ? is a periodic group for every b ∈ S(a). Conversely if every two generator subgroup of a finitely generated torsion-free solvable group G has this property then G has finite rank,and if every finitely generated subgroup has this property then every partial order on G can be extended to a total order.     

On Surfaces of General Type with p g = q = 1 Isogenous to a Product of Curves

A smooth algebraic surface S is said to be isogenous to a product of unmixed type if there exist two smooth curves C, F and a finite group G, acting faithfully on both C and F and freely on their product, so that S = (C × F)/G. In this article, we classify the surfaces of general type with p_g = q = 1 which are isogenous to an unmixed product, assuming that the group G is abelian. It turns out that they belong to four families, that we call surfaces of type I, II, III, IV. The moduli spaces 𝔐_I, 𝔐_II, 𝔐_IV are irreducible, whereas 𝔐_III is the disjoint union of two irreducible components. In the last section we start the analysis of the case where G is not abelian, by constructing several examples.