Quasideterminants

The determinant is a main organizing tool in commutative linear algebra. In this review we present a theory of the quasideterminants defined for matrices over a division ring.     

On semi-I-regular sets, AB I -sets and decompositions of continuity, R I C-continuity, A I -continuity

Summary We introduce the notion of a semi-I-regular set and investigate some of its properties. We show that it is weaker than the notion of a regular-I-closed set. Additionally, we also introduce the notion of an AB_I -set by using the semi-I-regular set and study some of its properties. We conclude that a subset A of an ideal topological space (X,τ,I) is open if and only if it is an AB_I -set and a pre-I-open set.     

B0,I0,B1,I1,C0-半群

利用半群的理想和双理想呈现的包含关系定义了新的半群类B0,I0,B1,I1,C0-半群,讨论其性质,证明了正则半群S是C0-半群的充要条件是S是矩形带;B0,I0,B1,I1,C0-半群各自的直积半群和关于同余的商半群保持B0,I0,B1,I1,C0性.     

Alcoved Polytopes,I

The aim of this paper is to study alcoved polytopes, which are polytopes arising from affine Coxeter arrangements. This class of convex polytopes includes many classical polytopes, for example, the hypersimplices. We compare two constructions of triangulations of hypersimplices due to Stanley and Sturmfels and explain them in terms of alcoved polytopes. We study triangulations of alcoved polytopes, the adjacency graphs of these triangulations, and give a combinatorial formula for volumes of these polytopes. In particular, we study a class of matroid polytopes, which we call the multi-hypersimplices.     

On N-Summations, I

This paper continues recent work on N-summations (see [8, 9, 12]). More specifically, it addresses the issue of existence of N-summations both for cone semirings and for prenormed semitopological semimodules. In the case of a cone semiring C we assume N-order completeness plus compatibility of N-joins with addition and multiplication to make the class of summarily bounded elements of C ^N into an N-summation for C. In the case of a prenormed semitopological semimodule M we use certain completeness properties of semitopologies on M to make the class of Cauchy elements of M ^N into an N-summation for M. Results on semitopologies and their connection with closure operators are contained in the Appendix.     

Normal Subalgebras, I

We extend the notions of normal subalgebras, clots and ideals of an algebra A in a variety of (universal) algebras, from the familiar case of a single constant to the case of any number of constants. The first idea is that a subalgebra of A is normal when it is the inverse image under some morphism of the subalgebra generated by constants in the target. We argue that a better approach is obtained by considering pullbacks of γ _B and g?:?A?→?B, where g?:?A?→?B is some morphism and γ _B is the morphism from the initial algebra of the variety to B. Examples are shown in Heyting algebras, boolean algebras and unitary rings. Ideals and clots are generalizations of this notion, defined instead by closure under derived operations which have the right behavior on constants. There are several characterizations of these notions; some of them aiming at a categorical generalization. We deal with an (extended) notion of subtractivity, showing that it implies that ideals coincide with normal subalgebras, and it is connected with notions of coherence of congruences, allowing a characterization of protomodular varieties.     

Sphere packings, I

We describe a program to prove the Kepler conjecture on sphere packings. We then carry out the first step of this program. Each packing determines a decomposition of space into Delaunay simplices, which are grouped together into finite configurations called Delaunay stars. A score, which is related to the density of packings, is assigned to each Delaunay star. We conjecture that the score of every Delaunay star is at most the score of the stars in the face-centered cubic and hexagonal close packings. This conjecture implies the Kepler conjecture. To complete the first step of the program, we show that every Delaunay star that satisfies a certain regularity condition satisfies the conjecture.     

Bootstrapping, part I

We construct models of the integers, to yield: witnessing, independence and separation results for weak systems of bounded induction.     

Fixed-orbit indices, I

Let G be a compact Lie group. Using methods from equivariant fibrewise stable homotopy theory, we study indices which measure algebraically (1) for a G-self-map f of a compact G-ENR, the set of G-orbits which are preserved by f and (2) for a G-vector field v on a closed smooth G-manifold, the set of points where v is parallel to the G-orbit through the point.     

Cyrtologies of Convergences,I

We study the complete lattice of convergences, that is, of relations between a set and the set of its filters. Various properties of convergences (like isotonicity, antitonicity, being a pseudotopology, a pretopology, an adherence) determine subsets of the lattice of convergences which possess certain particular features called “cyrtological”. The morphisms associated to these sets, said “cyrtomorphisms”, are basic in the study of convergences. A method of generation of GALOIS connections relative to cyrtomorphisms is proposed. Semigroups generated by some cyrtomorphisms are analyzed.     

Random Diophantine equations,I

We consider additive Diophantine equations of degree k in s   variables and establish that whenever s?3k+2$s?3k+2$ then almost all such equations satisfy the Hasse principle. The equations that are soluble form a set of positive density, and among the soluble ones almost all equations admit a small solution. Our bound for the smallest solution is nearly best possible.