Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2201.00928

Calculation of a K_2 group of an F_2 coefficients noncommutative group algebra

LiangYi Xiong·GuoPing Tang
View original source ↗Read source document ↗Export metadata ↓

Abstract

In this paper, the K_2 group of F_2 coefficients group algebra of a noncommutative group with 8 elements(dihedral group D_4 ) is calculated,which is divided into three parts:The first part is the introduction of basic knowledge related to algebra K-theory, and a method of Magurn to calculate finite field coefficients noncommutative finite group algebra in reference [2]. In the second part, operation laws of Dennis-Stein symbols is introduced, and we combined it with the fact that F_2[D_4] is a local ring to determind the direct sum term of K_2(F_2[D_4]) can only be Z_2 or Z_4. In the third part, we continue to make use of the fact that F_2[D_4] is a local ring, and proved that the group D_1(F_2[D_4]) is an abelian group closely related to the group K_2(F_2[D_4]) through operating Dennis-Stein symbols. Then, we used group homology and the Kunneth formula of the finite abelian group version to calculate all cases of H_2(D_1(F_2[D_4]),Z) , and substituted the obtained results into the long exact sequence derived from the Hochschild-Serre spectral sequence for testing, and finally constructed the result: K_2(F_2[D_4])=Z_2..

Explore related subjects

math.KT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

LiangYi Xiong, GuoPing Tang. 2022-01-04. Calculation of a K_2 group of an F_2 coefficients noncommutative group algebra. https://arxiv.org/abs/2201.00928

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Gerstenhaber algebra structure on the Hochschild cohomology ring of the Xu--Snashall algebra

Let $A$ be a finite dimensional algebra and let $\rmHH^*(A)$ be its Hochschild cohomology ring, which is a Gerstenhaber algebra. Denote by $\calN$ (resp. $G$, $\calG$) the ideal (resp. weak Gerstenhaber ideal, Gerstenhaber ideal) generated by all homogeneous nilpotent elements. Motivated by their work on support varieties via Hochschild cohomology, Snashall and Solberg conjectured that $\rmHH^*(A)/\calN$ is a finitely generated algebra. Xu constructed a counterexample to the Snashall-Solberg conjecture over a base field of characteristic two, and Snashall generalized this example to arbitrary characteristic. Hermann further asked whether $\rmHH^*(A)/G$ is a finitely generated algebra and suggested considering first the Xu--Snashall algebra. In this paper, we answer this question for the Xu--Snashall algebra. In fact, by explicitly computing the Gerstenhaber algebra structure on the Hochschild cohomology ring, we show that $G=\calN$; hence $\rmHH^*(A)/G=\rmHH^*(A)/\calN$ is not a finitely generated algebra. Furthermore, we show that $\rmHH^*(A)/\calG\cong K$. Therefore, one may ask whether, for a finite dimensional algebra $A$, $\rmHH^*(A)/\calG$ is always a finitely generated algebra. Our main tools are two-sided Anick resolutions and weak self-homotopies.

math.KT↗
arXiv2026

K-theory of Matroids and Monoid Schemes

This paper continues the study of the $K$-theory of monoid schemes, using it to give a useful definition of the higher $K$-theory of a matroid via its Bergman fan.

math.KT↗
arXiv2026

Improved injective stability for relative $\mathrm{K_1Sp}$-groups

We prove a relative version of Vorst's theorem concerning the equality of the group of all invertible matrices and the group of all elementary matrices over $R[X]$ with respect to an ideal $I\subset R$ such that $R/I$ is regular, where $R$ is a regular $k$-spot. We then introduce a relative version of the symplectic elementary Witt group and show that it fits into a relative version of the Karoubi periodicity sequence. Combining these results, we improve the existing injective stability bounds for relative linear and symplectic $\mathrm{K_1}$-groups of smooth affine algebras over various base fields. As an application, we give a necessary and sufficient condition for the freeness of stably free modules over smooth real $4$-folds with empty real locus.

math.KT↗