3
votes
0answers
86 views

Groups such that all finite-dim representations are finitely presented

Let $G$ be an infinite group. What sorts of finiteness properties can I put on $G$ to ensure the following holds for all $M$? Let $M$ be a finite-dimensional vector space over $\mathbb{Q}$ upon ...
3
votes
0answers
154 views

Computing the Abelianization of an Automorphism Group

Setup: We are working in a Henselian local ring $(R, \mathfrak m, k)$ that way may assume is Cohen-Macaulay, admits a canonical module and is of finite type (so is an isolated singularity). Let ...
10
votes
1answer
391 views

A map from the coinvariants of the dual to the dual of the invariants for a G-module

Suppose $G$ is a group and $X$ is a $\mathbb{Z}[G]$-module. Recall that the augmentation ideal $I \subset \mathbb{Z}[G]$ is generated by elements of the form $g - 1$ for $g \in G$, the coinvariants ...
7
votes
2answers
319 views

A question on some computation of group cohomologies

Let $G=H\times J$, where $H\cong J\cong C_2$ (cyclic group of order 2). Let $M \cong \mathbb{Z}$ be a $G$-module via "trivial $H$-action and negation $J$-action". My question is "What are the group ...
15
votes
0answers
717 views

Epimorphisms $\mathbb{Z}^{\mathbb{N}} \to \mathbb{Z}^{\mathbb{N}}$ are split

Consider the additive group of integer sequences $\mathbb{Z}^{\mathbb{N}}$. Why does every epimorphism of groups $\mathbb{Z}^{\mathbb{N}} \to \mathbb{Z}^{\mathbb{N}}$ split? $(\star)$ Actually this ...
2
votes
3answers
362 views

Computing the cardinality of cohomology groups

I hope this question is not unreasonably broad. It is about calculating or at least bounding the cardinality of cohomology groups in case they are finite. Let us assume we are given a group $G$ and a ...
29
votes
3answers
815 views

Non-split extension of the rationals by the integers

Can someone describe explicitly an abelian group $A$ such that the extension $$0 \to \mathbb{Z} \to A \to \mathbb{Q} \to 0$$ doesn't split ? Background: The Stein-Serre theorem (Hilton, Stammbach: A ...
10
votes
1answer
308 views

finite complex with non-finitely generated homology with local coefficients

I am looking for an explicit example, if one exists, of a (pointed) finite connected CW-complex $X$ such that some homology group with local coefficients $H_n(X,{\mathbb Z}[\pi_1 X])$ is not a ...
1
vote
2answers
253 views

Tensor product of acyclic complexes of free abelian groups

I am trying to find a relatively elementary proof of the following result: If $(K,d^K)$ and $(L,d^L)$ are acyclic chain complexes of free abelian groups, then their tensor product $(K \otimes L,d^{K ...
24
votes
1answer
1k views

Do all exact 1 -> A -> AxB -> B -> 1 split for finite groups?

Let $A$, $B$ be finite groups. Is it true that all short exact sequences $1 \rightarrow A \rightarrow A \times B \rightarrow B \rightarrow 1$ split on the right? In other words, do there exist ...
7
votes
3answers
264 views

presentations of Sp(n, Z) and cocycles.

Question: where can I find explicit presentations of the group $Sp(n, \mathbb Z)$, for small $n$? It is known that $Sp(n, \mathbb Z)$ admits a $2$-cocycle $h$ with values in $\mathbb Z/2\mathbb ...
3
votes
1answer
347 views

Hirsch length and cohomological dimension

It seems to be known that Hirsch length and cohomological dimension agree for (torsion-free, finitely generated) polycyclic groups. If we drop the assumption "torsion-free", then cd is of course ...
14
votes
4answers
2k views

Non-vanishing of group cohomology in sufficiently high degree

Atiyah in his famous paper , Characters and cohomology of finite groups, after proving completion of representation ring in augmentation ideal is the same as $ K(BG)$, gives bunch of corollaries of ...
8
votes
1answer
1k views

Where can I easily look up / calculate (abelian) group cohomology?

For an example I'm trying to understand, I need to calculate some cohomology group of some $\mathbb Z$-module with coefficients in some other $\mathbb Z$-module (with no interesting actions). (In ...
8
votes
1answer
544 views

Extensions of an infinite product of copies of Z by Z

The question is simple: Let $P$ be an infinite direct product of copies of $\mathbb Z$. Do there exist any nontrivial extensions $$0 \to \mathbb Z \to E \to P \to 0$$ in the category of commutative ...
4
votes
3answers
1k views

Do the homological dimension and cohomological dimension for a group agree?

Or equivalently, if $G$ is a group, do the projective and injective dimension of $Z$ (viewed as a $ZG$-module) agree? Thanks!
1
vote
1answer
393 views

a small question about group homology

If a group G has a subgroup H of finite index which is torsion free, then does it satisfy $H_\ast (G,Q) = H_ \ast (H,Q)$? (probably it is very well known...)
0
votes
3answers
1k views

(co)homology of cyclic groups

Hello to all, While sprucing up my knowledge of group (co)homology,I stumbled onto the following question: The first step you usually take to compute various (co)homologies is to construct the ...
7
votes
4answers
1k views

What is a “block” in an abelian category?

In the literature and in some posts here, there has been variation in the undefined use of the term "block" for a category of modules over a ring, or more abstractly an abelian category (all of which ...