In this paper elementary properties are established for matrices whose coordinates are elements of a lattice L. In particular, many of the results of Luce [4] are extended to the case where L is an orthomodular lattice, a lattice with an orthocomplementation denoted by in which a ≦ b ⇒ a ∨(a′ ∧ b) = b. Originally, these were called orthocomplemented weakly modular lattices, Foulis [2]. In Theorem 1 a characterization is given of the nucleus with respect to matrix multiplication, which is in general nonassociative. Matrices with A-1 = transpose (A) are characterized in Lemma 8. Theorems 3 and 4 respectively, give partial characterizations of zero divisors and inverses.

Since the pioneering work of W. G. Bade [3, 4] a great deal of work has been done on bounded Boolean algebras of projections on a Banach space ([11, XVII.3.XVIII.3], [21, V.3], [16], [6], [12], [13], [14], ]17], [18], [23], [24]). Via the Stone representation space of the Boolean algebra, the theory can be studied through Banach modules over C(K), where K is a compact Hausdorff space. One of the key concepts in the theory is the notion of Bade functionals. If X is a Banach C(K)-module and x ε X, then a Bade functional of x with respect to C(K) is a continuous linear functional α on X such that, for each a in C(K) with a ≥ 0, we have

(i) α (ax) ≥0,

(ii) if α (ax) = 0, then ax = 0.

We give a simple proof of the lemma of Ford [1] on the existence of self-adjoint square roots in Banach*-algebras in which continuity of the involution is not assumed.

For a closed topological $n$-manifold $X$, the surgery exact sequence contains the set of manifold structures and the set of tangential structures of $X$. In the case of a compact topological $n$-manifold with boundary $(X$, $\partial X)$, the classical surgery theory usually considers two different types of structures. The first one concerns structures whose restrictions are fixed on the boundary. The second one uses two similar structures on the manifold pair. In his classical book, Wall mentioned the possibility of introducing a mixed type of structure on a manifold with boundary. Following this suggestion, we introduce mixed structures on a topological manifold with boundary, and describe their properties. Then we obtain connections between these structures and the classical ones, and prove that they fit in some surgery exact sequences. The relationships can be described by using certain braids of exact sequences. Finally, we discuss explicitly several geometric examples.

A norm ‖ċ‖ on c00 is called combinatorial if there is a regular family of finite subsets $\mathcal{F}$, so that $\|x\|=\sup_{F \in \mathcal{F}} \sum_{i \in F} |x(i)|$. We prove the set of extreme points of the ball of a combinatorial Banach space is countable. This extends a theorem of Shura and Trautman. The second contribution of this article is to exhibit many new examples of extreme points for the unit ball of dual Tsirelson's original space and give an explicit construction of an uncountable collection of extreme points of the ball of Tsirelson's original space. We also prove some stability properties of the intermediate norms used to define Tsirelson's space and give a lower bound of the stabilization function for these intermediate norms.

In this paper, we study Abelian and metabelian quotients of braid groups of oriented surfaces with boundary components. We provide group presentations and we prove rigidity results for these quotients arising from exact sequences related to (generalised) Fadell–Neuwirth fibrations.

A set D in a Banach space E is called limited if pointwise convergent sequences of linear functionals converge uniformly on D and E is called a GP-space (after Gelfand and Phillips) if every limited set in E is relatively compact. Banach spaces with weak * sequentially compact dual balls (W*SCDB for short) are GP-spaces and l1 is a GP-space without W*SCDB. Disproving a conjecture of Rosenthal and inspired by James tree space, Hagler and Odell constructed a class of Banach spaces ([HO]-spaces) without both W*SCDB and subspaces isomorphic to l1. Schlumprecht has shown that there is a subclass of the [HO]-spaces which are also GP-spaces. It is not clear however if any [HO]-construction yields a GP-space—in fact it is not even clear that W*SCDB[lrarr ]GP-space is false in general for the class of Banach spaces containing no subspace isomorphic to l1. In this note the example of Hagler and Odell is modified to yield a GP-space without W*SCDB and without an isomorphic copy of l1.

We define branching systems for finitely aligned higher-rank graphs. From these, we construct concrete representations of higher-rank graph C*-algebras on Hilbert spaces. We prove a generalized Cuntz–Krieger uniqueness theorem for periodic single-vertex 2-graphs. We use this result to give a sufficient condition under which representations of periodic single-vertex 2-graph C*-algebras arising from branching systems are faithful.

A group G is said to be an FC-group if each element of G has only a finite number of conjugates in G. We are concerned with the class of periodic locally soluble. FC-groups. Clearly subgroups and factor groups of -groups are also -groups.

