Some homological formulae (Q2529228): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0021-8693(68)90021-5 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1985995177 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cohomology as the Derived Functor of Derivations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3240881 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Free ideal rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Baer-Invariants of Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Resolutions By Relations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homology and Presentations of Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Residual properties of polycyclic groups / rank | |||
Normal rank |
Latest revision as of 23:18, 11 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Some homological formulae |
scientific article |
Statements
Some homological formulae (English)
0 references
1968
0 references
Let \(A\) be a supplemented algebra over a commutative ring \(K\), and \(A_0\) be its augmentation ideal. If \(A \cong F/A\) where \(F\) is a free associative algebra with identity over \(K\), \textit{A. Fröhlich} [Trans. Am. Math. Soc. 109, 221--244 (1963; Zbl 0122.25702)] established the following analogue of the Hopf isomorphism in the homology of groups: \(\text{Tor}_2^A(K,K)\cong R\cap F_0^2/(RF_0+F_0R)\). This paper establishes similar formulae for \(\text{Tor}_n^A(K,K)\) when \(n\) is any positive integer and \(K\) is a field. The method of proof is to construct a suitable \(A\)-free resolution of \(K\), with the aid of a theorem of \textit{P. M. Cohn} [J. Algebra 1, 47--69 (1964; Zbl 0136.31204)] and a procedure used by \textit{K. W. Gruenberg} [J. Lond. Math. Soc. 35, 481--494 (1960; Zbl 0101.01601)] in the (co-)homology of groups. The construction is also applied to the (co-)homology of Lie algebras and of special Jordan algebras. For one proposition (1.5), there is an overlap with a recent paper by \textit{K. W. Gruenberg} [J. Lond. Math. Soc. 43, 239--241 (1968; Zbl 0155.05603)].
0 references