When is (D, K) an S-accr pair?

PurposeThe purpose of this article is to determine necessary and sufficient conditions in order that (D, K) to be an S-accr pair, where D is an integral domain and K is a field which contains D as a subring and S is a multiplicatively closed subset of D.Design/methodology/approachThe methods used are from the topic multiplicative ideal theory from commutative ring theory.FindingsLet S be a strongly multiplicatively closed subset of an integral domain D such that the ring of fractions of D with respect to S is not a field. Then it is shown that (D, K) is an S-accr pair if and only if K is algebraic over D and the integral closure of the ring of fractions of D with respect to S in K is a one-dimensional Prüfer domain. Let D, S, K be as above. If each intermediate domain between D and K satisfies S-strong accr*, then it is shown that K is algebraic over D and the integral closure of the ring of fractions of D with respect to S is a Dedekind domain; the separable degree of K over F is finite and K has finite exponent over F, where F is the quotient field of D.Originality/valueMotivated by the work of some researchers on S-accr, the concept of S-strong accr* is introduced and we determine some necessary conditions in order that (D, K) to be an S-strong accr* pair. This study helps us to understand the behaviour of the rings between D and K.

The universality of Hughes-free division rings

Let $$E*G$$ E ∗ G be a crossed product of a division ring E and a locally indicable group G. Hughes showed that up to $$E*G$$ E ∗ G -isomorphism, there exists at most one Hughes-free division $$E*G$$ E ∗ G -ring. However, the existence of a Hughes-free division $$E*G$$ E ∗ G -ring $${\mathcal {D}}_{E*G}$$ D E ∗ G for an arbitrary locally indicable group G is still an open question. Nevertheless, $${\mathcal {D}}_{E*G}$$ D E ∗ G exists, for example, if G is amenable or G is bi-orderable. In this paper we study, whether $${\mathcal {D}}_{E*G}$$ D E ∗ G is the universal division ring of fractions in some of these cases. In particular, we show that if G is a residually-(locally indicable and amenable) group, then there exists $${\mathcal {D}}_{E[G]}$$ D E [ G ] and it is universal. In Appendix we give a description of $${\mathcal {D}}_{E[G]}$$ D E [ G ] when G is a RFRS group.

On the regulator problem for linear systems over rings and algebras

The regulator problem is solvable for a linear dynamical system Σ \Sigma if and only if Σ \Sigma is both pole assignable and state estimable. In this case, Σ \Sigma is a canonical system (i.e., reachable and observable). When the ring R R is a field or a Noetherian total ring of fractions the converse is true. Commutative rings which have the property that the regulator problem is solvable for every canonical system (RP-rings) are characterized as the class of rings where every observable system is state estimable (SE-rings), and this class is shown to be equal to the class of rings where every reachable system is pole-assignable (PA-rings) and the dual of a canonical system is also canonical (DP-rings).

Free division rings of fractions of crossed products of groups with Conradian left-orders

Let D be a division ring of fractions of a crossed product {F[G,\eta,\alpha]}, where F is a skew field and G is a group with Conradian left-order {\leq}. For D we introduce the notion of freeness with respect to {\leq} and show that D is free in this sense if and only if D can canonically be embedded into the endomorphism ring of the right F-vector space {F((G))} of all formal power series in G over F with respect to {\leq}. From this we obtain that all division rings of fractions of {F[G,\eta,\alpha]} which are free with respect to at least one Conradian left-order of G are isomorphic and that they are free with respect to any Conradian left-order of G. Moreover, {F[G,\eta,\alpha]} possesses a division ring of fraction which is free in this sense if and only if the rational closure of {F[G,\eta,\alpha]} in the endomorphism ring of the corresponding right F-vector space {F((G))} is a skew field.

Rings of Fractions and Localization

