Jump to ContentJump to Main Navigation
Show Summary Details
More options …

Forum Mathematicum

Managing Editor: Bruinier, Jan Hendrik

Ed. by Blomer, Valentin / Cohen, Frederick R. / Droste, Manfred / Duzaar, Frank / Echterhoff, Siegfried / Frahm, Jan / Gordina, Maria / Shahidi, Freydoon / Sogge, Christopher D. / Takayama, Shigeharu / Wienhard, Anna

IMPACT FACTOR 2018: 0.867

CiteScore 2018: 0.71

SCImago Journal Rank (SJR) 2018: 0.898
Source Normalized Impact per Paper (SNIP) 2018: 0.964

Mathematical Citation Quotient (MCQ) 2018: 0.71

See all formats and pricing
More options …
Volume 27, Issue 3


Ring coproducts embedded in power-series rings

Pere Ara / Warren Dicks
Published Online: 2013-04-16 | DOI: https://doi.org/10.1515/forum-2012-0170


Let R be a ring (associative, with 1), and let R〈〈a,b〉〉 denote the power-series R-ring in two non-commuting, R-centralizing variables, a and b. Let A be an R-subring of R〈〈a〉〉 and B be an R-subring of R〈〈b〉〉. Let α denote the natural map A ⨿R BR〈〈a,b〉〉. This article describes some situations where α is injective and some where it is not.

We prove that if A is a right Ore localization of R[a] and B is a right Ore localization of R[b], then α is injective. For example, the group ring over R of the free group on {1+a,1+b} is R[(1+a)±] ⨿R R[(1+b)±], which then embeds in R〈〈a,b〉〉. We thus recover a celebrated result of R. H. Fox, via a proof simpler than those previously known.

We show that α is injective if R is Π-semihereditary, that is, every finitely generated, torsionless, right R-module is projective. (This concept was first studied by M. F. Jones, who showed that it is left-right symmetric. It follows from a result of I. I. Sahaev that if w.gl.dim R ≤ 1 and R embeds in a skew field, then R is Π-semihereditary. Also, it follows from a result of V. C. Cateforis that if R is right semihereditary and right self-injective, then R is Π-semihereditary.)

The arguments and results extend easily from two variables to any set of variables.

The article concludes with some results contributed by G. M. Bergman that describe situations where α is not injective. He shows that if R is commutative and w.gl.dim R ≥ 2, then there exist examples where the map α': A ⨿R BR〈〈a〉〉 ⨿R R〈〈b〉〉 is not injective, and hence neither is α. It follows from a result of K. R. Goodearl that when R is a commutative, countable, non-self-injective, von Neumann regular ring, then the map α'': R〈〈a〉〉 ⨿R R〈〈b〉〉 → R〈〈a,b〉〉 is not injective. Bergman gives procedures for constructing other examples where α'' is not injective.

Keywords: Ring coproduct; free-group group ring; power series; Ore localization

MSC: 16S10; 20C07; 20E05

About the article

Received: 2012-11-26

Revised: 2013-02-20

Published Online: 2013-04-16

Published in Print: 2015-05-01

Funding Source: DGI

Award identifier / Grant number: MICIIN MTM2011-28992-C02-01

Funding Source: Comissionat per Universitats i Recerca de la Generalitat de Catalunya

Funding Source: Spain's Ministerio de Ciencia e Innovación

Award identifier / Grant number: MTM2011-25955

Citation Information: Forum Mathematicum, Volume 27, Issue 3, Pages 1539–1567, ISSN (Online) 1435-5337, ISSN (Print) 0933-7741, DOI: https://doi.org/10.1515/forum-2012-0170.

Export Citation

© 2015 by De Gruyter.Get Permission

Citing Articles

Here you can find all Crossref-listed publications in which this article is cited. If you would like to receive automatic email messages as soon as this article is cited in other publications, simply activate the “Citation Alert” on the top of this page.

Javier Sánchez
Journal of Algebra and Its Applications, 2017, Page 1850194

Comments (0)

Please log in or register to comment.
Log in