Linear representation of the free metabelian / 2-step nilpotent profinite groups on 2 generators
Let G be the free profinite group on 2 generators, $A=G/[G,[G,G]],B=G/[[G,G],[G,G]]$, then what is the structure of the groups $A$ and $B$?
I heard that $A$ is isomorphic to the group of such ($3times 3$ below) matrices with entries in $hat{mathbb{Z}}$, is this right and why?
$$
begin{pmatrix}
1 & * & *\
0 & 1 & *\
0 & 0 & 1
end{pmatrix}
$$
gr.group-theory profinite-groups
edited Dec 2 '18 at 17:36
YCor
27.1k380132
asked Dec 2 '18 at 14:13
Bonbon
465114
add a comment |
Let G be the free profinite group on 2 generators, $A=G/[G,[G,G]],B=G/[[G,G],[G,G]]$, then what is the structure of the groups $A$ and $B$?
I heard that $A$ is isomorphic to the group of such ($3times 3$ below) matrices with entries in $hat{mathbb{Z}}$, is this right and why?
$$
begin{pmatrix}
1 & * & *\
0 & 1 & *\
0 & 0 & 1
end{pmatrix}
$$
gr.group-theory profinite-groups
edited Dec 2 '18 at 17:36
YCor
27.1k380132
asked Dec 2 '18 at 14:13
Bonbon
465114
add a comment |
Let G be the free profinite group on 2 generators, $A=G/[G,[G,G]],B=G/[[G,G],[G,G]]$, then what is the structure of the groups $A$ and $B$?
I heard that $A$ is isomorphic to the group of such ($3times 3$ below) matrices with entries in $hat{mathbb{Z}}$, is this right and why?
$$
begin{pmatrix}
1 & * & *\
0 & 1 & *\
0 & 0 & 1
end{pmatrix}
$$
gr.group-theory profinite-groups
edited Dec 2 '18 at 17:36
YCor
27.1k380132
asked Dec 2 '18 at 14:13
Bonbon
465114
Let G be the free profinite group on 2 generators, $A=G/[G,[G,G]],B=G/[[G,G],[G,G]]$, then what is the structure of the groups $A$ and $B$?
I heard that $A$ is isomorphic to the group of such ($3times 3$ below) matrices with entries in $hat{mathbb{Z}}$, is this right and why?
$$
begin{pmatrix}
1 & * & *\
0 & 1 & *\
0 & 0 & 1
end{pmatrix}
$$
gr.group-theory profinite-groups
gr.group-theory profinite-groups
edited Dec 2 '18 at 17:36
YCor
27.1k380132
asked Dec 2 '18 at 14:13
Bonbon
465114
edited Dec 2 '18 at 17:36
YCor
27.1k380132
asked Dec 2 '18 at 14:13
Bonbon
465114
edited Dec 2 '18 at 17:36
YCor
27.1k380132
edited Dec 2 '18 at 17:36
YCor
27.1k380132
edited Dec 2 '18 at 17:36
YCor
27.1k380132
27.1k380132
asked Dec 2 '18 at 14:13
Bonbon
465114
asked Dec 2 '18 at 14:13
Bonbon
465114
asked Dec 2 '18 at 14:13
Bonbon
465114
465114
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
The group $B$, the free pro-metabelian group, has the following description, due to Jorge Almeida. I’ll do it for an arbitrary finite set $|X|$ of cadinality at least $2$. Consider $widehat{mathbb Z}^X$, the free pro-abelian group on $X$. Then we can consider the edge set of its Cayley graph $E=widehat{mathbb Z}^Xtimes X$, which is a profinite space with the product topology. Let $H$ be the free pro-abelian group on the profinite space $E$. Then $widehat{mathbb Z}^X$ acts continuously on $E$ via the usual action on its Cayley graph, i.e., via left multiplication in the first coordinate and this extends to a continuous action on $H$ by automorphisms. Form the semidirect product $Hrtimes widehat{mathbb Z}^X$. Then your group $B$ embeds in $Hrtimes widehat{Z}^X$ in the following way. Send $xin X$ to the pair $((1,x),x)$ where $(1,x)$ should be thought of as the edge from $1$ to $x$ labeled by $x$ in the Cayley graph and the second $x$ is the corresponding generator of $widehat{mathbb Z}^X$. This extends to an embedding of $G$.
Your question about $A$ boils down to whether the $3times 3$ Heisenberg group has the congruence subgroup property, which I leave to more knowledgeable people than I.
answered Dec 2 '18 at 15:40
Benjamin Steinberg
23k265125
3
Yes it's very easy to show by hand that the $3times 3$-Heisenberg group has the congruence subgroup property. More generally this holds in general, in the sense that for every unipotent $mathbf{Q}$-subgroup $U$ of $mathrm{GL}_d$, every finite index subgroup of $mathrm{GL}_d(mathbf{Z})cap G(mathbf{Q})$ has the congruence subgroup property.
– YCor
Dec 2 '18 at 17:39
Thanks @YCor I suspected as much.
– Benjamin Steinberg
Dec 2 '18 at 17:46
add a comment |
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: "504"
};
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f316719%2flinear-representation-of-the-free-metabelian-2-step-nilpotent-profinite-groups%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
The group $B$, the free pro-metabelian group, has the following description, due to Jorge Almeida. I’ll do it for an arbitrary finite set $|X|$ of cadinality at least $2$. Consider $widehat{mathbb Z}^X$, the free pro-abelian group on $X$. Then we can consider the edge set of its Cayley graph $E=widehat{mathbb Z}^Xtimes X$, which is a profinite space with the product topology. Let $H$ be the free pro-abelian group on the profinite space $E$. Then $widehat{mathbb Z}^X$ acts continuously on $E$ via the usual action on its Cayley graph, i.e., via left multiplication in the first coordinate and this extends to a continuous action on $H$ by automorphisms. Form the semidirect product $Hrtimes widehat{mathbb Z}^X$. Then your group $B$ embeds in $Hrtimes widehat{Z}^X$ in the following way. Send $xin X$ to the pair $((1,x),x)$ where $(1,x)$ should be thought of as the edge from $1$ to $x$ labeled by $x$ in the Cayley graph and the second $x$ is the corresponding generator of $widehat{mathbb Z}^X$. This extends to an embedding of $G$.
Your question about $A$ boils down to whether the $3times 3$ Heisenberg group has the congruence subgroup property, which I leave to more knowledgeable people than I.
answered Dec 2 '18 at 15:40
Benjamin Steinberg
23k265125
3
Yes it's very easy to show by hand that the $3times 3$-Heisenberg group has the congruence subgroup property. More generally this holds in general, in the sense that for every unipotent $mathbf{Q}$-subgroup $U$ of $mathrm{GL}_d$, every finite index subgroup of $mathrm{GL}_d(mathbf{Z})cap G(mathbf{Q})$ has the congruence subgroup property.
– YCor
Dec 2 '18 at 17:39
Thanks @YCor I suspected as much.
– Benjamin Steinberg
Dec 2 '18 at 17:46
add a comment |
The group $B$, the free pro-metabelian group, has the following description, due to Jorge Almeida. I’ll do it for an arbitrary finite set $|X|$ of cadinality at least $2$. Consider $widehat{mathbb Z}^X$, the free pro-abelian group on $X$. Then we can consider the edge set of its Cayley graph $E=widehat{mathbb Z}^Xtimes X$, which is a profinite space with the product topology. Let $H$ be the free pro-abelian group on the profinite space $E$. Then $widehat{mathbb Z}^X$ acts continuously on $E$ via the usual action on its Cayley graph, i.e., via left multiplication in the first coordinate and this extends to a continuous action on $H$ by automorphisms. Form the semidirect product $Hrtimes widehat{mathbb Z}^X$. Then your group $B$ embeds in $Hrtimes widehat{Z}^X$ in the following way. Send $xin X$ to the pair $((1,x),x)$ where $(1,x)$ should be thought of as the edge from $1$ to $x$ labeled by $x$ in the Cayley graph and the second $x$ is the corresponding generator of $widehat{mathbb Z}^X$. This extends to an embedding of $G$.
Your question about $A$ boils down to whether the $3times 3$ Heisenberg group has the congruence subgroup property, which I leave to more knowledgeable people than I.
answered Dec 2 '18 at 15:40
Benjamin Steinberg
23k265125
3
Yes it's very easy to show by hand that the $3times 3$-Heisenberg group has the congruence subgroup property. More generally this holds in general, in the sense that for every unipotent $mathbf{Q}$-subgroup $U$ of $mathrm{GL}_d$, every finite index subgroup of $mathrm{GL}_d(mathbf{Z})cap G(mathbf{Q})$ has the congruence subgroup property.
– YCor
Dec 2 '18 at 17:39
Thanks @YCor I suspected as much.
– Benjamin Steinberg
Dec 2 '18 at 17:46
add a comment |
The group $B$, the free pro-metabelian group, has the following description, due to Jorge Almeida. I’ll do it for an arbitrary finite set $|X|$ of cadinality at least $2$. Consider $widehat{mathbb Z}^X$, the free pro-abelian group on $X$. Then we can consider the edge set of its Cayley graph $E=widehat{mathbb Z}^Xtimes X$, which is a profinite space with the product topology. Let $H$ be the free pro-abelian group on the profinite space $E$. Then $widehat{mathbb Z}^X$ acts continuously on $E$ via the usual action on its Cayley graph, i.e., via left multiplication in the first coordinate and this extends to a continuous action on $H$ by automorphisms. Form the semidirect product $Hrtimes widehat{mathbb Z}^X$. Then your group $B$ embeds in $Hrtimes widehat{Z}^X$ in the following way. Send $xin X$ to the pair $((1,x),x)$ where $(1,x)$ should be thought of as the edge from $1$ to $x$ labeled by $x$ in the Cayley graph and the second $x$ is the corresponding generator of $widehat{mathbb Z}^X$. This extends to an embedding of $G$.
Your question about $A$ boils down to whether the $3times 3$ Heisenberg group has the congruence subgroup property, which I leave to more knowledgeable people than I.
answered Dec 2 '18 at 15:40
Benjamin Steinberg
23k265125
The group $B$, the free pro-metabelian group, has the following description, due to Jorge Almeida. I’ll do it for an arbitrary finite set $|X|$ of cadinality at least $2$. Consider $widehat{mathbb Z}^X$, the free pro-abelian group on $X$. Then we can consider the edge set of its Cayley graph $E=widehat{mathbb Z}^Xtimes X$, which is a profinite space with the product topology. Let $H$ be the free pro-abelian group on the profinite space $E$. Then $widehat{mathbb Z}^X$ acts continuously on $E$ via the usual action on its Cayley graph, i.e., via left multiplication in the first coordinate and this extends to a continuous action on $H$ by automorphisms. Form the semidirect product $Hrtimes widehat{mathbb Z}^X$. Then your group $B$ embeds in $Hrtimes widehat{Z}^X$ in the following way. Send $xin X$ to the pair $((1,x),x)$ where $(1,x)$ should be thought of as the edge from $1$ to $x$ labeled by $x$ in the Cayley graph and the second $x$ is the corresponding generator of $widehat{mathbb Z}^X$. This extends to an embedding of $G$.
Your question about $A$ boils down to whether the $3times 3$ Heisenberg group has the congruence subgroup property, which I leave to more knowledgeable people than I.
answered Dec 2 '18 at 15:40
Benjamin Steinberg
23k265125
answered Dec 2 '18 at 15:40
Benjamin Steinberg
23k265125
answered Dec 2 '18 at 15:40
Benjamin Steinberg
23k265125
answered Dec 2 '18 at 15:40
Benjamin Steinberg
23k265125
23k265125
3
Yes it's very easy to show by hand that the $3times 3$-Heisenberg group has the congruence subgroup property. More generally this holds in general, in the sense that for every unipotent $mathbf{Q}$-subgroup $U$ of $mathrm{GL}_d$, every finite index subgroup of $mathrm{GL}_d(mathbf{Z})cap G(mathbf{Q})$ has the congruence subgroup property.
– YCor
Dec 2 '18 at 17:39
Thanks @YCor I suspected as much.
– Benjamin Steinberg
Dec 2 '18 at 17:46
add a comment |
3
Yes it's very easy to show by hand that the $3times 3$-Heisenberg group has the congruence subgroup property. More generally this holds in general, in the sense that for every unipotent $mathbf{Q}$-subgroup $U$ of $mathrm{GL}_d$, every finite index subgroup of $mathrm{GL}_d(mathbf{Z})cap G(mathbf{Q})$ has the congruence subgroup property.
– YCor
Dec 2 '18 at 17:39
Thanks @YCor I suspected as much.
– Benjamin Steinberg
Dec 2 '18 at 17:46
3
3
Yes it's very easy to show by hand that the $3times 3$-Heisenberg group has the congruence subgroup property. More generally this holds in general, in the sense that for every unipotent $mathbf{Q}$-subgroup $U$ of $mathrm{GL}_d$, every finite index subgroup of $mathrm{GL}_d(mathbf{Z})cap G(mathbf{Q})$ has the congruence subgroup property.
– YCor
Dec 2 '18 at 17:39
Yes it's very easy to show by hand that the $3times 3$-Heisenberg group has the congruence subgroup property. More generally this holds in general, in the sense that for every unipotent $mathbf{Q}$-subgroup $U$ of $mathrm{GL}_d$, every finite index subgroup of $mathrm{GL}_d(mathbf{Z})cap G(mathbf{Q})$ has the congruence subgroup property.
– YCor
Dec 2 '18 at 17:39
Thanks @YCor I suspected as much.
– Benjamin Steinberg
Dec 2 '18 at 17:46
Thanks @YCor I suspected as much.
– Benjamin Steinberg
Dec 2 '18 at 17:46
add a comment |
Thanks for contributing an answer to MathOverflow!
- 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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f316719%2flinear-representation-of-the-free-metabelian-2-step-nilpotent-profinite-groups%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
