Universal algebra

Variety (universal algebra)

In universal algebra, a variety of algebras or equational class is the class of all algebraic structures of a given signature satisfying a given set of identities. For example, the groups form a variety of algebras, as do the abelian groups, the rings, the monoids etc. According to , a class of algebraic structures of the same signature is a variety if and only if it is closed under the taking of homomorphic images, subalgebras and (direct) products. In the context of category theory, a variety of algebras, together with its homomorphisms, forms a category; these are usually called finitary algebraic categories. A covariety is the class of all coalgebraic structures of a given signature. (Wikipedia).

Video thumbnail

algebraic geometry 24 Regular functions

This lecture is part of an online algebraic geometry course, based on chapter I of "Algebraic geometry" by Hartshorne. It covers regular functions on affine and quasiprojective varieties.

From playlist Algebraic geometry I: Varieties

Video thumbnail

Field Definition (expanded) - Abstract Algebra

The field is one of the key objects you will learn about in abstract algebra. Fields generalize the real numbers and complex numbers. They are sets with two operations that come with all the features you could wish for: commutativity, inverses, identities, associativity, and more. They

From playlist Abstract Algebra

Video thumbnail

23 Algebraic system isomorphism

Isomorphic algebraic systems are systems in which there is a mapping from one to the other that is a one-to-one correspondence, with all relations and operations preserved in the correspondence.

From playlist Abstract algebra

Video thumbnail

Group Definition (expanded) - Abstract Algebra

The group is the most fundamental object you will study in abstract algebra. Groups generalize a wide variety of mathematical sets: the integers, symmetries of shapes, modular arithmetic, NxM matrices, and much more. After learning about groups in detail, you will then be ready to contin

From playlist Abstract Algebra

Video thumbnail

algebraic geometry 26 Affine algebraic sets and commutative rings

This lecture is part of an online algebraic geometry course, based on chapter I of "Algebraic geometry" by Hartshorne. It covers the relation between morphisms of affine algebraic sets and homomorphisms of commutative rings. As examples it describes some homomorphisms of commutative rings

From playlist Algebraic geometry I: Varieties

Video thumbnail

Algebra for Beginners | Basics of Algebra

#Algebra is one of the broad parts of mathematics, together with number theory, geometry and analysis. In its most general form, algebra is the study of mathematical symbols and the rules for manipulating these symbols; it is a unifying thread of almost all of mathematics. Table of Conten

From playlist Linear Algebra

Video thumbnail

05 Products sets and mappings

In this tutorial I cross the bridge between a standard algebraic function and products sets, as well as mappings. I show the three types of mappings, namely injective (one-to-one), surjective (onto), and their combination, a bijection.

From playlist Abstract algebra

Video thumbnail

algebraic geometry 23 Categories

This lecture is part of an online algebraic geometry course, based on chapter I of "Algebraic geometry" by Hartshorne. It gives a quick review of category theory as background for the definition of morphisms of algebraic varieties.

From playlist Algebraic geometry I: Varieties

Video thumbnail

algebraic geometry 25 Morphisms of varieties

This lecture is part of an online algebraic geometry course, based on chapter I of "Algebraic geometry" by Hartshorne. It covers the definition of a morphism of varieties and compares algebraic varieties with other types of locally ringed spaces.

From playlist Algebraic geometry I: Varieties

Video thumbnail

Ana Balibanu: The partial compactification of the universal centralizer

Abstract: Let G be a semisimple algebraic group of adjoint type. The universal centralizer is the family of centralizers in G of regular elements in Lie(G), parametrized by their conjugacy classes. It has a natural symplectic structure, obtained by Hamiltonian reduction from the cotangent

From playlist Algebra

Video thumbnail

Bruno Klingler - 3/4 Tame Geometry and Hodge Theory

Hodge theory, as developed by Deligne and Griffiths, is the main tool for analyzing the geometry and arithmetic of complex algebraic varieties. It is an essential fact that at heart, Hodge theory is NOT algebraic. On the other hand, according to both the Hodge conjecture and the Grothendie

