The structure of a class of Z-local rings

A local ring R is called Z-local if J(R) = Z(R) and J(R)² = 0. In this paper the structure of a class of Z-local rings is determined.     

Cyclic codes over the rings Z 2?+ uZ 2 and Z 2?+ uZ 2?+ u 2 Z 2

In this paper, we study cyclic codes over the rings Z ₂ + uZ ₂ and Z ₂ + uZ ₂ + u ² Z ₂ . We find a set of generators for these codes. The rank, the dual, and the Hamming distance of these codes are studied as well. Examples of cyclic codes of various lengths are also studied.      

On JB -Rings

A ring R is a QB-ring provided that aR + bR = R with a, b ∈ R implies that there exists a y ∈ R such that It is said that a ring R is a JB-ring provided that R/J(R) is a QB-ring, where J(R) is the Jacobson radical of R. In this paper, various necessary and sufficient conditions, under which a ring is a JB-ring, are established. It is proved that JB-rings can be characterized by pseudo-similarity. Furthermore, the author proves that R is a JB-ring iff so is R/J(R)².     

Structure of H0R characters the ring R

For a commutative ringR, its related characterizations are given by investigating the structure and properties ofH ₀ R. Furthermore, by virtue ofH ₀ structure, some important characterizations of CPF properties and connected properties onK ₀ R are obtained from related rings.     

Difference Families in Z2d+1⊕Z2d+1 and Infinite Translation Designs in Z⊕Z

We analyse 3-subset difference families of Z_2d+1⊕Z_2d+1 arising as reductions (mod 2d+1) of particular families of 3-subsets of Z⊕Z. The latter structures, namely perfect d-families, can be viewed as 2-dimensional analogues of difference triangle sets having the least scope. Indeed, every perfect d-family is a set of base blocks which, under the natural action of the translation group Z⊕Z, cover all edges {(x,y),(x′,y′)} such that |x−x′|, |y−y′|≤d. In particular, such a family realises a translation invariant (G,K₃)-design, where V(G)=Z⊕Z and the edges satisfy the above constraint. For that reason, we regard perfect families as part of the hereby defined translation designs, which comprise and slightly generalise many structures already existing in the literature. The geometric context allows some suggestive additional definitions. The main result of the paper is the construction of two infinite classes of d-families. Furthermore, we provide two sporadic examples and show that a d-family may exist only if d≡0,3,8,11 (mod 12).     

Expansion in SLd(Z/qZ), q arbitrary

Let S be a fixed finite symmetric subset of SL _d (Z), and assume that it generates a Zariski-dense subgroup G. We show that the Cayley graphs of π _q (G) with respect to the generating set π _q (S) form a family of expanders, where π _q is the projection map Z→Z/q Z.     

ComplexK-theory ofBSL3(Z)

ComplexK-theory ofBSL₃(Z) andBSt₃(Z) are computed. We first study a Brown-Peterson (BP) version of Soulé's arguments. Then we consider complexK-theory by using a Conner-Floyd type theorem.     

The smooth Banach submanifold B*(E, F) in B(E, F)

Let E,F be two Banach spaces,B(E,F),B+(E,F),Φ(E,F),SΦ(E,F) and R(E,F) be bounded linear,double splitting,Fredholm,semi-Frdholm and finite rank operators from E into F,respectively. Let Σ be any one of the following sets:{T ∈Φ(E,F):Index T=constant and dim N(T)=constant},{T ∈ SΦ(E,F):either dim N(T)=constant< ∞ or codim R(T)=constant< ∞} and {T ∈ R(E,F):Rank T=constant< ∞}. Then it is known that Σ is a smooth submanifold of B(E,F) with the tangent space TAΣ={B ∈ B(E,F):BN(A)-R(A) } for any A ∈Σ. However,for ...     

On the Zero-Divisor Graph of a Ring

