# Structure and computation in nilpotent algebras

> **NSF 01002526DB NSF RESEARCH & RELATED ACTIVIT** · University of Colorado at Boulder (CO) · $80,000

## Abstract

This is a project in universal algebra, a part of foundations of mathematics with connections to classical algebra and computer science. Universal algebra generally studies algebraic structures, the mathematical framework for computations, solving equations, etc. This project investigates various notions of nilpotence, specific finiteness conditions on algebras, and how they can be used to develop efficient algorithms. It is motivated by questions that arise in computer science when manipulating relations, in the structure theory of classical algebras, and in the classification of non-standard general algebras. The goal is to combine and extend recent independent advances in these areas to develop a general algebraic toolkit for specifying and analyzing nilpotent algebras, and to apply it to solving key open problems in all these areas.

Developed from the classical notion in group theory, commutator theory in universal algebra is one of the main tools for investigating the structure of algebras via properties of their congruences. The principal investigator will study and compare the distinct notions of nilpotence and supernilpotence that arise from binary and higher term condition commutators. The first goal is a more precise classification of central extensions in congruence modular varieties using the new concept of clonoids. The investigator will then use this to study to what extent known results in the supernilpotent setting generalize to the nilpotent. Specific proj

## Key facts

- **NSF award ID:** 2452289
- **Awardee organization:** University of Colorado at Boulder (CO)
- **SAM.gov UEI:** SPVKK1RC2MZ3
- **PI:** Peter Mayr
- **Primary program:** 01002526DB NSF RESEARCH & RELATED ACTIVIT
- **All programs:** —
- **Estimated total:** $80,000
- **Funds obligated:** $80,000
- **Transaction type:** Standard Grant
- **Period:** 06/15/2025 → 05/31/2028

## Primary source

NSF Award Search: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2452289

## Citation

> US National Science Foundation, Award 2452289, Structure and computation in nilpotent algebras. Retrieved via AI Analytics 2026-06-06 from https://api.ai-analytics.org/grant/nsf/2452289. Licensed CC0.

---

*[NSF Awards dataset](/datasets/nsf-awards) · CC0 1.0*