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.     

Zero divisors and

Let be a discrete group, the group ring of over and the Lebesgue space of with respect to Haar measure. It is known that if is torsion free elementary amenable, and , then . We will give a sufficient condition for this to be true when , and in the case we will give sufficient conditions for this to be false when .

     

Additive problems for integers with a given number of prime divisors

The asymptotics of sums of the form Στ(|bn−a|) (summation overn<N, ω(n)=k) is studied, whereω(n) is the number of distinct prime divisors ofn, andτ(n) is the number of all divisors. Translated fromMatematicheskie Zametki, Vol. 63, No. 5, pp. 749–762, May, 1998. In conclusion, the author wishes to express his gratitude to Professor N. M. Timofeev for valuable advice. This research was supported by the Russian Foundation for Basic Research under grant No. 96-01-00502.     

Properties of large prime divisors of numbers of the form p − 1

The main result of this paper is the fact that the fraction of primes p ≤ x satisfying the condition that p ? 1 has a prime divisor q > exp(ln x/ln ln x) and the number of prime divisors of q ? 1 essentially differ from ln ln(x/n), where n = (p ? 1)/q, tends to zero as x increases.     

A classification of prime segments in simple artinian rings

Let be a simple artinian ring. A valuation ring of is a Bézout order of so that is simple artinian, a Goldie prime is a prime ideal of so that is Goldie, and a prime segment of is a pair of neighbouring Goldie primes of A prime segment is archimedean if is equal to it is simple if and it is exceptional if In this last case, is a prime ideal of so that is not Goldie. Using the group of divisorial ideals, these results are applied to classify rank one valuation rings according to the structure of their ideal lattices. The exceptional case splits further into infinitely many cases depending on the minimal so that is not divisorial for

     

一类特殊的有限循环环

证明了一类n阶(n=P_1P_2…p_m,p_i(i=1,2,…,m)互异为素数)环是有限循环环,并讨论了他们的结构及相关性质,最后给出了这类n阶环有零因子或有子域的充要条件.主要结果:P_1P_2…P_m阶环共有2^m个,它们是(p_(1m个,它们是(p_(1^k_1) p_(2k_1) p_(2^k_2)…p_(mk_2)…p_(m^k_m)Z)/(p_(1k_m)Z)/(p_(1^k_1+1)p_(2k_1+1)p_(2^k_2+1)…p_(mk_2+1)…p_(m^k_m+1)Z),其中k_i=0或1,1≤i≤m;阶是n=P_1P_2…p_m的环R可唯一分解为m个素数阶理想的直和,即R=〈α〉=(?);含pi(1≤i≤m)阶子域的P_1P_2…P_m阶环共有2k_m+1)Z),其中k_i=0或1,1≤i≤m;阶是n=P_1P_2…p_m的环R可唯一分解为m个素数阶理想的直和,即R=〈α〉=(?);含pi(1≤i≤m)阶子域的P_1P_2…P_m阶环共有2^(m-1)个,它们是p_(1(m-1)个,它们是p_(1^k_1) p_(2k_1) p_(2^k_2)…p_(mk_2)…p_(m^k_m)Z)/(p_(1k_m)Z)/(p_(1^k_1+1)p_(2k_1+1)p_(2^k_2+1)…p_(mk_2+1)…p_(m^k_m+1)Z),其.中k_i=0,k_j=0或1,1≤j≤m,j≠i.     

Exponential sums and prime divisors of sparse integers

We obtain a new lower bound on the number of prime divisors of integers whose g-ary expansion contains a fixed number of nonzero digits.      

On irregular prime power divisors of the Bernoulli numbers

Let ( ) denote the usual th Bernoulli number. Let be a positive even integer where or . It is well known that the numerator of the reduced quotient is a product of powers of irregular primes. Let be an irregular pair with . We show that for every the congruence has a unique solution where and . The sequence defines a -adic integer which is a zero of a certain -adic zeta function originally defined by T. Kubota and H. W. Leopoldt. We show some properties of these functions and give some applications. Subsequently we give several computations of the (truncated) -adic expansion of for irregular pairs with below 1000.

     

The Zero Divisor Graphs of Commutative Local Rings of Order p 4 and p 5

