Theorems in ring theory | Module theory

Kaplansky's theorem on projective modules

In abstract algebra, Kaplansky's theorem on projective modules, first proven by Irving Kaplansky, states that a projective module over a local ring is free; where a not-necessary-commutative ring is called local if for each element x, either x or 1 − x is a unit element. The theorem can also be formulated so to characterize a local ring. For a finite projective module over a commutative local ring, the theorem is an easy consequence of Nakayama's lemma. For the general case, the proof (both the original as well as later one) consists of the following two steps: * Observe that a projective module over an arbitrary ring is a direct sum of countably generated projective modules. * Show that a countably generated projective module over a local ring is free (by a "[reminiscence] of the proof of Nakayama's lemma"). The idea of the proof of the theorem was also later used by Hyman Bass to show (under some mild conditions) are free. According to, Kaplansky's theorem "is very likely the inspiration for a major portion of the results" in the theory of semiperfect rings. (Wikipedia).

Video thumbnail

Rings 9 Projective modules

This lecture is part of an online course on rings and modules. We define projective modules, and give severalexamples of them, including the Moebius band, a non-principal ideal, and the tangent bundle of the sphere. For the other lectures in the course see https://www.youtube.com/playli

From playlist Rings and modules

Video thumbnail

Sanaz Pooya: Higher Kazhdan projections, L²-Betti numbers, and the Coarse Baum-Connes conjecture

Talk by Sanaz Pooya in Global Noncommutative Geometry Seminar (Europe) http://www.noncommutativegeometry.nl/ncgseminar/ on April 21, 2021

From playlist Global Noncommutative Geometry Seminar (Europe)

Video thumbnail

Giles Gardam - Kaplansky's conjectures

Kaplansky made various related conjectures about group rings, especially for torsion-free groups. For example, the zero divisors conjecture predicts that if K is a field and G is a torsion-free group, then the group ring K[G] has no zero divisors. I will survey what is known about the conj

From playlist Talks of Mathematics Münster's reseachers

Video thumbnail

Commutative algebra 42 Projective modules

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 discuss the relation between locally free things (vector bundles) and projective things. In commutative algebra and differe

From playlist Commutative algebra

Video thumbnail

A survey of quandle theory by Mohamed Elhamdadi

PROGRAM KNOTS THROUGH WEB (ONLINE) ORGANIZERS: Rama Mishra, Madeti Prabhakar and Mahender Singh DATE & TIME: 24 August 2020 to 28 August 2020 VENUE: Online Due to the ongoing COVID-19 pandemic, the original program has been canceled. However, the meeting will be conducted through onli

From playlist Knots Through Web (Online)

Video thumbnail

Benjamin Steinberg: Cartan pairs of algebras

Talk by Benjamin Steinberg in Global Noncommutative Geometry Seminar (Americas), https://globalncgseminar.org/talks/tba-15/ on Oct. 8, 2021

From playlist Global Noncommutative Geometry Seminar (Americas)

Video thumbnail

algebraic geometry 15 Projective space

This lecture is part of an online algebraic geometry course, based on chapter I of "Algebraic geometry" by Hartshorne. It introduces projective space and describes the synthetic and analytic approaches to projective geometry

From playlist Algebraic geometry I: Varieties

Video thumbnail

The Cayley-Hamilton Theorem is Easy with F[x]-Modules

Invariant factors proof: https://youtu.be/gWIRI43h0ic Characteristic polynomial explanation: https://youtu.be/jCt6mR3QtPk Intro to F[x]-modules: https://youtu.be/H44q_Urmts0 The Cayley-Hamilton theorem says that every matrix is a root of its own characteristic polynomial, det(xI-A). Wit

From playlist Ring & Module Theory

Video thumbnail

Giles Gardam: Kaplansky's conjectures

Talk by Giles Gardam in the Global Noncommutative Geometry Seminar (Americas) https://globalncgseminar.org/talks/3580/ on September 17, 2021.

From playlist Global Noncommutative Geometry Seminar (Americas)

Video thumbnail

Pere Ara: Crossed products and the Atiyah problem

Talk by Pere Are in Global Noncommutative Geometry Seminar (Americas) https://globalncgseminar.org/talks/crossed-products-and-the-atiyah-problem/ on March 19, 2021.

From playlist Global Noncommutative Geometry Seminar (Americas)

Video thumbnail

Duality, polarity and projective linear algebra (II) | Differential Geometry 11 | NJ Wildberger

We review the simple algebraic set-up for projective points and projective lines, expressed as row and column 3-vectors. Transformations via projective geometry are introduced, along with an introduction to quadratic forms, associated symmetrix bilinear forms, and associated projective 3x3

From playlist Differential Geometry

Video thumbnail

Stability, Non-approximate Groups and High Dimensional Expanders by Alex Lubotzky

Webpage for this talk: https://sites.google.com/view/distinguishedlectureseries/alex-lubotzky A live interactive session with the speaker will be hosted online on January 27, 2021, at 18:00 Indian Standard Time. Viewers can send in their questions for the speaker in advance of the live in

From playlist ICTS Colloquia

Video thumbnail

Center of quantum group pt2 - Arun Kannan

Quantum Groups Seminar Topic: Center of quantum group pt2 Speaker: Arun Kannan Affiliation: Massachusetts Institute of Technology Date: February 11, 2021 For more video please visit http://video.ias.edu

From playlist Quantum Groups Seminar

Video thumbnail

The projective Quadruple quad formula | Rational Geometry Math Foundations 148 | NJ Wildberger

In this video we introduce the projective version of the Quadruple quad formula, which not only controls the relationship between four projective points, but has a surprising connection with the geometry of the cyclic quadrilateral. The projective quadruple quad function is called R(a,b,

From playlist Math Foundations

Video thumbnail

RIngs 15 Polynomials

This lecture is part of an online course on rings and modules. We review basic properties of polynomials over a field, and show that polynomials in any number of variables over a field or the integers have unique factorization. For the other lectures in the course see https://www.youtu

From playlist Rings and modules

Video thumbnail

algebraic geometry 17 Affine and projective varieties

This lecture is part of an online algebraic geometry course, based on chapter I of "Algebraic geometry" by Hartshorne. It covers the relation between affine and projective varieties, with some examples such as a cubic curve and the twisted cubic.

From playlist Algebraic geometry I: Varieties

Video thumbnail

Prove a Property of Hyperbolic Functions: (tanh(x))^2 + (sech(x))^2 = 1

This video shows a proof of one of the properties of hyperbolic functions. Site: http://mathispower4u.com Blog: http://mathispower4u.wordpress.com

From playlist Using the Properties of Hyperbolic Functions

Video thumbnail

Ptolemy's theorem and generalizations | Rational Geometry Math Foundations 131 | NJ Wildberger

The other famous classical theorem about cyclic quadrilaterals is due to the great Greek astronomer and mathematician, Claudius Ptolemy. Adopting a rational point of view, we need to rethink this theorem to state it in a purely algebraic way, without resort to `distances' and the correspon

From playlist Math Foundations

Video thumbnail

Zero dimensional valuations on equicharacteristic (...) - B. Teissier - Workshop 2 - CEB T1 2018

Bernard Teissier (IMJ-PRG) / 06.03.2018 Zero dimensional valuations on equicharacteristic noetherian local domains. A study of those valuations based, in the case where the domain is complete, on the relations between the elements of a minimal system of generators of the value semigroup o

From playlist 2018 - T1 - Model Theory, Combinatorics and Valued fields

Related pages

Projective module | Countably generated module | Abstract algebra | Local ring | Krull–Schmidt category | Nakayama's lemma | Zorn's lemma | Free module