Every finite soluble group is a -group, and we consider here the generalization of a concept from the theory of finite soluble groups.

Let $p^m$ be a power of a prime number $p$, $\mathbb{Dacute;_{p^m}$ be the dihedral group of order $2p^m$ and $k$ be a field where $p$ is invertible and containing a primitive $2p^m$-th root of unity. The aim of this paper is computing the Brauer group $BM(k,\mathbb{D}_{p^m},R_z)$ of the group Hopf algebra of $\mathbb{D}_{p^m}$ with respect to the quasi-triangular structure $R_z$ arising from the group Hopf algebra of the cyclic group $\mathbb{Z}_{p^m}$ of order $p^m,$ for $z$ coprime with $p$. The main result states that $BM(k,\mathbb{D}_{p^m},R_z)\cong \mathbb{Z}_2 \times k^{\cdot}/k^{\cdot 2} \times Br(k)$ when $p$ is odd and when $p=2,$$BM(k,\mathbb{D}_{2^m},R_z) \cong \mathbb{Z}_2\times \mathbb{Z}_2 \times k^{\cdot}/k^{\cdot 2} \times k^{\cdot}/k^{\cdot 2} \times Br(k).$

We show that if R is a commutative ring and (S, \leq ) a strictly totally ordered monoid, then the ring [[R^{S, \leq }]] of generalized power series is Baer if and only if R is Baer.

In this note, we establish a Schwarz–Pick type inequality for holomorphic mappings between unit balls Bn and Bm in corresponding complex spaces. We also prove a Schwarz-Pick type inequality for pluri-harmonic functions.

A class of operators on a tensor product of separable Hilbert spaces is considered. It contains various traditional operators. Invertibility, positive invertibility conditions and estimates for the norm of the resolvents are established. In addition, bounds for the spectrum are suggested. Applications to partial integral and integro-differential operators are discussed.

We compare the reduced Drinfeld doubles of the composition subalgebras of the category of representations of the Kronecker quiver and the category of coherent sheaves on ℙ1. Using this approach, we show that the Drinfeld–Beck isomorphism for the quantized enveloping algebra Uv() is a corollary of an equivalence between the derived categories Db(Rep()) and Db(Coh(ℙ1)). This technique allows to reprove several results on the integral form of Uv().

Let G be a connected graph of order n, and let k ≥ 2 and m ≥ 0 be two integers. In this paper, we show that G is a fractional (k, m)-deleted graph if and for each pair of non-adjacent vertices x, y of G. This result is an extension of the previous result of Zhou [11].

A Lie group is called p-regular if it has the p-local homotopy type of a product of spheres. (Non)triviality of the Samelson products of the inclusions of the factor spheres into p-regular SO(2n(p) is determined, which completes the list of (non)triviality of such Samelson products in p-regular simple Lie groups. As an application, we determine the homotopy normality of the inclusion SO(2n − 1) → SO(2n) in the sense of James at any prime p.

The goal of this paper is to present a solution of the cellular automaton associated with the discrete KdV equation, using an algebro-geometric solution of the discrete KP equation over a finite field out of a hyperelliptic curve.

We study the values of the zeta-function of the root system of type G2 at positive integer points. In our previous work we considered the case when all integers are even, but in the present paper we prove several theorems which include the situation when some of the integers are odd. The underlying reason why we may treat such cases, including odd integers, is also discussed.

We construct a T1-space that is not hereditarily compact, although each of its open sets is the intersection of two compact open sets. The search for such a space was motivated by a problem in the theory of quasi-proximities.

Throughout this note, rings are associative with identity element but are not necessarily commutative. Let R be a left and right Noetherian ring which has an Artinian (classical) quotient ring. It was shown by S. M. Ginn and P. B. Moss [2, Theorem 10] that there is a central idempotent element e of R such that eR is the largest Artinian ideal of R. We shall extend this result, using a different method of proof, to show that the idempotent e is also related to the socle of R/N (where N, throughout, denotes the largest nilpotent ideal of R) and to the intersection of all the principal right (or left) ideals of R generated by regular elements (i.e. by elements which are not zero-divisors). There are many examples of left and right Noetherian rings with Artinian quotient rings, e.g. commutative Noetherian rings in which all the associated primes of zero are minimal together with full or triangular matrix rings over such rings. It was shown by L. W. Small that if R is any left and right Noetherian ring then R has an Artinian quotient ring if and only if the regular elements of R are precisely the elements c of R such that c + N is a regular element of R/N (for further details and examples see [5] and [6]). By the largest Artinian ideal of R we mean the sum of all the Artinian right ideals of R, and it was shown by T. H. Lenagan in [3] that this coincides in any left and right Noetherian ring R with the sum of all the Artinian left ideals of R.