Talk:Subquotient

Missing definition[edit]

The article talks about everything, except that what makes a group the subquotient of another. Probably it is some "part-of" relation, like the subgroup, but there is no way to know, exactly wtf. 188.195.226.36 (talk) 04:47, 10 May 2023 (UTC)[reply]

I read in the article:

"a subquotient is a quotient object of a subobject"

with links to the articles "quotient object" and "subobject".

If this is not sufficient for you, pls add for your convenience. –Nomen4Omen (talk) 19:19, 11 May 2023 (UTC)[reply]

Both links refer to the same article, and the definition itself says, it is not enough here. First it states, "In category theory, a branch of mathematics, a subobject is, roughly speaking, an object that sits inside another object in the same category.", then "An appropriate categorical definition of "subobject" may vary with context, depending on the goal. One common definition is as follows.". Thus, the meaning is only that the "happy family" groups are not subgroups of the monster group, but they relate to it similarly.

That is clearly not enough. 188.195.226.36 (talk) 08:55, 3 January 2024 (UTC)[reply]

Sorry, I can't share your problems with this definition. As worked out in the article, it is even possible to prove for groups the transitivity of the subquotient relation. And as I already said on my previous response to your inquiry, so far nobody tries to hinder any attempt on your side to say more.

As far as I understand WP, the way of solving problems with an article is to read literature pertaining to the context and then possibly making improvements to the article.

On the other hand, you have extremely well understood that the "happy family" groups are not subgroups of the monster group, but they are subquotients of it. Nomen4Omen (talk) 10:14, 3 January 2024 (UTC)[reply]

@188.195.226.36:Could you pls have a look on my new example in the article. It is the wrong way around, namely its quotient is a subobject. But I am sure you will find a quotient group of a subgroup which is not a subgroup. Nomen4Omen (talk) 15:33, 3 January 2024 (UTC)[reply]