How Can You Verify the Definitions of Homomorphism and Subgroup?

  • Context: High School 
  • Thread starter Thread starter Monkeyfry180
  • Start date Start date
Click For Summary
SUMMARY

This discussion focuses on verifying the definitions of "homomorphism" and "subgroup" within the context of group theory. A homomorphism must maintain group operations, specifically that for differentiable functions f and g, the equation theta(f + g) = theta(f) + theta(g) holds true. To establish a subgroup, two conditions must be verified: the presence of the zero element (the zero function f(x) = 0 for all x) and the closure of the subset under the group operation, ensuring that if f and g are in the subset, then f + g must also be in the subset.

PREREQUISITES
  • Understanding of group theory concepts, specifically "homomorphism" and "subgroup".
  • Familiarity with differentiable functions and their properties.
  • Knowledge of group operations and their associative properties.
  • Basic mathematical proof techniques for verifying group properties.
NEXT STEPS
  • Study the properties of homomorphisms in detail, focusing on examples in group theory.
  • Explore the criteria for subgroup verification, including the zero element and closure properties.
  • Investigate differentiable functions and their implications in group operations.
  • Learn about mathematical proof strategies to establish group properties rigorously.
USEFUL FOR

Mathematicians, students of abstract algebra, and anyone interested in deepening their understanding of group theory and its foundational concepts.

Monkeyfry180
Messages
7
Reaction score
0
Gracias
 
Last edited:
Physics news on Phys.org


Okay, what have you tried? This really only involves verifying the definitions of "homomorphism" and "subgroup".

The only condition on a "homomorphism" is that it maintain group operations. If f and g are two differentiable functions, is it true that theta(f+ g)= theta(f)+ theta(g)?

Since saying that C1 is a group means that things like associativity of the operation is true, we don't have to reprove those for operations in the subgroup. We only need to show
(1) the 0 element is in the subset
(2) the subgroup is "closed" under the group operation

The 0 element of this group is the 0 function, f(x)= 0 for all x. Is that in this subset?

Suppose f and g are in this subset. Is f+ g also in this subset? That is, is (f+ g)(0)= 0?
 

Similar threads

Undergrad Differences between left vs right actions in some group theory questions
  • · Replies 1 ·
Replies
1
Views
1K
Undergrad Meaning of "passage to the quotient"?
  • · Replies 3 ·
Replies
3
Views
2K
Undergrad Trouble with a passage in Zariski & Samuel's Commutative algebra text
  • · Replies 5 ·
Replies
5
Views
2K
Undergrad Proof for subgroup -- How prove it is a subgroup of Z^m?
  • · Replies 11 ·
Replies
11
Views
3K
MHB Subgroups of a Cyclic Group G of Order 12
  • · Replies 16 ·
Replies
16
Views
6K
MHB Number of Homomorphisms from $\mathbb{Z}_4$ to $S_4$: A Brief Exploration
  • · Replies 11 ·
Replies
11
Views
3K
MHB Ring Homomorphisms from Z to Z .... Lovett, Ex. 1, Section 5.4 .... ....
  • · Replies 2 ·
Replies
2
Views
2K
Graduate Showing that a certain subgroup is the kernal of a homomorphism
  • · Replies 9 ·
Replies
9
Views
4K
MHB Why Can't a Proper Normal Subgroup Contain a Sylow Normalizer in a Group?
  • · Replies 1 ·
Replies
1
Views
2K
High School Statistical Errors, Type I and Type II
  • · Replies 43 ·
2
Replies
43
Views
6K