Embedding the quotient of a vector space
$begingroup$
Q: Given a vector space $V$ over an arbitrary field and a linear subspace $W$, can we embed $V/W$ within $V$?
An embedding would be an injective morphism $i: V/W to V $ which is an isomorphism from the domain to its image?
Also are there similar results on groups and embeddings of the quotients by their normal subgroups?
In the case of finite-dimensional real or complex vector spaces, we can use orthogonality, but I am unsure how this would work otherwise.
Related question: Is quotient space a subspace of the underlying vector space
linear-algebra abstract-algebra vector-spaces
$endgroup$
add a comment |
$begingroup$
Q: Given a vector space $V$ over an arbitrary field and a linear subspace $W$, can we embed $V/W$ within $V$?
An embedding would be an injective morphism $i: V/W to V $ which is an isomorphism from the domain to its image?
Also are there similar results on groups and embeddings of the quotients by their normal subgroups?
In the case of finite-dimensional real or complex vector spaces, we can use orthogonality, but I am unsure how this would work otherwise.
Related question: Is quotient space a subspace of the underlying vector space
linear-algebra abstract-algebra vector-spaces
$endgroup$
$begingroup$
The last assertion is false: For general finite-dimensional real or complex vector spaces there is no notion of orthogonality---this requires additional data (e.g., an inner product or Hermitian product).
$endgroup$
– Travis
Oct 26 '18 at 13:00
add a comment |
$begingroup$
Q: Given a vector space $V$ over an arbitrary field and a linear subspace $W$, can we embed $V/W$ within $V$?
An embedding would be an injective morphism $i: V/W to V $ which is an isomorphism from the domain to its image?
Also are there similar results on groups and embeddings of the quotients by their normal subgroups?
In the case of finite-dimensional real or complex vector spaces, we can use orthogonality, but I am unsure how this would work otherwise.
Related question: Is quotient space a subspace of the underlying vector space
linear-algebra abstract-algebra vector-spaces
$endgroup$
Q: Given a vector space $V$ over an arbitrary field and a linear subspace $W$, can we embed $V/W$ within $V$?
An embedding would be an injective morphism $i: V/W to V $ which is an isomorphism from the domain to its image?
Also are there similar results on groups and embeddings of the quotients by their normal subgroups?
In the case of finite-dimensional real or complex vector spaces, we can use orthogonality, but I am unsure how this would work otherwise.
Related question: Is quotient space a subspace of the underlying vector space
linear-algebra abstract-algebra vector-spaces
linear-algebra abstract-algebra vector-spaces
asked Oct 25 '18 at 14:13
Marko KarbevskiMarko Karbevski
1,037821
1,037821
$begingroup$
The last assertion is false: For general finite-dimensional real or complex vector spaces there is no notion of orthogonality---this requires additional data (e.g., an inner product or Hermitian product).
$endgroup$
– Travis
Oct 26 '18 at 13:00
add a comment |
$begingroup$
The last assertion is false: For general finite-dimensional real or complex vector spaces there is no notion of orthogonality---this requires additional data (e.g., an inner product or Hermitian product).
$endgroup$
– Travis
Oct 26 '18 at 13:00
$begingroup$
The last assertion is false: For general finite-dimensional real or complex vector spaces there is no notion of orthogonality---this requires additional data (e.g., an inner product or Hermitian product).
$endgroup$
– Travis
Oct 26 '18 at 13:00
$begingroup$
The last assertion is false: For general finite-dimensional real or complex vector spaces there is no notion of orthogonality---this requires additional data (e.g., an inner product or Hermitian product).
$endgroup$
– Travis
Oct 26 '18 at 13:00
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
SO, let's back up. For groups or rings, there is no general guarantee that we can imbed a quotient into the group/ring itself. This is true exactly when the kernel has a compliment in the group/ring itself.
Vector spaces are special though. They can always be written as a direct sum of their one dimensional subspaces (with respect to a given ordered basis). So, in this case where we have (I will only demonstrate the finite dim. case but it is similar for infinite dim. at least with countable bases)
$$V=V_1 oplus V_2 oplus dots oplus V_n$$
So, if we quotient out by a particular subpsace then we are just quotienting at by some ``subsum'' of the above essentially. That is, the kernel of that map (the thing you're quotienting out by) you have always has a compliment. That compliment is how we imbed $V/K$ into $V$. It takes very little work to show $V cong V oplus V/K$
$endgroup$
add a comment |
$begingroup$
Yes. Take a basis ${e_i}$ of $V/W$, and choose $f_i$ in $V$ such that $f_i$ maps to $e_i$ under the quotient map. The map from $V/W$ to $V$ linearly extending the above gives an embedding. If $sum a_i e_i = z in V/W$ (a finite sum) then the image in $V$ would be $sum a_i f_i$. etc
$endgroup$
add a comment |
$begingroup$
I completely agree with the previous answers. However, please be aware that any such an embedding is actually a choice! So there is no canonical way on doing it (it is only canonical if you quotient out a trivial space, i.e. the whole space or 0). Furthermore, if you are interested, this property is usually referred to as semi-simplicity of a category (something quite powerful).
and to get back to Rhythmink's answer: an example for rings or groups were this is not possible is the map $$mathbb{Z} to mathbb{Z}/(p).$$
I leave it to you to show that this admits no leftinverse ,i.e. an embedding
$$mathbb{Z}/(p) to mathbb{Z}.$$
$endgroup$
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: "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
});
}
});
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%2fmath.stackexchange.com%2fquestions%2f2970669%2fembedding-the-quotient-of-a-vector-space%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
SO, let's back up. For groups or rings, there is no general guarantee that we can imbed a quotient into the group/ring itself. This is true exactly when the kernel has a compliment in the group/ring itself.
Vector spaces are special though. They can always be written as a direct sum of their one dimensional subspaces (with respect to a given ordered basis). So, in this case where we have (I will only demonstrate the finite dim. case but it is similar for infinite dim. at least with countable bases)
$$V=V_1 oplus V_2 oplus dots oplus V_n$$
So, if we quotient out by a particular subpsace then we are just quotienting at by some ``subsum'' of the above essentially. That is, the kernel of that map (the thing you're quotienting out by) you have always has a compliment. That compliment is how we imbed $V/K$ into $V$. It takes very little work to show $V cong V oplus V/K$
$endgroup$
add a comment |
$begingroup$
SO, let's back up. For groups or rings, there is no general guarantee that we can imbed a quotient into the group/ring itself. This is true exactly when the kernel has a compliment in the group/ring itself.
Vector spaces are special though. They can always be written as a direct sum of their one dimensional subspaces (with respect to a given ordered basis). So, in this case where we have (I will only demonstrate the finite dim. case but it is similar for infinite dim. at least with countable bases)
$$V=V_1 oplus V_2 oplus dots oplus V_n$$
So, if we quotient out by a particular subpsace then we are just quotienting at by some ``subsum'' of the above essentially. That is, the kernel of that map (the thing you're quotienting out by) you have always has a compliment. That compliment is how we imbed $V/K$ into $V$. It takes very little work to show $V cong V oplus V/K$
$endgroup$
add a comment |
$begingroup$
SO, let's back up. For groups or rings, there is no general guarantee that we can imbed a quotient into the group/ring itself. This is true exactly when the kernel has a compliment in the group/ring itself.
Vector spaces are special though. They can always be written as a direct sum of their one dimensional subspaces (with respect to a given ordered basis). So, in this case where we have (I will only demonstrate the finite dim. case but it is similar for infinite dim. at least with countable bases)
$$V=V_1 oplus V_2 oplus dots oplus V_n$$
So, if we quotient out by a particular subpsace then we are just quotienting at by some ``subsum'' of the above essentially. That is, the kernel of that map (the thing you're quotienting out by) you have always has a compliment. That compliment is how we imbed $V/K$ into $V$. It takes very little work to show $V cong V oplus V/K$
$endgroup$
SO, let's back up. For groups or rings, there is no general guarantee that we can imbed a quotient into the group/ring itself. This is true exactly when the kernel has a compliment in the group/ring itself.
Vector spaces are special though. They can always be written as a direct sum of their one dimensional subspaces (with respect to a given ordered basis). So, in this case where we have (I will only demonstrate the finite dim. case but it is similar for infinite dim. at least with countable bases)
$$V=V_1 oplus V_2 oplus dots oplus V_n$$
So, if we quotient out by a particular subpsace then we are just quotienting at by some ``subsum'' of the above essentially. That is, the kernel of that map (the thing you're quotienting out by) you have always has a compliment. That compliment is how we imbed $V/K$ into $V$. It takes very little work to show $V cong V oplus V/K$
answered Oct 25 '18 at 14:19
RhythmInkRhythmInk
1,683423
1,683423
add a comment |
add a comment |
$begingroup$
Yes. Take a basis ${e_i}$ of $V/W$, and choose $f_i$ in $V$ such that $f_i$ maps to $e_i$ under the quotient map. The map from $V/W$ to $V$ linearly extending the above gives an embedding. If $sum a_i e_i = z in V/W$ (a finite sum) then the image in $V$ would be $sum a_i f_i$. etc
$endgroup$
add a comment |
$begingroup$
Yes. Take a basis ${e_i}$ of $V/W$, and choose $f_i$ in $V$ such that $f_i$ maps to $e_i$ under the quotient map. The map from $V/W$ to $V$ linearly extending the above gives an embedding. If $sum a_i e_i = z in V/W$ (a finite sum) then the image in $V$ would be $sum a_i f_i$. etc
$endgroup$
add a comment |
$begingroup$
Yes. Take a basis ${e_i}$ of $V/W$, and choose $f_i$ in $V$ such that $f_i$ maps to $e_i$ under the quotient map. The map from $V/W$ to $V$ linearly extending the above gives an embedding. If $sum a_i e_i = z in V/W$ (a finite sum) then the image in $V$ would be $sum a_i f_i$. etc
$endgroup$
Yes. Take a basis ${e_i}$ of $V/W$, and choose $f_i$ in $V$ such that $f_i$ maps to $e_i$ under the quotient map. The map from $V/W$ to $V$ linearly extending the above gives an embedding. If $sum a_i e_i = z in V/W$ (a finite sum) then the image in $V$ would be $sum a_i f_i$. etc
edited Oct 25 '18 at 17:13
memerson
55510
55510
answered Oct 25 '18 at 16:31
R.C.CowsikR.C.Cowsik
31514
31514
add a comment |
add a comment |
$begingroup$
I completely agree with the previous answers. However, please be aware that any such an embedding is actually a choice! So there is no canonical way on doing it (it is only canonical if you quotient out a trivial space, i.e. the whole space or 0). Furthermore, if you are interested, this property is usually referred to as semi-simplicity of a category (something quite powerful).
and to get back to Rhythmink's answer: an example for rings or groups were this is not possible is the map $$mathbb{Z} to mathbb{Z}/(p).$$
I leave it to you to show that this admits no leftinverse ,i.e. an embedding
$$mathbb{Z}/(p) to mathbb{Z}.$$
$endgroup$
add a comment |
$begingroup$
I completely agree with the previous answers. However, please be aware that any such an embedding is actually a choice! So there is no canonical way on doing it (it is only canonical if you quotient out a trivial space, i.e. the whole space or 0). Furthermore, if you are interested, this property is usually referred to as semi-simplicity of a category (something quite powerful).
and to get back to Rhythmink's answer: an example for rings or groups were this is not possible is the map $$mathbb{Z} to mathbb{Z}/(p).$$
I leave it to you to show that this admits no leftinverse ,i.e. an embedding
$$mathbb{Z}/(p) to mathbb{Z}.$$
$endgroup$
add a comment |
$begingroup$
I completely agree with the previous answers. However, please be aware that any such an embedding is actually a choice! So there is no canonical way on doing it (it is only canonical if you quotient out a trivial space, i.e. the whole space or 0). Furthermore, if you are interested, this property is usually referred to as semi-simplicity of a category (something quite powerful).
and to get back to Rhythmink's answer: an example for rings or groups were this is not possible is the map $$mathbb{Z} to mathbb{Z}/(p).$$
I leave it to you to show that this admits no leftinverse ,i.e. an embedding
$$mathbb{Z}/(p) to mathbb{Z}.$$
$endgroup$
I completely agree with the previous answers. However, please be aware that any such an embedding is actually a choice! So there is no canonical way on doing it (it is only canonical if you quotient out a trivial space, i.e. the whole space or 0). Furthermore, if you are interested, this property is usually referred to as semi-simplicity of a category (something quite powerful).
and to get back to Rhythmink's answer: an example for rings or groups were this is not possible is the map $$mathbb{Z} to mathbb{Z}/(p).$$
I leave it to you to show that this admits no leftinverse ,i.e. an embedding
$$mathbb{Z}/(p) to mathbb{Z}.$$
edited Dec 6 '18 at 8:09
answered Oct 26 '18 at 8:42
EnkiduEnkidu
1,32619
1,32619
add a comment |
add a comment |
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.
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%2fmath.stackexchange.com%2fquestions%2f2970669%2fembedding-the-quotient-of-a-vector-space%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
$begingroup$
The last assertion is false: For general finite-dimensional real or complex vector spaces there is no notion of orthogonality---this requires additional data (e.g., an inner product or Hermitian product).
$endgroup$
– Travis
Oct 26 '18 at 13:00