GetWiki
multiplicative group
ARTICLE SUBJECTS
being →
database →
ethics →
fiction →
history →
internet →
language →
linux →
logic →
method →
news →
policy →
purpose →
religion →
science →
software →
truth →
unix →
wiki →
ARTICLE TYPES
essay →
feed →
help →
system →
wiki →
ARTICLE ORIGINS
critical →
forked →
imported →
original →
multiplicative group
please note:
- the content below is remote from Wikipedia
- it has been imported raw for GetWiki
{{Short description|Mathematical structure with multiplication as its operation}}{{Group theory sidebar |Basics}}In mathematics and group theory, the term multiplicative group refers to one of the following concepts: - the content below is remote from Wikipedia
- it has been imported raw for GetWiki
- the group under multiplication of the invertible elements of a field,See Hazewinkel et al. (2004), p. 2. ring, or other structure for which one of its operations is referred to as multiplication. In the case of a field F, the group is {{nowrap|(F â {0}, â¢)}}, where 0 refers to the zero element of F and the binary operation ⢠is the field multiplication,
- the algebraic torus GL(1).{{clarify|reason=this is not defined in this article nor in the linked article|date=March 2015}}.
Examples
- The multiplicative group of integers modulo n is the group under multiplication of the invertible elements of mathbb{Z}/nmathbb{Z}. When n is not prime, there are elements other than zero that are not invertible.
- The multiplicative group of positive real numbers mathbb{R}^+ is an abelian group with 1 its identity element. The logarithm is a group isomorphism of this group to the additive group of real numbers, mathbb{R}.
- The multiplicative group of a field F is the set of all nonzero elements: F^times = F -{0}, under the multiplication operation. If F is finite of order q (for example q = p a prime, and F = mathbb F_p=mathbb Z/pmathbb Z), then the multiplicative group is cyclic: F^times cong C_{q-1}.
Group scheme of roots of unity
The group scheme of n-th roots of unity is by definition the kernel of the n-power map on the multiplicative group GL(1), considered as a group scheme. That is, for any integer n > 1 we can consider the morphism on the multiplicative group that takes n-th powers, and take an appropriate fiber product of schemes, with the morphism e that serves as the identity.The resulting group scheme is written μn (or mu!!mu_nBOOK, Milne, James S., Ãtale cohomology, Princeton University Press, 1980, xiii, 66, ). It gives rise to a reduced scheme, when we take it over a field K, if and only if the characteristic of K does not divide n. This makes it a source of some key examples of non-reduced schemes (schemes with nilpotent elements in their structure sheaves); for example μp over a finite field with p elements for any prime number p. This phenomenon is not easily expressed in the classical language of algebraic geometry. For example, it turns out to be of major importance in expressing the duality theory of abelian varieties in characteristic p (theory of Pierre Cartier). The Galois cohomology of this group scheme is a way of expressing Kummer theory.See also
Notes
References
- Michiel Hazewinkel, Nadiya Gubareni, Nadezhda MikhaÄlovna Gubareni, Vladimir V. Kirichenko. Algebras, rings and modules. Volume 1. 2004. Springer, 2004. {{isbn|1-4020-2690-0}}
- content above as imported from Wikipedia
- "multiplicative group" does not exist on GetWiki (yet)
- time: 9:17am EDT - Sat, May 18 2024
- "multiplicative group" does not exist on GetWiki (yet)
- time: 9:17am EDT - Sat, May 18 2024
[ this remote article is provided by Wikipedia ]
LATEST EDITS [ see all ]
GETWIKI 23 MAY 2022
The Illusion of Choice
Culture
Culture
GETWIKI 09 JUL 2019
Eastern Philosophy
History of Philosophy
History of Philosophy
GETWIKI 09 MAY 2016
GetMeta:About
GetWiki
GetWiki
GETWIKI 18 OCT 2015
M.R.M. Parrott
Biographies
Biographies
GETWIKI 20 AUG 2014
GetMeta:News
GetWiki
GetWiki
© 2024 M.R.M. PARROTT | ALL RIGHTS RESERVED