On Fundamental Theorems of Fuzzy Isomorphism of Fuzzy Subrings over a Certain Algebraic Product

In this study, we define the concept of an ω-fuzzy set ω-fuzzy subring and show that the intersection of two ω-fuzzy subrings is also an ω-fuzzy subring of a given ring. Moreover, we give the notion of an ω-fuzzy ideal and investigate different fundamental results of this phenomenon. We extend this ideology to propose the notion of an ω-fuzzy coset and develop a quotient ring with respect to this particular fuzzy ideal analog into a classical quotient ring. Additionally, we found an ω-fuzzy quotient subring. We also define the idea of a support set of an ω-fuzzy set and prove various important characteristics of this phenomenon. Further, we describe ω-fuzzy homomorphism and ω-fuzzy isomorphism. We establish an ω-fuzzy homomorphism between an ω-fuzzy subring of the quotient ring and an ω-fuzzy subring of this ring. We constitute a significant relationship between two ω-fuzzy subrings of quotient rings under the given ω-fuzzy surjective homomorphism and prove some more fundamental theorems of ω-fuzzy homomorphism for these specific fuzzy subrings. Finally, we present three fundamental theorems of ω-fuzzy isomorphism.

The universal n-pointed surface bundle only has n sections

The classifying space BDiff[Formula: see text] of the orientation-preserving diffeomorphism group of a surface [Formula: see text] of genus [Formula: see text] fixing [Formula: see text] points pointwise has a universal bundle [Formula: see text] The [Formula: see text] fixed points provide [Formula: see text] sections [Formula: see text] of [Formula: see text]. In this paper we prove a conjecture of R. Hain that any section of [Formula: see text] is homotopic to some [Formula: see text]. Let [Formula: see text] be the space of ordered [Formula: see text]-tuple of distinct points on [Formula: see text]. As part of the proof of Hain’s conjecture, we prove a result of independent interest: any surjective homomorphism [Formula: see text] is equal to one of the forgetful homomorphisms [Formula: see text], possibly post-composed with an automorphism of [Formula: see text]. We also classify sections of the universal hyperelliptic surface bundle.

SAW*-ALGEBRAS ARE ESSENTIALLY NON-FACTORIZABLE

In this paper, we solve a question of Simon Wassermann, whether the Calkin algebra can be written as a C*-tensor product of two infinite dimensional C*-algebras. More generally, we show that there is no surjective *-homomorphism from a SAW*-algebra onto C*-tensor product of two infinite dimensional C*-algebras.

Automatic Continuity of Homomorphisms in Non-associative Banach Algebras

We introduce the concept of a rare element in a non-associative normed algebra and show that the existence of such an element is the only obstruction to continuity of a surjective homomorphism from a non-associative Banach algebra to a unital normed algebra with simple completion. Unital associative algebras do not admit any rare elements, and hence automatic continuity holds.

A PARTIAL ORDER ON THE SET OF PRIME KNOTS WITH UP TO 11 CROSSINGS

Let K be a prime knot in S3 and G(K) = π1(S3 - K) the knot group. We write K1 ≥ K2 if there exists a surjective homomorphism from G(K1) onto G(K2). In this paper, we determine this partial order on the set of prime knots with up to 11 crossings. There exist such 801 prime knots and then 640, 800 should be considered. The existence of a surjective homomorphism can be proved by constructing it explicitly. On the other hand, the non-existence of a surjective homomorphism can be proved by the Alexander polynomial and the twisted Alexander polynomial.

FINITE COVERS OF THE INFINITE CYCLIC COVER OF A KNOT

We show that the commutator subgroup G′ of a classical knot group G need not have subgroups of every finite index, but it will if G′ has a surjective homomorphism to the integers and we give an exact criterion for that to happen. We also give an example of a knotted Sn in Sn+2 for all n ≥ 2 whose infinite cyclic cover is not simply connected but has no proper finite covers.