Let R be a commutative ring with identity, Z(R) its set of zero-divisors, and Nil(R) its ideal of nilpotent elements. The zero-divisor graph of R is Γ(R) = Z(R)\{0}, with distinct vertices x and y adjacent if and only if xy = 0. In this article, we study Γ(R) for rings R with nonzero zero-divisors which satisfy certain divisibility conditions between elements of R or comparability conditions between ideals or prime ideals of R. These rings include chained rings, rings R whose prime ideals contained in Z(R) are linearly ordered, and rings R such that {0} ≠ Nil(R) ? zR for all z ∈ Z(R)\Nil(R).     

Best Simultaneous Approximation in L(I,E)

Let G be a reflexive subspace of the Banach space E and let L^p(I,E) denote the space of all p-Bochner integrable functions on the interval I=[0,1] with values in E, 1p∞. Given any norm N( , ) on R², N nondecreasing in each coordinate on the set R²₊, we prove that L^p(I,G) is N-simultaneously proximinal in L^p(I,E). Other results are also obtained.     

Singular integrals associated to the Laplacian on the affine groupax+b

We consider singular integral operators of the form (a)Z ₁L⁻¹Z₂, (b)Z ₁Z₂L⁻¹, and (c)L ⁻¹Z₁Z₂, whereZ ₁ andZ ₂ are nonzero right-invariant vector fields, andL is theL ²-closure of a canonical Laplacian. The operators (a) are shown to be bounded onL ^p for allp∈(1, ∞) and of weak type (1, 1), whereas all of the operators in (b) and (c) are not of weak type (p, p) for anyp∈[1, ∞). Research supported by the Australian Research Council. Research carried out as a National Research Fellow.     

Central localization and Gelfand-Kirillov dimension

LetR be a factor ring of the enveloping algebra of a finite dimensional Lie algebra over a fieldk. If the centre ofR, Z, consists of non-zero divisors inR, the ringR _z obtained by localizing at the non-zero elements ofZ becomes a finitely generated algebra over the fieldK which arises as the field of fractions ofZ. The Gelfand-Kirillov dimension of anR-moduleM is denotedd(M). In this paper it is shown that ifR _Z ⊗ _R M ≠ 0 thend(M) ≧d(R _Z ⊗ _R M) + tr. deg _k Z, whered (R _z ⊗M) is the Gelfand-Kirillov dimension ofR _z ⊗M) viewed as anR _z -module andR _z is viewed as a finitely generatedK-algebra (not as ak-algebra). The result is primarily of a technical nature.     

On the Annihilator Graph of a Commutative Ring

Let R be a commutative ring with nonzero identity, Z(R) be its set of zero-divisors, and if a ∈ Z(R), then let ann _R (a) = {d ∈ R | da = 0}. The annihilator graph of R is the (undirected) graph AG(R) with vertices Z(R)* = Z(R)?{0}, and two distinct vertices x and y are adjacent if and only if ann _R (xy) ≠ ann _R (x) ∪ ann _R (y). It follows that each edge (path) of the zero-divisor graph Γ(R) is an edge (path) of AG(R). In this article, we study the graph AG(R). For a commutative ring R, we show that AG(R) is connected with diameter at most two and with girth at most four provided that AG(R) has a cycle. Among other things, for a reduced commutative ring R, we show that the annihilator graph AG(R) is identical to the zero-divisor graph Γ(R) if and only if R has exactly two minimal prime ideals.     

Zn[i] 的平方映射图

本文研究了模n 高斯整数环Z_n[i] 的平方映射图Γ(n). 利用数论、图论与群论等方法, 获得了Γ(n) 中顶点0 及1 的入度, 并研究了Γ(n) 的零因子子图的半正则性. 同时, 获得了Γ(n) 中顶点的高度公式.推广了Somer 等人给出的模n 剩余类环平方映射图的相关结论.     

On zero-divisors of near-rings of polynomials

