Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

share|improve this question
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.