SummaryThis article formalized rings of fractions in the Mizar system [3], [4]. A construction of the ring of fractions from an integral domain, namely a quotient field was formalized in [7].This article generalizes a construction of fractions to a ring which is commutative and has zero divisor by means of a multiplicatively closed set, say S, by known manner. Constructed ring of fraction is denoted by S~R instead of S−1R appeared in [1], [6]. As an important example we formalize a ring of fractions by a particular multiplicatively closed set, namely R \ p, where p is a prime ideal of R. The resulted local ring is denoted by Rp. In our Mizar article it is coded by R~p as a synonym.This article contains also the formal proof of a universal property of a ring of fractions, the total-quotient ring, a proof of the equivalence between the total-quotient ring and the quotient field of an integral domain.

On semireversible rings

In this paper, we introduce and study a new class of rings which we call semireversible rings. A ring [Formula: see text] is called semireversible if for any [Formula: see text] implies there exists a positive integer [Formula: see text] such that [Formula: see text]. We observe that the class of semireversible rings strictly lies between the class of central reversible rings and weakly reversible rings. Some relations are provided between semireversible rings and many other known classes of rings. Some extensions of semireversible rings such as ring of fractions, Dorroh extension, subrings of matrix rings are investigated. Finally, we study semireversible rings via modules over them wherein among other results, we prove that a semireversible left (right) SF-ring is strongly regular.

Free subgroups in k(x 1,... ,x n )(X;σ) and k(x,y)(k;σ)

Let k be a field, let {\mathfrak{A}_{1}} be the k-algebra {k[x_{1}^{\pm 1},\dots,x_{s}^{\pm 1}]} of Laurent polynomials in {x_{1},\dots,x_{s}} , and let {\mathfrak{A}_{2}} be the k-algebra {k[x,y]} of polynomials in the commutative indeterminates x and y. Let {\sigma_{1}} be the monomial k-automorphism of {\mathfrak{A}_{1}} given by {A=(a_{i,j})\in GL_{s}(\mathbb{Z})} and {\sigma_{1}(x_{i})=\prod_{j=1}^{s}x_{j}^{a_{i,j}}} , {1\leq i\leq s} , and let {\sigma_{2}\in{\mathrm{Aut}}_{k}(k[x,y])} . Let {D_{i}} , {1\leq i\leq 2} , be the ring of fractions of the skew polynomial ring {\mathfrak{A}_{i}[X;\sigma_{i}]} , and let {D_{i}^{\bullet}} be its multiplicative group. Under a mild restriction for {D_{1}} , and in general for {D_{2}} , we show that {D_{i}^{\bullet}} , {1\leq i\leq 2} , contains a free subgroup. If {i=1} and {s=2} , we show that a noncentral normal subgroup N of {D_{1}^{\bullet}} contains a free subgroup.

Filter regular sequences and endomorphisms of local cohomology modules

Let [Formula: see text] be a commutative Noetherian ring and [Formula: see text] be an ideal of [Formula: see text] such that [Formula: see text], where [Formula: see text] is the cohomological dimension of [Formula: see text] with respect to [Formula: see text] and [Formula: see text] is the grade of [Formula: see text]. We show that whenever, [Formula: see text] for all [Formula: see text] and all integers [Formula: see text] with [Formula: see text] and [Formula: see text], then there exists an exact sequence [Formula: see text] of endomorphisms of local cohomology modules, where [Formula: see text] and, for [Formula: see text], [Formula: see text] is the ring of fractions of [Formula: see text] with respect to multiplicatively closed subset [Formula: see text] of [Formula: see text].

On the regular graph of ideals of total ring of fractions

The regular graph of ideals of a commutative ring [Formula: see text], denoted by [Formula: see text], is a graph whose vertex-set is the set of all nontrivial ideals of [Formula: see text] and, for every two distinct vertices [Formula: see text] and [Formula: see text], there is an edge between [Formula: see text] and [Formula: see text], whenever [Formula: see text] contains a nonzero zero-divisor on [Formula: see text] or vice versa. In this paper, we will show that [Formula: see text] is isomorphic to an induced sub-graph of [Formula: see text] which nicely can describe [Formula: see text]. This approach enables us to find the independence number of [Formula: see text] when [Formula: see text] is a reduced ring. Among other things, some basic graph theoretic properties of [Formula: see text] and relevant ring theoretic properties of [Formula: see text] will be studied.