$mathbb{Z}leq G leq mathbb{Q}$ and $varphi:Grightarrow H$ a map which behaves nicely on fractions.











up vote
1
down vote

favorite












Let $(H,+)$ be any abelian group, and let $mathbb{Z}leq Gleq mathbb{Q}$ a subgroup of the rational numbers with respect to addition. Let $varphi:Grightarrow H$ be a map with the following properties



(1) The restriction of $varphi$ to $mathbb{Z}$ is a homomorphism. (i.e. $varphi(n) = nvarphi(1)$ and $varphi(0)=0_H$)



(2) For every rational number $qin G$, we can find $a,binmathbb{Z}$ such that $q=frac{a}{b}$ and $varphi(q)^b = varphi(a)$.



Is it necessarily true that $varphi$ is an (additive) homomorphism. That is for all $q,pin G$ we have $varphi(p+q) = varphi(p) + varphi(q)$?










share|cite|improve this question






















  • I might need help with the title as well. Any ideas?
    – Yanko
    Nov 4 at 14:42















up vote
1
down vote

favorite












Let $(H,+)$ be any abelian group, and let $mathbb{Z}leq Gleq mathbb{Q}$ a subgroup of the rational numbers with respect to addition. Let $varphi:Grightarrow H$ be a map with the following properties



(1) The restriction of $varphi$ to $mathbb{Z}$ is a homomorphism. (i.e. $varphi(n) = nvarphi(1)$ and $varphi(0)=0_H$)



(2) For every rational number $qin G$, we can find $a,binmathbb{Z}$ such that $q=frac{a}{b}$ and $varphi(q)^b = varphi(a)$.



Is it necessarily true that $varphi$ is an (additive) homomorphism. That is for all $q,pin G$ we have $varphi(p+q) = varphi(p) + varphi(q)$?










share|cite|improve this question






















  • I might need help with the title as well. Any ideas?
    – Yanko
    Nov 4 at 14:42













up vote
1
down vote

favorite









up vote
1
down vote

favorite











Let $(H,+)$ be any abelian group, and let $mathbb{Z}leq Gleq mathbb{Q}$ a subgroup of the rational numbers with respect to addition. Let $varphi:Grightarrow H$ be a map with the following properties



(1) The restriction of $varphi$ to $mathbb{Z}$ is a homomorphism. (i.e. $varphi(n) = nvarphi(1)$ and $varphi(0)=0_H$)



(2) For every rational number $qin G$, we can find $a,binmathbb{Z}$ such that $q=frac{a}{b}$ and $varphi(q)^b = varphi(a)$.



Is it necessarily true that $varphi$ is an (additive) homomorphism. That is for all $q,pin G$ we have $varphi(p+q) = varphi(p) + varphi(q)$?










share|cite|improve this question













Let $(H,+)$ be any abelian group, and let $mathbb{Z}leq Gleq mathbb{Q}$ a subgroup of the rational numbers with respect to addition. Let $varphi:Grightarrow H$ be a map with the following properties



(1) The restriction of $varphi$ to $mathbb{Z}$ is a homomorphism. (i.e. $varphi(n) = nvarphi(1)$ and $varphi(0)=0_H$)



(2) For every rational number $qin G$, we can find $a,binmathbb{Z}$ such that $q=frac{a}{b}$ and $varphi(q)^b = varphi(a)$.



Is it necessarily true that $varphi$ is an (additive) homomorphism. That is for all $q,pin G$ we have $varphi(p+q) = varphi(p) + varphi(q)$?







group-theory rational-numbers group-homomorphism






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Nov 4 at 14:38









Yanko

5,750723




5,750723












  • I might need help with the title as well. Any ideas?
    – Yanko
    Nov 4 at 14:42


















  • I might need help with the title as well. Any ideas?
    – Yanko
    Nov 4 at 14:42
















I might need help with the title as well. Any ideas?
– Yanko
Nov 4 at 14:42




I might need help with the title as well. Any ideas?
– Yanko
Nov 4 at 14:42










1 Answer
1






active

oldest

votes

















up vote
3
down vote



accepted










You should have written $bvarphi(q)$ instead of $varphi(q)^b$ in (2) as you write groups additively.



The answer is negative (even if we replace "we can find" with "for any").



Take $G={n/3 : ninmathbb{Z}}$, $H=mathbb{Z}times(mathbb{Z}/3mathbb{Z})$ (the second "multiplier" is ${0,1,2}$ with addition modulo $3$) and $varphi(n/3)=(n,d(n))$, where $d(n)=0$ if $3|n$ and $d(n)=1$ otherwise. Then $varphi$ meets (1) and (2), but $$(2,1)=varphi(2/3)neqvarphi(1/3)+varphi(1/3)=(2,2).$$






