1
$\begingroup$

Dear all,

I've contributed a too trivial question today, hopefully this time it is not that trivial...

Let A be a finite abelian p-group, and R is the endomorphism ring of A. Define the operation of R "*" as follows: M*N=M+N+pMN. It can be verified that (R, *) is also a group (not necessarily commutative).

Now assume that S is a subgroup of (R, +) and (R, *) at the same time, and assume that M is a set of generators of (S, +). Can we recover a set of generators of (S, *)?

A natural example of S is the centralizer of an element in R, that is for N in R, S={M in R, MN=NM}. Solving a system of Diophantine equations gives a set of generators of (S, +), but we need a set of generators for (S, *).

Best,

Youming

$\endgroup$

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.