Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

My background

I'm a third year student. I study mathematics combined with computer science (with focus on modeling, simulations and visualization). In order to get my degree, I have to make a half-year project where I combine mathematics with computer science.

What I want to do

I am in love with algebra and group theory. But I don't know how it would fit with the interdisciplinary project, where I have to combine it with computer science. Someone suggested cryptology, but I don't know alot about it (any thoughts? and useful references?).

My problem/question

Is it possible to combine computer science with algebra? I also need project ideas (I would also like references).

share|cite|improve this question
I believe the standard answer to this type of question is, "Don't you have an adviser of some sort you should talk to, for example, whoever is in charge of "grading" this project?" – Graphth Oct 2 '12 at 18:15
There is such a thing as "computational group theory", but I don't think it is a very fruitful subject, though I could be wrong. – akkkk Oct 2 '12 at 18:17
"Don't you have an adviser of some sort you should talk to, for example, whoever is in charge of "grading" this project?" Yes, I have and I will talk to him. But I would like to know others thoughts and ideas. – whoisitnow Oct 2 '12 at 18:18
@whoisitnow Okay, sounds good :) – Graphth Oct 2 '12 at 20:12
up vote 2 down vote accepted

This is a bit challengeing, but who known that you won't like that? Homotopy type theory has definite connections to algebra (the groupoid model) but also to computer science (implementations in Coq). Take a peek at

Maybe you can find something more suitable in denotational semantics ( This is an application of algebra to the study of programming languages.

share|cite|improve this answer

You may consider this old hat, but you could write a solver/simulator for a Rubik's Cube or some other puzzle that can be described with groups.

As for cryptography, there have been proposals for cryptosystems based on braid groups (an overview). I believe they use the conjugacy search problem or something similar as the trap door (i.e. given $a$ and $b$ that are conjugate, find $x$ such that $a=xbx^{-1}$). You might be able to visualize the way the computer manipulates the braids (puts them into normal form and such).

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.