More on positive commutators

Let A and B be positive operators on a Banach lattice E such that the commutator C=AB−BA is also positive. The paper continues the investigation of the spectral properties of C initiated in J. Bra?i? et al. (in press) [3]. If the sum A+B is a Riesz operator and the commutator C is a power compact operator, then C is a quasi-nilpotent operator having a triangularizing chain of closed ideals of E. If we assume that the operator A is compact and the commutator AC−CA is positive, the operator C is quasi-nilpotent as well. We also show that the commutator C is not invertible provided the resolvent set of C is connected.     

Making holes in hyperspaces

Let X be a metric continuum and C(X) the hyperspace of all nonempty subcontinua of X. Let A∈C(X), A is said to make a hole in C(X), if C(X)−{A} is not unicoherent. In this paper we study the following problem.Problem: For which A∈C(X), A makes a hole in C(X).In this paper we present some partial solutions to this problem in the following cases: (1) A is a free arc; (2) A is a one-point set; (3) A is a free simple closed curve; (4) A=X.     

Some isomorphisms between pairs of latin squares

Let A, B, C, D be latin squares with A orthogonal to B and C orthogonal to D. The pair A, B is isomorphic with the pair C, D if the graph of A, B is graph-isomorphic with the graph of C, D. A characterization is given for determining when a pair A, B of latin squares is isomorphic with a self-orthogonal square C and its transpose. Self-orthogonal squares are important because they are both abundant and easy to store. An algorithm either displays a self-orthogonal square C and an isomorphism from A, B to C, C^T or, if none exists, gives a small set of blocks to the existence of such a square isomorphism.     

A fixed point theorem for the pseudo-circle

Let f:C→C be a self-map of the pseudo-circle C. Suppose that C is embedded into an annulus A, so that it separates the two components of the boundary of A. Let F:A→A be an extension of f to A (i.e. F|C=f). If F is of degree d then f has at least |d−1| fixed points. This result generalizes to all plane separating circle-like continua.     

Local selections and local dendrites

Let X be a Peano continuum, C(X) its space of subcontinua, and C(X, ε) the space of subcontinua of diameter less than ε. A selection on some subspace of C(X) is a continuous choice function; the selection σ is rigid if σ(A) ? B ? A implies σ(A) = σ(B). It is shown that X is a local dendrite (contains at most one simple closed curve) if and only if there exists ε > 0 such that C(X, ε) admits a selection (rigid selection). Further, C(X) admits a local selection at the subcontinuum A if and only if A has a neighborhood (relative to the space C(X)) which contains no cyclic local dendrite; moreover, that local selection may be chosen to be a constant.     

A Nagata-like theorem for certain function spaces

Let X be a space, and let A be a zero-dimensional topological ring. In this paper we will consider a few natural questions that arise when studying the space C _p (X, A), the ring of continuous functions from X to A, endowed with the topology of pointwise convergence. It will be shown that the zero-dimensionality of the codomain plays a vital role in this study. An upper and lower bound will be determined for the density of C _p (X, A) using the density of A and the weight of X. The character of C _p (X, A) will be computed, thus characterizing when C _p (X, A) is metrizable. Lastly, we will consider the topological dual space of C _p (X, A) and use it to prove a Nagata-like theorem.     

Crossed products by finite group actions with certain tracial Rokhlin property

We introduce a special tracial Rokhlin property for unital C~*-algebras. Let A be a unital tracial rank zero C~*-algebra(or tracial rank no more than one C~*-algebra). Suppose that α : G → Aut(A) is an action of a finite group G on A, which has this special tracial Rokhlin property, and suppose that A is a α-simple C~*-algebra. Then, the crossed product C~*-algebra C~*(G, A, α) has tracia rank zero(or has tracial rank no more than one). In fact,we get a more general results.     

A quasicancellation property for the direct product of graphs

We are motivated by the following question concerning the direct product of graphs. If A×C≅B×C, what can be said about the relationship between A and B? If cancellation fails, what properties must A and B share? We define a structural equivalence relation ∼ (called similarity) on graphs, weaker than isomorphism, for which A×C≅B×C implies A∼B. Thus cancellation holds, up to similarity. Moreover, if C is bipartite, then A×C≅B×C if and only if A∼B. We conjecture that the prime factorization of connected bipartite graphs is unique up to similarity of factors, and we offer some results supporting this conjecture.     

Spectrally arbitrary, nonderogatory factorization over a general field

It is known that a nonsingular, nonscalar matrix A, over the complex field, may be factored as A=BC, in which the spectra of B and C are arbitrary, subject to detBdetC=detA, and that B and C may be taken to be nonderogatory. The purpose of this paper is to establish this result over a general field with at least four elements.     

Semi-dualizing modules and related Gorenstein homological dimensions

A semi-dualizing module over a commutative noetherian ring A is a finitely generated module C with RHom_A(C,C)?A in the derived category D(A).We show how each such module gives rise to three new homological dimensions which we call C-Gorenstein projective, C-Gorenstein injective, and C-Gorenstein flat dimension, and investigate the properties of these dimensions.     