In this paper, we are interested to study zero-divisor properties of a 0-symmetric nearring of polynomials R₀[x], when R is a commutative ring. We show that for a reduced ring R, the set of all zero-divisors of R₀[x], namely Z(R₀[x]), is an ideal of R₀[x] if and only if Z(R) is an ideal of R and R has Property (A). For a non-reduced ring R, it is shown that Z(R₀[x]) is an ideal of Z(R₀[x]) if and only if ann_R({a, b}) ∩ N i?(R) ≠ 0, for each a, b ∈ Z(R). We also investigate the interplay between the algebraic properties of a 0-symmetric nearring of polynomials R₀[x] and the graph-theoretic properties of its zero-divisor graph. The undirected zero-divisor graph of R₀[x] is the graph Γ(R₀[x]) such that the vertices of Γ(R₀[x]) are all the non-zero zero-divisors of R₀[x] and two distinct vertices f and g are connected by an edge if and only if f ? g = 0 or g ? f = 0. Among other results, we give a complete characterization of the possible diameters of Γ(R₀[x]) in terms of the ideals of R. These results are somewhat surprising since, in contrast to the polynomial ring case, the near-ring of polynomials has substitution for its “multiplication” operation.     

A-acceptability of derivatives of rational approximations to EXP(Z)

The question of A-acceptability in regard to derivatives of R_m/n, the [m/n] Padé approximation to the exponential, is examined for a range of values of m and n. It is proven that R′_{n − 1/n}, R′_n/n, R′_{n + 1/n}and R″_n/n are A-acceptable and that numerous other choices of m and n lead to non-A-acceptability. The results seem to indicate that the A-acceptability pattern of R_m/n^(k) displays an intriguing generalization of the Wanner-Hairer-Nørsett theorem on the A-acceptability of R_m/n.     

The Structure of Finite c-Local Rings

For a commutative ring R, assume that c is a nonzero element of Z(R) with the property that cZ(R) = {0}. A local ring R is called c-local if Z(R)² = {0, c}, Z(R)³ = {0}, and xZ(R) = {0} implies x ∈ {0, c}. For any finite c-local ring (R, 𝔪), it is proved that the ideal m has a minimal generating set which has a c-partition. The structure and classification up to isomorphism of all finite commutative c-local rings with order greater than 2⁵ are determined.     

Cocycle Twisting of E(n)-Module Algebras and Applications to the Brauer Group

We classify the orbits of coquasi-triangular structures for the Hopf algebra E(n) under the action of lazy cocycles and the Hopf automorphism group. This is applied to detect subgroups of the Brauer group BQ(k,E(n)) of E(n) that are isomorphic. For any triangular structure R on E(n) we prove that the subgroup BM(k,E(n),R) of BQ(k,E(n)) arising from R is isomorphic to a direct product of BW(k), the Brauer-Wall group of the ground field k, and Sym_n(k), the group of n × n symmetric matrices under addition. For a general quasi-triangular structure R on E(n) we construct a split short exact sequence having BM(k,E(n),R⁾ as a middle term and as kernel a central extension of the group of symmetric matrices of order r < n (r depending on R). We finally describe how the image of the Hopf automorphism group inside BQ(k,E(n)) acts on Sym_n (k).     

Power-Centralizing Automorphisms of Lie Ideals in Prime Rings

Let R be a prime ring with center Z, L a noncentral Lie ideal of R, and σ a nontrivial automorphism of R such that [u ^σ,u] ⁿ  ∈ Z for all u ∈ L. If either char(R) > n or char(R) = 0, then R satisfies s ₄, the standard identity in 4 variables.     

On Lie Nilpotent Rings and Cohen's Theorem

We study certain (two-sided) nil ideals and nilpotent ideals in a Lie nilpotent ring R. Our results lead us to showing that the prime radical rad(R) of R comprises the nilpotent elements of R, and that if L is a left ideal of R, then L + rad(R) is a two-sided ideal of R. This in turn leads to a Lie nilpotent version of Cohen's theorem, namely if R is a Lie nilpotent ring and every prime (two-sided) ideal of R is finitely generated as a left ideal, then every left ideal of R containing the prime radical of R is finitely generated (as a left ideal). For an arbitrary ring R with identity we also consider its so-called n-th Lie center Z _n (R), n ≥ 1, which is a Lie nilpotent ring of index n. We prove that if C is a commutative submonoid of the multiplicative monoid of R, then the subring ?Z _n (R) ∪ C? of R generated by the subset Z _n (R) ∪ C of R is also Lie nilpotent of index n.