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
    0 references
    0 references

    Identifiers