On direct product cancellation of graphs

The direct product of graphs obeys a limited cancellation property. Lovász proved that if C has an odd cycle then A×C≅B×C if and only if A≅B, but cancellation can fail if C is bipartite. This note investigates the ways cancellation can fail. Given a graph A and a bipartite graph C, we classify the graphs B for which A×C≅B×C. Further, we give exact conditions on A that guarantee A×C≅B×C implies A≅B. Combined with Lovász’s result, this completely characterizes the situations in which cancellation holds or fails.     

On lifting and extending derivations of approximately finite-dimensional C1-algebras

It is shown that if A is the C¹-algebra inductive limit of a sequence of finite-dimensional C¹-algebras, then for each closed two-sided ideal J of A derivations can be lifted to A from $\text{A}\text{J}$, and for each projection e in A derivations can be extended to A from eAe. An application of the second result is given.     

Couplages et transversaux généralisés d'un hypergraphe infini

Let $\text{A}$ be a hypergraph possibly infinite but whose edges are finite sets. An s-transversal of $\text{A}$ is a set of vertices of $\text{A}$ whose intersection with each edge A has a power greater than or equal to some cardinal s(A). Three successively stronger kinds of matchings of $\text{A}$ are defined: the s-maximal, the strongly s-maximal, and the s-perfect matchings. The first two generalize matchings of maximal cardinality, whereas a matching $\text{C}$ is s-perfect iff $\text{A}$ has an s-transversal T with T ? ∪ $\text{C}$ and |T ∩ C| = s(C) for every C ∈ $\text{C}$. Several classes of hypergraphs having strongly s-maximal or s-perfect matchings are characterized.     

The ideal property, the projection property, continuous fields and crossed products

Let A be the C^∗-algebra associated to an arbitrary continuous field of C^∗-algebras. We give a necessary and sufficient condition for A to have the ideal property and, if moreover A is separable, we give a necessary and sufficient condition for A to have the projection property. Some applications of these results are given. We also prove that “many” crossed products of commutative C^∗-algebras by discrete, amenable groups have the projection property, generalizing some of our previous results.     

Direct decompositions in free commutative monoids

Let N be the positive integers; let C be a subset closed under taking divisors; and let A and B be subsets of C such that every member of AB (= {ab: a?A, b?B) is uniquely representable in the form ab, and also AB contains C. Given C, all such pairs (A, B) are found. The result is obtained in a slightly more general setting, and the pairs are replaced by arbitrarily large families.     

On rational invariants of a set of symmetric matrices

Some identities resulting from the Cayley-Hamilton theorem are derived. Some applications include: (a) for k = 1,2,…,n ? 1 a condition is found for a pair (A,B) of symmetric operators acting in Euclidean n-space to have common invariant k-subspace (provided that A does not have multiple eigenvalues); (b) it is shown that the field of rational invariants of (A,B) is isomorphic to a subfield of a rational function field with n(n+3)/2 generators consisting of elements symmetric with respect to the permutaion group P_n; (c) it is shown that any rational invariant of (g+2) symmetric operators A,B,C₁,C₂,…, C_g can be expressed as a rational function of invariants of one or two operators that are taken for pairs (A,B), (A,C₂),…, (A,C_g, (A,B+C₁), (A,B+C₂),…,(A,B+C_g).     

The Double Centralizer Theorem for Semiprime Algebras

In the paper we prove the double centralizer theorem for semiprime algebras. To be precise, let R be a closed semiprime algebra over its extended centroid F, and let A be a closed semiprime subalgebra of R, which is a finitely generated module over F. Then C _R (A) is also a closed semiprime algebra and C _R (C _R (A))?=?A. In addition, if C _R (A) satisfies a polynomial identity, then so does the whole ring R. Here, for a subset T of R, we write C _R (T):?=?{x?∈?R|xt?=?tx???t?∈?T}, the centralizer of T in R.     

A necessary and sufficient condition for a product relation to be total

Let A, B, and C be sets, let ? be a relation on A × B, and let σ be a relation on B × C. A necessary and sufficient condition for ? ° σ to be total is provided in terms of a DeMorgan algebra defined on B.     

Diagonalization modulo a class of Orlicz ideals

We consider a class of norm ideals CG which are non-commutative analogues of Orlicz spaces and which satisfy a previously introduced condition called (QK). We give a spectral condition which is necessary and sufficient for a commuting tuple of self-adjoint operators A=(A₁,…,An) to be simultaneously diagonalizable modulo CG.     

Primes in the semigroup of Boolean matrices

Let A, B, C be n×n matrices of zeros and ones. Using Boolean addition and multiplication, we say that A is prime if it is not a permutation matrix and if A=BC implies that B or C must be a permutation matrix. Conditions sufficient for a matrix to be prime are provided, and a characterization of primes in terms of a nation of rank is given. Finally, an order property of primes is used to obtain a result on prime factors.