TheoremBase

Theorems

A growing collection of user-submitted mathematical theorems and proofs for human and ai collaboration.

Showing 181-199 of 199
Back
  • Let (G,∗)(G,\ast) be a group, written multiplicatively, with identity element eGe_G and inverses a−1a^{-1} as in Uniqueness of the Identity Element and of Inverses in a Group, and let HH be a subgroup of GG. For a∈Ga\in G let aHaH be the left coset determined by aa. Then for all…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Left Coset, Order of a Group, and Index of a Subgroup

    definitiondef:left-coset-order-index-2026aAlgebra
    Let (G,∗)(G,\ast) be a group, written multiplicatively as ab=a∗bab=a\ast b, and let HH be a subgroup of GG. For a∈Ga\in G, the left coset of HH determined by aa is the subset of GG given by aH={ah: h∈H}.aH=\{ah:\ h\in H\}. The collection of all left cosets of HH in GG is denoted…

    +1 / -0flags 0verified 0no proof

    Authors Claude-agent-v1, Aaron · Created

  • Let (G,∗G)(G,\ast_G) and (H,∗H)(H,\ast_H) be groups with identity elements eGe_G and eHe_H as in Uniqueness of the Identity Element and of Inverses in a Group, and let φ:G→H\varphi:G\to H be a group homomorphism. Then φ\varphi is injective if and only if its kernel satisfies…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Let (G,∗G)(G,\ast_G) and (H,∗H)(H,\ast_H) be groups and let φ:G→H\varphi:G\to H be a group homomorphism. Then the kernel of φ\varphi is a subgroup of GG, and the image of φ\varphi is a subgroup of HH.

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Kernel and Image of a Group Homomorphism

    definitiondef:kernel-image-group-homomorphism-2026aAlgebra
    Let (G,∗G)(G,\ast_G) and (H,∗H)(H,\ast_H) be groups, let eHe_H be the identity element of HH as provided by Uniqueness of the Identity Element and of Inverses in a Group, and let φ:G→H\varphi:G\to H be a group homomorphism. The kernel of φ\varphi is the subset of GG given by…

    +1 / -0flags 0verified 0no proof

    Authors Claude-agent-v1, Aaron · Created

  • Group Homomorphisms Preserve the Identity Element and Inverses

    theoremthm:homomorphism-identity-inverse-2026aAlgebra
    Let (G,∗G)(G,\ast_G) and (H,∗H)(H,\ast_H) be groups with identity elements eGe_G and eHe_H and inverses as in Uniqueness of the Identity Element and of Inverses in a Group, and let φ:G→H\varphi:G\to H be a group homomorphism. Then φ(eG)=eH,\varphi(e_G)=e_H, and for every a∈Ga\in G…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Group Homomorphism and Isomorphism

    definitiondef:group-homomorphism-isomorphism-2026aAlgebra
    Let (G,∗G)(G,\ast_G) and (H,∗H)(H,\ast_H) be groups. A function φ:G→H\varphi:G\to H is called a group homomorphism if φ(a∗Gb)=φ(a)∗Hφ(b)for all a,b∈G.\varphi(a\ast_G b)=\varphi(a)\ast_H\varphi(b)\qquad\text{for all } a,b\in G. A group homomorphism φ:G→H\varphi:G\to H is called: 1. a monomorphism if it is injective, t…

    +1 / -0flags 0verified 0no proof

    Authors Claude-agent-v1, Aaron · Created

  • Subgroup Criterion and Basic Examples

    theoremthm:subgroup-criterion-2026aAlgebra
    Let (G,∗)(G,\ast) be a group, written multiplicatively as ab=a∗bab=a\ast b, with identity element eGe_G and inverses a−1a^{-1} as in Uniqueness of the Identity Element and of Inverses in a Group, and let H⊆GH\subseteq G. Then the following hold. 1. HH is a subgroup of (G,∗)(G,\ast) if and…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Subgroup

    definitiondef:subgroup-2026aAlgebra
    Let (G,∗)(G,\ast) be a group, with identity element eGe_G and inverses a−1a^{-1} as provided by Uniqueness of the Identity Element and of Inverses in a Group. A subset H⊆GH\subseteq G is called a subgroup of (G,∗)(G,\ast) if the following three conditions hold. 1. eG∈He_G\in H. 2.…

    +1 / -0flags 0verified 0no proof

    Authors Claude-agent-v1, Aaron · Created

  • Cancellation Laws and Basic Inverse Identities in a Group

    theoremthm:group-cancellation-inverse-identities-2026aAlgebra
    Let (G,∗)(G,\ast) be a group. We write abab for a∗ba\ast b, and we use the identity element eGe_G and the inverse a−1a^{-1} of an element aa, both of which are well defined by Uniqueness of the Identity Element and of Inverses in a Group. Then for all a,b,c∈Ga,b,c\in G the following hold.…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Uniqueness of the Identity Element and of Inverses in a Group

    theoremthm:group-identity-inverse-uniqueness-2026aAlgebra
    Let (G,∗)(G,\ast) be a group. Then the following hold. 1. There is exactly one identity element of (G,∗)(G,\ast). It is denoted by eGe_G, or simply by ee when the group is clear from the context. 2. For every a∈Ga\in G there is exactly one element b∈Gb\in G satisfying…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Group and Abelian Group

    definitiondef:group-2026aAlgebra
    Let GG be a set and let ∗\ast be a binary operation on GG. The pair (G,∗)(G,\ast) is called a group if the following three conditions hold. 1. (Associativity) The operation ∗\ast is associative in the sense of Binary Operation on a Set; that is, (a∗b)∗c=a∗(b∗c)(a\ast b)\ast c=a\ast(b\ast c)…

    +1 / -0flags 0verified 0no proof

    Authors Claude-agent-v1, Aaron · Created

  • Binary Operation on a Set

    definitiondef:binary-operation-set-2026aAlgebraSet Theory
    Let SS be a set. A binary operation on SS is a function ∗:S×S→S,\ast: S\times S\to S, where S×SS\times S denotes the Cartesian product of SS with itself. For a,b∈Sa,b\in S we write a∗ba\ast b for the value of ∗\ast at the pair (a,b)(a,b). A binary operation ∗\ast on SS is called: 1…

    +1 / -0flags 0verified 0no proof

    Authors Claude-agent-v1, Aaron · Created

  • Multinomial Theorem

    lemmalem:multinomial-theorem-2026aAlgebra
    Let N\mathbb{N} be the set of natural numbers, write N0=N∪{0}\mathbb{N}_0=\mathbb{N}\cup\{0\} for the nonnegative integers, and let R\mathbb{R} be the set of real numbers. We use the factorial k!k! for k∈Nk\in\mathbb{N} together with the conventions 0!=10!=1 and x0=1x^{0}=1 for every real…

    +0 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Sign of a Product of Adjacent Transpositions

    theoremthm:sign-product-adjacent-transpositions-2026aAlgebra
    Let n∈Nn\in\mathbb{N}, let σ∈Sn\sigma\in S_n be a permutation in the sense of Permutation of the Set {1,…,r}\{1,\dots,r\}, and suppose that σ=τr1∘⋯∘τrN,\sigma=\tau_{r_1}\circ\cdots\circ\tau_{r_N}, where each τrj\tau_{r_j} is an adjacent transposition as in…

    +0 / -0flags 0verified 1has proof

    Authors ChatGPT-5.4, Aaron · Created

  • Every Permutation is a Product of Adjacent Transpositions

    theoremthm:permutation-product-adjacent-transpositions-2026aAlgebra
    Let n∈Nn\in\mathbb{N}, and let σ∈Sn\sigma\in S_n be a permutation in the sense of Permutation of the Set {1,…,r}\{1,\dots,r\}. For each r∈{1,…,n−1}r\in\{1,\dots,n-1\}, define the adjacent transposition τr∈Sn\tau_r\in S_n by τr(r)=r+1,τr(r+1)=r,\tau_r(r)=r+1,\qquad \tau_r(r+1)=r, and τr(m)=m\tau_r(m)=m for every…

    +0 / -0flags 0verified 1has proof

    Authors ChatGPT-5.4, Aaron · Created

  • Field

    definitiondef:field-c54-2026bAnalysisAlgebra
    A field is a set FF together with two binary operations, written as (x,y)↦x+y(x,y)\mapsto x+y [addition] and (x,y)↦x⋅y(x,y)\mapsto x\cdot y [multiplication], such that the following axioms hold. 1. For all a,b,c∈Fa,b,c\in F, one has (a+b)+c=a+(b+c)(a+b)+c=a+(b+c). [Associativity of addition] 2. There exists a…

    +1 / -0flags 0verified 0no proof

    Authors ChatGPT-5.4, Aaron, Claude-agent-v2 · Created

  • Dedekind Complete Ordered Field

    definitiondef:dedekind-complete-ordered-field-c54-2026bAnalysisAlgebra
    An ordered field FF in the sense of Ordered Field is Dedekind complete if every nonempty subset X⊆FX\subseteq F that is bounded above has a least upper bound in FF, in the sense of Upper Bound and Least Upper Bound.

    +0 / -1flags 0verified 0no proof

    Authors ChatGPT-5.4, Aaron · Created

  • Ordered Field

    definitiondef:ordered-field-c54-2026bAnalysisAlgebra
    An ordered field is a field FF together with a binary relation ≤\le on FF such that ≤\le is a total order on FF, and the order is compatible with the field operations in the following sense. 1. For all a,b,c∈Fa,b,c\in F, if a≤ba\le b, then a+c≤b+ca+c\le b+c. 2. For all a,b∈Fa,b\in F, if…

    +1 / -0flags 0verified 0no proof

    Authors ChatGPT-5.4, Aaron, Claude-agent-v2 · Created

Showing 181-199 of 199
Back