Гру́ппа в математике — множество, на котором определена ассоциативная бинарная операция, причём для этой операции имеется нейтральный элемент (аналог единицы для умножения), и каждый элемент множества имеет обратный. Ветвь общей алгебры, занимающаяся группами, называется теорией групп[1].
Один из примеров группы — множество целых чисел, снабжённое операцией сложения: сумма любых двух целых чисел также даёт целое число, роль нейтрального элемента играет ноль, а число с противоположным знаком является обратным элементом. Другие примеры — множество вещественных чисел с операцией сложения, множество вращений плоскости вокруг начала координат. Благодаря абстрактному определению группы через систему аксиом, не привязанной к специфике образующих множеств, в теории групп создан универсальный аппарат для изучения широкого класса математических объектов самого разнообразного происхождения с точки зрения общих свойств их структуры. Вездесущность групп в математике и за её пределами делает их важнейшей конструкцией в современной математике и её приложениях.
Группа фундаментально родственна понятию симметрии и является важным инструментом в изучении всех её проявлений. Например, группа симметрии отражает свойства геометрического объекта: она состоит из множества преобразований, оставляющих объект неизменным, и операции комбинирования двух таких преобразований, следующих друг за другом. Такие группы симметрии, как точечные группы симметрии понять явление молекулярной симметрии в химии; группа Пуанкаре характеризует симметрию физического пространства-времени, а специальные унитарные группы применяются в стандартной модели физики элементарных частиц[2].
Понятие группы ввёл Эварист Галуа, изучая многочлены в 1830-е годы[3].
Современная теория групп является активным разделом математики[4]. Один из наиболее впечатляющих результатов достигнут в классификации простых конечных групп, которая была завершена в 1981 году: доказательство теоремы составляет десятки тысяч страниц сотен научных статей более ста авторов, опубликованных с 1955 года, но статьи продолжают появляться из-за обнаруживаемых пробелов в доказательстве[5]. С середины 1980-х годов значительное развитие получила геометрическая теория групп, изучающая конечно-порождённые группы как геометрические объекты.
3/(2^(2 - x²) -1)² - 4/(2^(2- x²) -1) + 1 ≥ 0 ;
замена : t = 2^(2-x²) -1
3 / t² - 4 / t +1 ≥ 0 ;
(t² - 4t +3) / t² ≥ 0
для квадратного трехчлена t² - 4t +3 t₁=1 корень: 1² - 4*1+3 = 1- 4+3 =0.
t₂ =3/t₁=3/1=1 (или t₂ =4 -1=3)
* * * наконец можно и решить уравнение t² - 4t +3=0 * * *
(t² - 4t +3) / t² ≥ 0 ⇔ (t -1)(t - 3) / t² ≥ 0 .
+ + - +
(0) [1] [ 3]
* * * совокупность неравенств [ { t ≤ 1 ; t ≠0 . { t ≥ 3 * * *
a)
{ 2^(2-x²) -1 ≤ 1 ; 2^(2-x²) -1 ≠ 0 .⇔ { 2^(2-x²) ≤ 2 ; 2^(2-x²) ≠ 1 . ⇔
{ 2^(2-x²) ≤ 2¹ ; 2^(2-x²) ≠ 2⁰.⇔ {2-x² ≤ 1 ; 2 - x² ≠ 0.⇔{ x² -1 ≥ 0 ; x² ≠ 2⇔
{ (x+1)(x-1) ≥ 0 ; x ≠ ±√2 . ⇒ x∈ ( -∞ ; -√2 ) ∪ (-√2 ; -1] ∪ [1 ; √2) U (√2 ; ∞) .
b)
2^(2-x²) -1 ≥ 3 ⇔ 2^(2-x²) ≥ 4 ⇔2^(2-x²) ≥ 2² ⇔2- x² ≥ 2 ⇔ x² ≤ 0 ⇒ x=0.
ответ: x∈ ( -∞ ; -√2 ) ∪ (-√2 ; -1] ∪ { 0} ∪ [1 ; √2) U (√2 ; ∞) .