share|cite|improve this answer



















  • 1




    $Bbb{Z}[1/3]$ is also not good, since that conventionally means ${n/3^k:ninBbb{Z},kinBbb{N}}$. Instead I would suggest $frac{1}{3}Bbb{Z}$. Nonetheless, good answer +1.
    – jgon
    Nov 4 at 16:27












  • @jgon: Everywhere I look $A[a]$ means "the extension generated by $A$ and $a$". As our context is additive groups (not multiplicative groups or fields), this actually looks good I think. (Oh, maybe I should just remove it... ;)
    – metamorphy
    Nov 4 at 16:34










  • @metamorphy While I agree that that's what is meant in words by that notation, I've never seen it used in the context of abelian groups, and it definitely surprised me when I read what set it was meant to denote. (That being said I am very much a rings person, so that might just be me.)
    – jgon
    Nov 4 at 16:37











Your Answer





StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2984296%2fmathbbz-leq-g-leq-mathbbq-and-varphig-rightarrow-h-a-map-which-beha%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
3
down vote



accepted










You should have written $bvarphi(q)$ instead of $varphi(q)^b$ in (2) as you write groups additively.



The answer is negative (even if we replace "we can find" with "for any").



Take $G={n/3 : ninmathbb{Z}}$, $H=mathbb{Z}times(mathbb{Z}/3mathbb{Z})$ (the second "multiplier" is ${0,1,2}$ with addition modulo $3$) and $varphi(n/3)=(n,d(n))$, where $d(n)=0$ if $3|n$ and $d(n)=1$ otherwise. Then $varphi$ meets (1) and (2), but $$(2,1)=varphi(2/3)neqvarphi(1/3)+varphi(1/3)=(2,2).$$






share|cite|improve this answer



















  • 1




    $Bbb{Z}[1/3]$ is also not good, since that conventionally means ${n/3^k:ninBbb{Z},kinBbb{N}}$. Instead I would suggest $frac{1}{3}Bbb{Z}$. Nonetheless, good answer +1.
    – jgon
    Nov 4 at 16:27












  • @jgon: Everywhere I look $A[a]$ means "the extension generated by $A$ and $a$". As our context is additive groups (not multiplicative groups or fields), this actually looks good I think. (Oh, maybe I should just remove it... ;)
    – metamorphy
    Nov 4 at 16:34










  • @metamorphy While I agree that that's what is meant in words by that notation, I've never seen it used in the context of abelian groups, and it definitely surprised me when I read what set it was meant to denote. (That being said I am very much a rings person, so that might just be me.)
    – jgon
    Nov 4 at 16:37















up vote
3
down vote



accepted










You should have written $bvarphi(q)$ instead of $varphi(q)^b$ in (2) as you write groups additively.



The answer is negative (even if we replace "we can find" with "for any").



Take $G={n/3 : ninmathbb{Z}}$, $H=mathbb{Z}times(mathbb{Z}/3mathbb{Z})$ (the second "multiplier" is ${0,1,2}$ with addition modulo $3$) and $varphi(n/3)=(n,d(n))$, where $d(n)=0$ if $3|n$ and $d(n)=1$ otherwise. Then $varphi$ meets (1) and (2), but $$(2,1)=varphi(2/3)neqvarphi(1/3)+varphi(1/3)=(2,2).$$






share|cite|improve this answer



















  • 1




    $Bbb{Z}[1/3]$ is also not good, since that conventionally means ${n/3^k:ninBbb{Z},kinBbb{N}}$. Instead I would suggest $frac{1}{3}Bbb{Z}$. Nonetheless, good answer +1.
    – jgon
    Nov 4 at 16:27












  • @jgon: Everywhere I look $A[a]$ means "the extension generated by $A$ and $a$". As our context is additive groups (not multiplicative groups or fields), this actually looks good I think. (Oh, maybe I should just remove it... ;)
    – metamorphy
    Nov 4 at 16:34










  • @metamorphy While I agree that that's what is meant in words by that notation, I've never seen it used in the context of abelian groups, and it definitely surprised me when I read what set it was meant to denote. (That being said I am very much a rings person, so that might just be me.)
    – jgon
    Nov 4 at 16:37













up vote
3
down vote



accepted







up vote
3
down vote



accepted






You should have written $bvarphi(q)$ instead of $varphi(q)^b$ in (2) as you write groups additively.



The answer is negative (even if we replace "we can find" with "for any").



Take $G={n/3 : ninmathbb{Z}}$, $H=mathbb{Z}times(mathbb{Z}/3mathbb{Z})$ (the second "multiplier" is ${0,1,2}$ with addition modulo $3$) and $varphi(n/3)=(n,d(n))$, where $d(n)=0$ if $3|n$ and $d(n)=1$ otherwise. Then $varphi$ meets (1) and (2), but $$(2,1)=varphi(2/3)neqvarphi(1/3)+varphi(1/3)=(2,2).$$






