Symmetry of Syzygies of a System of Functional Equations Defining a Ring Homomorphism

I deal with an alienation problem for the system of two fundamental Cauchy functional equations with an unknown function f mapping a ring X into an integral domain Y and preserving binary operations of addition and multiplication, respectively. The resulting syzygies obtained by adding (resp. multiplying) these two equations side by side are discussed. The first of these two syzygies was first examined by Jean Dhombres in 1988 who proved that under some additional conditions concering the domain and range rings it forces f to be a ring homomorphism (alienation phenomenon). The novelty of the present paper is to look for sufficient conditions upon f solving the other syzygy to be alien.

The Ring Homomorphisms of Matrix Rings over Skew Generalized Power Series Rings

Let M_n (R_1 [[S_1,≤_1,ω_1]]) and M_n (R_2 [[S_2,≤_2,ω_2]]) be a matrix rings over skew generalized power series rings, where R_1,R_2 are commutative rings with an identity element, (S_1,≤_1 ),(S_2,≤_2 ) are strictly ordered monoids, ω_1:S_1→End(R_1 ),〖 ω〗_2:S_2→End(R_2 ) are monoid homomorphisms. In this research, a mapping τ from M_n (R_1 [[S_1,≤_1,ω_1]]) to M_n (R_2 [[S_2,≤_2,ω_2]]) is defined by using a strictly ordered monoid homomorphism δ:(S_1,≤_1 )→(S_2,≤_2 ), and ring homomorphisms μ:R_1→R_2 and σ:R_1 [[S_1,≤_1,ω_1]]→R_2 [[S_2,≤_2,ω_2]]. Furthermore, it is proved that τ is a ring homomorphism, and also the sufficient conditions for τ to be a monomorphism, epimorphism, and isomorphism are given.

Comaximal graph of amalgamated algebras along an ideal

Let [Formula: see text] and [Formula: see text] be commutative rings with identity, [Formula: see text] be an ideal of [Formula: see text], and let [Formula: see text] be a ring homomorphism. The amalgamation of [Formula: see text] with [Formula: see text] along [Formula: see text] with respect to [Formula: see text] denoted by [Formula: see text] was introduced by D’Anna et al. in 2010. In this paper, we investigate some properties of the comaximal graph of [Formula: see text] which are transferred to the comaximal graph of [Formula: see text], and also we study some algebraic properties of the ring [Formula: see text] by way of graph theory. The comaximal graph of [Formula: see text], [Formula: see text], was introduced by Sharma and Bhatwadekar in 1995. The vertices of [Formula: see text] are all elements of [Formula: see text] and two distinct vertices [Formula: see text] and [Formula: see text] are adjacent if and only if [Formula: see text]. Let [Formula: see text] be the subgraph of [Formula: see text] generated by non-unit elements, and let [Formula: see text] be the Jacobson radical of [Formula: see text]. It is shown that the diameter of the graph [Formula: see text] is equal to the diameter of the graph [Formula: see text], and the girth of the graph [Formula: see text] is equal to the girth of the graph [Formula: see text], provided some special conditions.

A Certain Structure of Bipolar Fuzzy Subrings

The role of symmetry in ring theory is universally recognized. The most directly definable universal relation in a symmetric set theory is isomorphism. This article develops a certain structure of bipolar fuzzy subrings, including bipolar fuzzy quotient ring, bipolar fuzzy ring homomorphism, and bipolar fuzzy ring isomorphism. We define (α,β)-cut of bipolar fuzzy set and investigate the algebraic attributions of this phenomenon. We also define the support set of bipolar fuzzy set and prove various important properties relating to this concept. Additionally, we define bipolar fuzzy homomorphism by using the notion of natural ring homomorphism. We also establish a bipolar fuzzy homomorphism between bipolar fuzzy subring of the quotient ring and bipolar fuzzy subring of this ring. We constituted a significant relationship between two bipolar fuzzy subrings of quotient rings under a given bipolar fuzzy surjective homomorphism. We present the construction of an induced bipolar fuzzy isomorphism between two related bipolar fuzzy subrings. Moreover, to discuss the symmetry between two bipolar fuzzy subrings, we present three fundamental theorems of bipolar fuzzy isomorphism.

TAUTOLOGICAL RINGS AND STABILISATION

We construct a ring homomorphism comparing the tautological ring, fixing a point, of a closed smooth manifold with that of its stabilisation by S 2a ×S 2b .

On Nagata rings with amalgamation properties

Let [Formula: see text] and [Formula: see text] be two commutative rings with unity, let [Formula: see text] be an ideal of [Formula: see text] and [Formula: see text] be a ring homomorphism. In this paper, we give a characterization for the amalgamated algebra [Formula: see text] to be a Nagata ring, a strong S-domain, and a catenarian. Also, we investigate the conditions that the ring of Hurwitz series over [Formula: see text] has a complete comaximal factorization.

Intuitionistic Fuzzy Normed Subrings and Intuitionistic Fuzzy Normed Ideals

The main goal of this paper is to introduce the notion of intuitionistic fuzzy normed rings and to establish basic properties related to it. We extend normed rings by incorporating the idea of intuitionistic fuzzy to normed rings, we develop a new structure of fuzzy rings which will be called an intuitionistic fuzzy normed ring. As an extension of intuitionistic fuzzy normed rings, we define the concept of intuitionistic fuzzy normed subrings and intuitionistic fuzzy normed ideals. Some essential operations specially subset, complement, union, intersection and several properties relating to the notion of generalized intuitionistic fuzzy normed rings are identified. Homomorphism and isomorphism of intuitionistic fuzzy normed subrings are characterized. We identify the image and the inverse image of intuitionistic fuzzy normed subrings under ring homomorphism and study their elementary properties. Some properties of intuitionistic fuzzy normed rings and relevant examples are presented.

General Properties of Equivariant Cohomology

This chapter assesses the general properties of equivariant cohomology. Both the homotopy quotient and equivariant cohomology are functorial constructions. Equivariant cohomology is particularly simple when the action is free. Throughout the chapter, by a G-space, it means a left G-space. Let G be a topological group and consider the category of G-spaces and G-maps. A morphism of left G-spaces is a G-equivariant map (or G-map). Such a morphism induces a map of homotopy quotients. The map in turn induces a ring homomorphism in cohomology. The chapter then looks at the coefficient ring of equivariant cohomology, as well as the equivariant cohomology of a disjoint union.

On Steinitz-like properties in amalgamated algebras along an ideal

Let [Formula: see text] be a ring homomorphism, [Formula: see text] be an ideal of [Formula: see text] and [Formula: see text] the amalgamation of [Formula: see text] with [Formula: see text] along [Formula: see text] with respect to [Formula: see text]. In this paper, we provide necessary and sufficient conditions for [Formula: see text] to be a Steinitz ring, semi-Steinitz ring, and weakly semi-Steinitz. Then we construct new original examples of weakly semi-Steinitz rings which are not semi-Steinitz rings and semi-Steinitz rings which are not Steinitz rings.