[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] "Normalizator" in group theory articles should be "Normalizer"

To: mizar-forum@mizar.uwb.edu.pl
Subject: [mizar] "Normalizator" in group theory articles should be "Normalizer"
From: Jesse Alama <jesse.alama@gmail.com>
Date: Thu, 30 Jun 2011 13:52:44 +0200

I can't say I've ever encountered "normalizator" for the name of the
operation on groups that makes normal subgroups.  "Normalizer" is the
right word.  The articles in which "Normalizator" appears are GROUP_3
and GROUP_10.
--
Jesse Alama
http://centria.di.fct.unl.pt/~alama/

Prev by Date: [mizar] ITP 2011 (Call for Participation)
Index(es):
- Chronological
- Thread