share|cite|improve this answer














You should have written $bvarphi(q)$ instead of $varphi(q)^b$ in (2) as you write groups additively.



The answer is negative (even if we replace "we can find" with "for any").



Take $G={n/3 : ninmathbb{Z}}$, $H=mathbb{Z}times(mathbb{Z}/3mathbb{Z})$ (the second "multiplier" is ${0,1,2}$ with addition modulo $3$) and $varphi(n/3)=(n,d(n))$, where $d(n)=0$ if $3|n$ and $d(n)=1$ otherwise. Then $varphi$ meets (1) and (2), but $$(2,1)=varphi(2/3)neqvarphi(1/3)+varphi(1/3)=(2,2).$$







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Nov 29 at 3:09

























answered Nov 4 at 16:05









metamorphy

3,0071520




3,0071520








  • 1




    $Bbb{Z}[1/3]$ is also not good, since that conventionally means ${n/3^k:ninBbb{Z},kinBbb{N}}$. Instead I would suggest $frac{1}{3}Bbb{Z}$. Nonetheless, good answer +1.
    – jgon
    Nov 4 at 16:27












  • @jgon: Everywhere I look $A[a]$ means "the extension generated by $A$ and $a$". As our context is additive groups (not multiplicative groups or fields), this actually looks good I think. (Oh, maybe I should just remove it... ;)
    – metamorphy
    Nov 4 at 16:34










  • @metamorphy While I agree that that's what is meant in words by that notation, I've never seen it used in the context of abelian groups, and it definitely surprised me when I read what set it was meant to denote. (That being said I am very much a rings person, so that might just be me.)
    – jgon
    Nov 4 at 16:37














  • 1




    $Bbb{Z}[1/3]$ is also not good, since that conventionally means ${n/3^k:ninBbb{Z},kinBbb{N}}$. Instead I would suggest $frac{1}{3}Bbb{Z}$. Nonetheless, good answer +1.
    – jgon
    Nov 4 at 16:27












  • @jgon: Everywhere I look $A[a]$ means "the extension generated by $A$ and $a$". As our context is additive groups (not multiplicative groups or fields), this actually looks good I think. (Oh, maybe I should just remove it... ;)
    – metamorphy
    Nov 4 at 16:34










  • @metamorphy While I agree that that's what is meant in words by that notation, I've never seen it used in the context of abelian groups, and it definitely surprised me when I read what set it was meant to denote. (That being said I am very much a rings person, so that might just be me.)
    – jgon
    Nov 4 at 16:37








1




1




$Bbb{Z}[1/3]$ is also not good, since that conventionally means ${n/3^k:ninBbb{Z},kinBbb{N}}$. Instead I would suggest $frac{1}{3}Bbb{Z}$. Nonetheless, good answer +1.
– jgon
Nov 4 at 16:27






$Bbb{Z}[1/3]$ is also not good, since that conventionally means ${n/3^k:ninBbb{Z},kinBbb{N}}$. Instead I would suggest $frac{1}{3}Bbb{Z}$. Nonetheless, good answer +1.
– jgon
Nov 4 at 16:27














@jgon: Everywhere I look $A[a]$ means "the extension generated by $A$ and $a$". As our context is additive groups (not multiplicative groups or fields), this actually looks good I think. (Oh, maybe I should just remove it... ;)
– metamorphy
Nov 4 at 16:34




@jgon: Everywhere I look $A[a]$ means "the extension generated by $A$ and $a$". As our context is additive groups (not multiplicative groups or fields), this actually looks good I think. (Oh, maybe I should just remove it... ;)
– metamorphy
Nov 4 at 16:34












@metamorphy While I agree that that's what is meant in words by that notation, I've never seen it used in the context of abelian groups, and it definitely surprised me when I read what set it was meant to denote. (That being said I am very much a rings person, so that might just be me.)
– jgon
Nov 4 at 16:37




@metamorphy While I agree that that's what is meant in words by that notation, I've never seen it used in the context of abelian groups, and it definitely surprised me when I read what set it was meant to denote. (That being said I am very much a rings person, so that might just be me.)
– jgon
Nov 4 at 16:37


















draft saved

draft discarded




















































Thanks for contributing an answer to Mathematics Stack Exchange!


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


Use MathJax to format equations. MathJax reference.


To learn more, see our tips on writing great answers.





Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


Please pay close attention to the following guidance:


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2984296%2fmathbbz-leq-g-leq-mathbbq-and-varphig-rightarrow-h-a-map-which-beha%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

Berounka

Fiat S.p.A.

Type 'String' is not a subtype of type 'int' of 'index'