Formal languages | Algebraic structures | Algebraic logic

Action algebra

In algebraic logic, an action algebra is an algebraic structure which is both a residuated semilattice and a Kleene algebra. It adds the star or reflexive transitive closure operation of the latter to the former, while adding the left and right residuation or implication operations of the former to the latter. Unlike dynamic logic and other modal logics of programs, for which programs and propositions form two distinct sorts, action algebra combines the two into a single sort. It can be thought of as a variant of intuitionistic logic with star and with a noncommutative conjunction whose identity need not be the top element. Unlike Kleene algebras, action algebras form a variety, which furthermore is finitely axiomatizable, the crucial axiom being a•(a → a)* ≤ a. Unlike models of the equational theory of Kleene algebras (the regular expression equations), the star operation of action algebras is reflexive transitive closure in every model of the equations. (Wikipedia).

Video thumbnail

Linear Transformations: Onto

Linear Algebra: Continuing with function properties of linear transformations, we recall the definition of an onto function and give a rule for onto linear transformations.

From playlist MathDoctorBob: Linear Algebra I: From Linear Equations to Eigenspaces | CosmoLearning.org Mathematics

Video thumbnail

16 You have made it to the first exciting video Operations

To be honest, the topics have been very dry up to now. Here is the first bit of excitement. Operations. Understanding operations is a fundamental priority in abstract algebra.

From playlist Abstract algebra

Video thumbnail

The inverse of a matrix -- Elementary Linear Algebra

This lecture is on Elementary Linear Algebra. For more see http://calculus123.com.

From playlist Elementary Linear Algebra

Video thumbnail

GT15. Group Actions

Abstract Algebra: Group actions are defined as a formal mechanism that describes symmetries of a set X. A given group action defines an equivalence relation, which in turn yields a partition of X into orbits. Orbits are also described as cosets of the group. U.Reddit course materials a

From playlist Abstract Algebra

Video thumbnail

Group actions in abstract algebra

In this first video on group actions, I use an example of some previous work on the symmetric group to give you some intuition about group actions. Beware when reading your textbook. It is probably unnecessary difficult just due to the dot notation that is used when describing group acti

From playlist Abstract algebra

Video thumbnail

Definition of a group Lesson 24

In this video we take our first look at the definition of a group. It is basically a set of elements and the operation defined on them. If this set of elements and the operation defined on them obey the properties of closure and associativity, and if one of the elements is the identity el

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

Linear Equations from the Graph of the Line, No. 1

Shows how to write the equation of a line in the slope intercept from from the graph of the line. You can link to all my videos at my website: https://www.stepbystepscience.com

From playlist Algebra; Linear Equations

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

Rigidity for von Neumann algebras – Adrian Ioana – ICM2018

Analysis and Operator Algebras Invited Lecture 8.5 Rigidity for von Neumann algebras Adrian Ioana Abstract: We survey some of the progress made recently in the classification of von Neumann algebras arising from countable groups and their measure preserving actions on probability spaces.

From playlist Analysis & Operator Algebras

Video thumbnail

Eusebio Gardella: "Crossed products by partial actions"

Actions of Tensor Categories on C*-algebras 2021 "Crossed products by partial actions" Eusebio Gardella - Westfälische Wilhelms Universität Münster Institute for Pure and Applied Mathematics, UCLA January 27, 2021 For more information: https://www.ipam.ucla.edu/atc2021

From playlist Actions of Tensor Categories on C*-algebras 2021

Video thumbnail

Ralf Meyer: On the classification of group actions on C*-algebras up to equivariant KK-equivalence

Talk by Ralf Meyer in Global Noncommutative Geometry Seminar (Europe) http://www.noncommutativegeometry.nl/ncgseminar/ on November 10, 2020.

From playlist Global Noncommutative Geometry Seminar (Europe)

Video thumbnail

Alcides Buss: Amenable actions of groups on C*-algebras

Talk by Alcides Buss in Global Noncommutative Geometry Seminar (Americas) https://globalncgseminar.org/talks/amenable-actions-of-groups-on-c-algebras/ on February 26, 2021.

From playlist Global Noncommutative Geometry Seminar (Americas)

Video thumbnail

Corey Jones: "Anomalous symmetries of C*-algebras"

Actions of Tensor Categories on C*-algebras 2021 "Anomalous symmetries of C*-algebras" Corey Jones - North Carolina State University Abstract: A fusion category is called pointed if every simple object is invertible under the monoidal product. These are described by finite groups togethe

From playlist Actions of Tensor Categories on C*-algebras 2021

Video thumbnail

Symmetries of hamiltonian actions of reductive groups - David Ben-Zvi

Explicit, Epsilon-Balanced Codes Close to the Gilbert-Varshamov Bound II - Amnon Ta-Shma Computer Science/Discrete Mathematics Seminar II Topic: Explicit, Epsilon-Balanced Codes Close to the Gilbert-Varshamov Bound II Speaker: Amnon Ta-Shma Affiliation: Tel Aviv University Date: January 3

From playlist Mathematics

Video thumbnail

Gábor Szabó: "Classification of group actions on C*-algebras"

Actions of Tensor Categories on C*-algebras 2021 Mini Course: "Classification of group actions on C*-algebras" Gábor Szabó - KU Leuven Abstract: This talk will survey the classification of group actions on C*-algebras. One can often observe a rigid behavior of suitable classes of outer a

From playlist Actions of Tensor Categories on C*-algebras 2021

Video thumbnail

Lecture 10: The circle action on THH

In this video we construct an action of the circle group S^1 = U(1) on the spectrum THH(R). We will see how this is the homotopical generalisation of the Connes operator. The key tool will be Connes' cyclic category. The speaker is of course Achim Krause and not Thomas Nikolaus as falsely

From playlist Topological Cyclic Homology

Video thumbnail

Ben Elias: Categorifying Hecke algebras at prime roots of unity

Thirty years ago, Soergel changed the paradigm with his algebraic construction of the Hecke category. This is a categorification of the Hecke algebra at a generic parameter, where the parameter is categorified by a grading shift. One key open problem in categorification is to categorify He

From playlist Workshop: Monoidal and 2-categories in representation theory and categorification

Video thumbnail

1 Elementary Linear Algebra.flv

Introduction to this course.

From playlist Linear Algebra

Video thumbnail

Cyril Houdayer: Noncommutative ergodic theory of lattices in higher rank simple algebraic groups

Talk by Cyril Houdayer in the Global Noncommutative Geometry Seminar (Americas) on March 18, 2022. https://globalncgseminar.org/talks/tba-28/

From playlist Global Noncommutative Geometry Seminar (Americas)

Related pages

Regular expression | Variety (universal algebra) | Kleene star | Algebraic structure | Dynamic logic (modal logic) | Algebraic logic | Relation algebra | Formal language | Kleene algebra | Heyting algebra | John Horton Conway | Boolean algebra (structure)