add "Group Theory and Sage: A Primer" to the classification "Thematic Tutorials"

[sagetrac-mvngu]

Add the document Group Theory and Sage: A Primer to the documentation category "Thematic Tutorials". The original proposal can be found on sage-devel and sage-combinat-devel.

Notes: The current ticket needs to be coordinated with #8470.

Prerequisites: #8469

CC: @rbeezer

Component: documentation

Keywords: group theory

Author: Rob Beezer

Reviewer: David Joyner, Minh Van Nguyen

Merged: sage-4.4.1.alpha3

Issue created by migration from https://trac.sagemath.org/ticket/8468

[rbeezer]

Attachment: sage-group-theory-primer.tex.gz

[rbeezer]

comment:3

Attachment: sage-group-theory-primer.pdf.gz

TeX and PDF are posted here. License should be compatible with the rest of Sage documentation now. Any updates in the future should appear at http://abstract.ups.edu

[wdjoyner]

comment:4

Looks good to me.

Thanks Rob!

[sagetrac-mvngu]

Attachment: trac_8468-groups.patch.gz

based on Sage 4.3.4.alpha1; depends on #8469

[sagetrac-mvngu]

Reviewer: David Joyner, Minh Van Nguyen

[sagetrac-mvngu]

Author: Rob Beezer

[sagetrac-mvngu]

comment:5

The attachment trac_8468-groups.patch is a ReSTified version of Rob's group theory primer. This patch depends on ticket #8469. So only the patch needs review by anyone but me.

[wdjoyner]

comment:7

Do the new review require more than just looking at
http://sage.math.washington.edu/home/mvngu/8470-newdoc/thematic_tutorials/group_theory.html
and checking if it looks okay?

It looks okay to me by maybe Rob Beezer is a better judge since he wrote the original version.

[dwbump]

comment:8

One point is that it would be nice if the primer showed how to construct character tables. (I don't think that should be a prerequisite for positive review.)

[rbeezer]

comment:9

Minh - the HTML version looks very nice. Thanks for your work on this. As David suggests, I'll do a more careful once-over in the next couple days (ie this is not a review - just a promise to do so).

Dan - This was written to accompany an undergraduate course, where we don't come close to character tables. But it would be a good thing to add I think, maybe under something like an "advanced topic" section so it doesn't scare off the beginners. I've not used this function much (OK, first time was 2 minutes ago). Any "gotchas" I should document besides the occurrence of primitive roots of unity?

Anything else anybody would want to see in an "advanced" section?

Rob

[wdjoyner]

comment:10

Replying to @rbeezer:

...

Anything else anybody would want to see in an "advanced" section?

Since you ask:-)
Other topics could be

• automorphism groups of various structures (graphs, designs, codes, ...)

• Cayley graphs of groups

• actions of groups on sets,

• action of groups on polynomials and invariant theory.

• applications to the Rubik's cube.

I'm not saying you should do this or that it really needs to be done but you asked:-)

Rob

[dwbump]

comment:11

The attachment trac_8468-groups.patch is a ReSTified version of Rob's group theory primer. This patch depends on ticket #8469. So only the patch needs review by anyone but me.

To summarize the thread, the tutorial could be expanded later but that is not the purpose of this patch. I have built the html and pdf documentation. The only defect I see is long lines in the pdf file.
I would suggest breaking these even though Sage output does not. However I don't think this is a prerequisite to
merging the patch and I am changing status to positive review.

[sagetrac-mvngu]

Merged: sage-4.4.1.alpha3

[sagetrac-mvngu]

comment:12

Close since this is merged due to the merging of #8823.