Elasticity of A+XI[X] domains where A is a UFD

Let A be a UFD and I be an ideal of A. We study the elasticity of atomic domains of the form A+XI[X]. We prove this elasticity to be finite if and only if I is a product of incomparable prime ideals where at most one of them is nonprincipal, then we provide an explicit computation in the finite case.     

Menger's theorem for infinite graphs with ends

A well‐known conjecture of Erd?s states that given an infinite graph G and sets A, ? V(G), there exists a family of disjoint A ? B paths ?? together with an A ? B separator X consisting of a choice of one vertex from each path in ??. There is a natural extension of this conjecture in which A, B, and X may contain ends as well as vertices. We prove this extension by reducing it to the vertex version, which was recently proved by Aharoni and Berger. © 2005 Wiley Periodicals, Inc. J Graph Theory 50: 199–211, 2005     

t-closed rings of formal power series

Let A ì BA\subset B be rings. We say that A is t-closed in B, if for each a ? Aa\in A and b ? Bb\in B such that b²-ab,b³-ab² ? Ab^2-ab,b^3-ab^2\in A, then b ? Ab\in A. We present a sufficient condition for the ring A[[X₁,?,X_n]]A[[X_1,\ldots ,X_n]] to be t-closed in B[[X₁,?,X_n]]B[[X_1,\ldots ,X_n]]. By an example, we show that our condition is not necessary. Even though the question is still open, some important cases are treated. For example, if A ì BA\subset B is an integral extension, or if A is p-injective, then A[[X₁,?,X_n]]A[[X_1,\ldots ,X_n]] is t-closed in B[[X₁,?,X_n]]B[[X_1,\ldots ,X_n]] if and only if A is t-closed in B.     

On Tate-Shafarevich groups over galois extensions

LetA be an abelian variety defined over a number fieldK. LetL be a finite Galois extension ofK with Galois groupG and let III(A/K) and III(A/L) denote, respectively, the Tate-Shafarevich groups ofA overK and ofA overL. Assuming these groups are finite, we compute [III(A/L) ^G ]/[III(A/K)] and [III(A/K)]/[N(III(A/L))], where [X] is the order of a finite abelian groupX. Especially, whenL is a quadratic extension ofK, we derive a simple formula relating [III(A/L)], [III(A/K)], and [III(A ^x/K)] whereA x is the twist ofA by the non-trivial characterχ ofG.     

Restricted Elasticity and Rings of Integer-Valued Polynomials Determined by Finite Subsets

Let D be an integral domain such that Int(D) ≠ K[X] where K is the quotient field of D. There is no known example of such a D so that Int(D) has finite elasticity. If E is a finite nonempty subset of D, then it is known that Int(E, D) = {f(X) ∈ K[X] | f(e) ∈ D for all e ∈ E} is not atomic. In this note, we restrict the notion of elasticity so that it is applicable to nonatomic domains. For each real number r ≥ 1, we produce a ring of integer-valued polynomials with restricted elasticity r. We further show that if D is a unique factorization domain and E is finite with |E| > 1, then the restricted elasticity of Int(E, D) is infinite.     

Restricted Elasticity and Rings of Integer-Valued Polynomials Determined by Finite Subsets

Let D be an integral domain such that Int(D) ≠ K[X] where K is the quotient field of D. There is no known example of such a D so that Int(D) has finite elasticity. If E is a finite nonempty subset of D, then it is known that Int(E, D) = {f(X) ∈ K[X] | f(e) ∈ D for all e ∈ E} is not atomic. In this note, we restrict the notion of elasticity so that it is applicable to nonatomic domains. For each real number r ≥ 1, we produce a ring of integer-valued polynomials with restricted elasticity r. We further show that if D is a unique factorization domain and E is finite with |E| > 1, then the restricted elasticity of Int(E, D) is infinite. Part of this work was completed while the first author was on an Academic Leave granted by the Trinity University Faculty Development Committee.     

PrÜfer-Like Domains and the Nagata Ring of Integral Domains

