On the Brauer group and factoriality of normal domains

Let B(R) be the Brauer group of the integrally closed noetherian domain R with quotient field K. We reexamine the proof that B(R) → R(K) is monic for R regular from the point of view of factoriality of R and its extensions. For R local with maximal ideal m, henselization R^h and divisor class group Cl(R) we embed ker $\text{{B(R) → B(K)?B(}\text{R}\text{M}\text{)}}$ into $\text{Cl(R}{}^{\mathrm{h}}\text{)}\text{Cl(R)}$. This is applied to obtain examples of non-regular geometric local domains R for which B(R) → B(K) is monic.     

(H,R)-Lie coalgebras and (H,R)-Lie bialgebras

Given an (H,R)-Lie coalgebra Γ, we construct (H,R _T )-Lie coalgebra Γ^T through a right cocycle T, where (H,R) is a triangular Hopf algebra, and prove that there exists a bijection between the set of (H,R)-Lie coalgebras and the set of ordinary Lie coalgebras. We also show that if (L, [, ], Δ, R) is an (H,R)-Lie bialgebra of an ordinary Lie algebra then (L ^T , [, ], Δ_T, R _T ) is an (H,R _T )-Lie bialgebra of an ordinary Lie algebra.     

Injective hulls with distinct ring structures

It is well known from Osofsky’s work that the injective hull E(R_R) of a ring R need not have a ring structure compatible with its R-module scalar multiplication. A closely related question is: if E(R_R) has a ring structure and its multiplication extends its R-module scalar multiplication, must the ring structure be unique? In this paper, we utilize the properties of Morita duality to explicitly describe an injective hull of a ring R with R=Q(R) (where Q(R) is the maximal right ring of quotients of R) such that every injective hull of R_R has (possibly infinitely many) distinct compatible ring structures which are mutually ring isomorphic and quasi-Frobenius. Further, these rings have the property that the ring structures for E(R_R) also are ring structures on E(_RR).     

Zero-divisor graphs, von Neumann regular rings, and Boolean algebras

For a commutative ring R with set of zero-divisors Z(R), 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 paper, we show that Γ(T(R)) and Γ(R) are isomorphic as graphs, where T(R) is the total quotient ring of R, and that Γ(R) is uniquely complemented if and only if either T(R) is von Neumann regular or Γ(R) is a star graph. We also investigate which cardinal numbers can arise as orders of equivalence classes (related to annihilator conditions) in a von Neumann regular ring.     

The regular graph of a commutative ring

Let R be a commutative ring, let Z(R) be the set of all zero-divisors of R and Reg(R) = R\Z(R). The regular graph of R, denoted by G(R), is a graph with all elements of Reg(R) as the vertices, and two distinct vertices x, y ∈ Reg(R) are adjacent if and only if x+y ∈ Z(R). In this paper we show that if R is a commutative Noetherian ring and 2 ∈ Z(R), then the chromatic number and the clique number of G(R) are the same and they are 2 ⁿ , where n is the minimum number of prime ideals whose union is Z(R). Also, we prove that all trees that can occur as the regular graph of a ring have at most two vertices.     

Invariants of Algebraic Automorphisms

Let R be a prime ring with extended centroid C and let σ be a C-algebraic automorphism of R. We let $R^{(\sigma)}\mathop{=}\limits^{\rm def.}\{x\in R\mid \sigma(x)=x\}$ , the subring of invariants of σ in R, and let Out-deg(σ) and Inn-deg(σ) denote the outer and inner degrees of σ, respectively. In the paper we first prove the nilpotence of the prime radical of R ^(σ) with a bound and characterize the semiprimeness and primeness of R ^(σ). Moreover, we show that if R ^(σ) is a prime PI-ring, then PI-deg(R)?=?PI-deg(R ^(σ)) × Inn-deg(σ).     

GK-dimensions of corners and ideals

IfT is a corner in a ringR (i.e.TRT ?T) then GK (T)=GK(RT ² R), and hence GK(ReR)=GK(eRe) for idempotentse. Examples are given to show that GK(eRe) can be any integerR) even for prime rings. Positive results are obtained if GK(R)≦2, andR is Goldie.     

Quaternion rings and octonion rings

