GroupsMath – v0.6.0

GroupsMath is a Python module for constructing, studying, and manipulating finite and infinite groups.

The project aims to provide a simple and intuitive interface for working with groups and their algebraic properties.

⚠️ Notice: Version v1.0.0 is nearing its official release.

Installation

GroupsMath is currently distributed through PyPI and Github. To install the latest released version from PyPI, run:

pip install groupsmath

Also, you can install the latest development version directly from GitHub:

pip install git+https://github.com/MarioSultan/GroupsMath.git

or visit https://github.com/MarioSultan/GroupsMath and download all the files.

Quick start

A program in GroupsMath

import groupsmath as gm
from groupsmath.precooked import S3, A4, C3

#Calculating properties of the group S3

print(S3.order())               # 6
print(S3.elements)              # ['e', '(23)', '(12)', '(123)', '(132)', '(13)']
print(S3.element_orders())      # [1, 2, 2, 3, 3, 2]
print(S3.is_cyclic())           # False
print(S3.is_abelian())          # False

#Generating Cayley table of S3

S3.cayley_table()

#Generating the Cayley table of the direct product A4xC3

G = A4 * C3                     # Product group
G.cayley_table()

#Generating the group of units U1200 and its Cayley table

U1200 = gm.units_group(1200)    # Create the group
U1200.cayley_table()

Cayley table of $S_3$

Cayley table of $A_4\times C_3$

Cayley table of $U_{1200}$

Features

GroupsMath is designed to provide tools for working with finite (and infinite) groups, including:

GROUPS:

• Construction of finite groups with classes CayleyGroup and ExplicitGroup.
• Determination of the order of a group and its elements.
• Operation with group elements (multiplication, inverse, powers, ...)
• Computation of Cayley tables with matplotlib.pyplot.
• Detection of algebraic properties such as cyclicity, commutativity and solubility.
• Centralizers, conjugacy classes and conmutator.
• Computation and exploration of other structural properties of finite groups.
• Predefined group families in the library groupsmath.precooked, such as $C_n$, $S_n$, $A_n$, $D_n$, $V_4$, $Q_8$, ...
• Isomorphisms between groups.

SUBGROUPS:

• Study of subgroups (order, cosets, normal subgroups, quotients, ...).
• Normal subgroups.
• Quotient groups $Q=G/H$.
• Conmutator and derived subgroups $G'$.
• Abelianization $G/G'$

AUTOMORPHISMS:

• Class Automorphism and automorphism functions.
• Automorphisim functions $f:A\to\text{Aut}(B)$.
• Automorphism groups $\text{Aut}(G)$.

PRODUCTS:

• Direct product of two groups $G\times H$.
• Semidirect product of two groups $G\rtimes H$.

MATRIX GROUPS

• Library groupsmath.matrixgroups and class MatrixGroup.
• Groups generated by matrices: $GL$, $SL$, $O$, $SO$, $U$, $SU$ and $Sp$.
• Matrix groups over finite fields $\mathbb{F}_p$, with $p$ prime.

The available functionality will expand as the project develops.

Coming soon

The GroupsMath team is currently working on theese ideas:

• Presentation of groups, generators and class PresentedGroup.
• Free groups $F_n$ and free products.
• Optimization of actual features.
• Representation theory.
• and much more...

Documentation

Detailed documentation is available in the docs directory of GitHub and it is developed alongside the library.

Contributing

Contributions, suggestions, and bug reports are welcome. If you find a bug or have an idea for improving GroupsMath, please open an issue in the GitHub repository.