A subring A of a Prüfer domain B is a globalized pseudo-valuation domain (GPVD) if (i) A?B is a unibranched extension and (ii) there exists a nonzero radical ideal I, common to A and B such that each prime ideal of A (resp., B) containing I is maximal in A (resp., B). Let D be an integral domain, X be an indeterminate over D, c(f) be the ideal of D generated by the coefficients of a polynomial f ∈ D[X], N = {f ∈ D[X] | c(f) = D}, and N _v  = {f ∈ D[X] | c(f)^?1 = D}. In this article, we study when the Nagata ring D[X] _N (more generally, D[X] _{N v} ) is a GPVD. To do this, we first use the so-called t-operation to introduce the notion of t-globalized pseudo-valuation domains (t-GPVDs). We then prove that D[X] _{N v} is a GPVD if and only if D is a t-GPVD and D[X] _{N v} has Prüfer integral closure, if and only if D[X] is a t-GPVD, if and only if each overring of D[X] _{N v} is a GPVD. As a corollary, we have that D[X] _N is a GPVD if and only if D is a GPVD and D has Prüfer integral closure. We also give several examples of integral domains D such that D[X] _{N v} is a GPVD.     

SOME t-CLOSED PAIRS

Let A ? B be integral domains. (A, B) is called a t-closed pair if each subring of B containing A is t-closed. Let R be a t-closed domain containing a field K and let I be a nonzero proper ideal of R. Let D be a subring of K and let S = D + I. If D is a field then it is shown that (S, R) is a t-closed pair if and only if R is integral over S and I is a maximal ideal of R. If D is not a field then we prove in this note that (S, R) is a t-closed pair if and only if (D, K) is a t-closed pair and R = K + I.     

On linear versions of some addition theorems

Let K ? L be a field extension. Given K-subspaces A, B of L, we study the subspace ?AB? spanned by the product set AB = {ab∣ a ∈ A, b ∈ B}. We obtain some lower bounds on dim _K ?AB? and dim _K ?B ⁿ ? in terms of dim _K A, dim _K B and n. This is achieved by establishing linear versions of constructions and results in additive number theory mainly due to Kemperman and Olson.     

Group rings over Dedekind rings

Seghal posed the following question: IfA andB are rings, doesA[X,X ⁻¹] ℞B[X,X ⁻¹] implyA ℞B. In general the answer to this question is no. In this note we give an affirmative answer in the case thatA andB are Dedekind rings. The author is research assistant at the NFWO.     

ℓ-group homomorphisms between reduced archimedean f-rings

Let A and B be reduced archimedean f-rings, A with identity e; let $A\,\mathop \to \limits^\gamma\,BLet A and B be reduced archimedean f-rings, A with identity e; let A \mathop ? ^g BA\,\mathop \to \limits^\gamma\,B be an ℓ-group homomorphism, and set w = γ (e). We show (with some vagaries of phrasing here) (1) γ = w·ρ for a canonical ℓ-ring homomorphism A \mathop ? ^r B (w)A\,\mathop \to \limits^\rho\,B (w), where B (w) is an extension of B in which w is a von Neumann regular element, and (2) for X _A ,X _B canonical representation spaces for A, B, γ is realized via composition with a unique partially defined continuous function from X _B to X _A .     

Depth Two,Normality, and a Trace Ideal Condition for Frobenius Extensions

A ring extension A ‖ B is depth two if its tensor-square satisfies a projectivity condition w.r.t. the bimodules _A A _B and _B A _A . In this case the structures (A ? _B A) ^B and End  _B A _B are bialgebroids over the centralizer C _A (B) and there is a certain Galois theory associated to the extension and its endomorphism ring. We specialize the notion of depth two to induced representations of semisimple algebras and character theory of finite groups. We show that depth two subgroups over the complex numbers are normal subgroups. As a converse, we observe that normal Hopf subalgebras over a field are depth two extensions. A generalized Miyashita–Ulbrich action on the centralizer of a ring extension is introduced, and applied to a study of depth two and separable extensions, which yields new characterizations of separable and H-separable extensions. With a view to the problem of when separable extensions are Frobenius, we supply a trace ideal condition for when a ring extension is Frobenius.     

Maps completely preserving idempotents and maps completely preserving square-zero operators

