Search results for "property."
showing 10 items of 926 documents
Hypergraph functor and attachment
2010
Using an arbitrary variety of algebras, the paper introduces a fuzzified version of the notion of attachment in a complete lattice of Guido, to provide a common framework for the concept of hypergraph functor considered by different authors in the literature. The new notion also gives rise to a category of variable-basis topological spaces which is a proper supercategory of the respective category of Rodabaugh.
On formations of finite groups with the generalised Wielandt property for residuals
2014
Abstract A formation F of finite groups has the generalised Wielandt property for residuals, or F is a GWP-formation, if the F -residual of a group generated by two F -subnormal subgroups is the subgroup generated by their F -residuals. We prove that every GWP-formation is saturated. This is one of the crucial steps in the hunt for a solution of the classification problem.
On complements of 𝔉-residuals of finite groups
2016
ABSTRACTA formation 𝔉 of finite groups has the generalized Wielandt property for residuals, or 𝔉 is a GWP-formation, if the 𝔉-residual of a group generated by two 𝔉-subnormal subgroups is the subgroup generated by their 𝔉-residuals. The main aim of the paper is to determine some sufficient conditions for a finite group to split over its 𝔉-residual.
Unions of identifiable classes of total recursive functions
1992
J.Barzdin [Bar74] has proved that there are classes of total recursive functions which are EX-identifiable but their union is not. We prove that there are no 3 classes U1, U2, U3 such that U1∪U2,U1∪U3 and U2∪U3 would be in EX but U1∪U2∪U3∉ EX. For FIN-identification there are 3 classes with the above-mentioned property and there are no 4 classes U1, U2, U3, U4 such that all 4 unions of triples of these classes would be identifiable but the union of all 4 classes would not. For identification with no more than p minchanges a (2p+2−1)-tuple of such classes do exist but there is no (2p+2)-tuple with the above-mentioned properly.
The Ptolemy and Zbăganu constants of normed spaces
2010
Abstract In every inner product space H the Ptolemy inequality holds: the product of the diagonals of a quadrilateral is less than or equal to the sum of the products of the opposite sides. In other words, ‖ x − y ‖ ‖ z − w ‖ ≤ ‖ x − z ‖ ‖ y − w ‖ + ‖ z − y ‖ ‖ x − w ‖ for any points w , x , y , z in H . It is known that for each normed space ( X , ‖ ⋅ ‖ ) , there exists a constant C such that for any w , x , y , z ∈ X , we have ‖ x − y ‖ ‖ z − w ‖ ≤ C ( ‖ x − z ‖ ‖ y − w ‖ + ‖ z − y ‖ ‖ x − w ‖ ) . The smallest such C is called the Ptolemy constant of X and is denoted by C P ( X ) . We study the relationships between this constant and the geometry of the space X , and hence with metric fix…
Residual 𝑝 properties of mapping class groups and surface groups
2008
Let M ( Σ , P ) \mathcal {M}(\Sigma , \mathcal {P}) be the mapping class group of a punctured oriented surface ( Σ , P ) (\Sigma ,\mathcal {P}) (where P \mathcal {P} may be empty), and let T p ( Σ , P ) \mathcal {T}_p(\Sigma ,\mathcal {P}) be the kernel of the action of M ( Σ , P ) \mathcal {M} (\Sigma , \mathcal {P}) on H 1 ( Σ ∖ P , F p ) H_1(\Sigma \setminus \mathcal {P}, \mathbb {F}_p) . We prove that T p ( Σ , P ) \mathcal {T}_p( \Sigma ,\mathcal {P}) is residually p p . In particular, this shows that M ( Σ , P ) \mathcal {M} (\Sigma ,\mathcal {P}) is virtually residually p p . For a group G G we denote by I p ( G ) \mathcal {I}_p(G) the kernel of the natural action of Out ( G ) \ope…
On Banaschewski functions in lattices
1991
hold for all x, y ~ X. We call such a function z a Banaschewski function or a B-function on X. A lattice L is a B-lattice or antitonely complemented, if there is a B-function defined on the whole lattice L. For instance, Boolean lattices as well as orthocomplemented lattices are B-lattices. On the other hand, a B-lattice is not necessarily Boolean or orthocomplemented, although a distributive B-lattice is a Boolean lattice. It is shown later that a matroid (geometric) lattice is also a B-lattice. Naturally, our results include the lemma of Banaschewski [ 1, Lemma 4], by which the lattice of the subspaces of a vector space is a B-lattice. It should be emphasized that a B-function is supposed…
Convergence of Markov Chains
2020
We consider a Markov chain X with invariant distribution π and investigate conditions under which the distribution of X n converges to π as n→∞. Essentially it is necessary and sufficient that the state space of the chain cannot be decomposed into subspaces that the chain does not leave, or that are visited by the chain periodically; e.g., only for odd n or only for even n.
Exponential Codimension Growth of PI Algebras: An Exact Estimate
1999
Abstract LetAbe an associative PI-algebra over a fieldFof characteristic zero. By studying the exponential behavior of the sequence of codimensions {cn(A)} ofA, we prove thatInv(A)=limn→∞ c n ( A ) always exists and is an integer. We also give an explicit way for computing such integer: letBbe a finite dimensionalZ2-graded algebra whose Grassmann envelopeG(B) satisfies the same identities ofA; thenInv(A)=Inv(G(B))=dim C(0)+dim C(1)whereC(0)+C(1)is a suitableZ2-graded semisimple subalgebra ofB.
Browder's theorems through localized SVEP
2005
A bounded linear operator T ∈ L(X) on aBanach space X is said to satisfy “Browder’s theorem” if the Browder spectrum coincides with the Weyl spectrum. T ∈ L(X) is said to satisfy “a-Browder’s theorem” if the upper semi-Browder spectrum coincides with the approximate point Weyl spectrum. In this note we give several characterizations of operators satisfying these theorems. Most of these characterizations are obtained by using a localized version of the single-valued extension property of T. In the last part we shall give some characterizations of operators for which “Weyl’s theorem” holds.