In this paper, for rings R, we introduce complex rings ?(R), quaternion rings ?(R), and octonion rings O(R), which are extension rings of R; R ? ?(R) ? ?(R) ? O(R). Our main purpose of this paper is to show that if R is a Frobenius algebra, then these extension rings are Frobenius algebras and if R is a quasi-Frobenius ring, then ?(R) and ?(R) are quasi-Frobenius rings and, when Char(R) = 2, O(R) is also a quasi-Frobenius ring.     

k-torsionless modules with finite Gorenstein dimension

Let R be a commutative Noetherian ring. It is shown that the finitely generated R-module M with finite Gorenstein dimension is reflexive if and only if M _p is reflexive for p ∈ Spec(R) with depth(R _p) ? 1, and $G - {\dim _{{R_p}}}$ (M _p) ? depth(R _p) ? 2 for p ∈ Spec(R) with depth(R _p) ? 2. This gives a generalization of Serre and Samuel’s results on reflexive modules over a regular local ring and a generalization of a recent result due to Belshoff. In addition, for n ? 2 we give a characterization of n-Gorenstein rings via Gorenstein dimension of the dual of modules. Finally it is shown that every R-module has a k-torsionless cover provided R is a k-Gorenstein ring.     

Algebraic properties of codimension series of PI-algebras

Let c _n (R), n = 0, 1, 2, …, be the codimension sequence of the PI-algebra R over a field of characteristic 0 with T-ideal T(R) and let c(R, t) = c ₀(R) + c ₁(R)t + c ₂(R)t ² + … be the codimension series of R (i.e., the generating function of the codimension sequence of R). Let R ₁,R ₂ and R be PI-algebras such that T(R) = T(R1)T(R ₂). We show that if c(R ₁, t) and c(R ₂, t) are rational functions, then c(R, t) is also rational. If c(R ₁, t) is rational and c(R ₂, t) is algebraic, then c(R, t) is also algebraic. The proof is based on the fact that the product of two exponential generating functions behaves as the exponential generating function of the sequence of the degrees of the outer tensor products of two sequences of representations of the symmetric groups S _n .     

Artinian cofinite modules over complete Noetherian local rings

Let (R, m) be a complete Noetherian local ring, I an ideal of R and M a nonzero Artinian R-module. In this paper it is shown that if p is a prime ideal of R such that dim R/p = 1 and (0:M p) is not finitely generated and for each i ? 2 the R-module Ext _R ⁱ (M,R/p) is of finite length, then the R-module Ext _R ¹ (M, R/p) is not of finite length. Using this result, it is shown that for all finitely generated R-modules N with Supp(N) ? V (I) and for all integers i ? 0, the R-modules Ext _R ⁱ (N,M) are of finite length, if and only if, for all finitely generated R-modules N with Supp(N) ? V (I) and for all integers i ? 0, the R-modules Ext _R ⁱ (M,N) are of finite length.     

Small diameter interchange graphs of classes of matrices of zeros and ones

Let $\text{A}$(R, S) denote the class of all m×n matrices of 0's and 1's having row sum vector R and column sum vector S. The interchange graph G(R, S) is the graph where the vertices are the matrices in $\text{A}$(R, S) and where two matrices are joined by an edge provided they differ by an interchange. We characterize those $\text{A}$(R, S) for which the graph G(R, S) has diameter at most 2 and those $\text{A}$(R, S) for which G(R, S) is bipartite.     

Two-sided bounds for the volume of right-angled hyperbolic polyhedra

For a compact right-angled polyhedron R in Lobachevskii space ?³, let vol(R) denote its volume and vert(R), the number of its vertices. Upper and lower bounds for vol(R) were recently obtained by Atkinson in terms of vert(R). In constructing a two-parameter family of polyhedra, we show that the asymptotic upper bound 5v ₃/8, where v ₃ is the volume of the ideal regular tetrahedron in ?³, is a double limit point for the ratios vol(R)/ vert(R). Moreover, we improve the lower bound in the case vert(R) ≤ 56.     

Embedding and unsolvability theorems for modular lattices

