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

Background

Let $m,n$ be positive integers and consider the cyclic group $\mathbb{Z}_{mn}$.

We have a natural epimorphism $\mathbb{Z}_{mn} \to \mathbb{Z}_n$ coming from the exact sequence

$$ 0 \to \mathbb{Z}_m \to \mathbb{Z}_{mn} \to \mathbb{Z}_n \to 0 $$ where the homomorphism $\mathbb{Z}_m \to \mathbb{Z}_{mn}$ is multiplication by $n$.

Now let $\ell$ be another positive integer and consider the cyclic groups $\mathbb{Z}_{\ell n}$ and $\mathbb{Z}_{m n}$ with their respective epimorphisms to $\mathbb{Z}_n$. Then the fibered product $\mathbb{Z}_{\ell n} \times_{\mathbb{Z}_n} \mathbb{Z}_{m n}$ is defined to be the subgroup of $\mathbb{Z}_{\ell n} \times \mathbb{Z}_{m n}$ consisting of elements $(a,b)$ with $a=b \mod n$. (In less evil language, this is the categorical pullback of one of the two epimorphisms along the other.)

Now let $r \in \mathbb{Z}_n^\times$ be a multiplicative unit, so that multiplication by $r$ defines an automorphism of $\mathbb{Z}_n$, and consider modifying one of the epimorphisms above by post-composing with multiplication by $r$. This gives rise to a different (in general) fibered product $$\mathbb{Z}_{\ell n} \times_{(\mathbb{Z}_n,r)} \mathbb{Z}_{m n} = \lbrace (a,b) \in \mathbb{Z}_{\ell n} \times \mathbb{Z}_{m n} \mid a = r b \mod n \rbrace,$$ which agrees with the one above when $r=1$.

Question

Is there an easy way to determine the isomorphism type of $\mathbb{Z}_{\ell n} \times_{(\mathbb{Z}_n,r)} \mathbb{Z}_{m n}$, say as a product of cyclic groups?

In some special cases ($n=1$, $k = \ell$,...) one can do this without too much effort, but I was wondering whether there is a general expression. I would also be happy with any pointers to the literature. I'm also interested in fibered products of other finite groups (not necessarily cyclic) and was wondering whether it would be sensible to spend some time determining them up to isomorphism.

share|improve this question

1 Answer 1

up vote 4 down vote accepted

The group $G=\mathbb{Z}_{\ell n} \times_{(\mathbb{Z}_n,r)} \mathbb{Z}_{m n}$ is isomorphic to $\mathbb{Z}_{an} \times\mathbb{Z}_b$ where $a$ is the least common multiple of $\ell$ and $m$ and $b$ is their highest common factor.

There is $r'\in\mathbb{Z}_{\ell n}^\times$ with $r'\equiv r$ (mod $n$). Then $g=(r',1)$ has order $an$ in $G$ which is then easily seen to have exponent $an$. Then $\langle g\rangle$ is a direct summand of $G$. As $G$ is a quotient of $\mathbb{Z}^2$ then it is the product of two cyclic groups and so the other one must be $\mathbb{Z}_b$ where $b=|G|/(an) =\ell m/a$ is the highest common factor of $\ell$ and $m$.

share|improve this answer
    
Beautiful! Thanks a lot. You've earned yourself an acknowledgment in a forthcoming paper. –  José Figueroa-O'Farrill Jul 5 '10 at 21:06

Your Answer

 
discard

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.