abstract algebra - Module generated by set $S$ - Mathematics

http://math.stackexchange.com/questions/131265/module-generated-by-set-s

Module generated by set

Let's denote the free R -module generated by a set S M where M is a module by . Then S this is by definition the intersection of all modules N M containing S . I'd like to show that
n

S = { r k s k : r k R, s k S}
The inclusion is obvious: if x = k=1 r k s k then clearly x is in every module M with S M . Hence . x S Now for some reason the other inclusion is not obvious to me. Let . Then x is in every x S module N M with S N . How do I proceed from here?
n

Edit I made a mistake when I wrote this question. The module generated by S is only free if S is finite. Right?
(abstract-algebra) (modules) edited Apr 22 at 8:02 asked Apr 13 at 10:56 Clark Kent
1,018 9

96% accept rate

Your first paragraph makes no sense to me. If is the free R -module generated by the set S , then how is this "by S definition the intersection of all modules M containing S "? And intersection done how? I can give you two modules that contain S , and whose underlying sets intersect in nothing except S . The notation is also lousy notation, since given a module M and a subset X M , then is the smallest submodule of M that contains X (which is the X intersection of all submodules of M that containX ). Are you missing stuff? Arturo Magidin Apr 13 at 18:20 @ArturoMagidin I missed this comment for some reason! Sorry for the late response! I probably am missing stuff. For example: what if S isn't countable? Doesn't the equality above assume countability of S ? Clark Kent Apr 21 at 20:17 You seem to be ignoring my comment and instead continue to push through, ignoring the problems I raised. It's not a question of whether S is finite, countable, or uncountable. What you wrote makes no sense as written , regardless of the size of S . So while you seem to think that you are missing some subtleties further down in the argument, what I'm pointing out is that you can't even get started the way you wrote things. Arturo Magidin Apr 21 at 20:25

Your edit still doesn't make sense. You cannot declare the submodule generated by S to be free. Do you understand what "free module" means? You have no warrant for asserting that is free, regardless of the size of S . There is a S big difference between "the submodule of M generated by a subset S M " and "the free module on a set S ." You are mixing two very different concepts. Arturo Magidin Apr 21 at 20:39 Yes, it's wrong. A basis has to have two properties: (i) it must generate the module; and (ii) it must not have any nontrivial relations. While S certainly generates , in general it does not satisfy (ii). (By "satisfiies no nontrivial S relations", we mean that if s 1 , , s n S are distinct elements of S , and r 1 , , r n R are elements of R such that r 1 s 1 + + r n s n = 0 , then r 1 = = r n = 0 .) Arturo Magidin Apr 21 at 21:38

1 de 5

13/08/2012 09:02 a.m.

abstract algebra - Module generated by set $S$ - Mathematics

http://math.stackexchange.com/questions/131265/module-generated-by-set-s

feedback

2 Answers
You seem to be confusing the notions of free module, basis, generating set, and submodule generated by a set. Submodule generated by a subset, and generating sets Let M be a given module, and let S M be a subset of M . We define the submodule of , as the smallest submodule of M that contains S . M generated by S , denoted by S Equivalently, since the intersection of an arbitrary family of submodules of M is again a submodule of M , we can define

S =

N M SN

N,

where the intersection is over all submodules of M that contains S . Note that his definition is taking place in the context of a given module M . We are always staying inside the module M . The intersection is the intersection of all submodules of M that contain S . We are only considering elements and modules that are contained in M and have structure compatible with M . Now, the above is the "top-down" description of the submodule generated by M . As usual in this situation (see link above), we also want a "bottoms up" description of . That is S prove: provided by the following, which is, I believe, what you are actually trying to Theorem. Let M be a R -module, and let S M be a subset. Then consists exactly of S all elements of M of the form
n

ri s i ,
i=1

for some s 1 , , s n S and r 1 , , r n R . Proof. Let T be the set of all such elements of M . Note that if N is any submodule of M such that S N , then we will necessarily have T N ; indeed, let x T . Then there exist s 1 , , s n S and r 1 , , r n R such that x = r 1 s 1 + + r n s n . Since S N by assumption, we have s 1 , , s n N . Since N is a submodule, we must also have r 1 s 1 + + r n s n N . Thus, x N , and we have shown that T N. That means that T is contained in : because is an intersection, and T is contained in S S . every set that is being intersected. So T S In order to show that , it is enough to show that the set T is a submodule of M that S is indeed the case, then T will be one of the sets being intersected T contains S . Because if this

