This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics articles
Someone should add: the abelianization map identifies the absolue Galois group G of Q with (class field theory?) Put in another way the non-abelian-ness of profinite integers are hidden in the commutator subgroup of G (this stuff is beyond me). -- Taku (talk) 02:55, 27 April 2015 (UTC)[reply]
Product formula
I have a problem with the relation
because on the left side there is an uncountable set and on the right side there is a countable product of finite sets.
The mentioned problem does not exist with
because the are (as complete sets) already uncountable, and is, of course, OK . –Nomen4Omen (talk) 07:04, 30 May 2021 (UTC)[reply]