{"id":985,"date":"2021-12-24T15:50:05","date_gmt":"2021-12-24T15:50:05","guid":{"rendered":"https:\/\/adrianbell.me\/?p=985"},"modified":"2021-12-24T15:50:07","modified_gmt":"2021-12-24T15:50:07","slug":"assignment-result-groups","status":"publish","type":"post","link":"https:\/\/adrianbell.me\/?p=985","title":{"rendered":"Assignment Result - Groups"},"content":{"rendered":"\n

My second assignment on groups was marked and returned. As predicted, there's a lot to take away from this.<\/p>\n\n\n\n

\n\n\n\n

Basic Groups<\/h2>\n\n\n\n

At this level it seems it's not sufficient to use notation like \"pH\", \"qH\" and \"rH\" to refer to subgroups. In my head, I know what the binary operator of these subgroups is but for the benefit of the reader the (better) convention is to be explicit with the binary operator: \"p+H\", \"q+H\", and \"r+H\" specifically.<\/p>\n\n\n\n

<\/div>\n\n\n\n

Definition check: a cyclic group is just a group that contains a generator that generates the whole group. It doesn't have to \"cycle\" back to the beginning of the ordered set. eg, infinite sets can form a cyclic group under addition.<\/p>\n\n\n\n

<\/div>\n\n\n\n

Mistakes in basic proofs. This one is a classic. With \"p,q\in \mathbb{Q}\", I had to prove \"\phi(q)=\frac{3q}{2}\" was onto. My answer:<\/p>\n\n\n\n

\"\forall\: q\in\mathbb{Q},\: \exists\: p\in\mathbb{Q},\: \text{s.t.}\: \phi(p)=q,\: \therefore \phi\"<\/p>\n\n\n\n

Which I was all smug about because it looks pretty. But this is just the definition of the function being onto and I'd neglected to state the actual \"p\" that always exists. Namely \"p=\frac{2q}{3}\".<\/p>\n\n\n\n

\n\n\n\n

Group Classification<\/h2>\n\n\n\n

Group decompositions can't be written as \"\mathbb{Z}_{6} \times \mathbb{Z}_{45}\". It needs to be written as \"\mathbb{Z}_{3} \times \mathbb{Z}_{6} \times \mathbb{Z}_{15}\". 3 and 15 are not coprime, so cannot be combined.<\/p>\n\n\n\n

\n\n\n\n

Finite Groups<\/h2>\n\n\n\n

As a part of a group presentation, there are kind of identities like \"sr=r^{5}s\". However, for the most part in your answer, especially when you're talking directly about elements being in your group, they must always be in the form \"r^{i}s^{j}\" (with \"r\" first).<\/p>\n\n\n\n

<\/div>\n\n\n\n

In being asked to deduce an isomorphism, I heavy-handedly defined both groups (as they were small) and then also stated a function explicitly that would define the isomorphism. Apparently it's just enough to state that both groups were of order 2. Therefore they're isomorphic.<\/p>\n\n\n\n

<\/div>\n\n\n\n

I need to become a lot more familiar with the concept of centres of a group. To show that a subgroup is the centre of its parent group, I needed to show that the subgroups elements were centres of the subgroup. I was was just trying to wing it, and although I essentially got the answer right, I showed I had a complete misunderstanding of centres.<\/p>\n","protected":false},"excerpt":{"rendered":"

My second assignment on groups was marked and returned. As predicted, there's a lot to take away from this. Basic Groups At this level it seems it's not sufficient to use notation like , and to refer to subgroups. In my head, I know what the binary operator of these subgroups is but for the … Continue reading Assignment Result - Groups<\/span> →<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[17,14,32],"tags":[26,22,45],"class_list":["post-985","post","type-post","status-publish","format-standard","hentry","category-group-theory","category-proofs","category-pure-maths","tag-group-theory","tag-proofs","tag-pure-maths"],"_links":{"self":[{"href":"https:\/\/adrianbell.me\/index.php?rest_route=\/wp\/v2\/posts\/985","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/adrianbell.me\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/adrianbell.me\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/adrianbell.me\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/adrianbell.me\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=985"}],"version-history":[{"count":9,"href":"https:\/\/adrianbell.me\/index.php?rest_route=\/wp\/v2\/posts\/985\/revisions"}],"predecessor-version":[{"id":994,"href":"https:\/\/adrianbell.me\/index.php?rest_route=\/wp\/v2\/posts\/985\/revisions\/994"}],"wp:attachment":[{"href":"https:\/\/adrianbell.me\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=985"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/adrianbell.me\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=985"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/adrianbell.me\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=985"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}