Extensions of the representation modules of a prime order group. (Q2368727)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Extensions of the representation modules of a prime order group. |
scientific article |
Statements
Extensions of the representation modules of a prime order group. (English)
0 references
28 April 2006
0 references
Let \(p\) be a prime. Let \(K\) be a finite extension of \(\mathbb{Q}_p\). Let \(R\) be the integral closure of \(\mathbb{Z}_p\) in \(K\). Let \(r\) be a nonzero prime element of \(R\), and write \(r^eR=pR\). Let \(C_p=\langle c\rangle\). Let \(M\) be an \(RC_p\)-lattice. Denote \(\widehat M:=(K/R)\otimes_RM\). We have \(\text{H}^2(C_p,M)\simeq\text{H}^1(C_p,\widehat M)\). The authors denote the extension of \(C_p\) by \(M\) thus defined by \(f\in\text{Z}^1(C_p,\widehat M)\) by \(\mathfrak{Crys}(C_p,M,f)\). The group \(\text{H}^1(C_p,\widehat M)\) is considered in the following cases. First, let \(\eta(X)\) be a proper divisor of \(\Phi_p(X)=X^{p-1}+\cdots+X^0\in K[X]\) and let \(M=\eta(c)RC_p\). Second, let \(1\leq i<p\) and \(1\leq j<e\) and let \(M=(c-1)^iRC_p+r^jRC_p\). Third, let \(i\geq 1\) and \(1\leq j<e\) and let \(M=\{(x,y)\in RC_p\oplus RC_p:(c-1)^ix+r^j(c-1)y=0\}\).
0 references
cyclic groups
0 references
lattices
0 references