相关论文: Mod-2 (co)homology of an abelian group

Let $G$ be an elementary abelian $p$-group, $G\cong{\mathbb F}_p^r$ and let $s_1,\ldots,s_r$ be a basis of $G$ over ${\mathbb F}_p$. Let $V$ be the dual of $G$, $V={\rm Hom}(G,{\mathbb F}_p)=H^1(G,{\mathbb F}_p)$. Let $x_1,\ldots,x_r$ be…

Let $R$ be a commutative ring that is free of rank $k$ as an abelian group, $p$ a prime, and $SL(n,R)$ the special linear group. We show that the Lie algebra associated to the filtration of $SL(n,R)$ by $p$-congruence subgroups is…

Let $G$ be a simple, simply-connected algebraic group defined over $\mathbb{F}_p$. Given a power $q = p^r$ of $p$, let $G(\mathbb{F}_q) \subset G$ be the subgroup of $\mathbb{F}_q$-rational points. Let $L(\lambda)$ be the simple rational…

Finite $p$-groups of nilpotency class 2 are treated from the perspective of central extensions. Given finite abelian groups $G,A$, we derive an explicit formula for cocycles representing elements of $H^2(G,A)$, compute $H^2(G,A)$, and…

We construct, for the first time, various types of specific non-special finite $p$-groups having abelian automorphism group. More specifically, we construct groups $G$ with abelian automorphism group such that $\gamma_2(G) < \mathrm{Z}(G) <…

In this paper we study the second Hochschild cohomology group ${HH}^2(\Lambda)$ of a finite dimensional algebra $\Lambda$. In particular, we determine ${HH}^2(\Lambda)$ where $\Lambda$ is a finite dimensional self-injective algebra of…

For the $p$-dimensional filiform Lie algebra ${\mathfrak m}_2(p)$ over a field ${\mathbb F}$ of prime characteristic $p\ge 5$ with nonzero Lie brackets $[e_1,e_i] = e_{i+1}$ for $1<i<p$ and $[e_2,e_i]=e_{i+2}$ for $2<i<p-1$, we show that…

If $\Gamma$ is a finitely generated Fuchsian group such that its derived subgroup $\Gamma'$ is co-compact and torsion free, then $S={\mathbb H}^{2}/\Gamma'$ is a closed Riemann surface of genus $g \geq 2$ admitting the abelian group…

Aimed at geometric applications, we prove the homology cobordism invariance of the $L^2$-betti numbers and $L^2$-signature defects associated to the class of amenable groups lying in Strebel's class $D(R)$, which includes some interesting…

We present definitions of homology groups associated to a family of amalgamation functors. We show that if the generalized amalgamation properties hold, then the homology groups are trivial. We compute the group H_2 for strong types in…

We construct the $\Lambda$-adic crystalline and Dieudonn\'e analogues of Hida's ordinary $\Lambda$-adic \'etale cohomology, and employ integral $p$-adic Hodge theory to prove $\Lambda$-adic comparison isomorphisms between these cohomologies…

In this paper we describe all group gradings by a finite abelian group $\Gamma$ of a simple Lie algebra of type $G_2$ over an algebraically closed field $F$ of characteristic 0.

Let $\Gamma_{2n}^\omega(p)$ be the level-$p$ principal congruence subgroup of $\text{Sp}_{2n}(\mathbb{Z})$ for all prime $p$. Borel--Serre demonstrated that the cohomology of $\Gamma_{2n}^\omega(p)$ vanishes above degree $n^2$. We prove…

We consider homological finiteness properties $FP_n$ of certain $\mathbb{N}$-graded Lie algebras. After proving some general results, see Theorem A, Corollary B and Corollary C, we concentrate on a family that can be considered as the Lie…

Let $A$ be an abelian topological $G$-module. We give an interpretion for the second cohomology, $H^{2}(G,A)$, of $G$ with coefficients in $A$. As a result we show that if $P$ is a projective topological group, then $H^{2}(P,A)=0$ for every…

Let $\Gamma_n(p)$ be the level-$p$ principal congruence subgroup of $\text{SL}_n(\mathbb{Z})$. Borel-Serre proved that the cohomology of $\Gamma_n(p)$ vanishes above degree $\binom{n}{2}$. We study the cohomology in this top degree…

This is the second part of a two part work in which we prove that for every finitely generated subgroup $\Gamma < \mathsf{Out}(F_n)$, either $\Gamma$ is virtually abelian or its second bounded cohomology $H^2_b(\Gamma;\mathbb{R})$ contains…

We extend the computations in [AGM4] to find the mod 2 homology in degree 1 of a congruence subgroup Gamma of SL(4,Z) with coefficients in the sharbly complex, along with the action of the Hecke algebra. This homology group is closely…

This is an old paper put here for archeological purposes. We derive a general formula expressing the second homology of a Lie algebra of the form L\otimes A with coefficients in the trivial module through homology of $L$, cyclic homology of…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…