abstract algebra

abstract algebra

homework

Anonymous

ppurka
2111 ●17 ●38

An automorphism is an isomorphism between a group and itself. The identity function (x -> x) is always an isomorphism, which we consider trivial. Use Sage to construct a nontrivial automorphism of the cyclic group of order 12. Check that the mapping is both onto and one-to-one by computing the image and kernel and performing the proper tests on these subgroups. Now construct all of the possible automorphisms of the cyclic group of order 12.

add a comment

1 Answer

Sort by » oldest newest most voted

answered 11 years ago

John Palmieri

8906 ●20 ●74 ●193 http://www.math.washin...

There are (at least) three ways to define a cyclic of order 12 in Sage:

sage: C12 = groups.permutation.Cyclic(12)
sage: G12 = AbelianGroup([12])
sage: H12 = AdditiveAbelianGroup([12])

Now evaluate C12.gens() (for example): how many generators does this group have? Any homomorphism is determined by where the generators go. So what are the possible endomorphisms (= homomorphisms from the group to itself) of this group? Can you figure out which of them are actually automorphisms?

link

add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

Stats

Asked: 11 years ago

Seen: 915 times

Last updated: Nov 21 '13

abstract algebra savecancel

1 Answer

Your Answer

Question Tools

Stats

Related questions