LetR be a nontrivial ring with 1 and δ a cardinal. Let,L(R, δ) denote the lattice of submodules of a free unitaryR-module on δ generators. Let ? be the variety of modular lattices. A lattice isR-representable if embeddable in the lattice of submodules of someR-module; ?(R) denotes the quasivariety of allR-representable lattices. Let ω denote aleph-null, and let a (m, n) presentation havem generators andn relations,m, n≤ω. THEOREM. There exists a (5, 1) modular lattice presentation having a recursively unsolvable word problem for any quasivarietyV,V ? ?, such thatL(R, ω) is inV. THEOREM. IfL is a denumerable sublattice ofL(R, δ), then it is embeddable in some sublatticeK ofL(R,δ^*) having five generators, where δ^*=δ for infinite δ and δ^*=4δ(m+1) if δ is finite andL has a set ofm generators. THEOREM. The free ?(R)-lattice on ω generators is embeddable in the free ?(R)-lattice on five generators. THEOREM. IfL has an (m, n), ?(R)-presentation for denumerablem and finiten, thenL is embeddable in someK having a (5, 1) ?(R)-presentation.     

Upsets in round robin tournaments

LetT(R) be the class of tournaments having monotone score vectorR = (r₁,…, r_n). For a givenn, upper and lower bounds are given for the minimum number and maximum number of upsets for tournaments inT(R) withR strong. The cases of equality are characterized.     

A field-theoretic invariant for domains

SoientR ?T des anneaux intègres. D’après Dobbs-Mullins, on pose Λ(T/R) ? sup{λ(k _Q (T)/k _Q∩R (R)) |Q ∈ Spec(T)} où, pour des corpsK?L,λ(L/K) est la longueur maximale d’une chaîne de corps contenus entreK etL. On introduitσ(R):=sup{Λ(T/R)|T est un suranneau deR\. On détermineσ(R) siR′, la clôture intégrale deR, est un anneau de Prüfer et également siR est un anneau de pseudo-valuation. On considère le cas oùσ(R)=1, en particulier siR′ est une extension minimale deR. Plusieurs calculs sont facilités par un résultat sur les carrés cartésiens, et il y a des exemples divers.     

Tetravalent Edge-transitive Cayley Graphs of PGL （2, p）

t Let F = Cay（G, S）, R（G） be the right regular representation of G. The graph Г is called normal with respect to G, if R（G） is normal in the full automorphism group Aut（F） of F. Г is called a bi-normal with respect to G if R（G） is not normal in Aut（Г）, but R（G） contains a subgroup of index 2 which is normal in Aut（F）. In this paper, we prove that connected tetravalent edge-transitive Cayley graphs on PGL（2,p） are either normal or bi-normal when p ≠ 11 is a prime.     

Relations between reflections in the unitary group and Hermitian hyperquadrics in the complex projective space

We consider the subgroup G(n) of the compact unitary group U(n) generated by reflections. By a reflection we mean an element R of U(n) such that R²=I and ?1 is a simple eigenvalue of R. It is easy to describe the relations between reflections of the form R₁R₂=R₃R₄. One of our main results is that these relations together with R²=I are the defining relations of G(n). Other results characterize the set of all shortest sequences R₁, R₂,…, R_m of reflections whose product is a fixed element of G(n).     

Some Structure Theorems for Atomistic Algebraic Lattices

We prove that any atomistic algebraic lattice is a direct product of subdirectly irreducible lattices iff its congruence lattice is an atomic Stone lattice. We define on the set A(L) of all atoms of an atomistic algebraic lattice L a relation R as follows: for a, b A(L), (a, b) R ? θ(0, a) ∧ θ(0, b) ≠ ?_{Con L} . We prove that Con L is a Stone lattice iff R is transitive and we give a characterization of Cen (L) using R. We also give a characterization of weakly modular atomistic algebraic lattices.     

(t, v)-Dedekind Domains and the Ring {{R[X]_{N_v}}}

Let R be an integral domain and X an indeterminate over R. In this paper, we indicate that the quotient ring of a (t, v)-Dedekind domain is not necessarily a (t, v)-Dedekind domain. Also, we show that a locally (t, v)-Dedekind domain is not necessarily a (t, v)-Dedekind domain. The characterization of the localization of a (t, v)-Dedekind domain further leads us to study the quotient ring ${R[X]_{N_v}}$ over a (t, v)-Dedekind domain R. As the application of the ring ${R[X]_{N_v}}$ , we end this paper by characterizing the group ring R[X; G] and the semigroup ring R[??] over a (t, v)-Dedekind domain R.