Abstract algebra

Generating set of a module

In mathematics, a generating set Γ of a module M over a ring R is a subset of M such that the smallest submodule of M containing Γ is M itself (the smallest submodule containing a subset is the intersection of all submodules containing the set). The set Γ is then said to generate M. For example, the ring R is generated by the identity element 1 as a left R-module over itself. If there is a finite generating set, then a module is said to be finitely generated. This applies to ideals, which are the submodules of the ring itself. In particular, a principal ideal is an ideal that has a generating set consisting of a single element. Explicitly, if Γ is a generating set of a module M, then every element of M is a (finite) R-linear combination of some elements of Γ; i.e., for each x in M, there are r1, ..., rm in R and g1, ..., gm in Γ such that Put in another way, there is a surjection where we wrote rg for an element in the g-th component of the direct sum. (Coincidentally, since a generating set always exists, e.g. M itself, this shows that a module is a quotient of a free module, a useful fact.) A generating set of a module is said to be minimal if no proper subset of the set generates the module. If R is a field, then a minimal generating set is the same thing as a basis. Unless the module is finitely generated, there may exist no minimal generating set. The cardinality of a minimal generating set need not be an invariant of the module; Z is generated as a principal ideal by 1, but it is also generated by, say, a minimal generating set {2, 3}. What is uniquely determined by a module is the infimum of the numbers of the generators of the module. Let R be a local ring with maximal ideal m and residue field k and M finitely generated module. Then Nakayama's lemma says that M has a minimal generating set whose cardinality is . If M is flat, then this minimal generating set is linearly independent (so M is free). See also: Minimal resolution. A more refined information is obtained if one considers the relations between the generators; see Free presentation of a module. (Wikipedia).

Video thumbnail

How to Find a Minimal Generating Set

How to Find a Minimal Generating Set

From playlist Linear Algebra

Video thumbnail

Building Generating Functions for Sequences Using Differencing

This video explains how to build generating functions for various sequences using the technique of differencing. mathispower4u.com

From playlist Additional Topics: Generating Functions and Intro to Number Theory (Discrete Math)

Video thumbnail

Determine Generating Functions of Sequences from Known Generating Functions (Part 2)

This video explains how to determine generating functions of sequences from known generating functions. mathispower4u.com

From playlist Additional Topics: Generating Functions and Intro to Number Theory (Discrete Math)

Video thumbnail

Determine Sequences from Given Generating Functions (Part 1)

This video explains how to determine sequences from generating functions. mathispower4u.com

From playlist Additional Topics: Generating Functions and Intro to Number Theory (Discrete Math)

Video thumbnail

Determine Sets Given Using Set Notation (Ex 2)

This video provides examples to describing a set given the set notation of a set.

From playlist Sets (Discrete Math)

Video thumbnail

Maths for Programmers: Sets (What Is A Set?)

We're busy people who learn to code, then practice by building projects for nonprofits. Learn Full-stack JavaScript, build a portfolio, and get great references with our open source community. Join our community at https://freecodecamp.com Follow us on twitter: https://twitter.com/freecod

From playlist Maths for Programmers

Video thumbnail