From playlist Bruno Klingler - Tame Geometry and Hodge Theory

Video thumbnail

Ernesto Lupercio: On the moduli space for Quantum Toric Varieties

Talk by Ernesto Lupercio in Global Noncommutative Geometry Seminar (Americas) on November 5, 2021, https://globalncgseminar.org/talks/tba-17/

From playlist Global Noncommutative Geometry Seminar (Americas)

Video thumbnail

Tame topology and Hodge theory (Lecture 2) by Bruno Klingler

Discussion Meeting Complex Algebraic Geometry ORGANIZERS: Indranil Biswas, Mahan Mj and A. J. Parameswaran DATE:01 October 2018 to 06 October 2018 VENUE: Madhava Lecture Hall, ICTS, Bangalore The discussion meeting on Complex Algebraic Geometry will be centered around the "Infosys-ICT

From playlist Complex Algebraic Geometry 2018

Video thumbnail

On descending cohomology geometrically - Sebastian Casalaina-Martin

Sebastian Casalaina-Martin University of Colorado at Boulder January 20, 2015 In this talk I will present some joint work with Jeff Achter concerning the problem of determining when the cohomology of a smooth projective variety over the rational numbers can be modeled by an abelian variet

From playlist Mathematics

Video thumbnail

Hodge Theory, between Algebraicity and Transcendence (Lecture 4) by Bruno Klingler

DISCUSSION MEETING TOPICS IN HODGE THEORY (HYBRID) ORGANIZERS: Indranil Biswas (TIFR, Mumbai, India) and Mahan Mj (TIFR, Mumbai, India) DATE: 20 February 2023 to 25 February 2023 VENUE: Ramanujan Lecture Hall and Online This is a followup discussion meeting on complex and algebraic ge

From playlist Topics in Hodge Theory - 2023

Video thumbnail

Joel Kamnitzer - Symplectic Resolutions, Coulomb Branches, and 3d Mirror Symmetry 1/5

In the 21st century, there has been a great interest in the study of symplectic resolutions, such as cotangent bundles of flag varieties, hypertoric varieties, quiver varieties, and affine Grassmannian slices. Mathematicians, especially Braden-Licata-Proudfoot-Webster, and physicists obser

From playlist 2021 IHES Summer School - Enumerative Geometry, Physics and Representation Theory

Video thumbnail

Alena Pirutka: On examples of varieties that are not stably rational

Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b

From playlist Algebraic and Complex Geometry

Video thumbnail

A Gentle Approach to Crystalline Cohomology - Jacob Lurie

Members’ Colloquium Topic: A Gentle Approach to Crystalline Cohomology Speaker: Jacob Lurie Affiliation: Professor, School of Mathematics Date: February 28, 2022 Let X be a smooth affine algebraic variety over the field C of complex numbers (that is, a smooth submanifold of C^n which can

From playlist Mathematics

Video thumbnail

Groups in abstract algebra examples

In this tutorial I discuss two more examples of groups. The first contains four elements and they are the four fourth roots of 1. The second contains only three elements and they are the three cube roots of 1. Under the binary operation of multiplication, these sets are in fact groups.

From playlist Abstract algebra

Related pages

Quasivariety | Converse (logic) | Algebraic structure | Cancellative semigroup | Vector space | Planar graph | Subalgebra | Algebraic variety | Free group | Group (mathematics) | Forgetful functor | Regular language | Bilinear map | Monad (category theory) | Algebra over a field | Universal algebra | Formal language | Semigroup | Direct product | Homomorphism | Free module | Monoid | System of polynomial equations | Natural number | Free abelian group | Variety of finite semigroups | Field (mathematics) | Ring (mathematics) | Category theory | Category (mathematics) | Free algebra | Signature (logic) | Class (set theory) | F-coalgebra | Finitely generated abelian group | Universal property | Abelian group | Garrett Birkhoff | Module (mathematics)