In 1993, Muzychuk showed that the rational S-rings over a cyclic group Z_n are in one-to-one correspondence with sublattices of the divisor lattice of n, or equivalently, with sublattices of the lattice of subgroups of Z_n. This idea is easily extended to show that for any finite group G, sublattices of the lattice of characteristic subgroups of G give rise to rational S-rings over G in a natural way. Our main result is that any finite group may be represented as the automorphism group of such a rational S-ring over an abelian p-group. In order to show this, we first give a complete description of the automorphism classes and characteristic subgroups of finite abelian groups. We show that for a large class of abelian groups, including all those of odd order, the lattice of characteristic subgroups is distributive. We also prove a converse to the well-known result of Muzychuk that two S-rings over a cyclic group are isomorphic if and only if they coincide; namely, we show that over a group which is not cyclic, there always exist distinct isomorphic S-rings. Finally, we show that the automorphism group of any S-ring over a cyclic group is abelian.
","abstract_html":"<p>In 1993, Muzychuk showed that the rational S-rings over a cyclic group Z_n are in one-to-one correspondence with sublattices of the divisor lattice of n, or equivalently, with sublattices of the lattice of subgroups of Z_n. This idea is easily extended to show that for any finite group G, sublattices of the lattice of characteristic subgroups of G give rise to rational S-rings over G in a natural way. Our main result is that any finite group may be represented as the automorphism group of such a rational S-ring over an abelian p-group. In order to show this, we first give a complete description of the automorphism classes and characteristic subgroups of finite abelian groups. We show that for a large class of abelian groups, including all those of odd order, the lattice of characteristic subgroups is distributive. We also prove a converse to the well-known result of Muzychuk that two S-rings over a cyclic group are isomorphic if and only if they coincide; namely, we show that over a group which is not cyclic, there always exist distinct isomorphic S-rings. Finally, we show that the automorphism group of any S-ring over a cyclic group is abelian.</p>","abstract_has_math":false,"creators":["Kerby, Brent L."],"institution":"Brigham Young University - Provo","degree_name":"MS","degree_level":null,"degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":[],"year":null,"date_issued":"","date_published":null,"updated_at":"2026-07-24T01:29:20Z","subjects":["characteristic subgroups","automorphism classes","lattice","distributive","automorphism group","Mathematics"],"languages":["English"],"rights":[],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"https://scholarsarchive.byu.edu/etd/1491","outbound_label":"Repository record","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:creator","label":"Author","values":["Kerby, Brent L."]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2008-07-08T07:00:00Z"]},{"key":"dc:publisher","label":"Institution","values":["Brigham Young University - Provo"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"thesis:degree_name","label":"Degree Name","values":["MS"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["characteristic subgroups","automorphism classes","lattice","distributive","automorphism group","Mathematics"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["English"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["https://scholarsarchive.byu.edu/etd/1491","https://scholarsarchive.byu.edu/context/etd/article/2490/viewcontent/ETD_CISOPTR_1495.pdf"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Physical and Mathematical Sciences; Mathematics"]},{"key":"dc:description.abstract","label":"Abstract","values":["In 1993, Muzychuk showed that the rational S-rings over a cyclic group Z_n are in one-to-one correspondence with sublattices of the divisor lattice of n, or equivalently, with sublattices of the lattice of subgroups of Z_n. This idea is easily extended to show that for any finite group G, sublattices of the lattice of characteristic subgroups of G give rise to rational S-rings over G in a natural way. Our main result is that any finite group may be represented as the automorphism group of such a rational S-ring over an abelian p-group. In order to show this, we first give a complete description of the automorphism classes and characteristic subgroups of finite abelian groups. We show that for a large class of abelian groups, including all those of odd order, the lattice of characteristic subgroups is distributive. We also prove a converse to the well-known result of Muzychuk that two S-rings over a cyclic group are isomorphic if and only if they coincide; namely, we show that over a group which is not cyclic, there always exist distinct isomorphic S-rings. Finally, we show that the automorphism group of any S-ring over a cyclic group is abelian.
"]},{"key":"dc:format","label":"Dc Format","values":["application:pdf"]},{"key":"dc:source","label":"Dc Source","values":["Brigham Young University - Provo"]},{"key":"dc:title","label":"Title","values":["Rational Schur Rings over Abelian Groups"]}]}],"canonical_facts":{"dc:creator":["Kerby, Brent L."],"dc:date":["2008-07-08T07:00:00Z"],"dc:description":["Physical and Mathematical Sciences; Mathematics"],"dc:description.abstract":["In 1993, Muzychuk showed that the rational S-rings over a cyclic group Z_n are in one-to-one correspondence with sublattices of the divisor lattice of n, or equivalently, with sublattices of the lattice of subgroups of Z_n. This idea is easily extended to show that for any finite group G, sublattices of the lattice of characteristic subgroups of G give rise to rational S-rings over G in a natural way. Our main result is that any finite group may be represented as the automorphism group of such a rational S-ring over an abelian p-group. In order to show this, we first give a complete description of the automorphism classes and characteristic subgroups of finite abelian groups. We show that for a large class of abelian groups, including all those of odd order, the lattice of characteristic subgroups is distributive. We also prove a converse to the well-known result of Muzychuk that two S-rings over a cyclic group are isomorphic if and only if they coincide; namely, we show that over a group which is not cyclic, there always exist distinct isomorphic S-rings. Finally, we show that the automorphism group of any S-ring over a cyclic group is abelian.
"],"dc:format":["application:pdf"],"dc:identifier":["https://scholarsarchive.byu.edu/etd/1491","https://scholarsarchive.byu.edu/context/etd/article/2490/viewcontent/ETD_CISOPTR_1495.pdf"],"dc:language":["English"],"dc:publisher":["Brigham Young University - Provo"],"dc:source":["Brigham Young University - Provo"],"dc:subject":["characteristic subgroups","automorphism classes","lattice","distributive","automorphism group","Mathematics"],"dc:title":["Rational Schur Rings over Abelian Groups"],"dc:type":["Thesis"],"thesis:degree_name":["MS"]},"updated_at":"2026-07-24T01:29:20Z"}