Abstract
Edit your proc name_group to obtain a new proc group_table which will define the same names G, o, e, i as name_group, but where o and i will be maps rather than funcs. For example, o will be the set of all pairs of the form [[x, y], x. o y]. Note that expressions like a.o b and i (g) should evaluate to the same group elements as with name_group. Evaluating group_tab1e on a particular group may take much longer than name_group, but once completed, investigations with that group will be much faster.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer-Verlag New York, Inc
About this chapter
Cite this chapter
Dubinsky, E., Leron, U. (1994). Subgroups. In: Learning Abstract Algebra with ISETL. Springer, New York, NY. https://doi.org/10.1007/978-1-4612-2602-4_3
Download citation
DOI: https://doi.org/10.1007/978-1-4612-2602-4_3
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4612-7602-9
Online ISBN: 978-1-4612-2602-4
eBook Packages: Springer Book Archive