All objects in $bf{FinVect}$ have finite length
I want to show that every object $X$ of $bf{FinVect}$ has finite length. i.e. there is a sequence of monos
$$
0=X_0 hookrightarrow X_1 hookrightarrow ... hookrightarrow X_{n-1} hookrightarrow X_n = X
$$
such that $forall i,{X_i}/{X_{i-1}}$ is simple.
I think this is supposed to be a trivial case, but I do not see how. If we use just the zero map $0xrightarrow{0} X$ it does not work, since $X/{0}cong X$ need not be simple.
vector-spaces category-theory abelian-categories
add a comment |
I want to show that every object $X$ of $bf{FinVect}$ has finite length. i.e. there is a sequence of monos
$$
0=X_0 hookrightarrow X_1 hookrightarrow ... hookrightarrow X_{n-1} hookrightarrow X_n = X
$$
such that $forall i,{X_i}/{X_{i-1}}$ is simple.
I think this is supposed to be a trivial case, but I do not see how. If we use just the zero map $0xrightarrow{0} X$ it does not work, since $X/{0}cong X$ need not be simple.
vector-spaces category-theory abelian-categories
2
What are simple objects in your category? Can you show that any object $X$ in this category is of length $dim(X)$?
– Batominovski
Nov 24 at 12:35
@Batominovski Thanks, that hint was enough - it feels quite obvious now
– Soap
Nov 25 at 10:45
add a comment |
I want to show that every object $X$ of $bf{FinVect}$ has finite length. i.e. there is a sequence of monos
$$
0=X_0 hookrightarrow X_1 hookrightarrow ... hookrightarrow X_{n-1} hookrightarrow X_n = X
$$
such that $forall i,{X_i}/{X_{i-1}}$ is simple.
I think this is supposed to be a trivial case, but I do not see how. If we use just the zero map $0xrightarrow{0} X$ it does not work, since $X/{0}cong X$ need not be simple.
vector-spaces category-theory abelian-categories
I want to show that every object $X$ of $bf{FinVect}$ has finite length. i.e. there is a sequence of monos
$$
0=X_0 hookrightarrow X_1 hookrightarrow ... hookrightarrow X_{n-1} hookrightarrow X_n = X
$$
such that $forall i,{X_i}/{X_{i-1}}$ is simple.
I think this is supposed to be a trivial case, but I do not see how. If we use just the zero map $0xrightarrow{0} X$ it does not work, since $X/{0}cong X$ need not be simple.
vector-spaces category-theory abelian-categories
vector-spaces category-theory abelian-categories
edited Nov 24 at 12:36
user 170039
10.4k42465
10.4k42465
asked Nov 24 at 12:32
Soap
1,027615
1,027615
2
What are simple objects in your category? Can you show that any object $X$ in this category is of length $dim(X)$?
– Batominovski
Nov 24 at 12:35
@Batominovski Thanks, that hint was enough - it feels quite obvious now
– Soap
Nov 25 at 10:45
add a comment |
2
What are simple objects in your category? Can you show that any object $X$ in this category is of length $dim(X)$?
– Batominovski
Nov 24 at 12:35
@Batominovski Thanks, that hint was enough - it feels quite obvious now
– Soap
Nov 25 at 10:45
2
2
What are simple objects in your category? Can you show that any object $X$ in this category is of length $dim(X)$?
– Batominovski
Nov 24 at 12:35
What are simple objects in your category? Can you show that any object $X$ in this category is of length $dim(X)$?
– Batominovski
Nov 24 at 12:35
@Batominovski Thanks, that hint was enough - it feels quite obvious now
– Soap
Nov 25 at 10:45
@Batominovski Thanks, that hint was enough - it feels quite obvious now
– Soap
Nov 25 at 10:45
add a comment |
2 Answers
2
active
oldest
votes
The simple objects in $mathbf{FinVect}$ are exactly the 1-dimensional vector spaces. Take any ordered basis $(a_1,ldots,a_n)$ of $X$ (which exists, since $X$ is a finite dimensional vector space), and take $X_k = mathop{mathrm{Span}}{a_1,ldots,a_k}$.
add a comment |
Hints. Let $mathbb{K}$ be the base field. The simple objects of $mathbf{C}:=mathbf{FinVect}(mathbb{K})$ are $1$-dimensional $mathbb{K}$-vector spaces, i.e., they are all isomorphic to $mathbb{K}$. This shows that, if $Xin mathbf{C}$ has a filtration
$$0=X_0hookrightarrow X_1 hookrightarrow X_2hookrightarrow ldots hookrightarrow X_{l-1}hookrightarrow X_l=Xtag{*}$$
in which $X_i/X_{i-1}$ are simple (whence $1$-dimensional), then $$dim_mathbb{K}(X)=dim_mathbb{K}(X_0)+sum_{i=1}^l,dim_mathbb{K}left(X_i/X_{i-1}right)=0+sum_{i=1}^l,1=l,$$
For convenience, we call (*) a composition series of $X$. Ergo, you have the following statement: "if $Xinmathbb{C}$ has a composition series of length $l$, then $dim_mathbb{K}(X)=l$." How would you show that the converse of this statement is also true? That is, show that any composition series of $Xinmathbf{C}$ exists and is of length $dim_mathbb{K}(X)$.
Try induction on $dim_mathbb{K}(X)$.
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%2f3011495%2fall-objects-in-bffinvect-have-finite-length%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
The simple objects in $mathbf{FinVect}$ are exactly the 1-dimensional vector spaces. Take any ordered basis $(a_1,ldots,a_n)$ of $X$ (which exists, since $X$ is a finite dimensional vector space), and take $X_k = mathop{mathrm{Span}}{a_1,ldots,a_k}$.
add a comment |
The simple objects in $mathbf{FinVect}$ are exactly the 1-dimensional vector spaces. Take any ordered basis $(a_1,ldots,a_n)$ of $X$ (which exists, since $X$ is a finite dimensional vector space), and take $X_k = mathop{mathrm{Span}}{a_1,ldots,a_k}$.
add a comment |
The simple objects in $mathbf{FinVect}$ are exactly the 1-dimensional vector spaces. Take any ordered basis $(a_1,ldots,a_n)$ of $X$ (which exists, since $X$ is a finite dimensional vector space), and take $X_k = mathop{mathrm{Span}}{a_1,ldots,a_k}$.
The simple objects in $mathbf{FinVect}$ are exactly the 1-dimensional vector spaces. Take any ordered basis $(a_1,ldots,a_n)$ of $X$ (which exists, since $X$ is a finite dimensional vector space), and take $X_k = mathop{mathrm{Span}}{a_1,ldots,a_k}$.
answered Nov 24 at 12:44
user3482749
2,411414
2,411414
add a comment |
add a comment |
Hints. Let $mathbb{K}$ be the base field. The simple objects of $mathbf{C}:=mathbf{FinVect}(mathbb{K})$ are $1$-dimensional $mathbb{K}$-vector spaces, i.e., they are all isomorphic to $mathbb{K}$. This shows that, if $Xin mathbf{C}$ has a filtration
$$0=X_0hookrightarrow X_1 hookrightarrow X_2hookrightarrow ldots hookrightarrow X_{l-1}hookrightarrow X_l=Xtag{*}$$
in which $X_i/X_{i-1}$ are simple (whence $1$-dimensional), then $$dim_mathbb{K}(X)=dim_mathbb{K}(X_0)+sum_{i=1}^l,dim_mathbb{K}left(X_i/X_{i-1}right)=0+sum_{i=1}^l,1=l,$$
For convenience, we call (*) a composition series of $X$. Ergo, you have the following statement: "if $Xinmathbb{C}$ has a composition series of length $l$, then $dim_mathbb{K}(X)=l$." How would you show that the converse of this statement is also true? That is, show that any composition series of $Xinmathbf{C}$ exists and is of length $dim_mathbb{K}(X)$.
Try induction on $dim_mathbb{K}(X)$.
add a comment |
Hints. Let $mathbb{K}$ be the base field. The simple objects of $mathbf{C}:=mathbf{FinVect}(mathbb{K})$ are $1$-dimensional $mathbb{K}$-vector spaces, i.e., they are all isomorphic to $mathbb{K}$. This shows that, if $Xin mathbf{C}$ has a filtration
$$0=X_0hookrightarrow X_1 hookrightarrow X_2hookrightarrow ldots hookrightarrow X_{l-1}hookrightarrow X_l=Xtag{*}$$
in which $X_i/X_{i-1}$ are simple (whence $1$-dimensional), then $$dim_mathbb{K}(X)=dim_mathbb{K}(X_0)+sum_{i=1}^l,dim_mathbb{K}left(X_i/X_{i-1}right)=0+sum_{i=1}^l,1=l,$$
For convenience, we call (*) a composition series of $X$. Ergo, you have the following statement: "if $Xinmathbb{C}$ has a composition series of length $l$, then $dim_mathbb{K}(X)=l$." How would you show that the converse of this statement is also true? That is, show that any composition series of $Xinmathbf{C}$ exists and is of length $dim_mathbb{K}(X)$.
Try induction on $dim_mathbb{K}(X)$.
add a comment |
Hints. Let $mathbb{K}$ be the base field. The simple objects of $mathbf{C}:=mathbf{FinVect}(mathbb{K})$ are $1$-dimensional $mathbb{K}$-vector spaces, i.e., they are all isomorphic to $mathbb{K}$. This shows that, if $Xin mathbf{C}$ has a filtration
$$0=X_0hookrightarrow X_1 hookrightarrow X_2hookrightarrow ldots hookrightarrow X_{l-1}hookrightarrow X_l=Xtag{*}$$
in which $X_i/X_{i-1}$ are simple (whence $1$-dimensional), then $$dim_mathbb{K}(X)=dim_mathbb{K}(X_0)+sum_{i=1}^l,dim_mathbb{K}left(X_i/X_{i-1}right)=0+sum_{i=1}^l,1=l,$$
For convenience, we call (*) a composition series of $X$. Ergo, you have the following statement: "if $Xinmathbb{C}$ has a composition series of length $l$, then $dim_mathbb{K}(X)=l$." How would you show that the converse of this statement is also true? That is, show that any composition series of $Xinmathbf{C}$ exists and is of length $dim_mathbb{K}(X)$.
Try induction on $dim_mathbb{K}(X)$.
Hints. Let $mathbb{K}$ be the base field. The simple objects of $mathbf{C}:=mathbf{FinVect}(mathbb{K})$ are $1$-dimensional $mathbb{K}$-vector spaces, i.e., they are all isomorphic to $mathbb{K}$. This shows that, if $Xin mathbf{C}$ has a filtration
$$0=X_0hookrightarrow X_1 hookrightarrow X_2hookrightarrow ldots hookrightarrow X_{l-1}hookrightarrow X_l=Xtag{*}$$
in which $X_i/X_{i-1}$ are simple (whence $1$-dimensional), then $$dim_mathbb{K}(X)=dim_mathbb{K}(X_0)+sum_{i=1}^l,dim_mathbb{K}left(X_i/X_{i-1}right)=0+sum_{i=1}^l,1=l,$$
For convenience, we call (*) a composition series of $X$. Ergo, you have the following statement: "if $Xinmathbb{C}$ has a composition series of length $l$, then $dim_mathbb{K}(X)=l$." How would you show that the converse of this statement is also true? That is, show that any composition series of $Xinmathbf{C}$ exists and is of length $dim_mathbb{K}(X)$.
Try induction on $dim_mathbb{K}(X)$.
edited Nov 24 at 12:49
answered Nov 24 at 12:44
Batominovski
33.7k33292
33.7k33292
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.
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%2fmath.stackexchange.com%2fquestions%2f3011495%2fall-objects-in-bffinvect-have-finite-length%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
2
What are simple objects in your category? Can you show that any object $X$ in this category is of length $dim(X)$?
– Batominovski
Nov 24 at 12:35
@Batominovski Thanks, that hint was enough - it feels quite obvious now
– Soap
Nov 25 at 10:45