This is a browser-friendly view of the QMath context group1.qmath\nas can be found in jEditOQMath and QMath distributions among English contexts for Mathematics.
|| Extracted from content-dictionary group1 || http://www.openmath.org/cd/group1.html || http://www.openmath.org/cd/group1.ocd Symbol: character_table APPLICATION "group1:character_table" Symbol: character_table_of_group APPLICATION "group1:character_table_of_group" Symbol: conjugacy_class APPLICATION "group1:conjugacy_class" Symbol: declare_group APPLICATION "group1:declare_group" Symbol: derived_subgroup APPLICATION "group1:derived_subgroup" Symbol: element_set APPLICATION "group1:element_set" Symbol: group APPLICATION "group1:group" Symbol: is_abelian APPLICATION "group1:is_abelian" Symbol: is_normal APPLICATION "group1:is_normal" Symbol: is_subgroup APPLICATION "group1:is_subgroup" Symbol: normal_closure APPLICATION "group1:normal_closure" Symbol: quotient_group APPLICATION "group1:quotient_group" Symbol: right_traversal APPLICATION "group1:right_traversal" Symbol: sylow_subgroup APPLICATION "group1:sylow_subgroup"