To each commutative ring R we can associate a zero divisor graph whose vertices are the zero divisors of R and such that two vertices are adjacent if their product is zero. Detecting isomorphisms among zero divisor graphs can be reduced to the problem of computing the classes of R under a suitable semigroup congruence. Presently, we introduce a strategy for computing this quotient for local rings using knowledge about a generating set for the maximal ideal. As an example, we then compute Γ(R) for several classes of rings; with the results in [4 Bloomfield , N. , Wickham , C. ( 2010 ). Local rings with genus 2 zero divisor graph . Comm. Alg. 38 ( 8 ): 2965 – 2980 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] these classes include all local rings of order p ⁴ and p ⁵ for prime p.     

一类有限环

本文指出了文 [5 ]的一些错误 ,给出了文 [5 ]定理 1的一个反例 .并给出了一类交换环的等价条件 .     

有限个互素因子链上幂GCD矩阵与幂LCM矩阵的行列式的整除性

设S={x1,x2,...,xn}是由n个不同的正整数组成的集合,并设a为正整数.如果一个n阶矩阵的第i行j列元素是S中元素xi和xj的最大公因子的a次幂(xi,xj)a,则称该矩阵为定义在S上的a次幂最大公因子(GCD)矩阵,用(Sa)表示;类似定义a次幂LCM矩阵[Sa].如果存在{1,2,...,n}上的一个置换σ使得xσ(1)|xσ(2)|···|xσ(n),则称S为一个因子链.如果存在正整数k,使得S=S1∪S2∪···∪Sk,其中每一个Si(1ik)均为一个因子链,并且对所有的1i=jk,Si中的每个元素与Sj中的每个元素互素,则称S由有限个互素因子链构成.本文中,设S由有限个互素的因子链构成,并且1∈S.我们首先给出幂GCD矩阵与幂LCM矩阵的行列式的公式,然后证明:如果a|b,则det(Sa)|det(Sb),det[Sa]|det[Sb],det(Sa)|det[Sb].最后我们指出:如果构成S的有限个因子链不互素,则此结论一般不成立.     

On the difference between the number of prime divisors at consecutive integers

Suppose thatg(n) is equal to the number of divisors ofn, counting multiplicity, or the number of divisors ofn, a≠0 is an integer, andN(x,b)=|{n∶n≤x, g(n+a)−g(n)=b orb+1}|. In the paper we prove that sup _b N(x,b)≤C(a)x)(log log 10 _x )^−1/2 and that there exists a constantC(a,μ)>0 such that, given an integerb |b|≤μ(log logx)^1/2,x≥x _o, the inequalityN(x,b)≥C(a,μ)x(log logx(^−1/2) is valid. Translated fromMatematicheskie Zametki, Vol. 66, No. 4, pp. 579–595, October, 1999.     

Minimal prime ideals of reduced rings

Let R be a reduced ring with Q its Martindale symmetric ring of quotients, and let B be the complete Boolean algebra of all idempotents in C, where C is the extended centroid of R. It is proved that every minimal prime ideal of R must be of the form mQ∩R for some maximal ideal m of B but the converse is in general not true. In addition, if R is centrally closed or has only finitely many minimal prime ideals, then the converse also holds. By applying the explicit expression, many properties of minimal prime ideals of reduced rings are realized more easily.     

格蕴涵代数的LI-理想格及其素元刻画

运用格理论的原理和方法对格蕴涵代数L的LI-理想概念作进一步研究.首先,在L的全体LI-理想之集ф_(LI)(L)上定义了格运算■和■,蕴涵运算■以及伪补运算■,证明了(ф_(LI)(L),,■,■,■,{O},L)构成一个完备Heyting代数的结论.其次,利用运算固的性质给出了(ф_(LI)(L),,■,■,■,■,{O},L)成为Boolean代数的若干充要条件.最后,借助于L的素LI-理想之特性获得了格(ф_(LI)(L),,■,■,{O},L)中素元的若干等价刻画.     

Zero Divisors in Amalgamated Free Products of Lie Algebras

We introduce the notion of domain for Lie algebras, discuss when the free amalgamated Lie product of two domains is a domain again, classify commuting elements in the free amalgamated product of two Lie algebras and describe the center of this product.     

A bracket power characterization of analytic spread one ideals

The main theorem characterizes, in terms of bracket powers, analytic spread one ideals in local rings. Specifically, let be regular nonunits in a local (Noetherian) ring and assume that , the integral closure of , where . Then the main result shows that for all but finitely many units in that are non-congruent modulo and for all large integers and it holds that for and not divisible by , where is the -th bracket power of . And, conversely, if there exist positive integers , , and such that has a basis such that , then has analytic spread one.