GroupsMath – v0.5.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 finite groups and their algebraic properties.

Note: GroupsMath is currently under active development. Its API is still evolving and may change before version 1.0.0.

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.

Examples

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 and commutativity.
• 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$, ...

SUBGROUPS:

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

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.

Project status

GroupsMath is currently under active development.

The project has successfully transitioned to an object-oriented interface centered around the Group class. The legacy function-based interface is being removed for future versions. The API should therefore be considered unstable until the 1.0.0 release, and breaking changes may occur between development versions.

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.