2 de 5

13/08/2012 09:02 a.m.

abstract algebra - Module generated by set $S$ - Mathematics

http://math.stackexchange.com/questions/131265/module-generated-by-set-s

, and therefore will necessarily be contained in T . S S So we want to show that T is a submodule of M . It is contained in M because M is a module, S M , so whenever s 1 , , s n S and r 1 , , r n R , we will have r 1 s 1 + + r n s n M . T is not empty, since the sum with no summands (when n = 0 ) is, by definition, equal to 0, the identity element of M . (If S , then you can also conclude that T by taking n = 1 , s_1\in S arbitrary, and considering the sum with r_1=0_R, the zero of R). Now suppose that x and y are elements of T, and that r\in R. We want to show that x-ry\in T. If we can do that, this will prove that T is a submodule of M. Since x\in T, there exist s_1,\ldots,s_n\in S and r_1,\ldots,r_n\in R such that x=r_1s_1+\cdots+r_ns_n. Since y\in T, there exist s'_1,\ldots,s'_m\in S and r'_1,\ldots,r'_m\in R such that y=r'_1s'_1+\cdots + r'_ms'_m. The only thing we know about the sets \{s_1,\ldots,s_n\} and \{s'_1, \ldots,s'_m\} is that they are contained in S; they could be equal, disjoint, one could be contained in the other, or none of the above. Note that the definition of T just says that there are some elements of S that have a certain property, it places no conditions on those elements (not even them being distinct!) other than being contained in S. Now we have: \begin{align*} x-ry &= \Bigl( r_1s_1+\cdots+r_ns_n\Bigr) -r\Bigl( r'_1s'_1+\cdots + r'_ms'_m\Bigr)\\ &= r_1s_1 + \cdots + r_ns_n + (-rr'_1)s'_1 + \cdots + (-rr'_m)s'_m. \end{align*} This is an element of T: we have s_1,\ldots,s_n,s'_1,\ldots,s'_m are elements of S, r_1,\ldots, r_n, -rr'_1,\ldots,-rr'_m are elements of R, and we are taking the corresponding sum of multiples of elements of S. Thus, x-ry\in T when x,y\in T and r\in R. So T is a submodule of M. Finally, we need to show that S\subseteq T. Indeed, if s\in S, then taking n=1, r_1=1_R, and s_1=s, we get s = r_1s_1\in T. So T is a submodule of M that contains S. Therefore, we have: \langle S\rangle = \bigcap_{N\leq M, S\subseteq N} N = T\cap\bigcap_{N\leq M, S\subseteq N} N \subseteq T, so \langle S\rangle \subseteq T. Since we already have shown that T\subseteq \langle S\rangle, we conclude that T=\langle S\rangle, as desired. \Box A few things to notice: The definition of T places no restrictions on the size of S. We do not require the sum expression to "use" all elements of S, just some. If S is finite, we could describe every element of T in terms of all elements of S, but we don't have to. The definition of T places no restrictions on the elements s_1,\ldots,s_n that are used to express an element of T, except that they must be elements o. They could be the same element, repeated n times, or all distinct; or some repeated, or none. Now: given a module M and a subset S\subseteq M, we say that S generates M if and only if \langle S\rangle = M. If M is a module, and S\subseteq M, then S always generates \langle S\rangle. Every module has a generating set; in fact, many. We can always take S=M; generating sets are not, in general, unique: if S generates M, and S\subseteq S'\subseteq M, then S' also generates M. And there may not be a "smallest" generating set, or even "minimal" generating sets. Sometimes there are, sometimes there are not.

in the definition of

3 de 5

13/08/2012 09:02 a.m.

abstract algebra - Module generated by set $S$ - Mathematics

http://math.stackexchange.com/questions/131265/module-generated-by-set-s

Bases Bases are special types of generating sets. Let M be a module. A subset B\subseteq M of M is a basis for M if and only if it satisfies two conditions: 1. B generates M; that is, \langle B\rangle = M; and 2. B is "independent": if b_1,\ldots,b_n are any finite set of pairwise distinct elements of B, and r_1,\ldots,r_n are elements of R such that r_1b_1+\cdots+r_nb_n = 0, then r_1=r_2=\cdots=r_n=0. Again, note that this is all taking place in the context of a given module. There are several equivalent ways of saying B is a basis; for example, you can say that B is a basis if and only if every element of M can be expressed uniquely as a sum of nonzero multiples of finitely many elements of B. A basis may or may not exist for any given module M. Free modules and free generating sets Let X be a set. A module M is said to be a free module on X if and only if X\subseteq M and M satisfies the following condition: Given any module N and any (set-theoretic; that is, not necessarily a module homomorphism) function f\colon X\to M, there exists a unique moudle homorphism \mathcal{F}\colon M\to N such that \mathcal{F}(x) = f(x) for all x\in X. We have the following result (which is where, I think, you got confused): Theorem. Let M be a module, and let X\subseteq M. Then M is a free module on X if and only if X is a basis for M. Now, given any set X (finite, countable, or infinite, doesn't matter), there always is a "free module on X". One can construct it as the set of all formal sums of multiples of elements of X, or as a direct sum, or any other number of ways. But here we start with a set, and we construct a module (as opposed ot the notion of "submodule generated", where we start with a module). Finally, we say that a module M is free if there exists X\subseteq M such that X is a basis for M (equivalently, such that M is free on X). Also, given a module M and a subset X, if X is independent, then by the theorem above we can conclude that \langle X\rangle is a free module on X; this may or may not be equal to all of M. But again, here we start with a module, not with a set.
answered Apr 21 at 23:17 Arturo Magidin
144k 13 212 445

Is someone seriously upvoting this less than six minutes after I posted it? I would expect to take longer than that to read it! Again, I appreciate the vote of confidence, but shouldn't one wait to upvote at least until one has read the whole thing? Arturo Magidin Apr 21 at 23:24

4 de 5

13/08/2012 09:02 a.m.

abstract algebra - Module generated by set $S$ - Mathematics

http://math.stackexchange.com/questions/131265/module-generated-by-set-s

For the first inclusion, T \subset \langle S \rangle, do we have to argue using the intersection? How about: Let x = \sum_{k=1}^n s_k r_k for s_k \in S. Then s_k \in \langle S \rangle. Then since \langle S \rangle is a module, \sum_{k=1}^n s_k r_k = x \in \langle S \rangle, i.e. T \subset \langle S \rangle. Clark Kent Apr 22 at 8:22 @Arturo: Nothing wrong with your answer, but: Why are you keep repeating what everyone can read in a textbook on algebra? And why is it always to detailed? I hope that, at least, you have fun doing that. But remember that beginners also have to start thinking by themselves. Then it is not good to elaborate every tiny argument. Martin Brandenburg Apr 22 at 8:42

1 1

@ClarkKent, please be civil. This is not "your thread" not is it anyone's. Mariano Surez-Alvarez Apr 23 at 15:56 Dear Clark: Nothing justifies being uncivil. There is no gentle way to read your pollute with opinionated argumentative off-topic spats and such a description surely might appear to some to be out of proportion Martin's one comment on Arturo's pedagogical method. Independently of what others write, say, or do in this site, nothing justifies being uncivil. Mariano Surez-Alvarez Apr 24 at 23:16

feedback

Hint: Show that \left\{\sum^n_{k=1}r_ks_k:r_k\in R,s_k\in S\right\} is an R-module containing S. Then if x\in\langle S\rangle, it must also be in this set.
answered Apr 13 at 10:59 Matt Pressland
2,131 I think I made a mistake. See edit in question. And thank you for the hint. Clark Kent Apr 13 at 11:16 OK - in answer to the new question, no I don't think S needs to be finite, and in fact the same description holds (in that you still take finite linear combinations of elements of S, but they can be arbitrarily long). Matt Pressland Apr 13 at 11:55 I removed the accept and upvoted instead because I realised there are a few other things that I don't understand that Arturo helped me clear up. He is going to write an answer and to keep the balance I'll accept that but won't upvote. Clark Kent Apr 21 at 21:54 @ClarkKent: You are allowed to both upvote and accept; and there is no balance to be kept. Upvotes for Matt don't count against me or vice-versa. Arturo Magidin Apr 21 at 23:18 3 16

feedback

question feed

5 de 5

13/08/2012 09:02 a.m.