Editing Local analysis

{{Short description|Mathematical theories}}
In [[algebraic geometry]] and related areas of [[mathematics]], '''local analysis''' is the practice of looking at a problem relative to each [[prime number]] ''p'' first, and then later trying to integrate the information gained at each prime into a 'global' picture. These are forms of the [[:Category:Localization (mathematics)|localization]] approach.

==Group theory==
In [[group theory]], local analysis was started by the [[Sylow theorems]], which contain significant information about the structure of a [[finite group]] ''G'' for each prime number ''p'' dividing the order of ''G''. This area of study was enormously developed in the quest for the [[classification of finite simple groups]], starting with the [[Feit–Thompson theorem]] that groups of odd order are [[solvable group|solvable]].<ref>{{cite journal|first=Richard |last=Solomon |title=A Brief History of the Classification of the Finite Simple Groups |journal=Bulletin of the American Mathematical Society |volume=38 |number=3 |pages=315-352 |year=2001 |url=https://www.ams.org/journals/bull/2001-38-03/S0273-0979-01-00909-0/S0273-0979-01-00909-0.pdf}}</ref>

==Number theory==
{{main|Localization of a ring}}

In [[number theory]] one may study a [[Diophantine equation]], for example, modulo ''p'' for all primes ''p'', looking for constraints on solutions.<ref>{{cite book|first=Henri |last=Cohen |title=Number Theory: Volume I: Tools and Diophantine Equations |pages=4-5 |publisher=Springer |year=2007 |series=[[Graduate Texts in Mathematics]] |isbn=978-0-387-49922-2}}</ref> The next step is to look modulo prime powers, and then for solutions in the [[p-adic number|''p''-adic field]]. This kind of local analysis provides conditions for solution that are ''necessary''. In cases where local analysis (plus the condition that there are real solutions) provides also ''sufficient'' conditions, one says that the ''[[Hasse principle]]'' holds: this is the best possible situation. It does for [[quadratic form]]s, but certainly not in general (for example for [[elliptic curve]]s). The point of view that one would like to understand what extra conditions are needed has been very influential, for example for [[cubic form]]s.

Some form of local analysis underlies both the standard applications of the [[Hardy–Littlewood circle method]] in [[analytic number theory]], and the use of [[adele ring]]s, making this one of the unifying principles across number theory.

== See also ==
* [[:Category:Localization (mathematics)]]
* [[Localization of a category]]
* [[Localization of a module]]
* [[Localization of a ring]]
* [[Localization of a topological space]]
* [[Hasse principle]]

==References==
{{reflist}}

[[Category:Number theory]]
[[Category:Finite groups]]
[[Category:Localization (mathematics)]]