Simple and intuitive ways to define groups, subgroups, homomorphisms, etc. Symmetric/alternating groups, matrix groups over finite fields, cyclic groups and groups of units of (implemented) rings, ...

This is the repository for Algebra In Lean (AIL), an interactive problem set that takes users through an advanced course in Lean through the lens of abstract algebra. The goal of this problem set is ...

Gear-obsessed editors choose every product we review. We may earn commission if you buy from a link. Why Trust Us? Representation theory transforms abstract algebra groups into things like simpler ...

ABSTRACT: This paper investigates the approach of presenting groups by generators and relations from an original angle. It starts by interpreting this familiar concept with the novel notion of “formal ...

In mathematics, physics, and engineering, abstract concepts are an indispensable foundation for the study and comprehension of concrete models. As concepts within these fields become increasingly ...