Displaying similar documents to “Direct sum of residually decomposable operators”

The Jordan-Hölder Theorem

Marco Riccardi (2007)

Formalized Mathematics

Similarity:

The goal of this article is to formalize the Jordan-Hölder theorem in the context of group with operators as in the book [5]. Accordingly, the article introduces the structure of group with operators and reformulates some theorems on a group already present in the Mizar Mathematical Library. Next, the article formalizes the Zassenhaus butterfly lemma and the Schreier refinement theorem, and defines the composition series.

Decompositions of saturated models of stable theories

M. C. Laskowski, S. Shelah (2006)

Fundamenta Mathematicae

Similarity:

We characterize the stable theories T for which the saturated models of T admit decompositions. In particular, we show that countable, shallow, stable theories with NDOP have this property.

A Note on the Uniqueness of Stable Marriage Matching

Ewa Drgas-Burchardt (2013)

Discussiones Mathematicae Graph Theory

Similarity:

In this note we present some sufficient conditions for the uniqueness of a stable matching in the Gale-Shapley marriage classical model of even size. We also state the result on the existence of exactly two stable matchings in the marriage problem of odd size with the same conditions.

Around stable forking

Byunghan Kim, A. Pillay (2001)

Fundamenta Mathematicae

Similarity:

We discuss various conjectures and problems around the issue of when and whether stable formulas are responsible for forking in simple theories. We prove that if the simple theory T has strong stable forking then any complete type is a nonforking extension of a complete type which is axiomatized by instances of stable formulas. We also give another treatment of the first author's result which identifies canonical bases in supersimple theories.

Polaroid type operators and compact perturbations

Chun Guang Li, Ting Ting Zhou (2014)

Studia Mathematica

Similarity:

A bounded linear operator T acting on a Hilbert space is said to be polaroid if each isolated point in the spectrum is a pole of the resolvent of T. There are several generalizations of the polaroid property. We investigate compact perturbations of polaroid type operators. We prove that, given an operator T and ε > 0, there exists a compact operator K with ||K|| < ε such that T + K is polaroid. Moreover, we characterize those operators for which a certain polaroid type property...