Let X, Y be real or complex Banach spaces with dimension greater than 2 and let A, B be standard operator algebras on X and Y, respectively. In this paper, we show that every map completely preserving idempotence from A onto B is either an isomorphism or (in the complex case) a conjugate isomorphism; every map completely preserving square-zero from A onto B is a scalar multiple of either an isomorphism or (in the complex case) a conjugate isomorphism.     

Least squares X=±Xη* solutions to split quaternion matrix equation AXAη*=B

In the paper, the split quaternion matrix equation AXA^η*=B is considered, where the operator A^η* is the η-conjugate transpose of A, where η∈{i,j,k}. We propose some new real representations, which well exploited the special structures of the original matrices. By using this method, we obtain the necessary and sufficient conditions for AXA^η*=B to have X=±X^η* solutions and derive the general expressions of solutions when it is consistent. In addition, we also derive the general expressions of the least squares X=±X^η* solutions to it in case that this matrix equation is not consistent.     

Least‐squares solutions and least‐rank solutions of the matrix equation AXA* = B and their relations

A Hermitian matrix X is called a least‐squares solution of the inconsistent matrix equation AXA^* = B, where B is Hermitian. A^* denotes the conjugate transpose of A if it minimizes the F‐norm of B ? AXA^*; it is called a least‐rank solution of AXA^* = B if it minimizes the rank of B ? AXA^*. In this paper, we study these two types of solutions by using generalized inverses of matrices and some matrix decompositions. In particular, we derive necessary and sufficient conditions for the two types of solutions to coincide. Copyright © 2012 John Wiley & Sons, Ltd.     

SOME REMARKS ON RICHMAN SIMPLE EXTENSIONS OF AN INTEGRAL DOMAIN

Let R ? A = R][α] be a simple algebraic extension of integral domains. We give a condition for A to hold the equivalences of LCM-stability, Richman extension and flatness.     

Hochschild Cohomology of an Algebra Associated with a Circular Quiver

In this article we show that an algebra A = K Γ/(f(X ^s )) has a periodic projective bimodule resolution of period 2, where KΓ is the path algebra of the circular quiver Γ with s vertices and s arrows over a commutative ring K, f(x) is a monic polynomial over K and X is the sum of all arrows in KΓ. Moreover, by means of this projective bimodule resolution, we compute the Hochschild cohomology group of A, and we give a presentation of the Hochschild cohomology ring HH?(A) by the generators and the relations in the case K is a field.     

On the Cyclic Homology of an Algebra Associated with a Cyclic Quiver and a Monic Polynomial

In this article, we compute the Hochschild homology group of A = KΓ/(f(X ^s )), where KΓ is the path algebra of the cyclic quiver Γ with s vertices and s arrows over a commutative ring K, f(x) is a monic polynomial over K, and X is the sum of all arrows in KΓ. Moreover, we compute the cyclic homology group of A in the case f(x) = (x ? a) ^m , where a ∈ K, so that we can determine the cyclic homology of A in general when K is an algebraically closed field.     

Consistent estimator in multivariate errors-in-variables model in the case of unknown error covariance structure

We consider a linear multivariate errors-in-variables model AX ≈ B, where the matrices A and B are observed with errors and the matrix parameter X is to be estimated. In the case of lack of information about the error covariance structure, we propose an estimator that converges in probability to X as the number of rows in A tends to infinity. Sufficient conditions for this convergence and for the asymptotic normality of the estimator are found. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 59, No. 8, pp. 1026–1033, August, 2007.     

Solutions to five problems on tensor products of lattices and related matters

The notion of a capped tensor product, introduced by G. Grätzer and the author, provides a convenient framework for the study of tensor products of lattices that makes it possible to extend many results from the finite case to the infinite case. In this paper, we answer several open questions about tensor products of lattices. Among the results that we obtain are the following:¶¶Theorem 2. Let A be a lattice with zero. If A ?B A \oplus B is a lattice for every lattice L with zero, then A is locally finite and A ?B A \oplus B is a capped tensor product for every lattice L with zero.¶¶Theorem 5. There exists an infinite, three-generated, 2-modular lattice K with zero such that K ?K K \oplus K is a capped tensor product.¶¶Here, 2-modularity is a weaker identity than modularity, introduced earlier by G. Grätzer and the author.