Determine a Generating Function for a Recursively Defined Sequence (a_n=3a_(n-1)-2a_(n-2)

This video explains how to determine a generating function for recursively defined sequence. mathispower4u.com

From playlist Additional Topics: Generating Functions and Intro to Number Theory (Discrete Math)

Video thumbnail

Multiplying Generating Series to Determine a New Sequence and New Generating Function

This video explains how to multiply generating series to then determine a new generating function for the new sequence. mathispower4u.com

From playlist Additional Topics: Generating Functions and Intro to Number Theory (Discrete Math)

Video thumbnail

Samantha Moore (6/1/2022): The Generalized Persistence Diagram Encodes the Bigraded Betti Numbers

We show that the generalized persistence diagram (introduced by Kim and Mémoli) encodes the bigraded Betti numbers of finite 2-parameter persistence modules. More interestingly, we show that the bigraded Betti numbers can be visually read off from the generalized persistence diagram in a m

From playlist AATRN 2022

Video thumbnail

Counting and Constraining Gravitational Scattering matrices (Lecture 2) by Shiraz Minwalla

RECENT DEVELOPMENTS IN S-MATRIX THEORY (ONLINE) ORGANIZERS: Alok Laddha, Song He and Yu-tin Huang DATE: 20 July 2020 to 31 July 2020 VENUE:Online Due to the ongoing COVID-19 pandemic, the original program has been canceled. However, the meeting will be conducted through online lectures

From playlist Recent Developments in S-matrix Theory (Online)

Video thumbnail

David Meyer (1/30/18): Some algebraic stability theorems for generalized persistence modules

From an algebraic point of view, generalized persistence modules can be interpreted as finitely-generated modules for a poset algebra. We prove an algebraic analogue of the isometry theorem of Bauer and Lesnick for a large class of posets. This theorem shows that for such posets, the int

From playlist AATRN 2018

Video thumbnail

Lecture 17. Isomorphism theorems. Free modules

0:00 0:19 1st isomorphism theorem 1:15 2nd isomorphism theorem 4:56 3rd isomorphism theorem 9:40 Submodules of a quotient module 12:55 Generators 18:34 Finitely generated modules 30:21 Cautionary example: not every submodule of a finitely generated module is finitely generated 33:18 Linea

From playlist Abstract Algebra 2

Video thumbnail

Commutative algebra 28 Geometry of associated primes

This lecture is part of an online course on commutative algebra, following the book "Commutative algebra with a view toward algebraic geometry" by David Eisenbud. We give a geometric interpretation of Ass(M), the set of associated primes of M, by showing that its closure is the support Su

From playlist Commutative algebra

Video thumbnail

Oliver Vipond (4/8/20): Local equivalence of metrics for multiparameter persistence modules

Title: Local equivalence of metrics for multiparameter persistence modules Abstract: An ideal invariant for multiparameter persistence should be discriminative, computable and stable. In this work we analyse the discriminative power of a stable, computable invariant of multiparameter pers

From playlist AATRN 2020

Video thumbnail

Lecture 12: Classifying topoi (Part 1)

This is the first of several talks on the subject of classifying topoi. I began with a brief reminder of the overall picture from the first talk, i.e. what are classifying topoi and why do we care (from the point of view of organising mathematics). Then I spent some time talking about tens

From playlist Topos theory seminar

Video thumbnail

Commutative algebra 36 Artin Rees lemma

This lecture is part of an online course on commutative algebra, following the book "Commutative algebra with a view toward algebraic geometry" by David Eisenbud. In this lecture we state and prove the Artin-Rees lemma, which states that the restriction of an stable I-adic filtration (of

From playlist Commutative algebra

Video thumbnail

Representation Theory(Repn Th) 4 by Gerhard Hiss

DATE & TIME 05 November 2016 to 14 November 2016 VENUE Ramanujan Lecture Hall, ICTS Bangalore Computational techniques are of great help in dealing with substantial, otherwise intractable examples, possibly leading to further structural insights and the detection of patterns in many abstra

From playlist Group Theory and Computational Methods

Video thumbnail

Introduction to Generating Functions for Sequences

This video introduces a generating function for an infinite sequence. mathispower4u.com

From playlist Additional Topics: Generating Functions and Intro to Number Theory (Discrete Math)

Video thumbnail

Representation Theory(Repn Th) 5 by Gerhard Hiss

DATE & TIME 05 November 2016 to 14 November 2016 VENUE Ramanujan Lecture Hall, ICTS Bangalore Computational techniques are of great help in dealing with substantial, otherwise intractable examples, possibly leading to further structural insights and the detection of patterns in many abstra

From playlist Group Theory and Computational Methods

Related pages

Invariant basis number | Finite set | Ideal (ring theory) | Maximal ideal | Intersection (set theory) | Countably generated module | Quotient module | Free module | Flat module | Mathematics | Field (mathematics) | Ring (mathematics) | Subset | Residue field | Basis (linear algebra) | Local ring | Cardinality | Finitely generated module | Nakayama's lemma | Principal ideal | Module (mathematics)