Talk:Subdirectly irreducible algebra

I believe the following is not true: "Given any class C of similar algebras, Jónsson's Lemma states that the subdirect irreducibles of the variety HSP(C) generated by C lie in HS(CSI) where CSI denotes the class of subdirectly irreducible quotients of the members of C." In this context, Jónsson's Lemma holds only if HSP(C) is a congruence distributive variety. Jabu85 (talk) 16:09, 24 February 2011 (UTC)

English grammar in title
It should be either subdirectly irreducible or subdirect irreducibility. I think the Wiki guideline would prefer the latter all other things being equal, but the former is more common in google books, so I'll rename it to that. Tijfo098 (talk) 18:38, 25 March 2011 (UTC)

Ok, I understand what was going on here. The attempt was to contract "subdirectly irreducible algebra" to "subdirect irreducible" as in dropping "number" from "prime number". In google books however, most uses of "subdirect irreducible" are actually as an adjective, i.e. "subdirect irreducible algebra", which struck me as unnatural, and they are a minority. I'll rename it to "subdirectly irreducible algebra", which although more wordy is far more common. Tijfo098 (talk) 18:58, 25 March 2011 (UTC)